Martin
@sonic-martin.bsky.social
Reposted by Martin
Thanks Andy! We published the recording here www.youtube.com/watch?v=RnQK...
cc @alona.page @wpaven.bsky.social
cc @alona.page @wpaven.bsky.social
DBOS: 2025 Year in Review with Mike Stonebraker and Andy Pavlo
YouTube video by DBOS-Inc
www.youtube.com
December 15, 2025 at 7:56 PM
Thanks Andy! We published the recording here www.youtube.com/watch?v=RnQK...
cc @alona.page @wpaven.bsky.social
cc @alona.page @wpaven.bsky.social
Reposted by Martin
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/