Hacker News new | ask | show | jobs
by colonwqbang 1773 days ago
If only there was some way to formally verify that an algorithm is correctly implemented