Hacker News new | past | comments | ask | show | jobs | submit login

user: GeertB created: October 31, 2014 karma: 76 about: Compiler and Database engineer. Polyglot. Love formal methods, floating-point, boundary between hardware and software. submissions comments favorites