101 reputation
bio website lambdageek.org
location Boston, MA
age 35
visits member for 1 year, 5 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,758 rep 11129
Programmers 523 rep 27
Mathematics 103 rep 3
Super User 101 rep 2
Meta Stack Exchange 101 rep 1

1 Vote Cast

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