📞 Session Types

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

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.org·2h
🧮Kolmogorov Bounds
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Building MCP Servers: Understanding Transport Layers and Core Components
dev.to·1d·
Discuss: DEV
⚡gRPC
haskell/mtl
github.com·5h
🔗Functional Compilers
How to implement the Outbox pattern in Go and Postgres
medium.com·1d·
Discuss: Lobsters
🔐CBOR
Swift 6.2 advances the language meaningfully
victorwynne.com·1d·
Discuss: Hacker News, r/programming
🔗Functional Compilers
Show HN: Pgmcp, an MCP server to query any Postgres database in natural language
github.com·10h·
Discuss: Hacker News
🧬PostgreSQL Forensics
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.com·11h
👁️Observatory Systems
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
Webcast recap: see + secure everything in your OT environment
runzero.com·11h
🌐Network Security
The Ternary Manifesto
homepage.cs.uiowa.edu·20h
📝Concrete Syntax
WebSocket Turbo Intruder: Unearthing the WebSocket Goldmine
portswigger.net·17h
🧪Protocol Fuzzing
Platform Warm-Up is Real: Let it Stretch, Don’t Unleash All Customer Traffic at Once
itnext.io·1h
🔐Systems Hardening
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·2d
⚡Proof Automation
15 Best Practices for Building MCP Servers in Production
thenewstack.io·2d
🌐NetworkProtocols
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·1d
🔀Category Theory
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·14h·
Discuss: Hacker News
🎯Gradual Typing
When Avatars Have Personality: Effects on Engagement and Communication in Immersive Medical Training
arxiv.org·2h
🎙️Whisper
A deep dive into Apache Kafka's KRaft protocol
developers.redhat.com·18h·
Discuss: Hacker News
🤝Consensus Protocols
We have outgrown the Process model
sidhion.com·1h·
Discuss: Hacker News
⚙️Operating System Design