Advertisement · 728 × 90

Posts by Aaron Eline

Post image

Some of the nicest looking hardware I've seen.

5 days ago 0 0 0 0
Video

The Strowger switch works!

5 days ago 0 0 1 0
Post image Post image Post image

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.

5 days ago 0 0 1 0
Post image Post image Post image

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.

4 weeks ago 1 0 1 0
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?...

1 month ago 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

1 month ago 4 3 0 1

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

1 month ago 1 0 0 0
Advertisement
Post image
2 months ago 2 0 0 0
Video

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.

2 months ago 1 1 1 1

We’re gonna make lambdas go fast! 😎

2 months ago 0 0 0 0
Post image Post image

Potomac commute

2 months ago 0 0 0 0
Post image

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

2 months ago 0 0 0 0

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

2 months ago 0 0 0 0
Post image

He won’t stop eating plastic

2 months ago 0 0 0 0
Advertisement

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

2 months ago 0 0 0 0
Post image

My guy happened to come with a bow tie

3 months ago 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!

3 months ago 2 1 0 0
Post image
3 months ago 1 0 0 0

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

7 months ago 1 0 0 0
Post image

Coffee and a cat

7 months ago 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...

8 months ago 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.

9 months ago 1 0 0 0
Post image

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

1 year ago 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...

1 year ago 4 0 0 0
Advertisement
Post image

Finally, someone's saying it!

1 year ago 0 0 0 0
Post image

??

1 year ago 0 0 0 0
Post image

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

1 year ago 0 0 0 0
Post image
1 year ago 1 0 0 0
Post image

Maya just brought me this

1 year ago 1 0 0 0
Post image

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

1 year ago 2 0 0 0