📞 Session Types

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

Motion Pixels: breakthrough!
codecs.multimedia.cx·1d
🎬Video Codecs
Talking robots learn to manage human interruptions
hub.jhu.edu·1d·
Discuss: Hacker News
🤖AI Curation
Sertraline for anxiety in adults with a diagnosis of autism (STRATA)
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🔗Data Provenance
Deriving Rope the Proper Way
nor-blog.pages.dev·2d·
Discuss: Hacker News
📐Linear Algebra
Phoenix LiveView 1.1 Released
phoenixframework.org·2d·
Discuss: Hacker News
🔌Interface Evolution
Web Embeddable Common Lisp
ecl.common-lisp.dev·4d·
Discuss: Hacker News
⚙️PL Implementation
Getting Real with AI
doc.searls.com·8h·
Discuss: Hacker News
🌀Brotli Internals
A Semi-Technical Primer on LLMs
sandboxthoughts.substack.com·5d·
Discuss: Substack
📏Linear Logic
Going to KubeCon + CloudNativeCon 2025 in Hyderabad – any tips to make the most of it?
reddit.com·16h·
Discuss: r/kubernetes
⚙️DIY Electronics
Title: The Mind-Bending Reality of the Self: How Our Brain Creates Our Identity
dev.to·18m·
Discuss: DEV
🏛Digital humanities
Implementing Defense-in-Depth Security for AWS CodeBuild Pipelines
aws.amazon.com·2d
🔄Reproducible Builds
Show HN: N0vaTools – A cool toolkit with many features
github.com·16h·
Discuss: Hacker News
🪟Awesome windows command-line
Power Up Your Go Apps: Using PostgreSQL as a Job Queue with River
dev.to·4d·
Discuss: DEV
🌊Stream Processing
Real AI vs. Automation: What Developers Need to Know
dev.to·17h·
Discuss: DEV
🤖AI Curation
Server Build for K8s Cluster Support & NAS - Part List Review & Storage Strategy Feedback
reddit.com·11h·
Discuss: r/homelab
🏠Homelab Preservation
LVM-GP: Uncertainty-Aware PDE Solver via coupling latent variable model and Gaussian process
arxiv.org·2d
🧠Machine Learning
LLMs-guided adaptive compensator: Bringing Adaptivity to Automatic Control Systems with Large Language Models
arxiv.org·4d
✨Effect Handlers
ART: Adaptive Relation Tuning for Generalized Relation Prediction
arxiv.org·1d
🧮Vector Embeddings
Enabling Few-Shot Alzheimer's Disease Diagnosis on Tabular Biomarker Data with LLMs
arxiv.org·1d
💻Local LLMs
Lines of Code, Lifelong Connections and Fun
dev.to·1d·
Discuss: DEV
🚀Indie Hacking