🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

He earned a Michelin star, but all he wants to do is sell ice cream
cnn.com·9h·
Discuss: Hacker News
🔬Unikernels
qBittorrent not placing downloads into empty folder created by Sonarr
imgur.com·1d·
Discuss: r/homelab
🔬Unikernels
Processing: Benjamin Percy Is Writing a Novel as a Newspaper with Stephen King
countercraft.substack.com·1d·
Discuss: Substack
🔤DSLs
Show HN: LinCal – A Calendar View for Linear Issues
lincal.app·4d·
Discuss: Hacker News
🐫OCaml
Propaganda Doesn’t Have to Be a Dirty Word
nautil.us·11h·
Discuss: Hacker News
💻CS
Complex Iterators are Slow
caolan.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
Slurm vs. K8s for AI Infra: Academic HPC vs. Cloud-Native Reality
blog.skypilot.co·4d·
Discuss: Hacker News
⎈Kubernetes
A Simple Simulator For Model Rocket Performance
hackaday.com·1d
⎈Kubernetes
URL Shorteners Are Poison for the Web
whtwnd.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Verification debt is the AI era's technical debt
kevinbrowne.ca·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Agile Is (Half) Dead
thealephengine.substack.com·4d·
Discuss: Substack
🔄Reproducible Builds
Nova: A New Web Framework for Erlang
news.ycombinator.com·5d·
Discuss: Hacker News
🐫OCaml
On the Risk of Misleading Reports: Diagnosing Textual Biases in Multimodal Clinical AI
arxiv.org·1d
🐫Embedded OCaml
Agentic large language models improve retrieval-based radiology question answering
arxiv.org·1d
🏹Effect Systems
Academia Unmasked: The Dark Truths Behind Higher Education
lightcapai.medium.com·1d·
Discuss: Hacker News
🎮Verification Games
Glioblastoma Overall Survival Prediction With Vision Transformers
arxiv.org·16h
💻CS
Help me setup wife-approved home server(s)
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Any way at all to manage permissions on Unraid better? Especially for SMB. Maybe a separate docker with a GUI or something? Cockpit in a container? Idk…
reddit.com·2d·
Discuss: r/homelab
🔬Unikernels
Ask HN: What's your (opinionated) way to iterate FAST in production
news.ycombinator.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
6 Weeks of Claude Code
blog.puzzmo.com·5d·
Discuss: Lobsters, Hacker News, Hacker News
🧱Immutable Infrastructure