🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Building a Simple Router with OpenBSD
btxx.org·2h·
Discuss: Lobsters, Hacker News
🏠HomeLab
Defold editor scripting adds scene editing in 1.10.4
defold.com·9h·
Discuss: Hacker News
🧱Immutable Infrastructure
A Mental Model for C++ Coroutine
uvdn7.github.io·1h·
Discuss: Hacker News
🏹Effect Systems
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·14h
🔍Formal Verification
Monitoring My Homelab, Simply
b.tuxes.uk·1d·
Discuss: Lobsters, Hacker News
👁️System Observability
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·1h·
Discuss: Hacker News, r/programming
🔬Static Analysis
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com·20h·
Discuss: Hacker News
👁️System Observability
Stop Converting Your REST APIs to MCP
jlowin.dev·1h·
Discuss: Hacker News
🧱Immutable Infrastructure
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·2h·
Discuss: Hacker News
🌐NetworkProtocols
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🧪Property-Based Testing
The #1 Reason Your GenAI Project Will Fail in Production
mlwhiz.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·1d·
Discuss: Hacker News
❄️Nixified Development
The Wild West of Agentic AI – An Attack Surface CISOs Can't Afford to Ignore
securityweek.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Why LLM Authorization is Hard
osohq.com·2d·
Discuss: Hacker News
🔍Formal Verification
Making Docs Better for AI and Humans
redmonk.com·2h·
Discuss: Hacker News
🤖Program Synthesis
Speclinter MCP
github.com·2d·
Discuss: Hacker News
🤖Program Synthesis
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·20h·
Discuss: Hacker News
🔄Reproducible Builds