📞 Session Types

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

How to optimize for password-free checkout experiences
fingerprint.com·20h
🔓Password Cracking
The Argument from Existential Debt
schwitzsplinters.blogspot.com·4h·
Discuss: www.blogger.com
🔲Cellular Automata
Unlocking high software engineering pace: Build less, ship frequently, learn faster
dev.jimgrey.net·2d
🔄Reproducible Builds
The Data Room App (thedataroom.app)
djpardis.medium.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Zeitwerk: The Autoloader That Rails Deserves, but Not the One It Needs
rubystacknews.com·1h·
Discuss: Hacker News
🔗Static Linking
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev·5d·
Discuss: Hacker News
🔐Quantum Security
Windows 11 gets a big new update – here are the top 4 features, including a powerful AI agent for Copilot+ PCs
techradar.com·2h
🪟Awesome windows command-line
Walking You Through WASI Support in Go
hackernoon.com·3d
🌐WASI
A Changing of the Guard in DevOps
devops.com·5h
❄️Nix Adoption
Python Write JSON to File
dev.to·1d·
Discuss: DEV
📦Deflate
Teaching the Toaster: What We Get Wrong About AI "Learning"
dev.to·17h·
Discuss: DEV
🤖Grammar Induction
Quark’s Outlines: Python Integers
dev.to·2d·
Discuss: DEV
✅Format Verification
Leveraging Extrinsic Dexterity for Occluded Grasping on Grasp Constraining Walls
arxiv.org·1d
✋Tactile Computing
Transformer-based Deep Learning Model for Joint Routing and Scheduling with Varying Electric Vehicle Numbers
arxiv.org·1d
🧩WASM Components
Building Domain Expert Voice Agents with AssemblyAI: Creating Specialized AI Assistants for Medical, Legal, and Technical Fields
dev.to·21h·
Discuss: DEV
🎙️Whisper
Convert HTML and CSS to SVG
github.com·1d·
Discuss: Hacker News
📸PNG Optimization
Quantum Shadows: The Dining Information Brokers
arxiv.org·2d
⚛️Quantum Information
Gemma vs. Ollama vs. Local LLMs — Which One Should You Actually Use?
dev.to·1d·
Discuss: DEV
💻Local LLMs
The Icarus Syndrome in Software Engineering (and How to Beat It)
hackernoon.com·8h
🛡️Error Boundaries
Understanding AWS Agents: Strands, Bedrock Agents, and AgentCore with MCP
dev.to·1d·
Discuss: DEV
🤝Consensus Protocols