Hacker News new | ask | show | jobs
Making Pigs Fly (a.k.a. Getting the Verifier to Approve eBPF Code) (substack.bomfather.dev)
5 points by neil_naveen 190 days ago