Aaron Eline @aaroneline.bsky.social · 14/08/2026Remembering the last eclipse, where a friendly neighborhood astronomy nerd had his telescope set up on the common balcony, happily sharing the view with everyone. 010
Aaron Eline @aaroneline.bsky.social · 11/07/2026My good friend John bought 100 old credit card readers off ebay and reverse engineered them: youtu.be/whOf7lb8nqsyoutu.beRetrocomputing On The Cheap: Reverse Engineering The ZON JR XL (DC Systems)YouTube video by John Sutley 000
Aaron Eline @aaroneline.bsky.social · 22/06/2026Spent 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. 021
Aaron Eline @aaroneline.bsky.social · 05/06/2026Checkout what we got working at the museum this week! 010
Aaron Eline @aaroneline.bsky.social · 26/05/2026Wrote up a little trip report from NJPLS2026! aaronjeline.github.io/posts/njpls2...aaronjeline.github.ioNJPLS 2026 Trip Report 000
Aaron Eline @aaroneline.bsky.social · 05/05/2026Widely different vibes receiving this from friends in PL vs friends in the medical field. 100
Aaron Eline @aaroneline.bsky.social · 26/04/2026Pip has made it to 3 years old after surviving FIP. A wonderful creature. Here’s to many more years :) 030
Aaron Eline @aaroneline.bsky.social · 25/04/2026Wanted 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! 020
Aaron Eline @aaroneline.bsky.social · 15/04/2026Another 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. 100
Aaron Eline @aaroneline.bsky.social · 22/03/2026I 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. 210
Aaron Eline @aaroneline.bsky.social · 04/03/2026Great video from my friend John on repairing bits of his Corvette: youtu.be/Max6wBa4EdM?...youtu.beFixing The 1993 Corvette Part 1YouTube video by John Sutley 000
Reposted by Aaron ElineDC Systems @dcsystems.bsky.social · 24/02/2026DC 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/90ss30d2luma.comDC Systems 014 · Lumahttps://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… 043
Aaron Eline @aaroneline.bsky.social · 23/02/2026That’s just typeslop. You only like it because it doesn’t compile. 000
Reposted by Aaron ElineAntithesis @antithesis.com · 09/02/2026DC 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. 111
Aaron Eline @aaroneline.bsky.social · 06/02/2026This 99 year old AI lab still typechecks C the old fashioned way 000
Aaron Eline @aaroneline.bsky.social · 02/02/2026Let’s chat about one of coolest compilers ever made :) 000
Aaron Eline @aaroneline.bsky.social · 28/01/2026FORTRAN-style implicit typing but leave the judgement up to an LLM 000
Aaron Eline @aaroneline.bsky.social · 15/01/2026Hey, 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! 021
Aaron Eline @aaroneline.bsky.social · 23/08/2025Does anyone know how SMTLIB's String theory does unicode normalization? 010
Aaron Eline @aaroneline.bsky.social · 18/08/2025Attended USENIX last week. Wrote up some of the work I saw: aaronjeline.github.io/posts/usenix...aaronjeline.github.ioUSENIX 2025 Travel Blog 010
Aaron Eline @aaroneline.bsky.social · 03/07/2025Great talk from Joe Cutler: t.co/8Ffra2YkMt on improving the performance of property based testing.t.cohttps://www.youtube.com/watch?v=ux49IvxKQR8 010
Aaron Eline @aaroneline.bsky.social · 30/03/2025Got to revive an old tradition today. Coffee with my dad at Reister's Daughter. 010
Aaron Eline @aaroneline.bsky.social · 16/03/2025Great article from @mcy.gay on pretty printing. mcyoung.xyz/2025/03/11/f...mcyoung.xyzThe Art of Formatting Code · mcyoung 040
Aaron Eline @aaroneline.bsky.social · 26/01/2025It's been a year since this silly guy was officially cured. He's unstoppable. 000
Aaron Eline @aaroneline.bsky.social · 19/12/2024Favorite 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)arxiv.org 240
Aaron Eline @aaroneline.bsky.social · 17/12/2024Nice argument but I’ve already drawn your api as a huddle of grotesques and my api as the meeting of beauty 130
Reposted by Aaron Elinelauren @lauren.rotatingsandwiches.com · 17/12/2024new market inefficiency spotted 1755325
Aaron Eline @aaroneline.bsky.social · 17/12/2024A 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. 120
Reposted by Aaron ElineJake Tapper, long-suffering Philly sports fan @jaketapper.bsky.social · 07/07/2023 2613
