Hacker News Reader

Check out

There's been good support over the last couple of years to fund rewriting critical internet & OS tools into safer languages like Rust.

Thank you, precisely what I had in mind! Somehow I missed this project. As well as Holo[1] (routing)

https://www.memorysafety.org/initiative/ this page mentions TLS and DNS which goes some way towards your suggestion.

Is that domain actually about memory safety or about Rust?

One guy did Ironsides DNS in SPARK Ada which has stronger proofs.

Nothing against Ada, it's a good language. The only problem would be finding contributors in that case.