📞 Session Types

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

What Exif Data Reveals About Your Site
brainbaking.com·1d
🔍Format Forensics
Show HN: AI Inbx – The Email Inbox for Your AI Agents (Free Beta)
aiinbx.com·1d·
Discuss: Hacker News
📰Feed Readers
The Curious Case of Bedrock's GPT Deployment
benanderson.work·2d·
Discuss: Hacker News, Hacker News
📺VT100 Emulation
Astral Launches pyx: A Python-Native Package Registry
socket.dev·1d·
Discuss: Hacker News
🔓Open Source Software
Graphite's pore size distribution offers new clues to predicting nuclear reactor material failure
phys.org·44m
🌡️Preservation Physics
GenHuzz: An Efficient Generative Hardware Fuzzer
usenix.org·2d
🧪RISC-V Fuzzing
Django Has Never Let Me Down
dev.to·2d·
Discuss: DEV
🌳Persistent Data Structures
Inclusive Employment Pathways: Career Success Factors for Autistic Individuals in Software Engineering
arxiv.org·1d
🗺️Competency Maps
Fast and Simple Multiclass Data Segmentation: An Eigendecomposition and Projection-Free Approach
arxiv.org·1d
📐Linear Algebra
Hugging Face in Production: Hidden Risks AI Startups Often Miss
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Enhanced Anomaly Detection in Spontaneous X-Ray Emission using Hybrid Quantum Machine Learning
dev.to·1d·
Discuss: DEV
⚛️Quantum Algorithms
Understanding Transformers through the Lens of Pavlovian Conditioning
arxiv.org·2d
🧠Machine Learning
How I Built a Codebase-Wide AI Memory That Scales With My Repo
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
How to Outsmart AI Cheating Without Killing Creativity
hackernoon.com·7h
📚Proof Pedagogy
\(X\)-evolve: Solution space evolution powered by large language models
arxiv.org·3d
🛠Language Design
Towards Experience-Centered AI: A Framework for Integrating Lived Experience in Design and Development
arxiv.org·3d
🌍Cultural Algorithms
Bringing Everyone to the Table: An Experimental Study of LLM-Facilitated Group Decision Making
arxiv.org·3d
🔲Cellular Automata
Towards Safer AI Moderation: Evaluating LLM Moderators Through a Unified Benchmark Dataset and Advocating a Human-First Approach
arxiv.org·3d
🤖AI Curation
Large Language Models for Subjective Language Understanding: A Survey
arxiv.org·3d
📝Parsing Grammars
User Perception of Attention Visualizations: Effects on Interpretability Across Evidence-Based Medical Documents
arxiv.org·10h
📊Learned Metrics