Aaron Eline's Avatar

Aaron Eline

@aaroneline

74
Followers 261
Following 51
Posts 18.05.2023
Joined
Posts Following

Latest posts by Aaron Eline @aaroneline

Fixing The 1993 Corvette Part 1
Fixing The 1993 Corvette Part 1 YouTube video by John Sutley

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

04.03.2026 21:43 👍 0 🔁 0 💬 0 📌 0
Preview
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…

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

24.02.2026 19:59 👍 4 🔁 3 💬 0 📌 1

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

23.02.2026 00:32 👍 1 🔁 0 💬 0 📌 0
Post image
12.02.2026 21:32 👍 2 🔁 0 💬 0 📌 0
Video thumbnail

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.

09.02.2026 18:38 👍 1 🔁 1 💬 1 📌 1

We’re gonna make lambdas go fast! 😎

09.02.2026 18:42 👍 0 🔁 0 💬 0 📌 0
Post image Post image

Potomac commute

06.02.2026 14:23 👍 0 🔁 0 💬 0 📌 0
Post image

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

06.02.2026 13:59 👍 0 🔁 0 💬 0 📌 0

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

02.02.2026 17:33 👍 0 🔁 0 💬 0 📌 0
Post image

He won’t stop eating plastic

01.02.2026 14:21 👍 0 🔁 0 💬 0 📌 0

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

28.01.2026 21:10 👍 0 🔁 0 💬 0 📌 0
Post image

My guy happened to come with a bow tie

19.01.2026 05:15 👍 2 🔁 0 💬 0 📌 0

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!

15.01.2026 01:44 👍 2 🔁 1 💬 0 📌 0
Post image
10.01.2026 13:48 👍 1 🔁 0 💬 0 📌 0

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

23.08.2025 15:02 👍 1 🔁 0 💬 0 📌 0
Post image

Coffee and a cat

22.08.2025 15:00 👍 3 🔁 0 💬 0 📌 0
USENIX 2025 Travel Blog

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

18.08.2025 13:00 👍 1 🔁 0 💬 0 📌 0
https://www.youtube.com/watch?v=ux49IvxKQR8

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

03.07.2025 05:12 👍 1 🔁 0 💬 0 📌 0
Post image

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

30.03.2025 15:36 👍 1 🔁 0 💬 0 📌 0
Preview
The Art of Formatting Code · mcyoung

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

16.03.2025 03:35 👍 4 🔁 0 💬 0 📌 0
Post image

Finally, someone's saying it!

30.01.2025 02:04 👍 0 🔁 0 💬 0 📌 0
Post image

??

29.01.2025 20:00 👍 0 🔁 0 💬 0 📌 0
Post image

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

26.01.2025 20:33 👍 0 🔁 0 💬 0 📌 0
Post image
26.01.2025 04:00 👍 1 🔁 0 💬 0 📌 0
Post image

Maya just brought me this

17.01.2025 20:56 👍 1 🔁 0 💬 0 📌 0
Post image

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

06.01.2025 19:28 👍 2 🔁 0 💬 0 📌 0
Post image

Someone is enjoying the fruits of Christmas

30.12.2024 18:47 👍 1 🔁 0 💬 0 📌 0
Post image

Sleep cat

24.12.2024 14:19 👍 3 🔁 0 💬 1 📌 0
Post image Post image

Cats

22.12.2024 23:13 👍 1 🔁 0 💬 0 📌 0

Oh man and I totally forgot all the super cool work on OCaml’s new modal type system!

19.12.2024 21:30 👍 1 🔁 0 💬 0 📌 0