- January 22, 2025 Designing a Theorem Prover, Part 9
- January 8, 2025 Designing a Theorem Prover, Part 8
- December 26, 2024 Designing a Theorem Prover, Part 7
- December 14, 2024 Designing a Theorem Prover, Part 6
- December 10, 2024 Designing a Theorem Prover, Part 5
- November 30, 2024 Designing a Theorem Prover, Part 4
- September 29, 2024 Designing a Theorem Prover, Part 3
- September 21, 2024 Forwards versus Backwards Reasoning
- September 9, 2024 Designing a Theorem Prover, Part 2
- September 8, 2024 Designing a Theorem Prover, Part 1
- November 15, 2022 Damn Vulnerable DeFi, #8 Puppet
- November 2, 2022 Damn Vulnerable DeFi, #6 Selfie
- August 17, 2022 Damn Vulnerable DeFi, #5 The rewarder
- August 11, 2022 Damn Vulnerable DeFi, #4 Side entrance
- August 10, 2022 Damn Vulnerable DeFi, #3 Truster