GeertB



submissions / comments / favourites


Compiler and Database engineer. Polyglot. Love formal methods, floating-point, boundary between hardware and software.