🐪 MinCaml

Educational Compiler, ML Implementation, Minimal Design, Functional Backend

The Rust Zulip has a `:lolsob:` emoji I hadn't seen before, and it's too perfect. Apparently my wife's work has it in their Slack too.
bsky.app·1h·
Discuss: Bluesky
📚Factor
original ↗
protesilaos.com·20h
🌱Forth Kernels
Structure transfer and consolidation in visual implicit learning
elifesciences.org·2d
🌱Minimal ML
JIT-ing a stack machine (with SLJIT)
bullno1.com·2d·
Discuss: Hacker News, r/C_Programming
📜Bytecode Interpreters
More Was Possible: A Review of If Anyone Builds, It Everyone Dies
asteriskmag.com·1h·
Discuss: Hacker News
🏰Capability Machines
Show HN: Building an open-source agentic terminal
davehudson.io·3d·
Discuss: Hacker News
💻Terminal UIs
OpenAI: Models are programmed to make stuff up instead of admitting ignorance
theregister.com·1d·
Discuss: Hacker News
✨Effect Inference
I Became My Own Payment Processor (And You Can Too)
github.com·3h·
Discuss: DEV
🌐Browser REPLs
Titania Programming Language
dev.to·3d·
Discuss: DEV
🎮Language Ergonomics
RU-Net for Automatic Characterization of TRISO Fuel Cross Sections
arxiv.org·1d
📋JSON Parsing
Introducing TypeBox 1.0: A Runtime Type System for JavaScript
github.com·1d·
Discuss: r/javascript, r/node, r/typescript
🔧Nickel
WHU-STree: A Multi-modal Benchmark Dataset for Street Tree Inventory
arxiv.org·1d
🌳Tree Algorithms
ShannonBase — The Next-Gen HTAP Database for the AI Era
github.com·2d·
Discuss: DEV
📋Tablegen
Learning to Route: Per-Sample Adaptive Routing for Multimodal Multitask Prediction
arxiv.org·1d
✨Effect Inference
Decoupling Search and Learning in Neural Net Training
arxiv.org·2d
🪜Recursive Descent
AI and Deep Learning Accelerators Beyond GPUs: A Practical Overview
dev.to·1d·
Discuss: DEV
🗺️Region Inference
🧩 Sharpen Your Logic with These 10 Java Mini Challenges
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
Official MCP Registry Client
github.com·23h·
Discuss: Hacker News
🌐Portable Assembly
RL Fine-Tuning Heals OOD Forgetting in SFT
arxiv.org·1d
🚂Error Propagation
CLAIRE: A Dual Encoder Network with RIFT Loss and Phi-3 Small Language Model Based Interpretability for Cross-Modality Synthetic Aperture Radar and Optical Land...
arxiv.org·2d
∀Quantified Types