101 reputation
bio website lambdageek.org
location Boston, MA
age 35
visits member for 2 years
seen Feb 21 at 19:53

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

This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags
Stack Overflow 11,103 rep 11430
Programmers 583 rep 28
Area 51 151 rep 1
Mathematics 103 rep 3
Super User 101 rep 2

0 Votes Cast

This user has not cast any votes