Post #3810978

@ttraenkler@mastodon.online (by the way, you replied to my two-year-old link of an earlier version of this talk -- the latest and canonical one is the PLDI 2025 paper and talk, both available at https://dl.acm.org/doi/10.1145/3729259)