101 reputation
1
bio website lambdageek.org
location Boston, MA
age 35
visits member for 1 year, 5 months
seen Jan 15 at 8:16

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,716 rep 11129
Programmers 513 rep 27
Mathematics 103 rep 3
Super User 101 rep 2
Meta Stack Exchange 101 rep 1

0 Votes Cast

This user has not cast any votes