🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Bullets in the Windows
yourlocalepidemiologist.substack.com·5h·
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
Is HTMX Dying?
hamy.xyz·2d·
Discuss: Hacker News
🧱Immutable 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·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
IBM Selectric Typewriters Get DIY Typeballs (2023)
hackaday.com·16h·
Discuss: Hacker News
💾Retro Computing
Drift Can Derail an Organization
novakkevin.medium.com·2d·
Discuss: Hacker News
🎮Verification Games
Mathematicians credited with rescuing quantum computing
today.usc.edu·3d·
Discuss: Hacker News
🔬Unikernels
Scientists build an 'evolution engine' to rapidly reprogram proteins
phys.org·2d·
Discuss: Hacker News
🤖Program Synthesis
"AI hype" is the true AI product
hardresetmedia.substack.com·3d·
Discuss: Substack
🎮Verification Games
Simulated Society of 10k AI Agents
theunwindai.com·6d·
Discuss: Hacker News
🎮Verification Games
ML350 GPU Power Cable
reddit.com·19h·
Discuss: r/homelab
🏠HomeLab
Handy microphone techniques for better presentations (WHY2025)
cdn.media.ccc.de·1d
🍎Apple
Decomposition of Symmetrical Classes of Central Configurations
arxiv.org·4d
➡️Category Theory
Pay What LLM Wants: Can LLM Simulate Economics Experiment with 522 Real-human Persona?
arxiv.org·4d
✓Automated Theorem Proving
The Silicon Reasonable Person: Can AI Predict How Ordinary People Judge Reasonableness?
arxiv.org·4d
✓Automated Theorem Proving
Agentic-AI based Mathematical Framework for Commercialization of Energy Resilience in Electrical Distribution System Planning and Operation
arxiv.org·3d
🧱Immutable Infrastructure
under-the-stairs lab/server, wall mount
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Interior Object Geometry via Fitted Frames
arxiv.org·2d
➡️Category Theory