Clojurians Log v2

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 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 🙂

Let me take a look

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

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.

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

same situation. SSO needs to be usable without switching browsers

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

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

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

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

nope!

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

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

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!

well, isn’t this fantastic: https://jira.atlassian.com/browse/JRACLOUD-71251 😂

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 😕

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

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

all open jiras have a question there

Firefox containers should work for this.

roger!