armchair_progamerM to Programming Languages · 1 year agoSecurity and Crashing with Modal Logic (blog post)ryanbrewer.devexternal-linkmessage-square1fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkSecurity and Crashing with Modal Logic (blog post)ryanbrewer.devarmchair_progamerM to Programming Languages · 1 year agomessage-square1fedilink
minus-squarecbarrick@lemmy.worldlinkfedilinkEnglisharrow-up1·1 year 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.