🛠 Language Design

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

Simple Programming Languages
ryanbrewer.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·7h
📝Concrete Syntax
ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.org·1d
✅Formal Methods
REPL + Prompt
funcall.blogspot.com·13h·
Discuss: www.blogger.com
🧠Lisp Dialects
Stuck? Build Your Language Backwards
jimmyhmiller.github.io·2d
💾Binary Linguistics
Discrete Differential Geometry Lecture 2B: Introduction to Manifolds
youtube.com·7h
🌀Differential Geometry
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·6h·
Discuss: r/golang
🧠Lisp Dialects
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·1d
🔗Functional Compilers
Codeminer42 Dev Weekly #73
blog.codeminer42.com·18h
🔩Systems Programming
Why Racket? Why Lisp?
practicaltypography.com·8h·
Discuss: Lobsters, Hacker News
🔗Lisp
Static vs Dynamic
theprogrammersparadox.blogspot.com·1d·
Discuss: theprogrammersparadox.blogspot.com
🏗️Compiler Archaeology
5 ways to 10x your "Vibe" coding
dev.to·7h·
Discuss: DEV
🦋Format Metamorphosis
[$] On the use of LLM assistants for kernel development
lwn.net·2d
🔩Systems Programming
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·3d·
Discuss: Hacker News
💻Programming languages
Understanding not just Clojure's comp function by re-implementing it
evalapply.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Why Tail-Recursive Functions Are Loops
kmicinski.com·1d·
Discuss: Hacker News
🔗Lisp
Kotlin's Rich Errors: Native, Typed Errors Without Exceptions
cekrem.github.io·12h·
Discuss: r/programming, r/webdev
💧Liquid Types
Vector types and debug performance
blog.s-schoener.com·1d·
Discuss: Hacker News, r/cpp
⚡SIMD Optimization
Getting Good Results from Claude Code
dzombak.com·1d·
Discuss: Hacker News
⚔️Lean Tactics