The Easiest Way to Build a Type Checker
jimmyhmiller.com·10h·
Discuss: Hacker News
✅Type Checking
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🔗Lexical Scoping
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·7h·
Discuss: Hacker News
📖Literate Programming
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🔄Bootstrapping
Flag this post
RFT Theorems
reddit.com·1d·
Discuss: r/compsci
🔢Algebraic Datatypes
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
dev.to·2h·
Discuss: DEV
📋Row Typing
Flag this post
Why Not Just Train For Interpretability?
lesswrong.com·1d
🌱Minimal Interpreters
Flag this post
Zig in 30 Minutes
gist.github.com·11h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·8h
🗂️Type Indexing
Flag this post
The Secret Life of Go
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Need some help with :make can't find answers anywhere
v.redd.it·1d·
Discuss: r/neovim
💬Error Messages
Flag this post
Markdown Is Holding You Back
newsletter.bphogan.com·9h·
Discuss: Hacker News
📚Self-Documenting Code
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔶Lattice Theory
Flag this post
Help me pick a programming language
reddit.com·16h·
Discuss: r/AskProgramming
🔗Concatenative Languages
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
🎯Finite Automata
Flag this post
An overview of memory management in Go (2021)
medium.com·12h·
Discuss: Hacker News
📚Stack Data Structures
Flag this post
I built a Static Site Generator like Jekyll in Go, but with a twist
thorn.sh·1d·
Discuss: DEV, r/golang
🚂Cranelift Backend
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·23h
🔮Type Inference Visualization
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🔶Lattice Theory
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
🧮Combinator Calculus
Flag this post