elisabeth lemma ☔ @wendigotypes.bsky.social · 17/08/2025working on isabelle is the final boss of adhd. how am i supposed to stay on task if i need to wait 6 minutes for HOL to build at unpredictable intervals. someone with a background in executive function please help be budget this 031
elisabeth lemma ☔ @wendigotypes.bsky.social · 10/07/2025just put me into a container and run podman rmi $(podman images -qa) -f 000
elisabeth lemma ☔ @wendigotypes.bsky.social · 10/07/2025this man got a donation asking what his favourite donut was and he said "a coffee mug" 020
elisabeth lemma ☔ @wendigotypes.bsky.social · 18/06/2025CW: DACH-Raum when i flew back from japan with austrian airlines i asked them if they had ginger ale, and the guy said "yes" really confidently, and then went like "🤔 well, the austrian version", and then he served me almdudler 010
elisabeth lemma ☔ @wendigotypes.bsky.social · 02/06/2025does anybody have any resources for switching your boomer parents over to linux? they're really nontechnical, struggle with opening two windows next to each other, probably dont know what copy/paste is (on the one hand: oof. on the other hand, i figure not a lot of progress to lose by switching) 220
elisabeth lemma ☔ @wendigotypes.bsky.social · 16/05/2025not me crying in the plus size fashion store in tokyo 020
elisabeth lemma ☔ @wendigotypes.bsky.social · 29/04/2025oops i said "you don't have to have a model in order to have semantics" today in the graduate seminar and suddenly everyone had this symbol above their heads 030
elisabeth lemma ☔ @wendigotypes.bsky.social · 23/04/2025RIP to a fellow Filippo Sorcinelli wearer 010
elisabeth lemma ☔ @wendigotypes.bsky.social · 16/04/2025the "AI will turn us all into paperclips if we're not careful" thought experiment strikes me as v funny from a 2025 pov. almost. except it's not AI, it's capitalism, turning our drinking water into cooling fluid and our online spaces into training data. AI misalignment, my ass. it's the tech 130
elisabeth lemma ☔ @wendigotypes.bsky.social · 10/04/2025just asked the lecturer if he had time to answer some questions and he said no and i only cried a little bit 😎 030
Reposted by elisabeth lemma ☔Satan’s Niece @krissychula.bsky.social · 06/04/2025This is high art 526263177516
elisabeth lemma ☔ @wendigotypes.bsky.social · 31/03/2025theoretical computer scientists: curing my fear of talking to people one work email at a time. recently i got my first "thank you for asking such a well-documented question" and i almost cried. 060
elisabeth lemma ☔ @wendigotypes.bsky.social · 25/03/2025do YOU secretly hold beliefs that prove you were a constructivist all along? take this test to find out. 030
Reposted by elisabeth lemma ☔dean @mrwonderclown.bsky.social · 25/03/2025i’m catholic but not a religious way, more of an “i’ve been riddled with unspeakable guilt since birth” way 04613
Reposted by elisabeth lemma ☔Casey Newton @caseynewton.bsky.social · 12/03/2025Visiting friends in New York 59247822753
elisabeth lemma ☔ @wendigotypes.bsky.social · 07/03/2025just chased an isabelle error all the way until i ended up in a scala file, and on the one hand, i still haven't solved my problem, but on the other hand, at least i get to look at scala code now 🥹 030
elisabeth lemma ☔ @wendigotypes.bsky.social · 01/03/2025CW: deutsche bahn two women sitting behind me on the train discussing their mediocre boyfriends: "It's just so frustrating, because I know there's many ways you can understand communication: the social/personal model, the information/discourse model... but usually he just doesn't talk to me at 140
Reposted by elisabeth lemma ☔Haskell programming language @haskell.org · 20/02/2025What people present as an “unpopular opinion”: > Haskell's type system is a brake to my creativity Actual, unpopular opinion: > Performance is a runtime detail, only chumps actually run programs 0111
elisabeth lemma ☔ @wendigotypes.bsky.social · 20/02/2025my favourite part of working in theoretical computer science is that i can now finally tell mathematicians that what they do is just applied theorem proving 030
Reposted by elisabeth lemma ☔gabby @fullmoon.id · 18/02/2025men will mount a new challenge to rust instead of going to therapy 0417
Reposted by elisabeth lemma ☔Emily M. Bender @emilymbender.bsky.social · 13/02/2025These so-called "AI" systems are loci of environmental destruction, and we need to tell that story. But in telling that story, it is also important not to reproduce the hype narrative that they are being sold with. >> 1347
Reposted by elisabeth lemma ☔Lawrence Paulson @lawrpaulson.bsky.social · 04/02/2025Pity the poor language model 011
Reposted by elisabeth lemma ☔Nintendo .DS_Store @slim.bsky.social · 05/02/2025In Greek mythology, Sisyphus was the king of Corinth. For cheating death, the gods condemned him to eternal punishment: attempting to understand the difference between impredicativity and higher-rank polymorphism, only for his understanding to collapse every time it neared completion. 0161
elisabeth lemma ☔ @wendigotypes.bsky.social · 04/02/2025making me use an editor that only shows one type signature at a time is an animal rights violation 000
elisabeth lemma ☔ @wendigotypes.bsky.social · 04/02/2025types are so beautiful. they make me feel like i get to have a conversation with my computer instead of telling it what to do 020
Reposted by elisabeth lemma ☔vaguely reassuring state machines @happyautomata.com · 02/02/2025✨🌙🌟💫 261
elisabeth lemma ☔ @wendigotypes.bsky.social · 31/01/2025switzerland has biblically accurate outlets 130
Reposted by elisabeth lemma ☔Pavel @spavel.bsky.social · 25/01/2025The 5 steps of the design process are denial, anger, bargaining, depression, and whiteboarding 2066158
Reposted by elisabeth lemma ☔chreke @chreke.com · 24/01/2025Post your spiciest programming takes 🌶️ 211
Reposted by elisabeth lemma ☔shaun @shaunvids.bsky.social · 17/01/2025for the tech bros, imagine if someone invented a robot that stole all your money and did all your cocaine. that's how all this feels, on the user end 111161112
Reposted by elisabeth lemma ☔Mutual A @mutual-a.bsky.social · 17/01/2025my only contention is that javascript is continental philosophy while rust is analytic 272
elisabeth lemma ☔ @wendigotypes.bsky.social · 17/01/2025i'm just reposting my low sanity tw*ets from my master thesis arc, don't mind me 130
Reposted by elisabeth lemma ☔David Buchanan @retr0.id · 17/01/2025oh you use a text editor? real programmers make their edits directly on the github web ui 1721943106
Reposted by elisabeth lemma ☔Simon @winklesbloke.bsky.social · 16/01/2025It is the year of the lord 2025, and I'm still having the same conversations as Charles Babbage discussing his difference engine. 032
elisabeth lemma ☔ @wendigotypes.bsky.social · 08/01/2025normal people having a conversation: "i write my book in scrivener, i like organising my scenes in a sensible way" "i write my book in google docs, i like reliable cloud sync" me: hoare logic 160
elisabeth lemma ☔ @wendigotypes.bsky.social · 02/01/2025throwback to when i missed my doctor's appointment because i didn't have enough money in my account to unlock an e-scooter 020
elisabeth lemma ☔ @wendigotypes.bsky.social · 29/12/2024I've always felt that \lor and \land shouldn't both be spiky. conjunction is clearly bouba, not kiki. I think it would be better if \land and \cup were switched around 010
