🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Sunlight-activated material turns PFAS in water into harmless fluoride
phys.org·2d·
Discuss: Hacker News
🍎Apple
Freight demand on shaky footing as import bookings drop
freightwaves.com·1d·
Discuss: Hacker News
👁️System Observability
Think your breakup was bad? Check out the Museum of Broken Relationships
expmag.com·13h·
Discuss: Hacker News
💾Retro Computing
Adult sites trick users into Liking Facebook posts using a clickjack Trojan
malwarebytes.com·3d·
Discuss: Hacker News
🔬Static Analysis
Prefer Module Composition over Inheritance With TF
newsletter.masterpoint.io·6d·
Discuss: Hacker News
📦Unikernel Systems
"Continuity of Government" Is a Joke. Here's Why
predictivehistory.substack.com·1d·
Discuss: Substack
🖥️Self-hosted Infrastructure
AWS Restored My Account: The Human Who Made the Difference
seuros.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Debt of AI Knowledge
sumant.bearblog.dev·1d·
Discuss: Hacker News
🤖Program Synthesis
D-Wave's open-source toolkit integrates quantum computing into AI training
siliconangle.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·6d·
Discuss: blog.computationalcomplexity.org, Hacker News, Hacker News
🎮Verification Games
Air Force buying two Tesla Cybertrucks so it can learn to destroy them
theregister.com·3d·
Discuss: Hacker News
🔬Unikernels
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·6d·
Discuss: Hacker News
🔠Type-Level Programming
Whispers From The Void, Transcribed With AI
hackaday.com·2d
🍎XNU Internals
UK's Ministry of Defence pins hopes on AI to stop the next massive email blunder
theregister.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Automating a manual biotech process that should have died years ago
news.ycombinator.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Let's properly analyze an AI article for once
nibblestew.blogspot.com·5d·
Discuss: Hacker News, Hacker News, nibblestew.blogspot.com
💾Retro Computing
GPT-5's Router: how it works and why Frontier Labs are now targeting the Pareto Frontier
latent.space·3d·
Discuss: Hacker News
📦Unikernel Systems
Deliberately violating REST for developer experience - a case study
reddit.com·5d·
Discuss: r/programming
🌐NetworkProtocols
WCH WebLink, a web based ESP32 programmer for CH32V003
github.com·5d·
Discuss: Hacker News
⚙️PL Implementation
Clustering low power mini pcs
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab