📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·9h
🔢Denotational Semantics
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·9h·
Discuss: Hacker News
🧩WASM Modules
Program Execution, follow-up
windowsir.blogspot.com·5h·
Discuss: www.blogger.com
⚡Performance Tools
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
simplex-chat/simplexmq
github.com·16h
🔌Interface Evolution
Ergo IRC server
notes.billmill.org·2d
🌊Streaming Systems
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·12h·
Discuss: DEV
🌐Network Protocols
Worth Reading 062425
rule11.tech·2h
🌐DNS over QUIC
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Heartbeat of Modern Web Real Time Patterns User Design（1750836074761900）
dev.to·10h·
Discuss: DEV
🌊Stream Processing
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·18h
🧮Prolog Parsing
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·7h·
Discuss: Hacker News, r/programming
🔗Lisp
Networks aren’t fragile because of change, they’re fragile because they change without structure
techradar.com·3h
🤖Network Automation
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Heartbeat of Modern Web Real Time Patterns User Design（1750804864723400）
dev.to·19h·
Discuss: DEV
🌊Stream Processing
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·11h
📋Protocol Buffers
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·26m·
Discuss: Hacker News
⚡Proof Automation