🛠 Language Design

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

Recto – A Truly 2D Language
masatohagiwara.net·14h·
Discuss: Hacker News
📝Concrete Syntax
\(X\)-evolve: Solution space evolution powered by large language models
arxiv.org·1d
🔲Cellular Automata
Haskell Crash Course
yager.io·8h
🔗Lisp
Why might it be necessary for Coalton to be a language in itself?
gist.github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Go Interfaces - Beyond the Basics
dev.to·3h·
Discuss: DEV
💧Liquid Types
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
Why LLMs Suck at Lisp
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🧠Lisp Dialects
Cactus Language • Pragmatics 13
inquiryintoinquiry.com·16h
🔢Denotational Semantics
Programming languages and dimensions of units of measure
cl.cam.ac.uk·2d·
Discuss: Hacker News
💻Programming languages
Song recommendations with free monads
blog.ploeh.dk·1d
🐚Shell Monads
The Stochastic Code Monkey Theorem
stephendiehl.com·1d
📏Code Metrics
Programming a Language
nrinaudo.github.io·1d·
Discuss: Hacker News
🔗Concatenative Programming
[Media] Tur - A language for defining and executing Turing machines with multi-platform visualization tools (Web, TUI and CLI) written in Rust 🦀
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Rethinking Tokenization for Rich Morphology: The Dominance of Unigram over BPE and Morphological Alignment
arxiv.org·1h
📋Document Grammar
NZ1: A minimalist, dependency-free data compression algorithm
github.com·6h·
Discuss: Hacker News
🌊Streaming Compression
Save memory and CPU with an interning cache
chrispenner.ca·1d
⚡Cache Theory
Unducking Typescript primitive aliases
zerotrickpony.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Predicted impact of LLM use on developer ecosystems
shape-of-code.com·2d
🔄Language Evolution
Lambdas, Nested Functions, and Blocks
thephd.dev·1d·
Discuss: Hacker News
🐚Shell Combinators
Patterns of Functional Programming: Functional Core – Imperative Shell
javiercasas.com·9h·
Discuss: Hacker News
🐚Shell Monads