Jan Onderka

Creator of machine-check.

Website: onderjan.net

GitHub: @onderjan

GitLab: @onderjan

Version 0.5.0: Division, nicer error spans, dual-interval domain

Eliminating the technical debt and getting the benefits. No breaking changes (hopefully).

Posted 2025-06-15 by Jan Onderka ‐ 4 min read

Introduction and a bit of history

The first blogpost on the new website, coinciding with the release of machine-check 0.4.0. Let's talk about what led to this moment.

Posted 2025-04-04 by Jan Onderka ‐ 7 min read