gloomybob.bsky.social
@gloomybob.bsky.social
Reposted by gloomybob.bsky.social
Our focus is specifically on getting *CS* people into formal verification, hence the name, "Logic for Systems" (as opposed to "Logic for philosophical syllogisms", say). There's a book accompanied by a verification tool specifically designed for education (not a lot are!).
forge-fm.github.io/book/
forge-fm.github.io/book/
How to Read this book - Logic for Systems: Lightweight Formal Methods for Everybody
forge-fm.github.io
December 13, 2025 at 12:25 PM
Our focus is specifically on getting *CS* people into formal verification, hence the name, "Logic for Systems" (as opposed to "Logic for philosophical syllogisms", say). There's a book accompanied by a verification tool specifically designed for education (not a lot are!).
forge-fm.github.io/book/
forge-fm.github.io/book/
Reposted by gloomybob.bsky.social
The epic continues: emptysqua.re/blog/review-...
Knowledge and Common Knowledge in a Distributed Environment, Part 2
Graph theory and epistemology, oh my!
emptysqua.re
August 25, 2025 at 2:48 PM
The epic continues: emptysqua.re/blog/review-...