🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Dutch Industry Buckles Under Energy Transition and Global Pressure
oilprice.com·30m·
Discuss: Hacker News
🐫OCaml
Finding Joy in the Everyday Wild
jembendell.com·18h·
Discuss: Hacker News
🧱Immutable Infrastructure
I started into a side quest... Which has turned into a main mission! I decided to pause and share my progress so far and hopefully teach someone something about...
youtu.be·5d·
Discuss: r/embedded, r/programming
🎮Verification Games
Show HN: The Magic of Code – book about the wonders and weirdness of computation
themagicofcode.com·4d·
Discuss: Hacker News
🏹Effect Systems
Show HN: Bearify – Write workflows in plain English instead of using flowcharts
bearify.ai·3d·
Discuss: Hacker News
✓Automated Theorem Proving
🟢 Node.js Interview Q&A: Day 22
medium.com·2d·
Discuss: r/programming
👁️System Observability
You Can Now Disable All AI Features in Zed
zed.dev·2d·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
Nvidia's AI said to 'update' to old drivers and that I wasn't gaming (I was)
pcgamer.com·7h·
Discuss: Hacker News
🎮Verification Games
Working on a Programming Language in the Age of LLMs
ryelang.org·4d·
Discuss: DEV, Lobsters, Hacker News, r/LLM, r/programming
🔤DSLs
Microsoft.PowerShell.PlatyPS 1.0.0
devblogs.microsoft.com·22h·
Discuss: Hacker News
🍎Apple
Fix WhatsApp International Message Delays – Reach Global Clients Instantly
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Security Bite: How to password protect sensitive image files on Mac
9to5mac.com·1d
🍎Apple
Show HN: A fast, modern, and hackable terminal blog reader written in Go
github.com·16h·
Discuss: Hacker News
🍎XNU Internals
White House bans 'woke' AI, but LLMs don't know the truth
theregister.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
TextSAM-EUS: Text Prompt Learning for SAM to Accurately Segment Pancreatic Tumor in Endoscopic Ultrasound
arxiv.org·1d
🐫Embedded OCaml
Doubly transitive equiangular tight frames that contain regular simplices
arxiv.org·4d
➡️Category Theory
AI Coding Stack That Isn't Complete Garbage: VSCode, Roocode, Augment (May 2025)
medium.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
EduThink4AI: Translating Educational Critical Thinking into Multi-Agent LLM Systems
arxiv.org·4d
🎮Verification Games
ToolShell Mass Exploitation (CVE-2025-53770)
research.eye.security·5d·
Discuss: Hacker News
👁️System Observability
Explainable Collaborative Problem Solving Diagnosis with BERT using SHAP and its Implications for Teacher Adoption
arxiv.org·4d
🔠Type-Level Programming