home.social

#separationlogic — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #separationlogic, aggregated by home.social.

  1. 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. blogs.fediscience.org/the-upda

  2. @totherme Please could you recommend any good resources on separation logic? (Truly) asking for a friend.