Blog

• Solving NYT Pips with SMT

  27 August 2025 – SMT solvers are neat and friendly.

• When 'when' went wonky

  9 August 2025 – A surprising edge case in Kotlin's exhaustiveness checking.

• A Look at AI Image Synthesis

  22 January 2023 – Lying about my vacation with the power of machine learning.

• Building a WORDLE Solver in Python

  10 January 2022 – Exploits of a coder in quarantine.