🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

How I used ChatGPT to analyze, debug, and rewrite a broken plugin from scratch - in an hour (7/2025)
zdnet.com·3d·
Discuss: r/programming
✓Automated Theorem Proving
Wii U SDBoot1 Exploit "paid the beak"
consolebytes.com·1d·
Discuss: Hacker News
🍎XNU Internals
Debugging Bash Like a Sire
blog.brujordet.no·3d·
Discuss: Hacker News
❄️Nixified Development
It Takes Two to Tango
avivbenyosef.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Connecting legibility to theory building in programming
ashwinsundar.com·4d·
Discuss: Hacker News
🔬Static Analysis
Among the A.I. Doomsayers
newyorker.com·2d·
Discuss: Hacker News
🔬Unikernels
Building a Dumber Team
dandreamsofcoding.com·1d·
Discuss: Hacker News
🎮Verification Games
Outbound Modeling for Inventory Management
arxiv.org·4d
👁️System Observability
What is the Best Coding Agent?
dolthub.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
GarageMinder: Automatic Garage Door
hackaday.com·1d
🧱Immutable Infrastructure
New Benchmark suite for analytical DBs using real-world SQL queries
github.com·4d·
Discuss: Hacker News
👁️System Observability
Deploying AI to prod at enterprises is a largely unsolved problem
credal.ai·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Metaexodus – utility to migrate production Metabase to local Postgres
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
On METR's AI Coding RCT
thezvi.substack.com·2d·
Discuss: Substack
👁️System Observability
Ask HN: How to engage community before open-sourcing, and how to license?
news.ycombinator.com·3d·
Discuss: Hacker News
📦Unikernel Systems
3S-Attack: Spatial, Spectral and Semantic Invisible Backdoor Attack Against DNN Models
arxiv.org·4d
🌐NetworkProtocols
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·2d
🔄Finite State Machines
Russian infostealer sends commands to public LLM to craft requests on the fly
bleepingcomputer.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·3d
🔤DSLs
Exploiting Jailbreaking Vulnerabilities in Generative AI to Bypass Ethical Safeguards for Facilitating Phishing Attacks
arxiv.org·3d
🔬Unikernels