Hacker News new | ask | show | jobs
by eru 4229 days ago
What does this have to do with the article?

Btw, if you want secure software, you better prove it correct. See eg http://sel4.systems/FAQ/#verif