The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
The Secret Life of Go
๐Self-Documenting Code
Flag this post
Automatic Syntax Error Recovery (2020)
๐งError Recovery
Flag this post
10000
jro.sgยท17h
๐ฆExecutable Size
Flag this post
Zig in 30 Minutes
๐ฆMIR Optimization
Flag this post
Pitch Multiplication (2017)
๐ถLattice Theory
Flag this post
Infix Versus Prefix Operators
irreal.orgยท14h
๐ญDelimited Continuations
Flag this post
Show HN: Wolfrominoes
๐งฎCombinator Calculus
Flag this post
What is opera?
feeds.feedblitz.comยท10h
๐ฌInteractive REPLs
Flag this post
Top 2027 recruit Bruce Branch III reclassifies to 2026, reshaping early NBA Draft race
nytimes.comยท7h
๐Copy Propagation
Flag this post
Langโs theorem โ Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท9h
๐งฎCombinator Calculus
Flag this post
Building a High-Performance Live Network Sniffer in Rust (Without Kernel Drivers)
โ๏ธTOML Parsers
Flag this post
Why Not Just Train For Interpretability?
lesswrong.comยท1d
๐ฑMinimal Interpreters
Flag this post
I built a comprehensive PWA toolbox (PDF/Image tools) using Vanilla JS and no build step.
๐Browser REPLs
Flag this post
How LLM Inference Works
arpitbhayani.meยท1d
๐Tokenizer Performance
Flag this post
Actually using ed | Arabesque
blog.sanctum.geek.nzยท11h
๐ปTerminal Control
Flag this post
Loading...Loading more...