Daily lobste.rs News for 2022-10-13
13 Oct 2022 -
1 minute read
Python dependency management difficulty is an unhelpful meme (comments)
std: The Nix Flakes framework for perfectionists with deadlines (comments)
Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann (comments)
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types (comments)
katara: Synthesize CRDTs from classic data types with verified lifting (comments)
I wish my web server were in the corner of my room (comments)