Hackernews posts about Asterinas
- Yes in My Bamako Yard (asteriskmag.com)
- Kernel Memory Safety: Mission Accomplished (asterinas.github.io)
- Kernel Memory Safety: Mission Accomplished (asterinas.github.io)
- Towards Practical Formal Verification for a General-Purpose OS in Rust (asterinas.github.io)
- Kernel Memory Safety: Mission Accomplished (asterinas.github.io)