Security and Crashing with Modal Logic (blog post) (ryanbrewer.dev)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 19 Dec 2023 04:06
https://programming.dev/post/7449037

#programming_languages

threaded - newest

cbarrick@lemmy.world on 19 Dec 2023 05:15 collapse

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.