Communicating With Code

I strongly suspect that AI alignment can’t mean what a lot of us think it means, because the popular framing of the problem includes categor...

This may be obvious to some folks, but it’s not been clear to me: how does Rust’s async / await facility actually work, down at the machin...

I’ve advocated for Linear Types in Rust for some time , most recently, arguing that it can resolve an important foot-gun for accidental futu...

There’s been a lot of discussion , recently, about how to improve async behavior in Rust. I can’t pretend to have internalized the entire ...

I've said this before: elegant code is pedagogical . That is, elegant code is designed to teach its readers about the concepts and relat...

In my career, I've focused a lot on making my code bug-resistant, and I've spent a lot of time trying to learn or invent techniques ...

There are two stories I particularly like about the problem of bootstrapping self-referential tools. This one : Another way ...