Matt Parker!

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

Retrocomputing On The Cheap: Reverse Engineering The ZON JR XL (DC Systems)

YouTube video by John Sutley

youtu.be

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!

Another trip to the wonderful System Source Museum! Posting some new stuff in the thread! The LINC now works and is seen here rendering a cat's EEG.

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?...

Fixing The 1993 Corvette Part 1

YouTube video by John Sutley

youtu.be

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

DC Systems 014 · Luma

https://dcsystems.xyz/ DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area. We're focused on high…

luma.com

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! 😎

Antithesis@antithesis.com · 6mo ago

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.

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 :)

Antithesis@antithesis.com · 6mo ago

#DCSystems returns for 2026! We're starting the year with a special homage to one of our favorite meetups, @paperswelove.org On Tuesday Feb 10, @aaroneline.bsky.social will present and lead a discussion of: Flow-Directed Closure Conversion for Typed Languages, by Cejtin, Jangannathan, & Weeks.

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.