The Easiest Way to Build a Type Checker
jimmyhmiller.com·13h·
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·9h·
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·5h·
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·13h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·10h
🗂️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·12h·
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·19h·
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·14h·
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
SoX_ng
codeberg.org·1h·
Discuss: Hacker News
🌱Forth Kernels
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
🔮Type Inference Visualization
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·10h·
Discuss: Hacker News
🔶Lattice Theory
Flag this post