System Software's New Era: Reproducible Builds, Rootless CI, and RISC-V for Verifiable Security

If you’ve been following recent developments in system software, you might have noticed a pattern emerging. On the surface, stories about formal verification, reproducible builds, and non-root CI pipelines can seem like niche topics. But when you loo...