🐪 MinCaml

Educational Compiler, ML Implementation, Minimal Design, Functional Backend

The three game-changing features of JDK 25
infoworld.com·21m
⚡Interpreter Optimization
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·18h·
Discuss: Hacker News
📚Self-Documenting Code
Machine Scheduler in LLVM
myhsu.xyz·1h·
Discuss: Hacker News
📅Instruction Scheduling
ElevenLabs is the best text-to-speech AI system
engineering.kablamo.com.au·8h·
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
opengeos/geoai
github.com·7h
📈Earley Parsing
[CS 2881r AI Safety] [Week 1] Introduction
lesswrong.com·1d
🏰Capability Machines
Neural cellular automata: applications to biology and beyond classical AI
arxiv.org·5h
🎯Finite Automata
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·5h·
Discuss: DEV
🪢Rope Data Structures
SOLID Principles for Python Developers
dev.to·18h·
Discuss: DEV
🎭Racket Modules
New C++ Conference Videos Released This Month - September 2025
reddit.com·16h·
Discuss: r/cpp
🎓Teaching Compilers
MiniRust
github.com·3d·
Discuss: Hacker News
🦀MIR Optimization
Death of a lens(man)
dev.to·1d·
Discuss: DEV
🔗Lexical Scoping
Imitation Learning as Return Distribution Matching
arxiv.org·5h
🪜Recursive Descent
Gene-R1: Reasoning with Data-Augmented Lightweight LLMs for Gene Set Analysis
arxiv.org·5h
✨Effect Inference
ShannonBase — The Next-Gen HTAP Database for the AI Era
github.com·6h·
Discuss: DEV
📋Tablegen
Demystifying LLM Tuning: XAI-Powered Optimization Unveiled by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🪜Recursive Descent
LLM Enhancement with Domain Expert Mental Model to Reduce LLM Hallucination with Causal Prompt Engineering
arxiv.org·5h
🦌ANTLR
Graceful Motion: Learning to Flow with AI by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🌊Loop Invariant Motion
What happens when you run a program?
dev.to·17h·
Discuss: DEV
📜Bytecode Interpreters