📞 Session Types

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

Building an AI Center of Excellence: Lessons from Iron Mountain's Journey
info.aiim.org·4h
🌍Cultural Algorithms
Published Recipe Agent
tersesystems.com·1d
🔄Sync Engine
Show HN: Migration of Elasticsearch and Google Maps Handbooks
spatialized.io·4h·
Discuss: Hacker News
📡Feed Archaeology
Jeopardy! world
hauleth.dev·22h·
Discuss: Lobsters, Hacker News
🌳Trie Structures
Building a Rust Crate Summarizer with Workers AI: Lessons Learned
samjs.io·4d·
Discuss: Hacker News
🦀Rust Macros
Measuring Engineering
fffej.substack.com·2d·
Discuss: Substack
📏Code Metrics
Teach Yourself Programming in Ten Years
norvig.com·2d·
Discuss: Hacker News
🔩Systems Programming
Wardropian Cycles make traffic assignment both optimal and fair by eliminating price-of-anarchy with Cyclical User Equilibrium for compliant connected autonomou...
arxiv.org·11h
🤝Consensus Networks
Show HN: Go-respec – Generate OpenAPI specs from Go code, no annotations needed
github.com·4d·
Discuss: Hacker News
🔌Interface Evolution
Peeking Inside MinIO: How This Object Storage Powerhouse Works
dev.to·3d·
Discuss: DEV
🔄Sync Engine
SILS: Strategic Influence on Liquidity Stability and Whale Detection in Concentrated-Liquidity DEXs
arxiv.org·1d
💿ZFS Archaeology
Quiz: Bitwise Operators in Python
realpython.com·1d
📜Binary Philology
M-Net: MRI Brain Tumor Sequential Segmentation Network via Mesh-Cast
arxiv.org·11h
🌀Riemannian Computing
Aligning Large Language Model Agents with Rational and Moral Preferences: A Supervised Fine-Tuning Approach
arxiv.org·11h
💻Local LLMs
Provable In-Context Learning of Nonlinear Regression with Transformers
arxiv.org·11h
🧠Machine Learning
Python Binary to String Guide
dev.to·20h·
Discuss: DEV
💾Binary codes
🎯 Solved a complex problem with Claude Code:
dev.to·2d·
Discuss: DEV
🦀Rust Verification
Letshare - A TUI for sharing files on the same network
reddit.com·22h·
Discuss: r/golang
🔄Sync Engine
Novel Pivoted Cholesky Decompositions for Efficient Gaussian Process Inference
arxiv.org·11h
📐Linear Algebra
Stop coding. Start architecting. Introducing Serverokey — a Node.js engine for the AI era.
dev.to·4d·
Discuss: DEV
🔌Interface Evolution