🐪 MinCaml

Educational Compiler, ML Implementation, Minimal Design, Functional Backend

TINY TITAN - Jamaica Observer
jamaicaobserver.com·17h
🐍lisp
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Machine Learning Engineer (12-Month Contract) - Gauteng Johannesburg - IT-Online
it-online.co.za·3h
🎯Finite Automata
Fully local data analysis assistant (plus new Model)
reddit.com·1h·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
I Built a Self-Updating ML Model That Handles Traffic With Ease - Here’s How
dev.to·6h·
Discuss: DEV
🚂Cranelift IR
Scaling Arabic Medical Chatbots Using Synthetic Data: Enhancing Generative AI with Synthetic Patient Records
arxiv.org·1d
🌱Minimal ML
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·5d·
Discuss: Hacker News
🎭Racket Modules
opengeos/geoai
github.com·2h
📈Earley Parsing
Titania Programming Language
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Caffeinated Commits- Day 3
dev.to·11h·
Discuss: DEV
🎓Teaching Compilers
[CS 2881r AI Safety] [Week 1] Introduction
lesswrong.com·1d
🏰Capability Machines
New C++ Conference Videos Released This Month - September 2025
reddit.com·10h·
Discuss: r/cpp
🎓Teaching Compilers
OpenAI Introduces GPT-5-Codex, an AI Model Built Just for Coding
inc.com·11h
🎮Language Ergonomics
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·42m·
Discuss: DEV
🪢Rope Data Structures
Unlocking LLMs: Secure Inference for the Rest of Us
dev.to·1d·
Discuss: DEV
🔍ML Language
SOLID Principles for Python Developers
dev.to·13h·
Discuss: DEV
🎭Racket Modules
MiniRust
github.com·3d·
Discuss: Hacker News
🦀MIR Optimization
Death of a lens(man)
dev.to·1d·
Discuss: DEV
🔗Lexical Scoping
Physics-informed sensor coverage through structure preserving machine learning
arxiv.org·1d
🔍ML Language
ShannonBase — The Next-Gen HTAP Database for the AI Era
github.com·1h·
Discuss: DEV
📋Tablegen