- 08/2024 - Solving LinkedIn's Queens game with CodeQL
- 02/2021 - Handle function calls during static analysis in angr
- 11/2019 - Use SMT Solvers to generate crossword grids (3)
- 11/2019 - Use SMT Solvers to generate crossword grids (2)
- 11/2019 - Use SMT Solvers to generate crossword grids (1)
- 02/2019 - NixOS on a Dell XPS15 9560
- 10/2018 - Scanning "modern" web applications with OWASP ZAP
- 06/2018 - Patch option in Git
- 05/2018 - Google Hangouts with Irssi on Nixos
- 04/2018 - Setup a dev environment to contribute to ZAP