Aaron Eline

Remembering the last eclipse, where a friendly neighborhood astronomy nerd had his telescope set up on the common balcony, happily sharing the view with everyone.

Matt Parker!

My good friend John bought 100 old credit card readers off ebay and reverse engineered them: youtu.be/whOf7lb8nqs

Spent today seeing if an LLM could optimize ocaml's pattern compiler. diving-gray.exe.xyz This site tracks its progress, scored by size of decision tree. The LLM runs in a loop attempting to improve and taking notes on what worked. Nothing groundbreaking but neat to watch it hill climb.

Wonderful day at the Hillwood museum

Checkout what we got working at the museum this week!

Wrote up a little trip report from NJPLS2026! aaronjeline.github.io/posts/njpls2...

Widely different vibes receiving this from friends in PL vs friends in the medical field.

Pip has made it to 3 years old after surviving FIP. A wonderful creature. Here’s to many more years :)

Wanted to send a big thanks to @antithesis.com for organizing Bug Bash 2026. Was a wonderful time full of great people. Looking forward to next year!

I lost my dad this week. We were incredibly close. I took from him, among other things, a curiosity about the world. That there was nothing it wasn't worth wondering about. He was a filmmaker, a musician, and a magician. He ran a funeral home, and wound a town clock. I miss him.

Great video from my friend John on repairing bits of his Corvette: youtu.be/Max6wBa4EdM?...

DC Systems 14 will be Tuesday, March 10th! Peter Tong will talk about Optimal Real-Time Locking John Kastner will talk about Clang’s experimental bounds safety extension. As always: pizza and beer will be provided. Please come hear some great talks: luma.com/90ss30d2

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

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