🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·2h
🔍Formal Verification
Announcing Precomputed Reachability Analysis in Socket
socket.dev·10h·
Discuss: Hacker News
👁️System Observability
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Documented my journey from monolith hell to event-driven bliss (with actual code, not just pretty diagrams)
reddit.com·17h·
Discuss: r/programming
🔄Reproducible Builds
Show HN: Term – Rust-based data validation with OpenTelemetry
github.com·14h·
Discuss: Hacker News
🔍Formal Verification
TLS and QUIC: A Masochist's Guide
quic.video·13h·
Discuss: Hacker News
🌐NetworkProtocols
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·9h·
Discuss: Hacker News
🔬Static Analysis
Can you trust your friendly neighborhood LLM?
chrisbeckman.dev·12h·
Discuss: Hacker News
✓Automated Theorem Proving
From Local Hack to Production: How We Solved the MCP Multi-Tenant Auth Problem
braingrid.ai·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·4h·
Discuss: Hacker News
🌐NetworkProtocols
Hask Is Not a Category
math.andrej.com·12h·
Discuss: Hacker News
➡️Category Theory
Show HN: We built an internal MCP to improve Plaid engineering's productivity
plaid.com·12h·
Discuss: Hacker News
👁️System Observability
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·2h
🔬Static Analysis
BitVMX New Open Source Components: Key Management, Storage, and Configuration
bitvmx.org·12h·
Discuss: Hacker News
🧱Immutable Infrastructure
Vulnerability discovered in Google Gemini CLI, patch required
techzine.eu·8h·
Discuss: Hacker News
🔬Unikernels
Handling multiple breakpoints in Trap Redux
system.joekain.com·2d·
Discuss: r/programming
🔍Formal Verification
The Math Is Haunted
overreacted.io·1d·
Discuss: Hacker News, r/javascript, r/programming
🎮Verification Games
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Show HN: Go-DDD: Production-ready DDD patterns and clean architecture in Go
github.com·19h·
Discuss: Hacker News
🔄Reproducible Builds
Designing SQL Tools for AI Agents
blog.arcade.dev·1d·
Discuss: Hacker News
🔤DSLs