Polymorphic symmetric multiple dispatch with variance
dl.acm.org·9h·
Discuss: Hacker News
💎Refinement Types
A Short Introduction to Tor
spec.torproject.org·1d·
Discuss: Hacker News
📡Network Protocol Design
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·2d
🎮Verification Games
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·1d·
Discuss: Lobsters, Hacker News
🛡️seL4
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1h·
Discuss: Hacker News
🐫OCaml
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·2h·
Discuss: Hacker News
🛡️seL4
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·3d·
Discuss: r/programming, r/webdev
⚡Process Calculi
Lexy: A parser combinator library for C++17
github.com·21h·
Discuss: Hacker News
🧩Parser Combinators
The Case for Mixed Deployment
lesswrong.com·5h
🩹Self-Healing Systems
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·1d
🔍Formal Verification
Wireshark 4.4.9 Protocol Analyzer Released with Updated Protocols and Bug Fixes
linuxtoday.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Struggling to understand use of seperate VLANs and Docker Networks for internal/external services.
reddit.com·11h·
Discuss: r/homelab
🐳Containerization
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·1d·
Discuss: r/programming
🛡️seL4
Preventing the NPM Debug/Chalk Compromise in 200 lines of JavaScript
getvouchsafe.org·9h·
Discuss: Hacker News, r/javascript, r/node
🔄Reproducible Builds
Securing MCP Servers
corgea.com·2d·
Discuss: Hacker News
🛡️seL4
Measuring Explicit Congestion Notification
potaroo.net·3d·
Discuss: Lobsters
📡Network Protocol Design
Designing software architecture for parallel AI sessions
rashidazarang.com·16h·
Discuss: Hacker News
🛡️seL4
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·2d·
Discuss: r/javascript, r/programming
💎Refinement Types
Issue 489
haskellweekly.news·5m·
Discuss: Hacker News
🔠Type-Level Programming