That’s just typeslop. You only like it because it doesn’t compile.

DC Systems tomorrow! We just uploaded a bunch of talks from DC Systems last year. Here's just one of Richard Hart's hot takes about systems programming. Tomorrow, come hear @aaroneline.bsky.social talk about flow-directed closure conversion for typed languages.

We’re gonna make lambdas go fast! 😎

Potomac commute

This 99 year old AI lab still typechecks C the old fashioned way

Let’s chat about one of coolest compilers ever made :)

He won’t stop eating plastic

FORTRAN-style implicit typing but leave the judgement up to an LLM

Hey, I'm looking for speakers at DC Systems for this year! Let me know if you, or anyone you know would enjoy giving a talk to an extremely nice and curious audience!

Does anyone know how SMTLIB's String theory does unicode normalization?

Coffee and a cat

Attended USENIX last week. Wrote up some of the work I saw: aaronjeline.github.io/posts/usenix...

Great talk from Joe Cutler: t.co/8Ffra2YkMt on improving the performance of property based testing.

Got to revive an old tradition today. Coffee with my dad at Reister's Daughter.

Great article from @mcy.gay on pretty printing. mcyoung.xyz/2025/03/11/f...

Finally, someone's saying it!

??

It's been a year since this silly guy was officially cured. He's unstoppable.

Maya just brought me this

Someone is happy I’m back at my desk all day

Someone is enjoying the fruits of Christmas

Sleep cat

Cats

Favorite CS work you’ve read this year? I’ll start in the thread below! (It’ll be obvious I’ve been thinking a lot about testing this year)

Nice argument but I’ve already drawn your api as a huddle of grotesques and my api as the meeting of beauty

new market inefficiency spotted

A maybe stupid parsing question. I read Matt Might's "Yacc Is Dead". This technique (among others) produce a parse forest in the face of ambiguity. How does one (efficiently) reduce the parse forest to the one tree that you want w/r/t operator precedence? Can't find a source on it.

Ok I'm here too

Look at the mini ice cream cone Maya made

Haskell is really just such a joy to write

Lol twitter

Love to ride the MARC train

Pup The Band continues to be cool and good

Here we go again

Also gotta do first cat post

New Zelda Acquired

reskeet if you are pondering this orb