✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Announcing MCP Toolbox support for Firestore
cloud.google.com·22h
⚡Incremental Parsing
Letter of the week: Watching our language
newstatesman.com·22h
⚡Incremental Parsing
Create a CLI Tool with Python: From Zero to Hero
pythonjournals.com·3h·
Discuss: r/programming
💻Terminal UIs
Learning the natural history of human disease with generative transformers
nature.com·22h·
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·20h·
Discuss: DEV
🔗Concatenative Languages
WHU-STree: A Multi-modal Benchmark Dataset for Street Tree Inventory
arxiv.org·1d
🌳Tree Algorithms
The Horton-Strahler number of butterfly trees
arxiv.org·2d
🧮Combinator Calculus
Hierarchical Importance Sampling for Estimating Occupation Time for SDE Solutions
arxiv.org·10h
✨Effect Inference
Introducing the A2AJ's Canadian Legal Data: An open-source alternative to CanLII for the era of computational law
arxiv.org·1d
🌉Language Bridges
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·6d·
Discuss: DEV
🔗Unification
Bad things might happen if you ignore this
dev.to·5h·
Discuss: DEV
🔧Error Recovery
Decoding the Dialogue: Unveiling Ambiguity Neurons in Large Language Models by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🔍Parsing Algorithms
SciML Agents: Write the Solver, Not the Solution
arxiv.org·3d
🔍ML Language
Beyond Keywords: Hybrid Search With Atlas and Vector Search (Part 3)
dev.to·1d·
Discuss: DEV
🔍Text Indexing
Prompt analytics without the complexity (or vendor lock-in)
dev.to·57m·
Discuss: DEV
💬Interactive REPLs
Investigating Symbolic Triggers of Hallucination in Gemma Models Across HaluEval and TruthfulQA
arxiv.org·3d
🎲Parser Fuzzing
OpenAI Says Models Programmed To Make Stuff Up Instead of Admitting Ignorance
slashdot.org·21h
🚂Error Propagation
Tips for working with Claude on large creative writing projects. My experience.
reddit.com·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs
High-Energy Concentration for Federated Learning in Frequency Domain
arxiv.org·1d
🔍ML Language