📞 Session Types

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

Type-safe `net/rpc` alternative with context support
reddit.com·10h·
Discuss: r/golang
⚡gRPC
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Architecting Uncertainty: Designing Reliable Systems on Top of LLMs
medium.com·1d·
Discuss: Hacker News
🧩WASM Components
Flag this post
Nested query strings in depth — a complete technical guide
dev.to·1d·
Discuss: DEV
✅Format Verification
Flag this post
Dingo: A Meta-Language for Go
github.com·5h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
🔩Systems Programming
Flag this post
MCP Apps: Bringing Interactive UIs to AI Conversations
blog.fka.dev·20h·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
LLM APIs are a Synchronization Problem
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
⚙️TLA+
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🛠Language Design
Flag this post
Process Archetypes: The Roles in the Gnome Village
happihacking.com·2d
🐚Bash Monads
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·14h
🕸️WebAssembly
Flag this post
Simplifying API Review - A Tool Based Approach for Kubernetes and Beyond - Bryce Palmer & Joel Speed
youtube.com·1d
💧Liquid Types
Flag this post
Cross-referencing code and specs for maintainability (2024-03-21)
ueber.net·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·13h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
AI Agent Security: Why Reliability Is the Missing Defense Against Data
composio.dev·1d·
Discuss: Hacker News
🛡️Error Boundaries
Flag this post
Ergo Framework Documentation - major overhaul. Looking for feedback
devel.docs.ergo.services·2d·
Discuss: r/golang
🤝Distributed Consensus
Flag this post
OSS Friday Update
noteflakes.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·20h·
Discuss: r/programming
⚡Cache Coherence
Flag this post
CBOR vs. the Other Guys
cborbook.com·4d·
Discuss: Hacker News
📋Protocol Buffers
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post