Blog

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