📞 Session Types

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

Model Context Protocol (MCP)
leimao.github.io·6d
📋Protocol Buffers
Nearly 2,000 MCP Servers Possess No Security Whatsoever
darkreading.com·1d
🔓Hacking
Upcoming changes to the Bitnami catalog. Broadcom introduces Bitnami Secure Images for production-ready containerized applications
news.broadcom.com·1d
❄️Nix Adoption
Pre-disclosure: Upcoming coordinated security fix for all Matrix server implementations
matrix.org·3d·
Discuss: Lobsters, Hacker News, Hacker News
🤝Paxos Consensus
AI Agents Outnumber Humans 17:1 in the New Identity Crisis Era
syntheticauth.ai·22h·
Discuss: Hacker News
🔐Capability Systems
Does AWS Lambda have a silent crash in the runtime?
aaronstuyvenberg.com·3d·
Discuss: Hacker News
🌊Stream Processing
MirageLSD: The First Live-Stream Diffusion AI Video Model
about.decart.ai·1d·
Discuss: Hacker News
⚡LZ4 Streaming
Future-Proof Programming Languages
log.schemescape.com·5d·
Discuss: Hacker News
💻programming languages
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
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
How do you handle test reports in Go? Document-heavy processes at my company.
reddit.com·11h·
Discuss: r/golang
📄PostScript
How I’m Solving the Dark Side of Vibe Coding — Building DevPilot Core as a Solo Engineer
dev.to·11h·
Discuss: DEV
📏Code Metrics
How AI Can Speed up Modernization of Your Legacy IT Systems
thenewstack.io·19h
🏛️Mainframe Archaeology
Scaling Real-Time Video on AWS: How We Keep WebRTC Latency Below 150ms with Kubernetes Autoscaling
hackernoon.com·1d
🌊Streaming Systems
TekNix Corporation and the Push for Smarter Enterprise Tools
dev.to·1h·
Discuss: DEV
🔌Interface Evolution
Finja: What If Your Rust Function Was a Jinja Template?
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.org·3d
🔲Cellular Automata
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·2d·
Discuss: DEV
⚡Proof Automation
20% Slower Is a Good Start
aboard.com·22h·
Discuss: Hacker News
⚡Performance Mythology
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·1d·
Discuss: Hacker News
🌳Incremental Parsing