🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Companies House confirms identity verification rollout from 18 November 2025
gov.uk·21h·
Discuss: Hacker News
💻CS
Caligra Workbench
caligra.com·19h·
Discuss: Hacker News
🔬Unikernels
DDoS affecting most of the fedoraproject.org services
discussion.fedoraproject.org·2d·
Discuss: Hacker News
❄️Nix
Building Software for Medical Clinics in Ethiopia
alexcwatt.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
How to Get Your First 1000 SaaS Users Without Spending on Ads
getcassius.ai·7h·
Discuss: Hacker News
⎈Kubernetes
My Most Productive Day
curzel.it·3d·
Discuss: Hacker News
🎮Verification Games
Australia’s Space Program Finally Gets Off The Pad, But Only Barely
hackaday.com·17h
🖥️Self-hosted Infrastructure
Symbol-Level Editing
sysprogs.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Speak, Don't Type
typeless.com·5d·
Discuss: Hacker News
🍎Apple
Our approach to building the Agent Interaction SDK
linear.app·5d·
Discuss: Hacker News
🧱Immutable Infrastructure
Still Up. Still Evil
vulncheck.com·6d·
Discuss: Hacker News
📦Unikernel Systems
ChatGPT agent triggers crawls from Bingbot and Yandex
simonwillison.net·2d·
Discuss: Hacker News
🌐NetworkProtocols
IT Orchestration Is the Secret Behind Smooth, Scalable IT Operations
thenewstack.io·3d
🤖Program Synthesis
Someone on GitHub filed a bug report against reality, says P=NP cause causality
github.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
One Dataset. No Warning. Google Took Everything. You're Not Safe Either
medium.com·3d·
Discuss: Hacker News
🍎Apple
SynAdapt: Learning Adaptive Reasoning in Large Language Models via Synthetic Continuous Chain-of-Thought
arxiv.org·3d
✓Automated Theorem Proving
A Dynamic, Context-Aware Framework for Risky Driving Prediction Using Naturalistic Data
arxiv.org·2d
🔄Finite State Machines
H2C: Hippocampal Circuit-inspired Continual Learning for Lifelong Trajectory Prediction in Autonomous Driving
arxiv.org·2d
💻CS
Help Choosing correct disks and setup for my first ever NAS
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
How Kimi RL’ed Qualitative Data to Write Better
dbreunig.com·6d·
Discuss: Hacker News
🧪Property-Based Testing