Daily lobste.rs News for 2022-03-14
14 Mar 2022 -
1 minute read
bonak: an iterated Grothendieck construction of semi-cubical types (comments)
Announcing Savage, a computer algebra system written in Rust (comments)
How to write a tree-sitter grammar in an afternoon (comments)
A Sketch of the Biggest Idea in Software Architecture (comments)
Zero-downtime schema migrations in Postgres using views (comments)
PartialExecuter: Reducing WebAssembly size by exploring all executions in LLVM (comments)