🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

You think your an it specialist??? Let me prove you wrong
m.youtube.com·1d·
Discuss: r/programming
💾Retro Computing
Why Did Y Combinator Delete "DocuSign 2.0" from Its RFS?
unicornforms.com·5h·
Discuss: Hacker News
🐫OCaml
Dumb-init, an init system for Docker containers
engineeringblog.yelp.com·2d·
Discuss: Hacker News
⎈Kubernetes
Python and Make in 2025
onebadbit.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
eSIM Hack Allows for Cloning, Spying
securityweek.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Transforming Manual Testing from a Liability into a Strategic Asset
johngalt.id·1d·
Discuss: Hacker News
🧪Property-Based Testing
SSPL is BAD
ssplisbad.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
From Engineer to Manager: A Practical Guide to Your First Months in Leadership
humansinsystems.com·1d·
Discuss: Hacker News
🎮Verification Games
OpenZFS Bug Ported to Zig
andrewkelley.me·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Are Your Quality Metrics Lying to You?
theproductmindedqa.com·1d·
Discuss: Hacker News
👁️System Observability
Augmented Engineering: How Shopify Tackles Large-Scale Problems With AI
aviator.co·5h·
Discuss: r/programming
🔄Reproducible Builds
Assumptions
theprogrammersparadox.blogspot.com·4d·
Discuss: theprogrammersparadox.blogspot.com, Hacker News
🔬Static Analysis
Clustered PostgreSQL
arch.dog·4d·
Discuss: Lobsters, Hacker News
🏠HomeLab
Building MCP servers the easy way with Apache OpenServerless
opensource.net·5d·
Discuss: Hacker News
🧱Immutable Infrastructure
Mailstation Development
fybertech.net·18h·
Discuss: Hacker News
🔬Unikernels
Are developers slowed down by AI? Evaluating an RCT (?) and what it tells us about developer productivity
fightforthehuman.com·1d·
Discuss: Hacker News
🏹Effect Systems
Minimum-Peak-Cost Flows Over Time
arxiv.org·15h
📡Network Protocol Design
Calibrated and Robust Foundation Models for Vision-Language and Medical Image Tasks Under Distribution Shift
arxiv.org·15h
🐫Embedded OCaml
Deep Hidden Cognition Facilitates Reliable Chain-of-Thought Reasoning
arxiv.org·15h
✓Automated Theorem Proving