🧪 Minicompilers

Educational Compilers, Toy Languages, Learning Implementation, Minimal Design

VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·3h·
Discuss: DEV
📚Self-Documenting Code
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·4h·
Discuss: Hacker News
🌱Minimal Lisps
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·1d·
Discuss: Hacker News, r/LLM, r/rust
🌱Minimal ML
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
An introduction to program synthesis
mchav.github.io·3d·
Discuss: Hacker News, r/programming
🛠️Code Synthesis
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·13h
🎮Language Ergonomics
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·21h·
Discuss: Hacker News
⚡functional programming
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·2h·
Discuss: Hacker News
📚Self-Documenting Code
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·4h·
Discuss: DEV
🏗️Cranelift
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
The pirate-based logic of Rust shared references
ais523.me.uk·22h·
Discuss: Lobsters, Hacker News
🔒Rust Borrowing
Algebraic Types are not Scary
blog.aiono.dev·6h·
Discuss: Lobsters, Hacker News
✅Type Checking
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🧮Theorem Provers
Casilda 1.0 released!
blogs.gnome.org·3h
🌙Lua
Effective Software Engineering with Claude Code
reddit.com·4h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Meet Embedible: Your AI Hardware Copilot Microcontrollers
embedible.io·1d·
Discuss: DEV, Hacker News
🤖Embedded Go
Introducing the Constexpr Debugger
blog.jetbrains.com·9h·
Discuss: Lobsters, Hacker News, r/cpp
🔍Debugging Compilers
Child’s play: Top 6 programming languages for young people
siliconrepublic.com·3d
🐣Hedy