Practical Formal Methods in the Age of AI
A risk-driven way to choose among fuzzing, property tests, state-machine tests, Alloy and TLA+ when AI makes code faster to produce.
Writing
From Property-Based Testing to Model-Based Testing
Using Rapid to generate operation sequences, compare a booking system with a simpler model and shrink failing histories.
What I Lose When AI Writes the Code
On understanding, authorship, and the shift from building software to reviewing it.
Property-Based Testing in Go: Testing Invariants with Generated Inputs
Using Rapid to test serialization round trips, deterministic event IDs and stateful behavior with generated inputs.
Archive
2020
2012
2011
Fibonacci sequence
Searching Algorithms – Part 3
Searching Algorithms – Part 2
Searching Algorithms – Part 1
Project Euler 011
Project Euler 010
Sieve of Eratosthenes
Project Euler 009
Project Euler 008
Project Euler 007
Primality Testing
Project Euler 006
Project Euler 005
Project Euler 004
Project Euler 003
Project Euler 002 – More efficient
Project Euler 002
Project Euler 001