✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

When Being Incorrect Became the Internet's Best Business Model
idiallo.com·2h
⚖️Inference Rules
New Collaboration with Marco Behler
computerenhance.com·9h
🔬Nanopasses
MORQA Benchmark Introduces AI-Driven Evaluation for Medical QA
getnews.me·6h·
Discuss: r/GetNewsme
🎮Language Ergonomics
Announcing MCP Toolbox support for Firestore
cloud.google.com·20h
⚡Incremental Parsing
Letter of the week: Watching our language
newstatesman.com·21h
⚡Incremental Parsing
Create a CLI Tool with Python: From Zero to Hero
pythonjournals.com·2h·
Discuss: r/programming
💻Terminal UIs
I Tried GPT-5 Codex and Here is Why You Must Too!
analyticsvidhya.com·23h
📖Literate Programming
Cursor with CodeRabbit just changed Vibe coding forever
threadreaderapp.com·3h
⚡Live Coding
LLM Rerankers for RAG: A Practical Guide
fin.ai·3d·
Discuss: Hacker News, Hacker News
🪜Recursive Descent
Learning the natural history of human disease with generative transformers
nature.com·20h·
Discuss: Hacker News
✨Effect Inference
Building a Product Review Analyzer With Together AI and Maxim Observability
reddit.com·1d·
Discuss: r/selfhosted
🚂Cranelift IR
How I Applied an Higher Order Array Method In a Project
dev.to·18h·
Discuss: DEV
🔗Concatenative Languages
Hierarchical Importance Sampling for Estimating Occupation Time for SDE Solutions
arxiv.org·8h
✨Effect Inference
Wolverine + Marten: My story and subjective take
dev.to·15h·
Discuss: DEV
🔧Nickel
Joint data imputation and mechanistic modelling for simulating heart-brain interactions in incomplete datasets
arxiv.org·8h
🔍ML Language
OpenAI Says Models Programmed To Make Stuff Up Instead of Admitting Ignorance
slashdot.org·19h
🚂Error Propagation
AI and the Future of Academic Peer Review
arxiv.org·8h
🌉Language Bridges
High-Energy Concentration for Federated Learning in Frequency Domain
arxiv.org·1d
🔍ML Language
libwmf v0.2.13 Integer Overflow in libwmf Left-Shift Operations (wmf.c, fig.c, svg.c)
seclists.org·2d
🏷️Symbol Mangling
When Curiosity Signals Danger: Predicting Health Crises Through Online Medication Inquiries
arxiv.org·2d
⚖️Weighted Automata