📞 Session Types

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

What Is the Luhn Algorithm? The Math Behind Secure Credit Card Numbers
scientificamerican.com·16h
🎯Arithmetic Coding Theory
Man develops rare condition after ChatGPT query over stopping eating salt
theguardian.com·20h
💾SQLite
Tweag I/O: Getting started with CodeQL, GitHub's declarative static analyzer for security
tweag.io·6d
🧪Binary Fuzzing
Fusion Propulsion and Other Science Projects We Swore Would Be Done by Now
multiverseemployeehandbook.com·20h·
Discuss: Hacker News
🖥️Terminal Renaissance
Exploring AI Memory Architectures (Part 2): MemOS Framework
blog.lqhl.me·3d·
Discuss: Hacker News
⚡Hardware Transactional Memory
What Happens When People Turn to Chatbots for Therapy?
datasociety.net·2d·
Discuss: Hacker News
🔄Session Type Inference
What If A.I. Doesn’t Get Much Better Than This?
newyorker.com·12h·
Discuss: Hacker News
🔲Cellular Automata
You can now give Claude access to memories of previous conversations, but only if you want to
techradar.com·5h
🎙️Whisper
Control-affine Schr\"odinger Bridge and Generalized Bohm Potential
arxiv.org·3h
⚛️Information Physics
Understanding Type I and Type II Errors in a Medical Setting
dev.to·14h·
Discuss: DEV
🔲Proof Irrelevance
what tool to choose for kubernetes managed PSQL
reddit.com·21h·
Discuss: r/kubernetes
🗄️PostgreSQL WAL
Networking LXC redundancy and some suggestions
reddit.com·1d·
Discuss: r/homelab
💿Proxmox HA
A Year Late to My Own Introduction
dev.to·2d·
Discuss: DEV
🦀Rust Macros
I “Vibe” Built a System Inspired by Nature's Math, and It's 1.82x Faster Than Nginx
dev.to·5d·
Discuss: DEV
🎯Performance Proofs
Large Language Model Evaluated Stand-alone Attention-Assisted Graph Neural Network with Spatial and Structural Information Interaction for Precise Endoscopic Im...
arxiv.org·1d
🧠Machine Learning
How I Use AI to Write Cleaner, Faster, and Smarter Code
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Multi-head Transformers Provably Learn Symbolic Multi-step Reasoning via Gradient Descent
arxiv.org·1d
🧮SMT Solvers
Deep Learning-Based Analysis of Power Consumption in Gasoline, Electric, and Hybrid Vehicles
arxiv.org·1d
🧠Machine Learning
KFFocus: Highlighting Keyframes for Enhanced Video Understanding
arxiv.org·3h
📊Rate-Distortion Theory
I tried vibe coding, and survived to tell (well kinda) - Part 1
dev.to·2d·
Discuss: DEV
🦀Rust Macros