October 14, 2024 - An Introduction to Tarjan’s Path Expressions Algorithm
August 29, 2021 - What Are Security Conditions? - An Addendum on Noninterference
August 12, 2021 - What are Security Conditions?
December 22, 2020 - On Proofs, Programs, and Houses
August 23, 2020 - You can’t stop cancel culture
July 05, 2020 - Hamilton and Hiring Women Guards
December 18, 2017 - Embedding and Extending Go in Haskell
December 26, 2016 - Implementing call/cc
January 07, 2016 - Simulating Random Walks with the List Monad
January 06, 2016 - Hello World, Meet Blog