4 ms·
ok, I'm fine with that, the question is why it is technically better for Linux Kernel than a proper formally-verified implementation that doesn't require Rust t
by ghostwriter 6y ago
ok, I'm fine with that, the question is why it is technically better for Linux Kernel than a proper formally-verified implementation that doesn't require Rust toolchain?
- Ar-Curunir 6y agoBecause I can bet that it’s easier to write correct Rust than to write correct ATS.