🛡️ 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·1d·
Discuss: r/programming
👁️System Observability
Strengthening Microsoft Defender: Understanding Logical Evasion Threats
zenodo.org·1d·
Discuss: Hacker News
👁️System Observability
Dependency hell is NP-complete
research.swtch.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·1d·
Discuss: r/golang, r/programming
🍎XNU Internals
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·16h·
Discuss: Hacker News
🎮Verification Games
We’re Light-Years Away from True Artificial Intelligence, Says Murderbot Author Martha Wells
scientificamerican.com·22h·
Discuss: Hacker News
🎮Verification Games
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Ground Truth Ambient Occlusion
github.com·14h·
Discuss: Hacker News
🧱Immutable Infrastructure
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Why can't anything in open source work following the instructions.
reddit.com·1d·
Discuss: r/homelab
📦Unikernel Systems
Automated Reasoning for Vulnerability Management by Design
arxiv.org·3d
✓Automated Theorem Proving
Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
arxiv.org·3d
🔍Formal Verification
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·3d
🔄Reproducible Builds
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·2d
🐫OCaml
Show HN: Agentic MCP Server Manager
ddfourtwo.github.io·2d·
Discuss: Hacker News
⚙️Operating System Design
It's bye for now, and so here are my final thoughts on technology
yukinu.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·3d
🧪Property-Based Testing
How to scale RL to 10^26 FLOPs
blog.jxmo.io·1d·
Discuss: Hacker News
🎮Verification Games
Cache Benchmarks
github.com·9h·
Discuss: Hacker News
👁️System Observability