215
Linux royalty backs adoption of Rust for kernel code
(www.theregister.com)
This is a most excellent place for technology news and articles.
Did somebody say "provably correct"?
Haskell has entered the chat