Aaron Eline

Working on programming languages, systems, and security, or the hard problem of specification. he/him.

[Aaron Eline @aaroneline]

Spent today helping my friend John get this old switchboard up and running! It lives!

[Aaron Eline @aaroneline]

Curious what happens here? Does anthropic charge me for this? Does any of the context generated influence future requests? Or did I just burn 45m and a bunch of usage limits for nothing?

[Aaron Eline @aaroneline]

Wrote up a little trip report from NJPLS2026! https://t.co/1CKE6umeaj

[Aaron Eline @aaroneline]

NJPLS was a blast as always. Thanks to the organizers!

[Aaron Eline @aaroneline]

@joomy gave a great talk showing off his importation of Turkish grammatical structures into a type system.

[Yaron (Ron) Minsky @yminsky]

We gave @dwarkesh_sp a tour of one of our new GPU-filled data-centers. Much fun!

https://t.co/WpmrVd46bf

[unconed 🛸💫🌞 @unconed]

@disconcision When Microsoft created "My Computer" and "My Documents", they demonstrated they did not understand the point at all.

The entire thing is my computer. They are all my documents.

[Aaron Eline @aaroneline]

@ngernest2 @Keleesssss One of these days I'm gonna get around to reading the Knuth chapter on PRNGs

[Aaron Eline @aaroneline]

@moyix Until you come back and they've found unrelated non-security relevant to get around your CTFs

[Aaron Eline @aaroneline]

Widely different vibes receiving this from friends in PL vs friends in the medical field.

[Aaron Eline @aaroneline]

A crossover I've been waiting for!

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

Adam Leventhal and Bryan Cantrill will be talking with @KathiFisler and me on the Oxide and Friends podcast this evening (5pm Pacific/8pm Eastern) about our "experiences enabling students with agentic AI". Join in!
https://t.co/QZTAVHZpqC

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

Adam Leventhal and Bryan Cantrill will be talking with @KathiFisler and me on the Oxide and Friends podcast this evening (5pm Pacific/8pm Eastern) about our "experiences enabling students with agentic AI". Join in!
https://t.co/QZTAVHZpqC

[Aaron Eline @aaroneline]

Part of this is also social, we believe in the community around a given compiler project to use these software engineering techniques, and to accept fixes. This isn't the case with LLMs. (Why did it write a bug? I don't know, Can you prevent it from doing it agin? no)

[Aaron Eline @aaroneline]

I think people have begun to use "deterministic" when they mean "explainable" or "testable". When there are bugs in clang/rustc/ghc/whatever we can identify and repair the fault, and use software engineering techniques to help prevent recurrence.

[Tom Sydney Kerckhove @kerckhove_ts]

"Compilers are deterministic"
Lol nope!

(but I agree with your conclusion.)

[Ernest Ng @ngernest2]

I’m giving a talk at NJPLS (5/22 at Penn)!
I’ll be presenting a DSL for specifying hardware communication protocols & some cool things you can do with it.

Joint work w/ Nikil Shyamsunder, Francis Pham, Adrian Sampson & Kevin Laeufer

https://t.co/aWYe75RgKf

[𝚊𝚕𝚔𝚊𝚕𝚒 @alkalinesec]

great bug that is exactly the sort of thing sophisticated attackers would actually use in the real world

https://t.co/UrEMwLUBNE

[Oskar Wickström @owickstrom]

New blog post: "The Bombadil Terminal Experiment"

https://t.co/heiC4upzrP

[Aaron Eline @aaroneline]

Great looking program at NJPLS this year! https://t.co/Yta25Saw9o Can't wait

[Aaron Eline @aaroneline]

@owickstrom Please keep posting progressively taller monitors