Readit NewsDeleted Comment
Follow up posts:
https://smallcultfollowing.com/babysteps/blog/2026/02/09/hel...
https://smallcultfollowing.com/babysteps/blog/2026/02/10/dad...
https://smallcultfollowing.com/babysteps/blog/2026/02/14/sha...
When I have Rust projects with subsystems that must be unsafe, I will design them around Miri testability. This mostly means writing small unit-testable units and isolating I/O as much as possible. I almost always find I have made mistakes that Miri catches.
I've been waiting a long time for us to explore the moon.
I haven't been waiting for an Arch distro to release... whatever this is.
Lifetimes are based on affine types, which have some proven mathematics backing their properties. This is what guarantees the absence of invalid references, the fearless concurrency, etc.
What is backing the place-based system, and what formally proves that it always works?