Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I hope they or Prossimo will also look and reimplement in the similar fashion the core Internet protocols - BGP, OSPF and RIP, other routing implementations, DNS servers, and so on.


Check out

https://nlnet.nl/project/current.html https://www.sovereign.tech/programs/fund

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

Eg BGP in Rust https://www.nlnetlabs.nl/projects/routing/rotonda/


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

[1] https://github.com/holo-routing/holo


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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: