📞 Session Types

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

STH Hardware Upgrades 2025 Edition
servethehome.com·1d
🖥️Modern Terminals
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·23h·
Discuss: Hacker News
🔲Cellular Automata
Building a Sleeper Computer from an SGI Indy
buu342.me·7h·
Discuss: Hacker News
🖥️Terminal Renaissance
Wrote a blog about using Dapr and mirrord together
metalbear.co·2d
📦Container Security
Hiding messages in a deck playing cards
asherfalcon.com·1d·
Discuss: Hacker News
🦠Parasitic Storage
Undone Computer Science
undonecs.org·2d·
Discuss: Hacker News, r/compsci
🌍Cultural Algorithms
Pragmata Gameplay Breakdown Details Its Blend Of Hacking And Gunplay
dev.to·8h·
Discuss: DEV
🕹️Game Preservation
What Happens When AI Starts Writing Your APIs?
devops.com·1d
⚙️TLA+
Idea: "codetochat.com"–An AI tool to help developers understand legacy codebases
news.ycombinator.com·1d·
Discuss: Hacker News
📏Code Metrics
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
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·3d
📏Linear Logic
Why Your Logs Are Talking — You Just Don’t Listen: The Untapped Power of Developer Observability
dev.to·1d·
Discuss: DEV
👁️System Observability
Everything You Need to Know About the Gemini CLI
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·2d
🧮Kolmogorov Complexity
[D] thoughts about "prompt routing" - what do you think about it?
reddit.com·1d·
Discuss: r/MachineLearning
🌐Protocol Synthesis
How to keep up with AI progress
news.ycombinator.com·2h·
Discuss: Hacker News
🌀Brotli Internals
After a Week of Work, My Programming Language Hulo Adds Bash Transpiler and Package Management Tool
dev.to·23h·
Discuss: DEV
🐚Shell Automation