📞 Session Types

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

Go interfaces and json.Unmarshal
fbrs.io·14h
🔧Binary Parsers
Checking data integrity
eclecticlight.co·1d
✅Checksum Validation
Dry Run: Your Kubernetes network policies with Calico staged network policies
tigera.io·1d
📦Container Security
The Component Manifesto
lifeiscontent.net·1d·
Discuss: Hacker News
🧩WASM Components
Decrypting DPAPI Credentials Offline
infosecwriteups.com·4h
🕸️WebAssembly
Suggestion: Add gRPC as a Standard Transport for MCP
github.com·23m·
Discuss: Hacker News
⚡gRPC
The FIPS 140-3 Go Cryptographic Module
go.dev·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🌊Stream Ciphers
Agent Memory with Spring AI & Redis
dev.to·13h·
Discuss: DEV
⚡Redis Internals
Python Fundamentals: bson
dev.to·2d·
Discuss: DEV
🔐CBOR
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·1d
🎯Performance Proofs
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
A closer look at the Model Context Protocol
jan.scheffczyk.page·4d·
Discuss: Hacker News, r/programming
⚡gRPC
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·5h
📏Linear Logic
GitGuardian Humanizes Non-Human Identity Controls Inside Developer Workflows
devops.com·15h
🌳Archive Merkle Trees
RailsConf 2025 Takeaways: It’s fun to have fun
blog.codeminer42.com·14h
❄️Nix Adoption
The Future of AI Agent Communication with ACP
towardsdatascience.com·1d
🔌Interface Evolution
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·1d·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Why Hoon?
docs.urbit.org·3d·
Discuss: Hacker News
🐚Bash Monads
Show HN: Notsc – A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Unlocking the Future of AI: A Deep Dive into the Model Context Protocol (MCP)
dev.to·2d·
Discuss: DEV
🔌Interface Evolution