📞 Session Types

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

CodeSOD: Going on a teDa
thedailywtf.com·1d
🔧KAITAI
SensorLM: Learning the language of wearable sensors
research.google·3d·
Discuss: Hacker News, Hacker News
🎙️Whisper
American Leadership in the Digital Finance Revolution
sec.gov·48m·
Discuss: Hacker News
🔗Blockchain Archives
Is SOC2 the new tech protection racket?
readmargins.com·5h·
Discuss: Hacker News
🏠Homelab Pentesting
A Tale of Practical Keylogger Forensics
research.hisolutions.com·3d·
Discuss: Hacker News
🔍NTLM Forensics
tcmalloc's Temeraire: A Hugepage-Aware Allocator
paulcavallaro.com·3d·
Discuss: Hacker News, r/compsci, r/programming
💾Memory Mapping
How Spotify Saved $18M With Smart Compression (And Why Most Teams Get It Wrong)
systemdr.substack.com·4d·
Discuss: Substack, r/programming
🌊Streaming Compression
Our $100M Series B
oxide.computer·1d·
Discuss: Lobsters, Hacker News
🖥️Terminal Renaissance
Stack Overflow Survey 2025: 84% of devs use AI… but 46% don’t trust it 🤯
shiftmag.dev·7h
📏Code Metrics
What does your chatbot think about this chatbot's thoughts on GPT-5
karimmustaghni.substack.com·1h·
Discuss: Substack
🤖AI Curation
ashishpatel26/500-AI-Agents-Projects
github.com·2d
⚡Proof Automation
MAGIC: A Multi-Hop and Graph-Based Benchmark for Inter-Context Conflicts in Retrieval-Augmented Generation
arxiv.org·1d
📇Dublin Core
CI/CD Pipelines for Large Teams: How to Keep Velocity Without Breaking the Build
devops.com·1d
🔄Reproducible Builds
Thoughts on Coding with GenAI
dev.to·5h·
Discuss: DEV
📏Code Metrics
AdaptHetero: Machine Learning Interpretation-Driven Subgroup Adaptation for EHR-Based Clinical Prediction
arxiv.org·1d
🧠Machine Learning
Building AI That Disappears: The Developer Philosophy Behind 4iservice
dev.to·1d·
Discuss: DEV
🎙️Whisper
Tech With Tim: Python AI Voice Agent Tutorial - Full Developer Guide (Deepgram, Twilio, Function Calling)
dev.to·1d·
Discuss: DEV
🎙️Whisper
Your AI Chatbot Is Only as Smart as Your Data Architecture
thenewstack.io·1d
🌊Stream Processing
Introduction to MCP Servers and writing one in Python
dev.to·4d·
Discuss: DEV
🌐NetworkProtocols
An inherent regularization approach to parameter-free preconditioning for nearly incompressible linear poroelasticity and elasticity
arxiv.org·15h
🌀Differential Geometry