Hacker News new | ask | show | jobs
by redefine_net 1609 days ago
your program might as well be an infinite loop sampling a boolean, sigsegv can be thrown after hardware errors. I wouldn't sit under that piano even if your code is formally verified and that formal verification was verified to be verified. :)