Polymorphic symmetric multiple dispatch with variance
dl.acm.org·16h·
Discuss: Hacker News
💎Refinement Types
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·14h
🧩Parser Combinators
Managing HTTP Requests as Type-Safe TypeScript Classes
reddit.com·1h·
Discuss: r/programming
💎Refinement Types
A Short Introduction to Tor
spec.torproject.org·2d·
Discuss: Hacker News
📡Network Protocol Design
Bypassing WAFs for Fun and JavaScript Injection with Parameter Pollution
blog.ethiack.com·5h·
Discuss: Hacker News
🛡️seL4
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·7h·
Discuss: Hacker News
🐫OCaml
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·5h·
Discuss: Hacker News
📡Network Protocol Design
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·8h·
Discuss: Hacker News
🛡️seL4
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·1d
🔍Formal Verification
The Case for Mixed Deployment
lesswrong.com·12h
🩹Self-Healing Systems
Wireshark 4.4.9 Protocol Analyzer Released with Updated Protocols and Bug Fixes
linuxtoday.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Enhancing 6G Network Security and Incident Response through Integrated VNF and SDN Technologies
arxiv.org·14h
📡Network Protocol Design
Understanding Log Events: Why Context Is Key
thenewstack.io·32m
📊Runtime Verification
The Data Backbone of LLM Systems
infoq.com·1h·
Discuss: Lobsters
🧩Parser Combinators
Architecting Resilient LLM Agents: A Guide to Secure Plan-then-Execute Implementations
arxiv.org·14h
🛡️seL4
Preventing the NPM Debug/Chalk Compromise in 200 lines of JavaScript
getvouchsafe.org·16h·
Discuss: Hacker News, r/javascript, r/node
🔄Reproducible Builds
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·2d·
Discuss: r/programming
🛡️seL4
Lexy: A parser combinator library for C++17
github.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Securing MCP Servers
corgea.com·3d·
Discuss: Hacker News
🛡️seL4