🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Life Through Quantum Annealing
vesselproject.io·15h·
Discuss: Hacker News
🏹Effect Systems
The Copenhagen Interpretation of Ethics
laneless.substack.com·6h·
Discuss: Substack
🖥️Self-hosted Infrastructure
Why outsourcing cybersecurity is rising in the Adriatic region
helpnetsecurity.com·3d·
Discuss: Hacker News
👁️System Observability
Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second
cerebras.ai·5d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Is Power-Hungry
intelligent-people.org·2d·
Discuss: Hacker News
🔬Unikernels
Security Update for Amazon Q Developer Extension for Visual Studio Code
aws.amazon.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
The risks of 'vibe'-based image annotation
unite.ai·3d·
Discuss: Hacker News
🔬Static Analysis
Remembering Descent, the once-popular, fully 3D 6DOF shooter
arstechnica.com·2d·
Discuss: Hacker News
🎮Verification Games
Ask HN: Good Starting OS for Children?
news.ycombinator.com·3d·
Discuss: Hacker News
💾Retro Computing
Zeitwerk: The Autoloader That Rails Deserves, but Not the One It Needs
rubystacknews.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Fixing Auth for Personal AI Agents
vivekhaldar.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Percentile-Based Deep Reinforcement Learning and Reward Based Personalization For Delay Aware RAN Slicing in O-RAN
arxiv.org·3d
⚙️Operating System Design
SV3.3B: A Sports Video Understanding Model for Action Recognition
arxiv.org·3d
🔬Static Analysis
A Very Tidy Handheld Pi Terminal Indeed
hackaday.com·20h·
Discuss: Hacker News
💾Retro Computing
Building with AI: Substrate, Agents, Workflow
zo.computer·5d·
Discuss: Hacker News
🔄Reproducible Builds
Ask HN: Looking for a PM or Ops Role After Founding Two Startups
news.ycombinator.com·20h·
Discuss: Hacker News
🍎Apple
Apple @ Work: Apple makes Managed Apple Account transitions easier for IT at scale
9to5mac.com·2d
🍎Apple
A Self-training Framework for Semi-supervised Pulmonary Vessel Segmentation and Its Application in COPD
arxiv.org·9h
➡️Category Theory
Raiders of the Lost Altair Basic Source Code
theregister.com·3d·
Discuss: Hacker News
💾Retro Computing
Efficient Computer's Electron E1 CPU
morethanmoore.substack.com·3d·
Discuss: Substack
🐫Embedded OCaml