Aaron Eline
@aaroneline.bsky.social
Reposted by Aaron Eline
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 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.
February 9, 2026 at 6:38 PM
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 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! 😎
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 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.
February 9, 2026 at 6:42 PM
We’re gonna make lambdas go fast! 😎
This 99 year old AI lab still typechecks C the old fashioned way
February 6, 2026 at 1:59 PM
This 99 year old AI lab still typechecks C the old fashioned way
Let’s chat about one of coolest compilers ever made :)
#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.
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.
February 2, 2026 at 5:33 PM
Let’s chat about one of coolest compilers ever made :)
He won’t stop eating plastic
February 1, 2026 at 2:21 PM
He won’t stop eating plastic
FORTRAN-style implicit typing but leave the judgement up to an LLM
January 28, 2026 at 9:10 PM
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!
January 15, 2026 at 1:44 AM
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?
August 23, 2025 at 3:02 PM
Does anyone know how SMTLIB's String theory does unicode normalization?
Attended USENIX last week. Wrote up some of the work I saw: aaronjeline.github.io/posts/usenix...
USENIX 2025 Travel Blog
aaronjeline.github.io
August 18, 2025 at 1:00 PM
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.
https://www.youtube.com/watch?v=ux49IvxKQR8
t.co
July 3, 2025 at 5:12 AM
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.
March 30, 2025 at 3:36 PM
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...
The Art of Formatting Code · mcyoung
mcyoung.xyz
March 16, 2025 at 3:35 AM
Great article from @mcy.gay on pretty printing. mcyoung.xyz/2025/03/11/f...
Finally, someone's saying it!
January 30, 2025 at 2:04 AM
Finally, someone's saying it!
It's been a year since this silly guy was officially cured. He's unstoppable.
January 26, 2025 at 8:33 PM
It's been a year since this silly guy was officially cured. He's unstoppable.
Maya just brought me this
January 17, 2025 at 8:56 PM
Maya just brought me this
Someone is happy I’m back at my desk all day
January 6, 2025 at 7:28 PM
Someone is happy I’m back at my desk all day
Someone is enjoying the fruits of Christmas
December 30, 2024 at 6:47 PM
Someone is enjoying the fruits of Christmas
