user:damianabramov
created:Mar 11, 2026
karma:1
about:

TLA+, Erlang. https://abramov.im