Hackernews posts about Asterinas

1. Asterinas: A new Linux-compatible kernel project (lwn.net)
   224 points by howtofly 27 days ago | 75 comments
2. Claude Finds God (asteriskmag.com)
   4 points by surprisetalk about 22 hours ago | discuss
3. Asterinas: OS kernel written in Rust and providing Linux-compatible ABI (github.com)
   364 points by Klasiaster 9 months ago | 224 comments
4. Asterinas: OS kernel written in Rust and providing Linux-compatible ABI (github.com)
   1 points by limoce over 1 year ago | discuss
5. Kernel Memory Safety: Mission Accomplished (asterinas.github.io)
   9 points by Flundstrom2 about 1 month ago | 1 comments
6. Kernel Memory Safety: Mission Accomplished (asterinas.github.io)
   4 points by Ar-Curunir about 1 month ago | 2 comments
7. Towards Practical Formal Verification for a General-Purpose OS in Rust (asterinas.github.io)
   4 points by lukastyrychtr 5 months ago | discuss
8. Kernel Memory Safety: Mission Accomplished (asterinas.github.io)
   2 points by thunderbong about 1 month ago | discuss
9. Scientific Publishing: Enough Is Enough (asterainstitute.substack.com)
   25 points by lentoutcry about 1 month ago | 13 comments