Hacker News new | ask | show | jobs
by tha_nose 2664 days ago
There isn't a "safe or bug free" codebase in any language for any complex software project. The only code that you could possibly verify as "safe" are simplest of programs.

There is always a trade-off between complexity, security and performance.