🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Semaphore Enterprise Edition is free for small teams
semaphore.io·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·1d·
Discuss: r/golang, r/programming
🍎XNU Internals
Modern Electric Vehicle Infrastructure Security
ocpp.us·4d·
Discuss: Hacker News
🌐NetworkProtocols
Systemd's Nuts and Bolts
medium.com·2d·
Discuss: r/programming
⚙️Operating System Design
Beyond Console.log: Smarter Debugging with Modern JavaScript Tooling
blog.appsignal.com·3d·
Discuss: Hacker News
👁️System Observability
Layers of Lawyers and Liars
matthewbutterick.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Data Science Weekly – Issue 607
datascienceweekly.substack.com·1d·
Discuss: Substack
👁️System Observability
Building the Hugging Face MCP Server
huggingface.co·2d·
Discuss: Hacker News
🏠HomeLab
A language model built for the public good
ethz.ch·3d·
Discuss: Hacker News, Hacker News, Hacker News, r/LocalLLaMA
📦Unikernel Systems
Distributed Systems for Fun and Profit
book.mixu.net·5d·
Discuss: Hacker News
📦Unikernel Systems
How to Build an Agent
blog.langchain.com·2d·
Discuss: Hacker News
🤖Program Synthesis
On Trustworthy Rule-Based Models and Explanations
arxiv.org·1d
✓Automated Theorem Proving
Kubernetes PV (pre-)provisioning/management with frequent infrastructure redeployment
reddit.com·23h·
Discuss: r/homelab
⎈Kubernetes
Lessons from YouWare's Founder on Building AI-Native Products
medium.com·18h·
Discuss: Hacker News
🧱Immutable Infrastructure
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·3d
🔍Formal Verification
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·4d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·1d
✓Automated Theorem Proving
Updated Goose Roadmap · grant program, dedicated team funding
github.com·1d·
Discuss: Hacker News
🍎XNU Internals
I used Claude Sonnet 4 to help a customer import their blog archive in 46 mins
olly.pagecord.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Looking for Beta Testers: Run AI-Generated Code in AgentSphere Sandbox
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure