The Solitude Curve
Whether we're in 1957 looking at the first compiler, or 2025 looking at AI assistants, the dynamic is similar: automation that extends how long you can work productively without external dependencies.…
4 posts
Whether we're in 1957 looking at the first compiler, or 2025 looking at AI assistants, the dynamic is similar: automation that extends how long you can work productively without external dependencies.…
I’m not arguing against type theories, not arguing against the usefulness of various forms of type inference, not arguing against reasonable requests, not arguing against the desire to reason about co…
I recently came across this excerpt: I demand excellence from my co-workersif there's some valid program out there that you couldn't ever write, then you're not justified in calling yours…
… a trivial (in retrospect) method for entirely relieving compilers of the burden of stack discipline: a necessary first step towards relieving programmers of the burden of compilers. A systems progra…