@[email protected]M to Programming [email protected] • 11 months agoSecurity and Crashing with Modal Logic (blog post)ryanbrewer.devmessage-square1fedilinkarrow-up14arrow-down10cross-posted to: [email protected]
arrow-up14arrow-down1external-linkSecurity and Crashing with Modal Logic (blog post)ryanbrewer.dev@[email protected]M to Programming [email protected] • 11 months agomessage-square1fedilinkcross-posted to: [email protected]
minus-square@cbarricklinkEnglish1•11 months agoFantastic post. No real conclusions, but interesting nonetheless. The “current run”/“all runs” analogy between CS and modal logic is great, and I’m going to be thinking about this more in some of my own projects.
Fantastic post.
No real conclusions, but interesting nonetheless.
The “current run”/“all runs” analogy between CS and modal logic is great, and I’m going to be thinking about this more in some of my own projects.