🧪 Minicompilers

Educational Compilers, Toy Languages, Learning Implementation, Minimal Design

Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·12h·
Discuss: Hacker News
🌱Minimal Interpreters
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🔧Error Recovery
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·8h
🗂️Type Indexing
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·10h·
Discuss: DEV
🎪Playground Compilation
Flag this post
Zig in 30 Minutes
gist.github.com·11h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🔄Bootstrapping
Flag this post
Thankful for Memory Managed Languages
mooreds.com·11h·
Discuss: Hacker News
🔗Concatenative Languages
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
✅Type Checking
Flag this post
my journey to accepting that you wont know it all
blog.prdai.dev·9h·
Discuss: r/compsci, r/programming
🌈Gradual Languages
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
📚Forth Compilers
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
🎭Program Synthesis
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·7h·
Discuss: Hacker News
📖Literate Programming
Flag this post
🚀 OLSRT v1.0.0 (Atom) – From Underground Experiments to a Universal Runtime
github.com·8h·
Discuss: DEV
🌪️V8 Pipeline
Flag this post
A Simple Binary
dev.to·2d·
Discuss: DEV
🏗️Minimal Compilers
Flag this post
Implementing Custom Autocomplete in VSCode
dganev.com·1d·
Discuss: Hacker News
🔄Incremental Lexing
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.com·1d·
Discuss: Hacker News
🏗️LLVM
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
🪜Recursive Descent
Flag this post
Modern X86 Assembly Language Programming • Daniel Kusswurm & Matt Godbolt • GOTO 2025
youtube.com·2d
🔧Assembly DSLs
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·21h
⚖️Inference Rules
Flag this post