yarn.meff.me @<lobste_rs https://feeds.twtxt.net/lobste_rs/twtxt.txt> "**Refinement: Formalizing the Simplicity Underneath Complex Programs** [Comments](https://lobste.rs/s/3vouyh/refinement_formalizing_simplicity) ⌘ [Read more](https://concerningquality.com/refinement/)"

Yarn

Refinement: Formalizing the Simplicity Underneath Complex Programs
Comments ⌘ Read more

#sfx4waa