Fork me on GitHub
#clojure-dev
<
2019-08-05
>
andy.fingerhut19:08:15

OK, I am now a bit more optimistic that core.rrb-vector is semi-close to becoming more reliable.

gfredericks19:08:37

A+ on statement couchedness

andy.fingerhut19:08:51

Yeah, I can do that pretty well.

gfredericks19:08:37

Hey everybody, I guess, I should probably welcome you to what might be the semiregular meeting or something for vaguely wishywashy noncommits.

andy.fingerhut19:08:58

I mean, there are still a large fraction of lines that I haven't formally proved are correct 🙂

gfredericks19:08:07

there's no good reason for computers to work at all

cursork11:08:20

I spent I-don’t-know-how-many days digging around the core.rrb-vector code at one job that used it. CRRBV-8 and 9 and 10 were fun to debug. (We changed the approach to better use of built in data structures in the end)

andy.fingerhut15:08:25

I hear you. There is definitely enough code there that it takes some orientation before you have much hope of fixing it.

cursork19:08:20

Yep! Good effort in taking it on

schmee20:08:37

I can’t log in to the Clojure JIRA anymore, tried to reset my password but it didn’t work. should I create a new user? my old account had a bunch of tickets, comments and votes so it would be nice if I could keep using that 🙂

alexmiller20:08:30

Let me take a look

schmee20:08:42

just tried again in a different browser and it worked, sorry for wasting your time! :man-bowing:

alexmiller20:08:58

Ok, perhaps you were logged into a different atlassian acct?

seancorfield20:08:19

Atlassian's single sign-on is a nightmare if you have multiple accounts with different email addresses 😞

ghadi20:08:48

total nightmare

seancorfield20:08:54

I have to have separate browsers for my work stuff and my Clojure/Contrib stuff to avoid constantly signing out and swapping accounts all day long. And it's always been like that -- why they can't do what Google does and let you sign into multiple accounts and just switch between them via a menu items, I have no idea 😞

ghadi20:08:01

it's really awful

ghadi20:08:35

I was going to see if I can change my email address to be consistent across my sso profiles, but that's not sustainable for other users

schmee20:08:02

yeah, I use atlassian for work as well so that might be it, not to mention all the anti-JS stuff I have in my main browser…

seancorfield20:08:24

I wasn't able to figure out how to do that -- but I don't really want to use my work email for my Clojure/Contrib stuff.

ghadi20:08:49

same situation. SSO needs to be usable without switching browsers

alexmiller20:08:54

you can't "change" your email address with Atlassian - your identity is your email address

alexmiller20:08:41

I tried to get them to do something like this and they can't even do it

cfleming21:08:53

Firefox containers should work for this.

schmee20:08:31

speaking of JIRA, is it still possible to vote for issues in the new version? or does “watching” equal “voting”?

alexmiller20:08:31

you can still vote, and it's different than watching (same as old jira)

alexmiller20:08:47

do you not see "Vote for this issue" on the right sidebar?

alexmiller21:08:02

if you go to https://clojure.atlassian.net/secure/ViewPersonalSettings.jspa - do you have the "New Jira issue view" on or off?

alexmiller21:08:29

If it's on, turn it off and try again. The "new" view seems to be missing many features I use regularly

alexmiller21:08:24

or you might be able to see it if you click into the full issue view by clicking the issue key (CLJ-1891) at the top

schmee21:08:32

the old view indeed has the votes!

schmee21:08:03

good thing they are using the old JIRA, so I can vote for that issue

schmee21:08:04

this might make users less likely to vote for issues since users who are not aware of the difference between the old and new style won’t even know it’s possible to vote 😕

alexmiller21:08:18

given how little voting is used in our jira anyways, it's not likely to matter

alexmiller21:08:36

we are trying to move voting primarily to the new https://ask.clojure.org

alexmiller21:08:48

all open jiras have a question there