✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

New Collaboration with Marco Behler
computerenhance.com·7h
🔬Nanopasses
When Being Incorrect Became the Internet's Best Business Model
idiallo.com·1h
⚖️Inference Rules
Announcing MCP Toolbox support for Firestore
cloud.google.com·19h
⚡Incremental Parsing
Letter of the week: Watching our language
newstatesman.com·19h
⚡Incremental Parsing
I Tried GPT-5 Codex and Here is Why You Must Too!
analyticsvidhya.com·21h
📖Literate Programming
Cursor with CodeRabbit just changed Vibe coding forever
threadreaderapp.com·1h
⚡Live Coding
Embedded projects for someone looking to break into the field?
github.com·1d·
Discuss: r/embedded
📚Self-Documenting Code
Building a Product Review Analyzer With Together AI and Maxim Observability
reddit.com·23h·
Discuss: r/selfhosted
🚂Cranelift IR
WHU-STree: A Multi-modal Benchmark Dataset for Street Tree Inventory
arxiv.org·1d
🌳Tree Algorithms
Hierarchical Importance Sampling for Estimating Occupation Time for SDE Solutions
arxiv.org·7h
✨Effect Inference
Wolverine + Marten: My story and subjective take
dev.to·13h·
Discuss: DEV
🔧Nickel
Navigating the Landscape of AI Risk Management in 2025
dev.to·2h·
Discuss: DEV
🎮Language Ergonomics
📚Enterprise Design Patterns: Table Module with Python Example
dev.to·1d·
Discuss: DEV
🎭Racket Modules
Clarifying Model Transparency: Interpretability versus Explainability in Deep Learning with MNIST and IMDB Examples
arxiv.org·2d
🌱Minimal ML
OpenAI Says Models Programmed To Make Stuff Up Instead of Admitting Ignorance
slashdot.org·17h
🚂Error Propagation
SciML Agents: Write the Solver, Not the Solution
arxiv.org·3d
🔍ML Language
Joint data imputation and mechanistic modelling for simulating heart-brain interactions in incomplete datasets
arxiv.org·7h
🔍ML Language
Investigating Symbolic Triggers of Hallucination in Gemma Models Across HaluEval and TruthfulQA
arxiv.org·3d
🎲Parser Fuzzing
AI and the Future of Academic Peer Review
arxiv.org·7h
🌉Language Bridges
SOLID Principles for Python Developers
dev.to·2d·
Discuss: DEV
🎭Racket Modules