101 reputation
2
bio website lambdageek.org
location Boston, MA
age 35
visits member for 1 year, 8 months
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.)


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

1 Vote Cast

all time   by type  
1 up 1 question
0 down 0 answer