network profile
| bio | website | dannygratzer.com |
|---|---|---|
| location | United States | |
| age | 17 | |
| visits | member for | 6 months |
| seen | Dec 17 '12 at 11:17 | |
| stats | profile views | 0 |
I am a programmer that dabbles in PLT and HCI as well as robotics. I am familiar with a bunch of languages, my favorites being Haskell, Racket & Scheme, Python, Go, Coq and C++ more or less in that order.
I have recently taken an interest in compilers and am doing a lot of work with them recently.
Additionally I'm attempting to learn about formal proofs and program verification with Coq
|
Stack Overflow | 6,183 rep | 21036 |
|
Programmers | 660 rep | 1414 |
|
Computer Science | 265 rep | 16 |
|
Area 51 | 151 rep | 1 |
|
Raspberry Pi | 113 rep | 6 |
This user has no active bounties
6 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 6 | up | 2 | question | ||
| 0 | down | 4 | answer | ||
