Hacker News
- Formally verified DNS, Ironsides, now recursive. [/r/Ada cross-post] http://ironsides.martincarlisle.com/ 23 comments programming
- Ironsides just got Recursive. http://ironsides.martincarlisle.com/ 4 comments ada
- Provably Secure DNS: "As a result of the software validation process, IRONSIDES code is known to be free of uninitialized values, data flow errors, array bounds errors, and all runtime exceptions." http://ironsides.martincarlisle.com/icrst2013.pdf 23 comments programming