🔨 Compilers

Parser Design, Code Generation, Optimization, Language Design

A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·1h·
Discuss: DEV
🦀Rust Macros
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·8h
📝Concrete Syntax
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·11h
⚗️Algebraic Coding
Introductory Computer Science and Software Engineering Topics
albertyw.com·19h
🛠Language Design
Automating Boundary Filling in Cubical Type Theories
arxiv.org·18h
🔶Cubical Type Theory
General CPU µArch Research Thread
forums.anandtech.com·1d
⚙️RISC-V Microcode
SAT Requires Exhaustive Search
link.springer.com·1h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Parallel Programming Models
ayushgundawar.me·2d·
Discuss: Hacker News
🧮Compute Optimization
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·22h
💧Liquid Types
The Generativity Pattern in Rust
arhan.sh·4h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Challenges of Pseudocode Expansion
funcall.blogspot.com·15h·
Discuss: www.blogger.com
🔗Lisp
Transpiling a Forth dialect to LLVM IR
onirom.fr·2d
🚀Compiler Optimizations
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·4d·
Discuss: Hacker News
📝Concrete Syntax
A Gentle Introduction To Fortran
hackaday.com·5h·
Discuss: Lobsters, Hacker News
💧Liquid Types
A Sea of Nodes IR Tutorial
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
Let's hax0r a GC… (eventually)
h4x0r.org·6h·
Discuss: Lobsters, Hacker News
🧠Memory Allocators
Learning an Efficient Multi-Turn Dialogue Evaluator from Multiple Judges
arxiv.org·18h
🔗Parser Combinators
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·1d·
Discuss: Hacker News
🔄Lens Laws