Hacker News new | ask | show | jobs
by oneon 2693 days ago
The Geneva system has been cancelled because achieving the "universal" verification would have meant to rebuild the whole system from scratch.