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.

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

Elsewhere