🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

We stopped relying on bloom filters and now sort our ClickHouse primary key on a resource fingerprint. It cut our log query scans to 0.85% of blocks.
signoz.io·2d·
Discuss: Hacker News, r/programming
👁️System Observability
Stigmergy
en.wikipedia.org·5h·
Discuss: Hacker News
🎮Verification Games
Dependency hell is NP-complete
research.swtch.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Strengthening Microsoft Defender: Understanding Logical Evasion Threats
zenodo.org·2d·
Discuss: Hacker News
👁️System Observability
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·1d·
Discuss: Hacker News
🎮Verification Games
AI is "a shabby, boring and evil thing" – discuss
paulkingsnorth.substack.com·11h·
Discuss: Substack
🔬Unikernels
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·3d·
Discuss: Hacker News
🔄Reproducible Builds
Mcbot McHacked
captaincompliance.com·8h·
Discuss: Hacker News
🍎Apple
Show HN: Agentic MCP Server Manager
ddfourtwo.github.io·3d·
Discuss: Hacker News
⚙️Operating System Design
It's bye for now, and so here are my final thoughts on technology
yukinu.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How to scale RL to 10^26 FLOPs
blog.jxmo.io·2d·
Discuss: Hacker News
🎮Verification Games
We’re Light-Years Away from True Artificial Intelligence, Says Murderbot Author Martha Wells
scientificamerican.com·1d·
Discuss: Hacker News
🎮Verification Games
Cache Benchmarks
github.com·1d·
Discuss: Hacker News
👁️System Observability
Measuring the Impact of LLMs on Experienced Developer Productivity
hackaday.com·1d
👁️System Observability
AI Agents Under the Hood
blog.surkar.in·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: gRPC to MCP Gateway – Let AI models call your existing gRPC services
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·2d
🔍Formal Verification
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·5d·
Discuss: Hacker News
🐫OCaml
Layers of Lawyers and Liars
matthewbutterick.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Data Science Weekly – Issue 607
datascienceweekly.substack.com·2d·
Discuss: Substack
👁️System Observability