✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Letter of the week: Watching our language
newstatesman.com·2h
⚡Incremental Parsing
Announcing MCP Toolbox support for Firestore
cloud.google.com·2h
⚡Incremental Parsing
I Tried GPT-5 Codex and Here is Why You Must Too!
analyticsvidhya.com·5h
📖Literate Programming
Learning the natural history of human disease with generative transformers
nature.com·2h·
Discuss: Hacker News
✨Effect Inference
Embedded projects for someone looking to break into the field?
github.com·23h·
Discuss: r/embedded
📚Self-Documenting Code
How I Applied an Higher Order Array Method In a Project
dev.to·17m·
Discuss: DEV
🔗Concatenative Languages
Building a Product Review Analyzer With Together AI and Maxim Observability
reddit.com·6h·
Discuss: r/selfhosted
🚂Cranelift IR
DisorientLiDAR: Physical Attacks on LiDAR-based Localization
arxiv.org·14h
🔍Lens Libraries
R MCP Server
github.com·18h·
Discuss: Hacker News
⚡Live Programming
Day 19 of 100- building a mini quiz app.
dev.to·8h·
Discuss: DEV
🌙Lua
Best Practices for Code Reviews: A Comprehensive Guide
dev.to·12h·
Discuss: DEV
🎮Language Ergonomics
Lies-in-the-Loop (LITL): Attacking (and Defending) Human-in-the-Loop AI Workflows
dev.to·1d·
Discuss: DEV
🛡️Security Type Systems
The Rise of AI Code Generators: How Artificial Intelligence is Transforming Software Development
dev.to·5h·
Discuss: DEV
🏺Code Archeology
SEC Consult SA-20250911-0 :: Unauthenticated SQL Injection Vulnerability in Shibboleth Service Provider (SP) (ODBC interface)
seclists.org·1d
✅Configuration Validation
The Horton-Strahler number of butterfly trees
arxiv.org·1d
🧮Combinator Calculus
Secure your AI-generated projects with these security practices
blog.logrocket.com·1d
🛡️Parser Security
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·5d·
Discuss: DEV
🔗Unification
FACTORS: Factorial Approximation for Complementary Two-factor Optimization with Risk-aware Scoring
arxiv.org·1d
✨Effect Inference
Efficient Cold-Start Recommendation via BPE Token-Level Embedding Initialization with LLM
arxiv.org·14h
📊LR Parsing
Mitigating Strategy Preference Bias in Emotional Support Conversation via Uncertainty Estimations
arxiv.org·14h
📈Earley Parsing