Lambdageek

Boston, MA

lambdageek.org

Age: 35

Once I compiled programs.
Later I wrote proofs about programs.
Now I compile programs with proofs.

One day I hope to compile proofs and get programs.

(I want to be @pigworker when I grow up.)