wen @cyrridven@computerfairi.es

do you think the version of coq a proof is written in is a good proxy for when the authors started writing the proof, or just a proxy for when they last bothered updating it?

ah yes, artifact review time, that time when I'll have to install four different versions of coq

this toot brought to you by the fact that denmark calls face masks "mouth binders"

y'all, i gotta say this... the wikipedia article for gags... is too long

Really makes you wonder how deep into full-on fascism he's gonna keep up the funny laugh jokes.

Might just be me, but I've never been able to tell Janice Turner and J.K. Rowling apart.

@wilbowma I tried to get a setup going between my home and university computers, using rsync through an ssh tunnel... but our university require TWO ssh logins to get into ^_____^"

Ah yes, the UK, where you can choose between the blue Tories, the red Tories, the orange Tories, the yellow Tories, and the Nazis.

tfw your muscles hurt from all that yoga and turns out your magic wand has ANOTHER use who could've known

covid19, lewd

I'm amazed at their technological prowess

like did that shit just happen automatically the day I started estrogen, and if so, how did they know?!

just tried to register for discord, only to find out that not only did I already have an account, but I was already subscribed to two trans women's discords

subscribing to the onlyfans of ppl you love and admire 'cuz you want them to have money in these trying times

@mym I *deeply* want this

I know shit's gonna get bad, but oh the schadenfeude of seeing fascist after fascist test positive for the coronavirus is so. good.

this whole time I was scared about COVID-19 transmission before symptoms start showing, but apparently, white ppl are way dummer than that?

@rixx first aid training

Next up in world news: All candidates over 50 die of COVID-19, Tulsi Gabbard takes presidency by default, hands over control of US to Science of Identity Foundation.