📞 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·16h
🌐Network Security
Rerun 0.24 – Light Mode, Streaming Video, Tagged Components
rerun.io·7h·
Discuss: Hacker News
🧬Bitstream Evolution
API Security in IAM: Architecture, Best Practices, and Threat Mitigation
guptadeepak.com·9h·
Discuss: Hacker News
🎫Kerberos History
NIH Is Far Cheaper Than The Wrong Dependency
lewiscampbell.tech·4h·
Discuss: Lobsters, Hacker News
📏Code Metrics
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·2d·
Discuss: Hacker News
🌐WASI
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·15h·
Discuss: Hacker News
🐚Shell Calculus
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Agent Memory with Spring AI & Redis
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Secure Pinching Antenna-aided ISAC
arxiv.org·31m
📐Compression Mathematics
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
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·9h·
Discuss: DEV
🌳Incremental Parsing
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.org·31m
📐Geometric Hashing
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·13h·
Discuss: DEV
📐Vector Dimensionality
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·31m
🔲Cellular Automata
HTML to PDF Conversion using Modern .NET Core Frameworks: The Ultimate Guide
hackernoon.com·21h
📄PDF Internals
GORM Magic: Go Database Made Easy ⚡
dev.to·6h·
Discuss: DEV
⛏️SQL Archaeology
🧠 MCP Servers — The Quiet Engineers Behind Smarter AI
dev.to·13h·
Discuss: DEV
🏠Homelab Archaeology