| user: | tildedave |
| created: | January 26, 2011 |
| karma: | 94 |
| about: | https://tildedave.com Software person in RDU. It's a good life. Coq, number theory, Clojure, Golang, Ursula K. Le Guin, toddler dad. [ my public key: https://keybase.io/tildedave; my proof: https://keybase.io/tildedave/sigs/IE4HGc-JZRlvDHl5-o7iiIbJBzBLJH_eOu_00iF6tlU ] |