📞 Session Types

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

Explaining software and computational methods
blog.khinsen.net·19h
📝Concrete Syntax
Networks aren’t fragile because of change, they’re fragile because they change without structure
techradar.com·5h
🤖Network Automation
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·13h
📝Concrete Syntax
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·4d
🌐Protocol Synthesis
Heartbeat of Modern Web Real Time Patterns User Design（1750757451760700）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·10h·
Discuss: Hacker News
🌀Brotli Internals
Creating Truly Custom Events for Web Components
dev.to·6h·
Discuss: DEV
🌐Protocol Synthesis
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Go 1.25's JSON evolution
golangweekly.com·19h
🔌Interface Evolution
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·57m·
Discuss: DEV
🌊Stream Processing
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·12h·
Discuss: DEV
λLambda Formalization
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·2h
🔒Linear Types
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Technical Architecture Guide: Authorization Strategies for Multi-Merchant E-commerce Platforms
dev.to·11h·
Discuss: DEV
🔒WASM Capabilities
How to Create a Event Bus in Go
dev.to·50m·
Discuss: DEV
🌊Streaming Systems
The Complete MCP Guide for Developers(2025 Edition)
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
What Is "Modern" Programming?
lemire.me·7h·
Discuss: Hacker News
💧Liquid Types
Implementation and Evaluation of Fast Raft for Hierarchical Consensus
arxiv.org·1d
🤝Consensus Protocols
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·18h·
Discuss: DEV
🌊Stream Processing