meta user
network profile
| bio | website | dannygratzer.com |
|---|---|---|
| location | United States | |
| age | 16 | |
| visits | member for | 1 year, 2 months |
| seen | Apr 6 at 20:15 | |
| stats | profile views | 6 |
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 | 5,973 rep | 21036 |
|
Programmers | 662 rep | 1414 |
|
Computer Science | 265 rep | 16 |
|
Area 51 | 151 rep | 1 |
|
Raspberry Pi | 113 rep | 6 |
This user has no active bounties
4 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 4 | up | 2 | question | ||
| 0 | down | 2 | answer | ||
