✅ 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
ADK for Java opening up to third-party language models via LangChain4j integration
developers.googleblog.com·15h
🎪Actor Frameworks
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·11h·
Discuss: Hacker News
🌈Gradual Languages
I Accidentally Built a Runaway AI
nsavage.substack.com·12h·
Discuss: Substack
🌳Tree Shaking
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·1d·
Discuss: DEV
🌊Dataflow Languages
The "0 Hook" Android Architecture Your Team Has Been Dreaming Of (Especially for Jetpack Compose)
dev.to·6h·
Discuss: DEV
🔄Bootstrapping
Manticore Search 13.11.0: Introducing Auto Embeddings and Enhanced AI Search
dev.to·1d·
Discuss: DEV
🌿Trie Structures
EmoBench-Reddit: A Hierarchical Benchmark for Evaluating the Emotional Intelligence of Multimodal Large Language Models
arxiv.org·20h
⚡Tokenizer Benchmarks
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
How to Use Partial Function in Python
dev.to·2h·
Discuss: DEV
🌊Gradual Typing
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧩SAT Solvers
The Thinking Therapist: Training Large Language Models to Deliver Acceptance and Commitment Therapy using Supervised Fine-Tuning and Odds Ratio Policy Optimizat...
arxiv.org·1d
🌱Minimal Interpreters
Intelligent Reservoir Decision Support: An Integrated Framework Combining Large Language Models, Advanced Prompt Engineering, and Multimodal Data Fusion for Rea...
arxiv.org·20h
📈Earley Parsing
SciML Agents: Write the Solver, Not the Solution
arxiv.org·1d
🔍ML Language
Productive AI Programming Using Forced Context Distillation
jx0.ca·1d·
Discuss: Hacker News
💬Interactive REPLs
Fix AI bugs before they happen: a semantic firewall for LLMs (1k★ cold start)
reddit.com·1d·
Discuss: r/LLM
⚙️TOML Parsers
Clarifying Model Transparency: Interpretability versus Explainability in Deep Learning with MNIST and IMDB Examples
arxiv.org·20h
🌱Minimal ML
Claude-code.nvim: Seamless integration between Claude Code and Neovim
github.com·9h·
Discuss: Hacker News
📚Self-Documenting Code