Technical Articles & Walkthroughs

Blog & Notes

Tutorials, practical research guides, and explanations of automated debugging, grammar fuzzing, and server workflows.

New Project SMT & Z3 Puzzles 100% LLM-Free Pure Determinism

September 2026 · 11 min read

Can First-Order Logic Catch a Killer? Modeling Murdoku with a Theorem Prover

Why solve logic puzzles by hand when you can summon Microsoft's Z3 theorem prover? Building an automated SMT constraint solver for the Murdoku puzzle game.

By Martin Eberlein

GitHub Read Article

Fuzzing EvoGFuzz

July 23, 2023 · 8 min read

Evolutionary Grammar-Based Fuzzing

A practical walk-through of using evolutionary optimization and probabilistic grammars with EvoGFuzz to systematically discover failure-inducing inputs in Python programs.

By Martin Eberlein Read Article

Debugging Machine Learning

August 1, 2022 · 6 min read

AlhazenML: Explaining Program Behavior

How machine learning models can learn associations between input grammar features and program crashes to automatically form hypotheses explaining why failures occur.

By Martin Eberlein Read Article

Server Python HPC Cluster

January 16, 2023 · 5 min read

How-To: Install any Python Version on HU-Cluster

A step-by-step guide for computer science students and researchers on installing and switching between Python versions on shared HPC cluster machines without root privileges.

By Martin Eberlein Read Article