Hillel Wayne
buttondown.com
CLICK TO OPEN Formal methods advocate. Writing about TLA+, software correctness, and the history of computing.
CLICK TO OPEN Formal methods advocate. Writing about TLA+, software correctness, and the history of computing.