On: Verified Rust for low-level systems code

[algorithmsRcool]

Always cool to see Dafny mentioned!

Shameless plug: I just wrote a beginner's introduction to Dafny a few days ago.

https://www.linkedin.com/pulse/getting-started-dafny-your-fi...