Learn C++ Itanium Symbol Mangling
🎓Teaching Compilers
Flag this post
Zig in 30 Minutes
🦀MIR Optimization
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·9h
🗂️Type Indexing
Flag this post
Pinning is a kind of static borrow
🔒Rust Borrowing
Flag this post
The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
🧮Combinator Calculus
Flag this post
Maybe somebody can explain to me how weak references solve the ODR problem
devblogs.microsoft.com·1d
🔗Weak References
Flag this post
More Commands in the JJ Toolbox
willhbr.net·18h
🔄Copy Propagation
Flag this post
A small software change that delights: holding down a key on my iPad keyboard now brings up a menu of accented variations of that letter. This is a massive impr...
andrewdoran.uk·13h
📝Editor Buffers
Flag this post
Why Not Just Train For Interpretability?
lesswrong.com·1d
🌱Minimal Interpreters
Flag this post
10000
jro.sg·18h
📦Executable Size
Flag this post
Infix Versus Prefix Operators
irreal.org·15h
🎭Delimited Continuations
Flag this post
FAWK: LLMs can write a language interpreter
🐪OCaml
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·8h
📋Backus-Naur Form
Flag this post
Loading...Loading more...