📞 Session Types

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

Thoughts on edent's 'We've got to stop sending files to each other'
neilzone.co.uk·5h
✅Document Verification
Secure Endpoint: Real Results in Efficacy, Simplicity, and Faster Detection
blogs.cisco.com·8h
🌐Network Security
Logical implication is a comparison operator
btdmaster.bearblog.dev·1h·
Discuss: Hacker News
🔲Proof Irrelevance
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·2d
🔗Hash Chains
LLMs Are Bad at Being Forced
morphllm.com·8h·
Discuss: Hacker News
💻Local LLMs
Vibe Coding with AI: Ensuring User Needs Are Met
kamil.chm.ski·7h·
Discuss: Hacker News
🚀Indie Hacking
The great misunderstanding of the DRY principle
pmatteo.com·3d·
Discuss: Hacker News
💧Liquid Types
Sandboxing AI - Extending AI Responsibly
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
IoT Security Updates
dev.to·17h·
Discuss: DEV
📐Delta Encoding
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Scaling service to handle 20x capacity within 10-15 seconds
reddit.com·3h·
Discuss: r/kubernetes
🌊Streaming Systems
Kubernetes Finally Solves Its Biggest Problem: Managing Databases
thenewstack.io·3d·
Discuss: Hacker News
🗄️Database Sharding
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·13h
🔍RegEx Engines
Why 1Password hasn't released an MCP server
blog.1password.com·19h·
Discuss: Hacker News
🔌Interface Evolution
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·2d·
Discuss: Hacker News
🔌Interface Evolution
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·1d
🤝Distributed Consensus
Comparison of defining interfaces in the consumer vs. producer when it comes to developing a microservice
reddit.com·15h·
Discuss: r/golang
🔌Interface Evolution
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Future-Proof Programming Languages
log.schemescape.com·3d·
Discuss: Hacker News
💻programming languages
All the wrong ways to think about AI customer support
mux.com·1d·
Discuss: Hacker News
🏠Homelab Automation