📞 Session Types

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

Emacs Carnival Writing Experience: Eric MacAdie
irreal.org·5h
🦋Format Metamorphosis
Morse Code
kmcd.dev·11h
🔤Character Encoding
Containment as a Core Security Strategy
darkreading.com·1d
🛡️Error Boundaries
wrote like the wind; frequentist vs Bayes on sparsity
hoggresearch.blogspot.com·1d·
Discuss: hoggresearch.blogspot.com
🧠Machine Learning
Spring Boot Performance: Avoid Default Config Pitfalls
theperfparlor.com·3d·
Discuss: DEV, Hacker News
🌊Streaming Systems
Reverse engineering the mysterious Up-Data Link Test Set from Apollo
righto.com·1d·
Discuss: Lobsters, Hacker News
⚡Circuit Archaeology
Three Chinese threat groups exploited SharePoint flaws, Microsoft
metacurity.com·7h
🔓Hacking
Rickrolling Turso DB (SQLite rewrite in Rust)
avi.im·2d·
Discuss: Lobsters, Hacker News, r/programming
💾SQLite
ChatSCP
qntm.org·1d·
Discuss: Hacker News
🔓Hacking
Gradual negation types and the Python type system
jellezijlstra.github.io·5d·
Discuss: Hacker News
🔬Refinement Types
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com·3d·
Discuss: Hacker News
🪟Awesome windows command-line
better-auth/better-auth
github.com·1d
🔒WASM Capabilities
Learning Stochastic Hamiltonian Systems via Stochastic Generating Function Neural Network
arxiv.org·17h
🧠Machine Learning
Go Concurrent Programming: Real-World Lessons to Level Up Your Skills
dev.to·4d·
Discuss: DEV
🌊Stream Processing
Complete Guide: Self-Hosted Kubernetes Cluster on Ubuntu Server (Cut My Costs 70%)
reddit.com·7h·
Discuss: r/kubernetes
📦Container Security
Complete Beginner's Guide to Building AI Agents with LangChain and LangGraph
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
Strategically Robust Game Theory via Optimal Transport
arxiv.org·17h
🔲Cellular Automata
A Formal Model of the Economic Impacts of AI Openness Regulation
arxiv.org·17h
🔓Open Source Software
Context Engineering for AI Agents: Key Lessons from Manus
dev.to·3d·
Discuss: DEV
🏗️Compiler Archaeology
Reading Between the Lines: Combining Pause Dynamics and Semantic Coherence for Automated Assessment of Thought Disorder
arxiv.org·1d
👂Psychoacoustics