network profile
| bio | website | lambdageek.org |
|---|---|---|
| location | Boston, MA | |
| age | 34 | |
| visits | member for | 2 months |
| seen | Mar 19 at 21:29 | |
| stats | profile views | 0 |
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 asked any questions
|
Stack Overflow | 6,437 rep | 1823 |
|
Programmers | 453 rep | 27 |
|
Mathematics | 103 rep | 3 |
|
Super User | 101 rep | 2 |
|
Meta Stack Overflow | 101 rep | 1 |
This user has no active bounties
0 Votes Cast
This user has not cast any votes
