@oolongstains oh Virginia, I guess?
there also seems to be some plans for a key server that multiple states' applications can talk to, which I hope takes off -- this sort of thing really needs it
@oolongstains oh, whoa, nice -- that's the first time I've seen what that notification looks like
I wish Exposure Notification was active down here in the States -- it seems like the only real shot we have at any sort of effective contact tracing program. (The current programs all involve calling people and relying on their recollection...)
I think what's remarkable about this article, though, is that it showed me, someone who doesn't use Haskell very much, how in a system like Haskell you can reason about surprises like this using (more or less) just substitution and reduction.
maybe it's a thing in (say) C++ too, but I can't recall consciously operating like that
Haskell programmers seem to have a lot more fun than me:
"How Accursed and Unutterable is accursedUnutterablePerformIO?": https://free.cofree.io/2020/07/20/perform-io/
@iliana i think that's an accidentally brilliantly profound statement on the state of civic responsibility in the US
@djsumdog oh, hmm, I didn't consider that that'd be a tradeoff. I'd find it interesting if that were indeed the case
@masklayer oh damn I was hoping she meant the Life4 DDR ladder
(and then of course there's 🧐)
I am surprised that the proposal for 🤨 https://www.unicode.org/L2/L2015/15325-raised-eybrow.pdf does not even consider 🤔 in the Factors For Exclusion > Already Representable section
the first time I saw 🤨 , I thought it was a slight variant on the shade throwing of 🤔
@er1n yes! it's one of the most readable doxygen outputs I've seen
STX (https://lamarrr.github.io/STX/index.html) is an error-handling library for C++ that looks a lot like A Certain Other Language and I wish to subscribe to its newsletter
or at least give it a try in a codebase I have that already heavily uses result types to see how it stacks up
@velartrill this is going to be poorly articulated (because microblogging) but I've noticed something like this too and it bugs the hell out of me
Americans' inability to cooperate to contain COVID is a big contemporary example of this, but there's smaller popular examples: the recurrent Black Friday stampedes, fifteen-minute indignation over an expired coupon, someone loudly revving a motor on a residential street because It Makes Me Happy And That's My Right, Damnit
I guess "entitlement" is a first approximation but that word feels inadequate; I feel like it's more of a poisonous abstraction on how we treat people we don't directly know, but I can't find the word for it
@piggo oh good, now people can stop saying how only C++ lets you do that
shitposting as lifestyle. #nobot if anything actually reads that
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!