2025 in a minute

2025 was an eventful year. My prime path coverage was included and released with GCC, along with a few minor patches. I presented prime path coverage and my work on GCC at NASA at the Johnson Space Center in Houston, and published the pre-prints of my papers on MC/DC and prime path coverage in GCC. I wrote and did a course on package management with Guix. I have delivered on contracts on build systems and package management, and data processing in Zig. A client hired me to do an interesting system in Rust, leading to a large-ish contribution to a physical units library. zcov saw steady improvements, too.

Techtown 2025 and 2026

The recordings of the Techtown 2025 talks are out. There were a lot of good talks this year (as every year, really). I can in particular recommend JF Bastien’s Much ado about Noping, Anders Knatten’s Real-time safety - Guaranteed by the Compiler!, Jana Machutová’s Parallel Algorithms: Work Smarter, Not Harder for a good overview of the C++ parallel algorithms library, Xavier Bonaventura’s Dynamic memory allocation challenges in safety critical systems, and of course Robert Seacord’s _ Composite Array Types in C_. This is just a small sample of the full programme. Kevlin’s locknote The Past, Present and Future of Programming Languages was a blast, too.

There’s also my own talk, Coverage, quality, and Goodhart’s Law. We had some sound problems in the room with a rebellious loudspeaker, but the recording is mostly fine.

The NDC Techtown 2026 Call for papers is open. Last year was brilliant and I have no doubt this year will be another fantastic experience. The submission deadline is May 3rd and the event is September 21-24 at Kongsberg.