🛠 Language Design

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

Coding with LLMs in the summer of 2025 (an update)
antirez.com·4h·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·15h
🧮Algebraic Archives
H-Nets – The Past
goombalab.github.io·2h·
Discuss: Hacker News
🧠Machine Learning
Crafting a dependent typechecker, part 1
blueberrywren.dev·1d·
Discuss: Hacker News
🔗Functional Compilers
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.org·2d
📊APL Heritage
Cactus Language • Stylistics 5
inquiryintoinquiry.com·1d
📐Format Grammars
Type Checking with Symbolic Execution
bullno1.com·21h·
Discuss: Hacker News
🧮Algebraic Datatypes
Go's Last Words on Error Handling Syntax
dev.to·14h·
Discuss: DEV
📜Proof Carrying Code
Learn To Love the Command-Line Interface With Agentic LLMs
thenewstack.io·1d
🔩Systems Programming
Show HN: I just published my practical guide to building a database server
leanpub.com·6h·
Discuss: Hacker News
🗄️Database Internals
Immediately-Invoked Function Expression (2010)
benalman.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Modular PIC C2 Agents
rastamouse.me·2h
🌐WASI
Codeminer42 Dev Weekly #70
blog.codeminer42.com·1d
🔄Reproducible Builds
Functional Abstract Interpretation
simon.peytonjones.org·5d·
Discuss: Hacker News
🔗Functional Compilers
Canadian Cross
en.wikipedia.org·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Rust Clippy performance status update
blog.goose.love·45m·
Discuss: Hacker News
🦀Rust Macros
Issue 481
haskellweekly.news·3d
🔗Functional Compilers
Information modeling example: Call sheet
disruptivearchitecture.info·2d
🚚Data Migration
Twenty years of blogging
11011110.github.io·15h
📐Mathematical Art
PostgreSQL Schema Management via Source Files
github.com·1d·
Discuss: Hacker News
🔄Schema Evolution