Damian Abramov

Correctness at the boundary of physics and computation.

I work on distributed systems, mostly in Erlang/OTP, which I’ve been writing since 2014. I use formal methods in that work, mainly TLA+ and property-based testing.

I run untyped.ai, a company that tests code written by AI agents. Each failure it finds comes with a seed that reproduces it.

The essays grew out of a stack of private reading notes. They are my own questions, taken seriously.

Elsewhere