🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Feeds to Scour
SubscribedAll
Essentials of Compilation: An Incremental Approach (2020)
swatson555.github.io·4d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Squint Testing Lisps
blog.toast.cafe·1h
🧠Lisp Dialects
Preview
Report Post
A Brief, Incomplete, and Mostly Wrong History of Programming Languages
nerdware.org·3d·
Discuss: Lobsters
💻Programming languages
Preview
Report Post
Refactoring and minimal examples
markjgsmith.com·1d
🔗Concatenative Programming
Preview
Report Post
Study: German Federal Admin Should Rely on In-House Dev for Generative AI
heise.de·8h
⚙️TLA+
Preview
Report Post
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·6h
🦀Rust Macros
Preview
Report Post
Surface Tension of Software: why systems hold together
iamstelios.com·8h·
Discuss: Hacker News
💧Liquid Types
Preview
Report Post
From design patterns to category theory (2017)
blog.ploeh.dk·3d·
Discuss: Hacker News
🔀Category Theory
Preview
Report Post
Without Compilers and Type Safety, AI is Evolutionary, not Revolutionary.
dev.to·1d·
Discuss: DEV
💻Programming languages
Preview
Report Post
Code Evolution: Self-Improving Software with LLMs and Python
github.com·1d·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 6
hamberg.no·1d
🧠Lisp Dialects
Preview
Report Post
Impossible translations: Why we struggle to translate words when we don't experience the concept
phys.org·5h
💻Programming languages
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·16h
🔲Cellular Automata
Preview
Report Post
Issue 501
haskellweekly.news·3d
🔗Functional Compilers
Preview
Report Post
Breadboards that are set up on my desk right now
circusscientist.com·6h
⚙️Tape Mechanics
Preview
Report Post
Week notes 11
amanhimself.dev·21h
🏷️Metadata Standards
Preview
Report Post
The Gamma Language
lair.masot.net·1d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
What do you use TypedArrays for in JavaScript/TypeScript?
lobste.rs·8h·
Discuss: Lobsters
🎯Gradual Typing
Preview
Report Post
ODF 1.4
docs.oasis-open.org·8h·
Discuss: Hacker News
✅Format Verification
Preview
Report Post
A series of tricks and techniques I learned doing tiny GLSL demos
blog.pkh.me·3h
📟Terminal Physics
Preview
Report Post