gave goomy a job

am i an LLM

working 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

what do you think of my artistic rendition of the void type

just put me into a container and run podman rmi $(podman images -qa) -f

this man got a donation asking what his favourite donut was and he said "a coffee mug"

CW: 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

does 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)

taking goodra sightseeing

not me crying in the plus size fashion store in tokyo

oops 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

RIP to a fellow Filippo Sorcinelli wearer

math/YN slowburn

the "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

bye sheffield #mgs2025

just asked the lecturer if he had time to answer some questions and he said no and i only cried a little bit 😎

This is high art

theoretical 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.

do YOU secretly hold beliefs that prove you were a constructivist all along? take this test to find out.

i’m catholic but not a religious way, more of an “i’ve been riddled with unspeakable guilt since birth” way

Visiting friends in New York

just 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 🥹

CW: 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

Yes, I am WOKE ω Omega Kinds ∃ types

What 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

my 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

i LOVE non-native english speakers and their little idiosyncrasies!!! they will say something really interesting and poetic that makes me gain a new perspective on how language works and when you point out how cool that is they will get all apologetic. NO. you keep saying "kill it in the egg"!!!

men will mount a new challenge to rust instead of going to therapy

These 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. >>

Pity the poor language model

In 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.

making me use an editor that only shows one type signature at a time is an animal rights violation

types are so beautiful. they make me feel like i get to have a conversation with my computer instead of telling it what to do

✨🌙🌟💫

switzerland has biblically accurate outlets

im so good at flirting

The 5 steps of the design process are denial, anger, bargaining, depression, and whiteboarding

Post your spiciest programming takes 🌶️

I'm escaping

for 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

my only contention is that javascript is continental philosophy while rust is analytic

i'm just reposting my low sanity tw*ets from my master thesis arc, don't mind me

oh you use a text editor? real programmers make their edits directly on the github web ui

It is the year of the lord 2025, and I'm still having the same conversations as Charles Babbage discussing his difference engine.

normal 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

throwback to when i missed my doctor's appointment because i didn't have enough money in my account to unlock an e-scooter

i wanna go there so bad

I'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