🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Bullets in the Windows
yourlocalepidemiologist.substack.com·11h·
Discuss: Substack
🍎Apple
Show HN: We built an AI-powered pathology billing system for EHR platforms
curemd.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Who decides the rules of access on the internet?
peacprotocol.substack.com·4d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Show HN: Software devs, I made a tool to make creating estimates less painful
devtimate.com·5d·
Discuss: Hacker News
👁️System Observability
Dyson Sphere Could Bring Humans Back from the Dead
popularmechanics.com·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
IBM Selectric Typewriters Get DIY Typeballs (2023)
hackaday.com·21h·
Discuss: Hacker News
💾Retro Computing
DSPy Simba Explained
blog.mariusvach.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Drift Can Derail an Organization
novakkevin.medium.com·2d·
Discuss: Hacker News
🎮Verification Games
I'm a college English teacher. I rarely ever get papers written by AI
quinnunit.medium.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Mathematicians credited with rescuing quantum computing
today.usc.edu·3d·
Discuss: Hacker News
🔬Unikernels
"AI hype" is the true AI product
hardresetmedia.substack.com·3d·
Discuss: Substack
🎮Verification Games
ML350 GPU Power Cable
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Decomposition of Symmetrical Classes of Central Configurations
arxiv.org·5d
➡️Category Theory
Handy microphone techniques for better presentations (WHY2025)
cdn.media.ccc.de·1d
🍎Apple
UK secretly allows facial recognition scans of passport, immigration databases
theregister.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Battlefield 6 Forces Enabling Secure Boot, and Call of Duty: Black Ops 7 Is Next
ign.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
10 years building internal tools, and the SaaS stack is still a nightmare
news.ycombinator.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Silicon Reasonable Person: Can AI Predict How Ordinary People Judge Reasonableness?
arxiv.org·5d
✓Automated Theorem Proving
Pay What LLM Wants: Can LLM Simulate Economics Experiment with 522 Real-human Persona?
arxiv.org·5d
✓Automated Theorem Proving
Agentic-AI based Mathematical Framework for Commercialization of Energy Resilience in Electrical Distribution System Planning and Operation
arxiv.org·4d
🧱Immutable Infrastructure