📞 Session Types

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

Musings of a Trust Architect: When Technical Standards Meet Geopolitical Reality
lifewithalacrity.com·3d
🤝Distributed Consensus
Rerun 0.24 – Light Mode, Streaming Video, Tagged Components
rerun.io·21h·
Discuss: Hacker News
🧬Bitstream Evolution
API Security in IAM: Architecture, Best Practices, and Threat Mitigation
guptadeepak.com·23h·
Discuss: Hacker News
🎫Kerberos History
Discovering Player Tracking in a Minimal Tic-Tac-Toe Transformer
omar.bet·3h·
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·2d·
Discuss: Hacker News
🌐WASI
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·2d·
Discuss: Hacker News
💾Persistence Strategies
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·1d·
Discuss: Hacker News
🐚Shell Calculus
GORM Magic: Go Database Made Easy ⚡
dev.to·20h·
Discuss: DEV
⛏️SQL Archaeology
🧠 MCP Servers — The Quiet Engineers Behind Smarter AI
dev.to·1d·
Discuss: DEV
🏠Homelab Archaeology
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·1d
📏Linear Logic
Day 4 of Learning System Design: Mastering Consistent Hashing
dev.to·1d·
Discuss: DEV
🌐Distributed Hash
Everything You Need to Know About the Gemini CLI
dev.to·23h·
Discuss: DEV
🌳Incremental Parsing
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·14h
🧮Kolmogorov Complexity
[D] thoughts about "prompt routing" - what do you think about it?
reddit.com·7h·
Discuss: r/MachineLearning
🌐Protocol Synthesis
Your 92% Accurate AI Model Might Be Dangerous (Here's Why)
dev.to·8h·
Discuss: DEV
🔧Hardware Verification
Day 28/100: List Comprehensions in Python
dev.to·15h·
Discuss: DEV
📝Concrete Syntax
Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
arxiv.org·14h
📐Linear Algebra
Scaling Real-Time Video on AWS: How We Keep WebRTC Latency Below 150ms with Kubernetes Autoscaling
hackernoon.com·1d
🌊Streaming Systems
How to Debug Rare and Hard-to-Reproduce Bugs Like a Pro
dev.to·3h·
Discuss: DEV
👁️System Observability