📝 Compiler Design

Parser Generators, AST Construction, Symbol Tables, Code Generation, Abstract Syntax Trees, Type Checking, Code Generation, Optimization

Compiling with Continuations
swatson555.github.io·22h·
Discuss: Hacker News
💻Programming languages
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·22h
⚔️Lean Tactics
The Ternary Manifesto
homepage.cs.uiowa.edu·16h
📝Concrete Syntax
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
haskell/mtl
github.com·1h
🔗Functional Compilers
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·22h·
Discuss: r/programming
📏Code Metrics
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·2d·
Discuss: DEV
🦀Rust Macros
System Instruction Fixed Point
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
Researchers trace genetic code's origins to early protein structures
phys.org·1d
🏗️Compiler Archaeology
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
category-labs/monad
github.com·1h
🔗Functional Compilers
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·1d·
Discuss: Hacker News
🔧Binary Parsers
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·2d
🔗Topological Sorting
PHP: A fractal of bad design (2012)
eev.ee·1d·
Discuss: Hacker News
📝Concrete Syntax
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·2d·
Discuss: Hacker News
🔗Lisp
WASM 3.0 Completed
webassembly.org·8h·
Discuss: Lobsters, Hacker News, r/programming
🧩WASM Components
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·11h·
Discuss: Hacker News
🎯Gradual Typing
[ARC-AGI-2 SoTA] Efficient Evolutionary Program Synthesis
ctpang.substack.com·21h·
Discuss: Substack
⚡Incremental Computation
[$] Comparing Rust to Carbon
lwn.net·1d
🦀Rust Borrowing
The Best Local Coding LLMs You Can Run Yourself
kdnuggets.com·14h
💻Local LLMs