🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Critical Analysis of the Meshtastic Protocol
disk91.com·1d·
Discuss: Hacker News
📡Network Protocol Design
Semaphore Enterprise Edition is free for small teams
semaphore.io·1d·
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
Systemd's Nuts and Bolts
medium.com·2d·
Discuss: r/programming
⚙️Operating System Design
Hanami and the Elephant in the Room
hanamirb.org·14h·
Discuss: Hacker News
🔄Reproducible Builds
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Unikernels
Modern Electric Vehicle Infrastructure Security
ocpp.us·4d·
Discuss: Hacker News
🌐NetworkProtocols
Beyond Console.log: Smarter Debugging with Modern JavaScript Tooling
blog.appsignal.com·3d·
Discuss: Hacker News
👁️System Observability
Data Science Weekly – Issue 607
datascienceweekly.substack.com·1d·
Discuss: Substack
👁️System Observability
AI Agents Under the Hood
blog.surkar.in·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Using Self-Hosted Large Language Models (LLMs) Securely in Government
digitaltrade.blog.gov.uk·2d·
Discuss: Hacker News
🔤DSLs
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·1d
🔍Formal Verification
Layers of Lawyers and Liars
matthewbutterick.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
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·4d·
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·20h·
Discuss: r/homelab
⎈Kubernetes
Lessons from YouWare's Founder on Building AI-Native Products
medium.com·15h·
Discuss: Hacker News
🧱Immutable Infrastructure