📞 Session Types

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

No New iPhone?
theonlinephotographer.typepad.com·1d·
Discuss: Hacker News
🍎Apple Computing
.NET 10 preview out now, likely to be near feature-complete
theregister.com·5d
🌐Web Standards
Horoscopes Aug. 18, 2025: Andy Samberg, your actions and words matter
mercurynews.com·1d
⭐Awesome lists
Ventoy 1.1.06 Brings TrueNAS Scale Support
linuxiac.com·1d
🔌Operating system internals
A Dynamically Weighted ADMM Framework for Byzantine Resilience
arxiv.org·1d
🤝Consensus Algorithms
Personalized Face Super-Resolution with Identity Decoupling and Fitting
arxiv.org·1d
🌀Fractal Compression
Quantum Annealing for Enhanced Feature Selection in Single-Cell RNA Sequencing Data Analysis
arxiv.org·1d
⚛️Quantum Algorithms
A Comparative Study of Floating-Base Space Parameterizations for Agile Whole-Body Motion Planning
arxiv.org·1d
🌀Differential Geometry
DFed-SST: Building Semantic- and Structure-aware Topologies for Decentralized Federated Graph Learning
arxiv.org·1d
🗜️Graph Compression
Unlocking the Magic: My First ML Project – Handwritten Digit Recognition with MNIST ✨
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Modeling and Detecting Company Risks from News: A Case Study in Bloomberg News
arxiv.org·1d
🧠Intelligence Compression
Build a Real-World IROPS Re-accommodation Workflow with KaibanJS
dev.to·5d·
Discuss: DEV
🌊Streaming Systems
SHLIME: Foiling adversarial attacks fooling SHAP and LIME
arxiv.org·1d
🔍Vector Forensics
Vibe Coding and the New Era of Software: From “How” to “What”
dev.to·2d·
Discuss: DEV
🌍Cultural Algorithms
StrangEars
dev.to·4d·
Discuss: DEV
🎙️Whisper
Enhanced Piezo-Catalytic Efficiency via Adaptive Multi-Scale Acoustic Resonance Control
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
Dynamo, DynamoDB, and Aurora DSQL
brooker.co.za·4d·
Discuss: Lobsters, Hacker News
🌊Streaming Databases
Quantum Dot Size Control via Confined Reactive Intercalation Dynamics (CRID)
dev.to·20h·
Discuss: DEV
⚛️Quantum Tape
Psyche-R1: Towards Reliable Psychological LLMs through Unified Empathy, Expertise, and Reasoning
arxiv.org·4d
🏛Digital humanities
SingleStrip: learning skull-stripping from a single labeled example
arxiv.org·4d
🌀Differential Geometry