» Tag
linux-kernel
2 posts«5–Oct 11, 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.
Netkit: eBPF Datapath Closes the Container Networking Performance Gap
Netkit is an eBPF-based Linux datapath that eliminates redundant queue traversals, boosting container network throughput up to 37% with Cilium/Kubernetes.
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