🚀 MLton

Whole-Program Optimization, ML Compiler, Defunctionalization, Performance

LLMs on a Shoestring: The Dynamic Cache Advantage by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
💾Cache Algorithms
Why some agentic AI developers are moving code from Python to Rust
developers.redhat.com·10h
⚡Interpreter Optimization
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
The future of microoptimization
goldenstack.net·2d·
Discuss: Hacker News
🔬Nanopasses
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·4h·
Discuss: DEV
🏗️Cranelift
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.org·13h
🗺️Region Inference
Effective Software Engineering with Claude Code
reddit.com·4h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Unsloth : The Secret Weapon for Faster Machine Learning Models
geeky-gadgets.com·9h
🔄Go Scheduler
Analog IMC Attention Mechanism For Fast And Energy-Efficient LLMs (FZJ, RWTH Aachen)
semiengineering.com·57m
🗺️Region Inference
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Show HN: Semlib – Semantic Data Processing
github.com·3h·
Discuss: Hacker News
🔍ML Language
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·13h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1h
💫Effect Systems
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·4h·
Discuss: Hacker News
🌱Minimal Lisps
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🧮Theorem Provers
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·5h
🔧Error Recovery
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.com·5h
🌱Minimal ML
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·4d
🔍ML Language
Conquering the LLM Memory Wall: How to Run 2–4x Longer Contexts with a Single Line of Code
reddit.com·5h·
Discuss: r/LocalLLaMA
🗺️Region Inference
More hardware won’t fix bad engineering
infoworld.com·8h
🔮Branch Predictors