🛠 Language Design

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

Bootstrapping a Forth for Art
tia.mat.br·3h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
A Unified Theory of Language
arxiv.org·1d
💻Programming languages
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Quirks of Common Lisp Types
fosskers.ca·1h·
Discuss: Hacker News
🧠Lisp Dialects
A type system for RCL (2024)
ruudvanasseldonk.com·6h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Compiling Dinner
gist.github.com·1d·
Discuss: Hacker News
🔨Compilers
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
The Art of Transformer Programming (2023)
yanivle.github.io·3h·
Discuss: Hacker News
🤖Lisp Machines
Mojo Roadmap Document
docs.modular.com·1d·
Discuss: Hacker News
💻Programming languages
Tradeoffs of Highly-Expressive Types
jnkr.tech·5h·
Discuss: Hacker News
🎯Gradual Typing
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·12h·
Discuss: DEV
📝ABNF Parsing
Teaching programming languages
kmjn.org·5d
💻Programming languages
D as a Better C (2017)
dlang.org·4h·
Discuss: Hacker News
🔩Systems Programming
Codeminer42 Dev Weekly #76
blog.codeminer42.com·1d
🔄Language Evolution
Micro DSLs for scenario tests with Rust macros
dystroy.org·1h
🦀Rust Macros
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·2h
📄Text Segmentation
Applied AI Fundamentals: Structured Outputs
ouachitalabs.com·11h·
Discuss: Hacker News
📝Concrete Syntax
LLMs running locally
markjgsmith.com·4h
🌀Brotli Internals
Dependent types I › Universes, or types of types
jonmsterling.com·3d·
Discuss: Hacker News
🔤Type Theory
A Review of Nim 2: The Good and Bad with Example Code
miguel-martin.com·2d·
Discuss: Hacker News
🦀Rust Macros