Hacker News new | past | comments | ask | show | jobs | submit login
user:timdaub
created:February 11, 2015
karma:2178
about:GitHub: https://github.com/timdaub

Blog: https://proofinprogress.com

Email: tim@daubenschuetz.de

submissions
comments
favorites