Comment on Linux royalty backs adoption of Rust for kernel code

<- View Parent
WalnutLum@lemmy.ml ⁨1⁩ ⁨week⁩ ago

Did somebody say “provably correct”?

Haskell has entered the chat

source
Sort:hotnewtop