Hacker News new | ask | show | jobs
by DougN7 699 days ago
That’s a pretty big claim. If they have software that can guarantee a program will never crash it would be revolutionary, and could probably solve the halting problem.