Posts

A place for thoughts that won’t fit in a commit message

Witness Generation Wrap Up - GSoC 2025 Nov 5, 2025 A Rough Start - GSoC 2025 Jul 15, 2025 Making SemVer Breakage Obvious – GSoC 2025 May 30, 2025 An Introduction May 8, 2025