In this week's #blog (or last week's, I don't know, my schedule is shot) I look at the (pre)history of #separationLogic - cool substructural #logic set to work to solve programming problems. https://blogs.fediscience.org/the-updated-scholar/2025/09/11/discussing-bi-as-an-assertion-language-for-mutable-data-structures/