Goalposts

Hacker News has set AI a lot of challenges over the years. Which ones has it met?

2025 Septemberotabdeveloper4

About whether LLMs can write eBPF programs that pass the kernel verifier.

LLMs will never be able to write eBPF code.

eBPF is a weird, formally validated secure subset of C. No "normal" C program will ever pass the eBPF validation checks.

An LLM writes eBPF code that passes the eBPF verifier's checks.

Has this happened?

Yes 49 (39%)Not sure 74 (58%)No 4 (3%)

Votes cast 1–2 October 2026: 100,590 votes from 9,694 people.