🐪 MinCaml

Educational Compiler, ML Implementation, Minimal Design, Functional Backend

The Open Source Ward Weekly (16 September 2025)
open-source-ward.com·1d
🌱Forth Kernels
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·2d·
Discuss: Hacker News
🏗️Cranelift
The Fink Project
finkproject.org·13h·
Discuss: Hacker News
🔗Language Toolchains
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·1d
✨Gleam
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧩Constraint Solvers
Rust tutorial: Get started with the Rust language
infoworld.com·15h
🚂Cranelift Backend
Generate static AI SDK tools from MCP servers with mcp-to-ai-sdk
vercel.com·11h·
Discuss: Hacker News
✅Configuration Validation
#3 Finished CNN Training – Next Step: EfficientNet-B2
dev.to·15h·
Discuss: DEV
🗺️Region Inference
MiniRust
github.com·5d·
Discuss: Hacker News
🦀MIR Optimization
Introducing ts-base: A Modern TypeScript Library Template
dev.to·3h·
Discuss: DEV
📦Monorepos
ICPC medals for OpenAI and Gemini
simonwillison.net·1h
🎯Constraint Solving
Caffeinated Commits- Day 3
dev.to·2d·
Discuss: DEV
🎓Teaching Compilers
Web Developer Travis McCracken on Async Queues in Rust vs Python
dev.to·11h·
Discuss: DEV
📦Monorepos
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·1d
∀Quantified Types
California Wildfire Inventory (CAWFI): An Extensive Dataset for Predictive Techniques based on Artificial Intelligence
arxiv.org·1d
🌱Minimal ML
Enhancing Radiographic Disease Detection with MetaCheX, a Context-Aware Multimodal Model
arxiv.org·20h
✨Effect Inference
Death of a lens(man)
dev.to·3d·
Discuss: DEV
🔗Lexical Scoping
M4GN: Mesh-based Multi-segment Hierarchical Graph Network for Dynamic Simulations
arxiv.org·1d
📋JSON Parsing
Unlock AI Graph Reasoning: Query Your Way to Insight
dev.to·16h·
Discuss: DEV
🔗Graph Rewriting
Automating Business Intelligence: How We Built a Multi-Agent AI System for Business Data Extraction
dev.to·20h·
Discuss: DEV
🧠Semantic Parsing