✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Learnings From 2025 AI For Life Science Conference (AI engineer view)
eamag.me·1d
🌱Minimal ML
From Rust to Go: Why 2025 Is the Year to Learn These Modern Programming Languages
edstellar.com·45m·
Discuss: DEV
🚂Cranelift IR
Rust-style safety model for C++ 'rejected' as profiles take priority
theregister.com·18h·
Discuss: Hacker News
🌈Gradual Languages
ADK for Java opening up to third-party language models via LangChain4j integration
developers.googleblog.com·21h
🎪Actor Frameworks
R MCP Server
github.com·6h·
Discuss: Hacker News
⚡Live Programming
Gambit: An efficient implementation of the Scheme programming language
github.com·3d·
Discuss: Hacker News
🔧Scheme Macros
The Thinking Therapist: Training Large Language Models to Deliver Acceptance and Commitment Therapy using Supervised Fine-Tuning and Odds Ratio Policy Optimizat...
arxiv.org·2d
🌱Minimal Interpreters
WHU-STree: A Multi-modal Benchmark Dataset for Street Tree Inventory
arxiv.org·2h
🌳Tree Algorithms
Combating headcrabs in the Source SDK codebase
dev.to·18h·
Discuss: DEV
🦀MIR Optimization
Lies-in-the-Loop (LITL): Attacking (and Defending) Human-in-the-Loop AI Workflows
dev.to·12h·
Discuss: DEV
🛡️Security Type Systems
SOLID Principles for Python Developers
dev.to·1d·
Discuss: DEV
🎭Racket Modules
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
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
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·4d·
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·2h
📊LR Parsing
Automated Granular Keyword Clustering for Hyper-Targeted SEM Campaign Optimization
dev.to·16h·
Discuss: DEV
🔍Search Algorithms
Mitigating Strategy Preference Bias in Emotional Support Conversation via Uncertainty Estimations
arxiv.org·2h
📈Earley Parsing
Introducing the A2AJ's Canadian Legal Data: An open-source alternative to CanLII for the era of computational law
arxiv.org·2h
🌉Language Bridges