haskell type definition of a natural number eliminator data type with all the values as the pokemon krabby and the final neutral value as the pokemon kingler.
im having a normal day
cock iff. ball torture
goomy plush sitting high on my shelf with various necklaces and rings and such hanging from its antennae, partially obscuring its face
gave goomy a job
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
Babe! It's STEP 15/17 time for your BUILDING HOL ...
just put me into a container and run podman rmi $(podman images -qa) -f
messenger screenshot where my hot streamer bf says "My chat was so funny today. I made a topology joke and someone said "brother you need to stop worrying about the Torus and start worrying about the Tauros"
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)
holding up a plush goodra (inside a clear carrying case) in front of a pond in a public garden
two tall buildings at ikebukuro station, one of them has a large screen on the side with an anime girl whos hairstyle i aspire to
a street in downtown ikebukuro at dawn. the sky is slowly illuminating but the street lights are still own. (normal time to go to donquixote)
a tall building with red writing and a red flag on its side
taking goodra sightseeing
display in a store with t-shirts. they have little ghosts printed on them. the top one is folded to reveal the text: "Handle this object with care, as it has emotions too."
not me crying in the plus size fashion store in tokyo
person person minus minus symbol
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
billionaire misalignment that's been the problem all along.
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
a plush of the pokemon forretress in front of sheffield station. as we know from the pokedex, the insides of forretress are a mystery. much like the inner workings of proof theoretic semantics.
the same image except now, sheffield station is in focus instead of forretress. the union jack is flying ominously.
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
Hat with the words “please do not talk to me about AI I will kill myself”
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
"I guess wanting one person to fulfill all of your needs is just an antiquated way of thinking."
(I'm so close to pulling the emergency brake)
CW: deutsche bahn
"Maybe it's a gender thing... women are really good at understanding what other people are feeling, maybe it's unfair to expect the same thing of other people? 🤔"
CW: deutsche bahn
all. 😔" (cc:bluesky)
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
endivie 🌱
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
