🐪 MinCaml

Educational Compiler, ML Implementation, Minimal Design, Functional Backend

Casilda 1.0 released!
blogs.gnome.org·3d
🌙Lua
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·7h·
Discuss: Bluesky
📚Factor
Structure transfer and consolidation in visual implicit learning
elifesciences.org·3d
🌱Minimal ML
JIT-ing a stack machine (with SLJIT)
bullno1.com·3d·
Discuss: Hacker News, r/C_Programming
📜Bytecode Interpreters
More Was Possible: A Review of If Anyone Builds, It Everyone Dies
asteriskmag.com·7h·
Discuss: Hacker News
🏰Capability Machines
Show HN: Building an open-source agentic terminal
davehudson.io·3d·
Discuss: Hacker News
💻Terminal UIs
ChickadeeOS, a teaching operating system for Harvard's CS 161
github.com·9h·
Discuss: Hacker News
💪ARM64 Backend
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
Instant Drone Mastery: Adaptable Control for Any Quadrotor
dev.to·2d·
Discuss: DEV
🌊Loop Invariant Motion
Chronon: A data platform for serving for AI/ML applications
github.com·2d·
Discuss: Hacker News
📋JSON Parsing
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
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·3d·
Discuss: DEV
🎲Test Generators
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
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
How to Use AI Prompts for Better Results
dev.to·16h·
Discuss: DEV
💬Interactive REPLs