et. alecs.

The computational interpretation is the only thing that matters

The haskell ecosystem is so good that it even has game hacks

Chat, do I hermit myself away trying to pull out a paper for PLDI?

So-called random number generator fans when a number they don't like gets drawn

I don't understand all these complaints about which numbers got picked for the private keys. They were generated randomly and that's what they got. Sometimes you get a 4. It happens.

If you submit a lean artifact there is no need for an ai disclosure in the paper

Too many profs follow me on twitter so i cannot say what i want anymore

This thing is just absurd arvidgrange.substack.com/p/investigat...

This is the kind of life I have to live

I think i finally got a good sigbovik idea

What are some interesting fields of TT that have no connection to theorem proving capabilities? Asking for a friend

ligating...

A man sees another about to jump off a bridge. “Don't do it! Are you a programming languages researcher?” “Yes!” “Me too! Proof assistants or refinement types?” “Refinement types!” “Me too! Liquid Haskell or F*?” “F*!” “Die, heretic!” And he pushes him off the bridge.

Had a lot of fun at SLOPSLA, meet a lot of cool people and was able to share my crusade against SMT solvers

Finally i gave my talk and i can actually enjoy the conference

POPL is out POPL is out POPL is out POPL is out POPL is out POPL is out POPL is out

Going to the golden gate bridge, will report on the goldness

Every ad is about llms

Mom: Oakland is considered one of the most dangerous cities in the usa

The popl website exploding the year i get good reviews

They threw away my fuckin toothpaste

Lately I've been putting kimchi on everything I eat

I feel overworked but I'm also scared that an LLM will steal my new result

I think i need to find something else to make my whole personality about

Claude is the most productive dev in this office

Why is AWS lip moisturiser even a thing??

We asked Claude to be present at the birth of my first child, and prove it in Lean.

Should I not-touch-grass-max and try to submit to PLDI?

Is intern swag the most random thing in the world? Sure i will wear a bucket hat with AWS written on the front, sure

LLMs killed the coding star. I saw you on the youtube back in '21 Lying awake intent at watching in on you If I was young it didn't stop you coming through (Oh-a-oh) They took the credit for your hacking prodigy Rewritten by machine on new technology And now I understand the problems you can see.

I did not sign up for this when I started my PhD, llms were bad at everything

Just submitted to POPL and apparently I'm submission number -2,147,483,648

Two times I had to use a travel agency to go to a conference and twice they fucked up the reservation

Doing software verification using segregation logic to get funding from the current administration