🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

The Little Book of Everything
github.com·1d·
Discuss: Hacker News
➡️Category Theory
Bug in SAP's S/4 HANA exploited in the wild, rated critical CVSS 9.9
scworld.com·1d·
Discuss: Hacker News
👁️System Observability
Hunting for security bugs in code with AI agents: A full walkthrough
muellerberndt.medium.com·2d·
Discuss: r/programming
🔬Static Analysis
Outcome-based Exploration for LLM Reasoning
arxiv.org·15h·
Discuss: Hacker News
📚Automata Learning
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·1d
💎Refinement Types
Run Any MCP as Agent
blog.inxm.ai·1d·
Discuss: Hacker News
🐳Containerization
Prompt Snapshot Testing
ninkovic.dev·22h·
Discuss: Hacker News
🧪Property-Based Testing
Rewriting Val Town's editor
blog.val.town·19h·
Discuss: Hacker News
⚙️PL Implementation
Rich Answered That
gist.github.com·3h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·1d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·10h·
Discuss: Hacker News
💎Refinement Types
How to Set Up Custom Domains for Your Customers (The Right Way)
vanitycert.com·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Supply chains and watering holes
cryptography.dog·1h·
Discuss: Lobsters
💎Refinement Types
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·13h·
Discuss: r/programming
👁️System Observability
False Confidence
theaiunderwriter.substack.com·1d·
Discuss: Substack
📚Automata Learning
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·1d·
Discuss: r/javascript, r/programming
💎Refinement Types
The Android Linux Commander
hackaday.com·2h
🐳Containerization
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·5d
✓Automated Theorem Proving
Show HN: Conformal – Type-safe FormData parsing and canonical submission flow
github.com·1d·
Discuss: Hacker News
🐫OCaml
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·22h·
Discuss: Hacker News
🌐NetworkProtocols