MCP Protocol Specification
modelcontextprotocol.io·15h·
Discuss: Hacker News
📡Protocol Parsers
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·6h·
Discuss: DEV
🔗Concurrency Primitives
Cap'n Web: a new RPC system for browsers and web servers
blog.cloudflare.com·14h·
Discuss: Lobsters, Hacker News, r/programming
🤝Session Protocols
Identity Types
bartoszmilewski.com·14h·
Discuss: Hacker News
🎯Type Theory
rpki-client 9.6 released
bsdsec.net·1d
📡Protocol Buffers
A Developer's Guide to Negative API Testing
blog.dochia.dev·16h·
Discuss: Hacker News, r/programming
🛡️Error Ergonomics
New C++ Conference Videos Released This Month - September 2025 (Updated To Include Videos Released 2025-09-15 - 2025-09-21)
reddit.com·12h·
Discuss: r/cpp
🎓Teaching Compilers
Is It Even Possible? On the Parallel Composition of Asynchronous MPC Protocols
eprint.iacr.org·3d
📡Async Channels
A Minimal, Executable Specification for Bitcoin Consensus - Toby Sharp
hornetnode.org·7h
📡Binary Protocols
Creating an FPS NPC using behavior trees, but unsure how to make it work
learn.microsoft.com·12h·
Discuss: r/godot
🎯Symbolic Execution
AT Protocol private data: Developing a rubric for success
pfrazee.leaflet.pub·2h·
Discuss: Hacker News
🛡️Security Type Systems
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·1d
🐪OCaml
Blueprints for Flutter Development: Building Reliable Foundations
hutouch.com·8h·
Discuss: DEV
🎮Language Ergonomics
I built a Go framework: Anclax
github.com·1d·
Discuss: Hacker News
🐹Go Runtime
Cap'n Web: A JavaScript-native RPC system
github.com·13h·
Discuss: Hacker News
🔧WASI
🎲 The Seven Deadly Fediverse UX Sins Part 2: The Road To Redemption
timothychambers.net·8h
🔄Bootstrapping
MCP-OpenStack-Ops : MCP-Server for OpenStack Cluster
dev.to·15h·
Discuss: DEV
🛡️Capability VMs
第四: A Japanese and Forth inspired postfix language
gist.github.com·23h·
Discuss: Lobsters, Hacker News
🔗Concatenative Languages
Enabling Deterministic Inference for SGLang
lmsys.org·1d
🗺️Region Inference
Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Graph Algorithms