Hacker News new | past | comments | ask | show | jobs | submit login
user:tildedave
created:January 26, 2011
karma: 92
about: https://tildedave.com

Software drone in the SF Bay Area. It's a good life. Coq, number theory, Ursula K. Le Guin.

[ my public key: https://keybase.io/tildedave; my proof: https://keybase.io/tildedave/sigs/IE4HGc-JZRlvDHl5-o7iiIbJBzBLJH_eOu_00iF6tlU ]

submissions
comments
favorites