The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·8h·
Discuss: Hacker News
📟Terminals
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Infix Versus Prefix Operators
irreal.org·15h
🔗Monadic Parsing
Flag this post
The Secret Life of Go
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·14h
🕸️WebAssembly
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·14h·
Discuss: smalldatum.blogspot.com
🔗Static Linking
Flag this post
Zig in 30 Minutes
gist.github.com·12h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Home - Lapwing for Beginners
lapwing.aerick.ca·20h
λLambda Formalization
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
🔩Systems Programming
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Flag this post
Actually using ed | Arabesque
blog.sanctum.geek.nz·12h
📺VT100
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🧬Functional Programming
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Bytecode Compilers and Interpreters (2019)
bernsteinbear.com·3d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Typst for Your Code Blocks
lambdaland.org·3d
📟Terminal Typography
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
📚Lempel-Ziv
Flag this post