🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Coffeezilla, the YouTuber Exposing Crypto Scams (2022)
newyorker.com·6h·
Discuss: Hacker News
🎮Verification Games
Making a StringBuffer in C, and questioning my sanity
briandouglas.ie·5d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Open Source Maintainers Feeling the Weight of the EU’s Cyber Resilience Act
socket.dev·3d·
Discuss: Hacker News
📦Unikernel Systems
Terrashroom Last Company Update
terrashroom.io·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Wikipedia: Signs of AI Writing
en.wikipedia.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Quicksilver v2: evolution of a globally distributed key-value store (Part 2)
blog.cloudflare.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Pluralistic: Ellen Ullman's "Close to the Machine" (16 Jul 2025)
pluralistic.net·4d·
Discuss: Hacker News
🔬Unikernels
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·5d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
All the wrong ways to think about AI customer support
mux.com·4d·
Discuss: Hacker News
🔍Formal Verification
How I Doubled My Lookup Performance with a Bitwise Trick
reddit.com·5d·
Discuss: r/programming
📦Unikernel Systems
Proxmox-GitOps - a Self-configuring GitOps Environment for Container Automation in Proxmox VE
github.com·19h·
Discuss: Hacker News, r/devops
⎈Kubernetes
Relation-Aware Slicing in Cross-Domain Alignment
arxiv.org·2d
🔠Type-Level Programming
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.org·4d
🎮Verification Games
Show HN: Ggc – A terminal-based Git CLI written in Go
github.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
WaveletInception Networks for Drive-by Vibration-Based Infrastructure Health Monitoring
arxiv.org·2d
👁️System Observability
Playback errors and hardware/network requirements
reddit.com·9h·
Discuss: r/homelab
🏠HomeLab
From Corporate Grind to Home Server Grind: My Self-Hosting Adventure
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Short Takes #2
secondthoughts.ai·2d·
Discuss: Hacker News
🤖Program Synthesis
Behold, Speed Demons : Nuke-KV v2.5 Unleashed – 2M Ops/Sec , Nuke-Wire , & Advanced JSON Queries .
reddit.com·4d·
Discuss: r/programming
🧱Immutable Infrastructure
4. Boxing Day: Unwrapping the Mind
blog.phenomenal.ink·1d·
Discuss: Hacker News
🔬Unikernels