📞 Session Types

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

Model Context Protocol (MCP)
leimao.github.io·5d
📋Protocol Buffers
Musings of a Trust Architect: When Technical Standards Meet Geopolitical Reality
lifewithalacrity.com·3d
🤝Distributed Consensus
Upcoming changes to the Bitnami catalog. Broadcom introduces Bitnami Secure Images for production-ready containerized applications
news.broadcom.com·1d
❄️Nix Adoption
AI Agents Outnumber Humans 17:1 in the New Identity Crisis Era
syntheticauth.ai·10h·
Discuss: Hacker News
🔐Capability Systems
Rerun 0.24 – Light Mode, Streaming Video, Tagged Components
rerun.io·1d·
Discuss: Hacker News
🧬Bitstream Evolution
Pre-disclosure: Upcoming coordinated security fix for all Matrix server implementations
matrix.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
🤝Paxos Consensus
API Security in IAM: Architecture, Best Practices, and Threat Mitigation
guptadeepak.com·1d·
Discuss: Hacker News
🎫Kerberos History
Does AWS Lambda have a silent crash in the runtime?
aaronstuyvenberg.com·2d·
Discuss: Hacker News
🌊Stream Processing
Discovering Player Tracking in a Minimal Tic-Tac-Toe Transformer
omar.bet·8h·
Discuss: Hacker News
🔲Cellular Automata
The great misunderstanding of the DRY principle
pmatteo.com·4d·
Discuss: Hacker News
💧Liquid Types
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·3d·
Discuss: Hacker News
🌐WASI
The Order of Things: Why You Can't Have Both Speed and Ordering in Distributed Systems
architecture-weekly.com·4d·
Discuss: Hacker News, r/programming
🗄️PostgreSQL WAL
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·1d·
Discuss: Hacker News
🐚Shell Calculus
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
Everything You Need to Know About the Gemini CLI
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·19h
🧮Kolmogorov Complexity
Your 92% Accurate AI Model Might Be Dangerous (Here's Why)
dev.to·13h·
Discuss: DEV
🔧Hardware Verification
Day 28/100: List Comprehensions in Python
dev.to·20h·
Discuss: DEV
📝Concrete Syntax
Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
arxiv.org·19h
📐Linear Algebra
The Hidden Trap of Fixed and Random Effects
towardsdatascience.com·2h
✨Effect Handlers