🔁 eBPF Tail Calls - hello · Scour

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust 🔀Crossbeam

arxiv.org·6d·Hacker News

Who verifies the verifier? Notes on DeepMind's formal proof-search paper 🧮SMT Solvers

korbonits.com·2d·Hacker News

IR: Thread TypeContext explicitly into IRVerifier 📦Serde

KernelScript 0.1 Debuts as a New Language for eBPF Development 🦅Falco

linuxiac.com·6d

eBPF rootkits and the Volatility blind spot in Linux memory forensics 🔍eBPF

andreafortuna.org·5d·Hacker News

Less-relevant results

Your JWT decoder might be leaking your tokens. Here's how to check. 🔍eBPF Verifier

freedevtool.org·2d·DEV

DeepSWE: A contamination-free benchmark for long-horizon coding agents 🚀Performance

deepswe.datacurve.ai·5d·Hacker News, r/ClaudeAI, r/singularity, r/vibecoding

Evidential Survivability: OCP and Ethereum's CROPS Direction 🌳Merkle Trees

ethresear.ch·23h

Production Android Auth: OAuth2, PKCE & KeyStore Security 🔒Security

omkanse.hashnode.dev·19h·DEV

Auditing DeepSWE 📝Write-Ahead Logging

june.kim·5d·Hacker News

AI is doing something weird to Science (30 minute read) ⚓Anchors

blog.apiad.net·6d

LamprosM-prog/schnorr-interactive-protocol-csharp: A proof of concept for Schnorr's Interactive ZKP Protocol. 📦Protocol Buffers

github.com·2d·r/crypto

Zero-Knowledge Proofs: Proving You Know a Secret Without Revealing It 🔐Homomorphic Secret Sharing

havenmessenger.com·3d·DEV

No Signup Required 📝Poem

logicnodes.io·4d·DEV

How Jevil works 🏹Robin Hood Hashing

symbolic.software·1d

DeepSWE blows up the AI coding leaderboard, crowns GPT-5.5, and finds Claude Opus exploiting a benchmark loophole 🚀Performance

venturebeat.com·5d·Hacker News, r/LocalLLaMA, r/singularity

SI-RVP: off-chain bisection + a single-instruction Groth16 proof for optimistic-rollup dispute resolution 🤝Paxos

ethresear.ch·1d

Trust but Verify: Prover-Verifier Deliberation for Selective LLM Prediction 🧮SMT Solvers

yeet-src/usbsnoop: Live, system-wide USB transfer sniffer in eBPF — decodes USB traffic inline (control SETUP, SCSI, HID) from two universal URB hooks. No usbmon, no hardware sniffer. CO-RE portable. ⏰Timestamping

github.com·1d·Hacker News, r/linux

OmniVerifier-M1: Multimodal Meta-Verifier with Explicit Structured Recalibration 🤖TVM

Log in to enable infinite scrolling