📞 Session Types

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

Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·7h·
Discuss: DEV
🌊Stream Processing
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·14h
🔢Denotational Semantics
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·15h·
Discuss: Hacker News
🧩WASM Modules
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·4h
🎯Threat Hunting
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Program Execution, follow-up
windowsir.blogspot.com·11h·
Discuss: www.blogger.com
⚡Performance Tools
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
simplex-chat/simplexmq
github.com·22h
🔌Interface Evolution
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·17h·
Discuss: DEV
🌐Network Protocols
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·23h
🧮Prolog Parsing
Heartbeat of Modern Web Real Time Patterns User Design（1750836074761900）
dev.to·16h·
Discuss: DEV
🌊Stream Processing
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·13h·
Discuss: Hacker News, r/programming
🔗Lisp
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·27m·
Discuss: Hacker News
📟Terminal Typography
Heartbeat of Modern Web Real Time Patterns User Design（1750804864723400）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·16h
📋Protocol Buffers
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·14h·
Discuss: Hacker News
🌀Brotli Internals
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·5h·
Discuss: Hacker News
⚡Proof Automation
Threaded Code
muforth.dev·13h·
Discuss: Hacker News
🦀Rust Macros
Heartbeat of Modern Web Real Time Patterns User Design（1750757451760700）
dev.to·1d·
Discuss: DEV
🌊Stream Processing