Hacker News new | ask | show | jobs
by fpgaminer 2636 days ago
You're right, but the comment you replied to covers that:

> This has been confirmed by fallible tools and is checked against human-made models which are also fallible, but this code is still likely to be about as close to bug-free as currently possible.

1 comments

Fair point, I was too hasty in replying there.