用 Rust 写 BPF 还差什么：LPC 2026 Alexei rust-bpf 进展解读
本文地址：https://www.ebpf.top/post/rust-bpf-evolution 1. 目标：rustc 接受的，验证器也接受 2. 已就绪：函数调用这一层基本放开了 3. 卡点：验证器“算不过来” 4. 解法：验证器改走不动点分析，0/13 到 6/13 5. 还没打通：指针、panic 清理和工具链 6.……
包含标签 verifier 中的文章
Linux 7.3 BPF新特性：binfmt_misc 可编程、arena 指针直通 kfunc、验证器"说人话"
本文地址：https://www.ebpf.top/post/linux-7-3-bpf-features 1. 引子：373 个提交里的 BPF 全景 2. exec 路径可编程：binfmt_misc 的 BPF handler 2.1 痛点 2.2 被否决的方案 2.3 struct_ops：match() 与 load() 2.4 新 kfunc 2.5 两种调度模式 2.6 注册、预绑定解释……