🔁 eBPF Tail Calls - hello · Scour

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

arxiv.org·5d·Hacker News

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

korbonits.com·1d·Hacker News

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

linuxiac.com·6d

Your AI agent reads setup guides you can't fully see 🛡️AI Security

dev.to·2d·DEV

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

unprovable/OrchidMantis: Orchid Mantis — standalone framework for Zero-Knowledge Proofs of eXploit (ZKPoX). 🔓Binary Exploitation

github.com·4h·Hacker News

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

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

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

omkanse.hashnode.dev·16h·DEV

Auditing DeepSWE 📝Write-Ahead Logging

june.kim·5d·Hacker News

Self-Trained Verification for Training- and Test-Time Self-Improvement ⚓Anchors

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

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

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

Label-Free Reinforcement Learning via Cross-Model Entropy 💬Prompt Engineering

Verifiable Rewards Beyond Math and Code: Lightweight Corpus-Grounded Process Supervision for Factual Question Answering 🔍RAG

HartBreaker: Deterministic Fuzzing of Multi-Hart RISC-V CPUs with Non-Deterministic Programs 🚧Memory Barriers

comsec.ethz.ch·3d·Hacker News

LuisCore /for-agents.json — agent bootstrap — daily syndication 🦙Ollama

dev.to·5d·DEV

Conformal Certification of Reasoning Trace Prefixes 🧮SMT Solvers

Log in to enable infinite scrolling