» Tag
compilers
2 posts«Oct 6, 2026
Proof-Carrying-BPF Programs Aim to Expand eBPF Verifier Acceptance
A SOSP '26 paper proposes proof-carrying-BPF programs, letting the eBPF verifier accept complex programs it previously rejected via formal proofs.
Mold Linker 3.0.0 Released, Now Fully Rewritten in Rust
Mold linker 3.0.0 ships as the first Rust-rewritten release, improving GNU ld compatibility, safety, and build tooling via Cargo.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com