🐪 MinCaml

Educational Compiler, ML Implementation, Minimal Design, Functional Backend

PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·2h
🎭Staged Interpreters
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·2h
🪜Recursive Descent
A Generic Vector Implementation in C using void*, func*
github.com·14h·
Discuss: r/C_Programming
🪄C Metaprogramming
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.org·2h
🌱Minimal ML
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·14h·
Discuss: Hacker News
🗺️Region Inference
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·2h
🌱Minimal ML
Curriculum-Augmented GFlowNets For mRNA Sequence Generation
arxiv.org·2h
✨Gleam
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·2h
🎭Program Synthesis
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·4d·
Discuss: Lobsters, Hacker News
⚡functional programming
why & how i learnt ML
abinesh-mathivanan.vercel.app·1d·
Discuss: r/programming
🔍ML Language
# Building Production-Ready LLM Applications: Introducing llama-app-generator
dev.to·12h·
Discuss: DEV
📋Tablegen
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent
LaDiR: Latent Diffusion Enhances LLMs for Text Reasoning
arxiv.org·2h
🌱Minimal ML
Mojo: Can It Finally Give Python the Speed of Systems Languages?
ponderwall.com·10h·
Discuss: r/programming
🌳Tree Shaking
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·9h
⚡functional programming
SDQ-LLM: Sigma-Delta Quantization for 1-bit LLMs of any size
reddit.com·3h·
Discuss: r/LocalLLaMA
📏Linear Memory
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·5h·
Discuss: Substack
🖥️Minimal VMs
Categorical Invariants of Learning Dynamics
arxiv.org·2h
🔗Category Theory
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·18h
💬Smalltalk VMs
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·2h
💬Smalltalk VMs