📞 Session Types

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

Spritely presented spirited speeches spanning the planet
spritely.institute·3d
🕹️Retro Gaming
Our favorite talks from fwd:cloudsec 2025
redcanary.com·4d
🎯Threat Hunting
AI’s pogo-stick grift
doctorow.medium.com·19h
🔲Cellular Automata
Satellites, Drones, and AI: the New 'High-Tech Quest to Fight Wildfires'
news.slashdot.org·19h
📡RSS Syndication
Three Months with Cursor: A Developer's Summer 2025 Retrospective
tvedeane.bearblog.dev·2d·
Discuss: Hacker News
🎯Gradual Typing
Microsoft build of Go 1.25 crypto back end changes
devblogs.microsoft.com·4d·
Discuss: Hacker News
🔤EBCDIC Privacy
From zero to RAG engineer: 1200 hours of lessons so you don't repeat my mistakes
bytevagabond.com·3d·
Discuss: Hacker News
📄Text Chunking
Zero to Mastery: [July 2025] Python Monthly Newsletter 🐍
zerotomastery.io·3d
⚡Homebrew CPUs
I took a look at AnduinOS, a Linux distro that feels like home for Windows users
tomshardware.com·1d
🔌Operating system internals
Show HN: Calystone – privacy-first note- & task-mnger that works with your files
github.com·2d·
Discuss: Hacker News
🏠Personal Archiving
Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
arxiv.org·4d
🧪Binary Fuzzing
Unifying password managers in Rust: would this trait be useful?
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
How API-Driven Content Powers the Future of Streaming Platforms
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Dark Reading Confidential: Funding the CVE Program of the Future
darkreading.com·3d
✅Archive Fixity
The Double-Edged Sword of AI in Software Engineering: Balancing Power and Peril
dev.to·3d·
Discuss: DEV
📏Code Metrics
Deciphering interventional dynamical causality from non-intervention complex systems
arxiv.org·2d
✨Effect Handlers
Scaling with Redis Sharding in Go: A Practical Guide with Hashing Strategies
dev.to·3d·
Discuss: DEV
🗄️Database Sharding
Improving annotator selection in Active Learning using a mood and fatigue-aware Recommender System
arxiv.org·2d
🎛️Feed Filtering
Redis AI Trading Assistant: Real-Time Market Intelligence with Human-Controlled Execution
dev.to·20h·
Discuss: DEV
⚡Redis Internals
The Warm Future: Why Agentic AI Companies Build Empathy
dev.to·2d·
Discuss: DEV
🌍Cultural Algorithms