101 reputation
bio website lambdageek.org
location Boston, MA
age 35
visits member for 2 years
seen Apr 4 '13 at 14:42

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.)