On: Verified Rust for low-level systems code

[algorithmsRcool]

I've found the DX of Dafny to be very approachable. The VSCode extension is pretty great, and you get feedback as you type. Also, its ability to give you counter examples in the IDE is really nice.

[opnitro → algorithmsRcool]

Lot's of great work on dafny in general!