Home | Notifications | New Note | Local | Federated | Search | Logout
Reply to @sun@shitposter.world Q.U.I.N.N.@icedquinn@blob.cat (2026-08-22 10:02:51) @sun :blobcatpensive2: hoare and separation logic. that's not what makes something formally verifiable, but it helps.Reply
---Reply--- Blurry Moon@sun@shitposter.world (2026-08-22 10:08:30) @icedquinn yeah really trying to make sure its amenable to static analysis