📞 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·1d·
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·15h·
Discuss: Hacker News
🔲Cellular Automata
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
Gaslight-driven development
tonsky.me·4d·
Discuss: Hacker News
🎯Gradual Typing
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·1d
🧠Intelligence Compression
I found a time-based SQLi… but someone beat me to it!!
infosecwriteups.com·10h
🧬PostgreSQL Forensics
Matt Dillon discusses the past, present and future of BSDs (2022)
web.archive.org·1d·
Discuss: Hacker News
🔓Open Source Software
Agent Memory with Spring AI & Redis
dev.to·3d·
Discuss: DEV
⚡Redis Internals
I built a memoryless AI persona system at 18
medium.com·16h·
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·3d
🎯Performance Proofs
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·2d·
Discuss: DEV
📐Vector Dimensionality
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·1d
🔲Cellular Automata
Everything You Need to Know About the Gemini CLI
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing