| March 18, 2025 | Text is Not the Universal Interface |
| 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 |