Making Pigs Fly (a.k.a. Getting the Verifier to Approve eBPF Code) | Dark Hacker News