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