ra’s Twitter Archive—№ 25,719

@cdotwright that’s an interesting approach. the nix paper offers formal semantics to reason about packages though, which is unique i think