Hacker News new | ask | show | jobs
by upofadown 3485 days ago
The comment you are replying to does not mention auditing.
1 comments

It's implied. The comment mentions code correctness and, per the article, this comes from "the extensive code auditing performed on the base system".