tildedave
...joined 13 years ago, and has 94 karma
submissions / comments / favourites
https://tildedave.com
Software drone in RDU. It's a good life. Coq, number theory, Golang, Ursula K. Le Guin.
[ my public key: https://keybase.io/tildedave; my proof: https://keybase.io/tildedave/sigs/IE4HGc-JZRlvDHl5-o7iiIbJBzBLJH_eOu_00iF6tlU ]