📞 Session Types

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

Flux CD: D1 Reference Architecture (multi-cluster, multi-tenant)
control-plane.io·21h
🏠Homelab Orchestration
Debian 13 Trixie will be released on August 9th
lists.debian.org·19h·
Discuss: Hacker News, r/linux
🐧FOSS
Make Your Own Backup System – Part 1: Strategy Before Scripts
it-notes.dragas.net·2d·
Discuss: Lobsters, Hacker News
💿Backup Strategies
Wrote a blog about using Dapr and mirrord together
metalbear.co·3d
📦Container Security
Vibe coding a Greek learning app without knowing Gree
mikeborozdin.com·1h·
Discuss: Hacker News
🌀Brotli Dictionary
Why pull-based pipelines are faster
blog.sequinstream.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
Undone Computer Science
undonecs.org·3d·
Discuss: Hacker News, r/compsci
🌍Cultural Algorithms
Gaslight-driven development
tonsky.me·4d·
Discuss: Hacker News
🎯Gradual Typing
Vibe Coding with AI: Ensuring User Needs Are Met
kamil.chm.ski·2d·
Discuss: Hacker News
🚀Indie Hacking
Welcome to Teratai888: A New Journey Begins
hackster.io·6h
🖥️Terminal Renaissance
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
I asked Alexa Plus to tackle my to-do list — it mostly failed
theverge.com·48m
🧮Constraint SMT
Why Your Logs Are Talking — You Just Don’t Listen: The Untapped Power of Developer Observability
dev.to·1d·
Discuss: DEV
👁️System Observability
Fortinet FortiWeb flaw CVE-2025-25257 exploited hours after PoC release
securityaffairs.com·20h
🔓Hacking
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·2d·
Discuss: r/MachineLearning
🌐Protocol Synthesis