Daily lobste.rs News for 2021-11-08
08 Nov 2021 -
1 minute read
How much is a mechanized proof worth, certification-wise? (comments)
Which Python projects have completed their transition to a type system successfully? (comments)
Interim OS: Reclaiming the Computer through Minimalism and Genericity (2015) (comments)
It’s Time to Get Hyped About Const Generics in Rust (comments)