🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·1d
🔍Formal Verification
Securing MCP Servers
corgea.com·23h·
Discuss: Hacker News
🌐NetworkProtocols
Adventures in C++ Game Architecture
hoboker.substack.com·16h·
Discuss: r/programming
🔬Static Analysis
Compiling a Functional Language to LLVM
danieljharvey.github.io·6h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·16h·
Discuss: Hacker News
🔄Reproducible Builds
Calibrating indifference - a small AI safety idea
lesswrong.com·1h
🧪Property-Based Testing
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·4h·
Discuss: Hacker News
🔧Unikernel Development
Prompts are Operating Systems
helloscribe.medium.com·18h·
Discuss: r/programming
⚙️Operating System Design
The Little Book of Everything
github.com·23h·
Discuss: Hacker News
➡️Category Theory
Stop writing CLI validation. Parse it right the first time
hackers.pub·2d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
📊Runtime Verification
Prompt Snapshot Testing
ninkovic.dev·15h·
Discuss: Hacker News
🧪Property-Based Testing
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·22h
💎Refinement Types
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Bug in SAP's S/4 HANA exploited in the wild, rated critical CVSS 9.9
scworld.com·17h·
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
Run Any MCP as Agent
blog.inxm.ai·20h·
Discuss: Hacker News
🐳Containerization
Outcome-based Exploration for LLM Reasoning
arxiv.org·8h·
Discuss: Hacker News
📚Automata Learning
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·3h·
Discuss: Hacker News
💎Refinement Types
Show HN: Conformal – Type-safe FormData parsing and canonical submission flow
github.com·21h·
Discuss: Hacker News
🐫OCaml
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