Fork me on GitHub

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


A+ on statement couchedness


Yeah, I can do that pretty well.


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


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


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


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)


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


Yep! Good effort in taking it on


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 🙂


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

Alex Miller (Clojure team)20:08:58

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


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


total nightmare


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 😞


it's really awful


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


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…


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.


same situation. SSO needs to be usable without switching browsers

Alex Miller (Clojure team)20:08:54

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

Alex Miller (Clojure team)20:08:41

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


Firefox containers should work for this.


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

Alex Miller (Clojure team)20:08:31

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

Alex Miller (Clojure team)20:08:47

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

Alex Miller (Clojure team)21:08:02

if you go to - do you have the "New Jira issue view" on or off?

Alex Miller (Clojure team)21:08:29

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

Alex Miller (Clojure team)21: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


the old view indeed has the votes!


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


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 😕

Alex Miller (Clojure team)21:08:18

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

Alex Miller (Clojure team)21:08:36

we are trying to move voting primarily to the new

Alex Miller (Clojure team)21:08:48

all open jiras have a question there