🐪 MinCaml

Educational Compiler, ML Implementation, Minimal Design, Functional Backend

Revel: My Experiment in Infinite, Portable Note-Taking with C and GTK4
velostudio.github.io·5h·
Discuss: r/C_Programming
💬Smalltalk VMs
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Comprehensive LLM Evaluation: Metrics, Methods, and Use Case Considerations
nexla.com·1d·
Discuss: DEV
🌱Minimal ML
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·21h
⚖️Inference Rules
New version of AlchemyLab (another Claude Code alternative)
alchemylab.testfiresoftware.com·12h·
Discuss: r/ClaudeAI
⚡Live Coding
How I became a machine learning practitioner (2019)
blog.gregbrockman.com·23h·
Discuss: Hacker News
🪜Recursive Descent
Machine Learning Engineer (12-Month Contract) - Gauteng Johannesburg - IT-Online
it-online.co.za·1h
🎯Finite Automata
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Fortress AI: Verifiable Data Integrity in Collaborative Machine Learning
dev.to·5h·
Discuss: DEV
🛡️Security Type Systems
AI hardware reimagined for lower energy use
techxplore.com·12h
🔌Microcontrollers
Building Production-Ready AI Agents: A Multi-Framework Journey with Amazon Bedrock AgentCore
dev.to·15h·
Discuss: DEV
🎪Actor Frameworks
xmake-io/xmake
github.com·23h
🔗Language Toolchains
Hybrid Fuzzy Logic Adaptive Control for Robotic Swarm Navigation in Uncertain Terrain
dev.to·3h·
Discuss: DEV
🔍Fuzzy Matching
BEEPTOOLKIT - IDE Soft Logic Controller
dev.to·10h·
Discuss: DEV
🔀Control Structures
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·21h
🧠Semantic Parsing
Learning Scala with chess #1 - Color and coordinates
dev.to·1d·
Discuss: DEV
🎭Racket
Demystifying LLM Tuning: XAI-Powered Optimization Unveiled by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🪜Recursive Descent
When Dinosaurs Survived the Meteor: From Python to Deno
dev.to·12h·
Discuss: DEV
🔧Nickel
Master Context Engineering!! Part 1 : Let’s Talk Prompting and DSPy
pub.towardsai.net·3h
🎮Language Ergonomics
Language teaching
reddit.com·5h·
Discuss: r/MarcoPiedraVenegas
🎓Teaching Compilers