✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

From Rust to Go: Why 2025 Is the Year to Learn These Modern Programming Languages
edstellar.com·5h·
Discuss: DEV
🚂Cranelift IR
Learnings From 2025 AI For Life Science Conference (AI engineer view)
eamag.me·1d
🌱Minimal ML
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·2d·
Discuss: Hacker News
🎯Type Theory
Rust-style safety model for C++ 'rejected' as profiles take priority
theregister.com·23h·
Discuss: Hacker News
🌈Gradual Languages
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
ADK for Java opening up to third-party language models via LangChain4j integration
developers.googleblog.com·1d
🎪Actor Frameworks
How to Use Partial Function in Python
dev.to·14h·
Discuss: DEV
🌊Gradual Typing
Build AI Agents: YouTube Summarizer Agent
hackernoon.com·6h
⚡Incremental Parsing
The Horton-Strahler number of butterfly trees
arxiv.org·1d
🧮Combinator Calculus
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·8h
📊LR Parsing
Mitigating Strategy Preference Bias in Emotional Support Conversation via Uncertainty Estimations
arxiv.org·8h
📈Earley Parsing
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·2d·
Discuss: DEV
🌊Dataflow Languages
Introducing the A2AJ's Canadian Legal Data: An open-source alternative to CanLII for the era of computational law
arxiv.org·8h
🌉Language Bridges
RL Fine-Tuning Heals OOD Forgetting in SFT
arxiv.org·8h
🚂Error Propagation
Composite Classical and Quantum Channel Discrimination
arxiv.org·8h
📡Channels
Optimized Modbus RTU Data Validation via Hybrid Markov & Bayesian Filtering
dev.to·2d·
Discuss: DEV
🗺️Region Inference
Towards Trustworthy Agentic IoEV: AI Agents for Explainable Cyberthreat Mitigation and State Analytics
arxiv.org·8h
🏛️Elm Architecture
Clarifying Model Transparency: Interpretability versus Explainability in Deep Learning with MNIST and IMDB Examples
arxiv.org·1d
🌱Minimal ML
Master Context Engineering!! Part 1 : Let’s Talk Prompting and DSPy
pub.towardsai.net·1d
🎮Language Ergonomics