📞 Session Types

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

One Year of Hacking Workshops
rhaas.blogspot.com·2d·
Discuss: rhaas.blogspot.com
🧬PostgreSQL Forensics
STH Hardware Upgrades 2025 Edition
servethehome.com·1d
🖥️Modern Terminals
No record left behind: How Warpstream can withstand regional outages
warpstream.com·1d·
Discuss: Hacker News
🌐Edge Preservation
Quadratic Forms Beyond Arithmetic
ams.org·2d·
Discuss: Hacker News
🔱Galois Theory
Introducing TCP-in-UDP solution (eBPF)
blog.mptcp.dev·4d·
Discuss: Lobsters, Hacker News
🌐Network Protocols
Psychedelics reopen the social reward learning critical period
nature.com·19h·
Discuss: Hacker News
🔲Cellular Automata
Hiding messages in a deck playing cards
asherfalcon.com·1d·
Discuss: Hacker News
🦠Parasitic Storage
Agent Memory with Spring AI & Redis
dev.to·3d·
Discuss: DEV
⚡Redis Internals
I built a memoryless AI persona system at 18
medium.com·20h·
Discuss: Hacker News
🌍Cultural Algorithms
Idea: "codetochat.com"–An AI tool to help developers understand legacy codebases
news.ycombinator.com·1d·
Discuss: Hacker News
📏Code Metrics
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·4d
🎯Performance Proofs
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·2d·
Discuss: DEV
📐Vector Dimensionality
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·2d
🔲Cellular Automata
Everything You Need to Know About the Gemini CLI
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
[D] thoughts about "prompt routing" - what do you think about it?
reddit.com·1d·
Discuss: r/MachineLearning
🌐Protocol Synthesis
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·3d
📏Linear Logic
Day 38: When Code Feels More Honest Than People
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Why Your Logs Are Talking — You Just Don’t Listen: The Untapped Power of Developer Observability
dev.to·1d·
Discuss: DEV
👁️System Observability
Your 92% Accurate AI Model Might Be Dangerous (Here's Why)
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
How to write Rust in the Linux kernel: part 3
lwn.net·1d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing