📞 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
Secure Endpoint: Real Results in Efficacy, Simplicity, and Faster Detection
blogs.cisco.com·20h
🌐Network Security
Newcomer looking for guidance on securing my homelab
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
NIH Is Far Cheaper Than The Wrong Dependency
lewiscampbell.tech·8h·
Discuss: Lobsters, Hacker News
📏Code Metrics
Why 1Password hasn't released an MCP server
blog.1password.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·3d·
Discuss: Hacker News
🔌Interface Evolution
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·2d
🎯Performance Proofs
The Future of AI Agent Communication with ACP
towardsdatascience.com·2d
🔌Interface Evolution
Everything You Need to Know About the Gemini CLI
dev.to·13h·
Discuss: DEV
🌳Incremental Parsing
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.org·4h
📐Geometric Hashing
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·17h·
Discuss: DEV
📐Vector Dimensionality
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·4h
🔲Cellular Automata
HTML to PDF Conversion using Modern .NET Core Frameworks: The Ultimate Guide
hackernoon.com·1d
📄PDF Internals
GORM Magic: Go Database Made Easy ⚡
dev.to·10h·
Discuss: DEV
⛏️SQL Archaeology
🧠 MCP Servers — The Quiet Engineers Behind Smarter AI
dev.to·17h·
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·20h·
Discuss: DEV
🌐Distributed Hash
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·4h
🧮Kolmogorov Complexity
Day 28/100: List Comprehensions in Python
dev.to·5h·
Discuss: DEV
📝Concrete Syntax