🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·6h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·3h·
Discuss: r/programming
📊Runtime Verification
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·1d
🔍Formal Verification
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·6h·
Discuss: Hacker News
📊Runtime Verification
Securing MCP Servers
corgea.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Compiling a Functional Language to LLVM
danieljharvey.github.io·19h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·10h·
Discuss: r/programming
🌐NetworkProtocols
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·12h·
Discuss: r/programming
💎Refinement Types
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·10h·
Discuss: Hacker News
🔧Unikernel Development
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·17h·
Discuss: Hacker News
🔧Unikernel Development
Scaffolding for production vibe coding
interjectedfuture.com·7h·
Discuss: Hacker News
🔬Static Analysis
A Short Introduction to Tor
spec.torproject.org·10h·
Discuss: Hacker News
🌐NetworkProtocols
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·9h·
Discuss: r/programming
📊Runtime Verification
The bloat of edge-case first libraries
43081j.com·5h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Calibrating indifference - a small AI safety idea
lesswrong.com·14h
🧪Property-Based Testing
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis