Anil Madhavapeddy: Watching @ryan.freumh.org give his unified formal calculus talk for package management to an overflowing room at #fosdem! Livestream stream.fosdem.org/k3201.m3u8 and preprint at arxiv.org/pdf/2506.10803 amok.recoil.org/system/media... amok.recoil.org/system/media...

Watching @ryan.freumh.org give his unified formal calculus talk for package management to an overflowing room at #fosdem! Livestream stream.fosdem.org/k3201.m3u8 and preprint at arxiv.org/pdf/2506.10803 amok.recoil.org/system/media... amok.recoil.org/system/media...