🐪 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·5h·
Discuss: Bluesky
📚Factor
Casilda 1.0 released!
blogs.gnome.org·3d
🌙Lua
New Paper: The Codex of Life
zenodo.org·17h·
Discuss: r/LLM
🌱Forth Kernels
Structure transfer and consolidation in visual implicit learning
elifesciences.org·3d
🌱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·5h·
Discuss: Hacker News
🏰Capability Machines
Show HN: Building an open-source agentic terminal
davehudson.io·3d·
Discuss: Hacker News
💻Terminal UIs
The pirate-based logic of Rust shared references
ais523.me.uk·4d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
ChickadeeOS, a teaching operating system for Harvard's CS 161
github.com·7h·
Discuss: Hacker News
💪ARM64 Backend
Titania Programming Language
dev.to·3d·
Discuss: DEV
🎮Language Ergonomics
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
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