Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·4h
📡Network Serialization
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·4h·
Discuss: Hacker News
🏗️Calculus of Constructions
MCP Protocol Specification
modelcontextprotocol.io·20h·
Discuss: Hacker News
📡Protocol Parsers
Cap'n Web: a new RPC system for browsers and web servers
blog.cloudflare.com·19h·
Discuss: Lobsters, Hacker News, r/programming
🤝Session Protocols
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·11h·
Discuss: DEV
🔗Concurrency Primitives
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.com·26m·
Discuss: Hacker News
💬Interactive REPLs
A Developer's Guide to Negative API Testing
blog.dochia.dev·20h·
Discuss: Hacker News, r/programming
🛡️Error Ergonomics
rpki-client 9.6 released
bsdsec.net·1d
📡Protocol Buffers
A Minimal, Executable Specification for Bitcoin Consensus - Toby Sharp
hornetnode.org·11h
📡Binary Protocols
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.org·4h
🧩SAT Solvers
Selective Population Protocols
arxiv.org·4h
📡Async Channels
Saga Distributed Transactions Pattern
learn.microsoft.com·14h·
Discuss: Hacker News
📮Persistent Queues
Impact of Packetization on Network Calculus Analysis
arxiv.org·4h
📡Protocol Stacks
Is It Even Possible? On the Parallel Composition of Asynchronous MPC Protocols
eprint.iacr.org·3d
📡Async Channels
Web socket hub best practices
reddit.com·4h·
Discuss: r/golang
🌍HTTP Servers
AT Protocol private data: Developing a rubric for success
pfrazee.leaflet.pub·7h·
Discuss: Hacker News
🛡️Security Type Systems
On the Existence and Complexity of Core-Stable Data Exchanges
arxiv.org·4h
📮Message Queues
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.com·2h·
Discuss: Hacker News
🪆Embedded DSLs
Diagnosing Violations of State-based Specifications in iCFTL
arxiv.org·4h
🚂Error Propagation
Cap'n Web: A JavaScript-native RPC system
github.com·18h·
Discuss: Hacker News
🔧WASI