network profile
| bio | website | dannygratzer.com |
|---|---|---|
| location | United States | |
| age | 17 | |
| visits | member for | 1 year, 3 months |
| seen | May 18 at 4:35 | |
| 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
This user has not asked any questions
|
Stack Overflow | 6,280 rep | 21037 |
|
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
18 Votes Cast
| all time | by type | month | |||||
|---|---|---|---|---|---|---|---|
| 18 | up | 5 | question | 2 | |||
| 0 | down | 13 | answer | ||||
