- July 21, 2022 Ethernaut, #1 Hello Ethernaut
- July 19, 2022 CTF walkthrough, Intro
- December 7, 2019 Proving TAPL in Coq (ch 3, WIP)
- September 21, 2019 Making of Tiger #6, Stack frames
- September 8, 2019 Making of Tiger #3, Parsing
- August 23, 2019 Making of Tiger #2, Lexical Analysis
- August 22, 2019 Making of Tiger #1, Intro