News for hackers. Stuff that matters.

A comment on Prossimo – Memory safety for the Internet's most critical infrastructure. Parent comment

Re:Prossimo – Memory safety for the Internet's most critical... by deknos on Saturday June 19, 2021 @06:46AM (#27559442)
you are aware of ironside? a dns server written in ADA, and at least parts verified in spark?

https://ironsides.martincarlisle.com/

[ Parent | on HN ]

There are no comments on this comment yet.