Programming Languages @programming.dev armchair_progamer @programming.dev 2y ago Security and Crashing with Modal Logic (blog post) ryanbrewer.dev /posts/security-crashing-modal-logic.html 1 crossposts Hacker News @derp.foo haxor @derp.foo BOT 2y ago Security and crashing with modal logic ryanbrewer.dev /posts/security-crashing-modal-logic.html
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.