sven's blog
- all posts
- 2026-03-22 Testing complex high-level functions
- 2026-02-20 Writing the steps to validate a test that already passes in the commit message
- 2026-02-19 Should we start writing verifiable claims in commit messages?
- 2025-08-14 You probably shouldn't test the leafs directly, except when...
- rss