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