🐪 MinCaml

Educational Compiler, ML Implementation, Minimal Design, Functional Backend

Muon for Improved Foundation Model Pretraining Data Efficiency
building.nubank.com·12h
📋JSON Parsing
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·15h·
Discuss: Hacker News
📚Self-Documenting Code
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·10h·
Discuss: Hacker News
🏗️Cranelift
ElevenLabs is the best text-to-speech AI system
engineering.kablamo.com.au·5h·
Discuss: Hacker News
🔄Incremental Tokenizers
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Toward Next-generation Medical Vision Backbones: Modeling Finer-grained Long-range Visual Dependency
arxiv.org·2h
🪜Recursive Descent
I Built a Self-Updating ML Model That Handles Traffic With Ease - Here’s How
dev.to·9h·
Discuss: DEV
🚂Cranelift IR
Privacy-Preserving Personalization in Education: A Federated Recommender System for Student Performance Prediction
arxiv.org·2h
🎓Educational Databases
Traffic-MLLM: A Spatio-Temporal MLLM with Retrieval-Augmented Generation for Causal Inference in Traffic
arxiv.org·2h
🔍ML Language
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·5d·
Discuss: Hacker News
🎭Racket Modules
Clarifying Model Transparency: Interpretability versus Explainability in Deep Learning with MNIST and IMDB Examples
arxiv.org·2h
🌱Minimal ML
Exploring Conversational Design Choices in LLMs for Pedagogical Purposes: Socratic and Narrative Approaches for Improving Instructor's Teaching Practice
arxiv.org·2h
🌱Minimal Interpreters
Titania Programming Language
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Caffeinated Commits- Day 3
dev.to·14h·
Discuss: DEV
🎓Teaching Compilers
[CS 2881r AI Safety] [Week 1] Introduction
lesswrong.com·1d
🏰Capability Machines
Neural cellular automata: applications to biology and beyond classical AI
arxiv.org·2h
🎯Finite Automata
New C++ Conference Videos Released This Month - September 2025
reddit.com·13h·
Discuss: r/cpp
🎓Teaching Compilers
MiniRust
github.com·3d·
Discuss: Hacker News
🦀MIR Optimization
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·3h·
Discuss: DEV
🪢Rope Data Structures
Unlocking LLMs: Secure Inference for the Rest of Us
dev.to·1d·
Discuss: DEV
🔍ML Language