|visits||member for||1 year, 4 months|
|seen||14 mins ago|
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
|bio||website||dannygratzer.com||visits||member for||1 year, 4 months|
|location||United States||seen||14 mins ago|