tildedave

Karma: 94

Joined: over 14 years ago

ID: tildedave

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 ]

Visit submission history to see stories and comments by tildedave.