Making Pigs Fly (a.k.a. Getting the Verifier to Approve eBPF Code)

substack.bomfather.dev