🛠 Language Design

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

Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·9h·
Discuss: Hacker News
⬌Bidirectional Typing
English - the hottest programming language of the future
dev.to·15h·
Discuss: DEV
🔄Language Evolution
Categorical systems theory
topos.institute·20h
🔀Category Theory
Slip – A Lisp System in JavaScript
lisperator.net·18h·
Discuss: Hacker News
🔗Lisp
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·16h
📐Mathematical Art
Building the Reasoning Engine at Axiom
axiommath.ai·12h·
Discuss: Hacker News
⚔️Lean Tactics
Let's Write a Macro in Rust
hackeryarn.com·16h·
Discuss: Hacker News
🦀Rust Macros
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·22h
💎Information Crystallography
Cactus Language • Semantics 3
inquiryintoinquiry.com·16h
🔢Denotational Semantics
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·1h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·13h·
Discuss: Hacker News
🔗Concatenative Programming
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·10h·
Discuss: Hacker News
🦀Rust Macros
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Macros 2.0 is one of the most exciting Rust features I'm looking forward to
reddit.com·10h·
Discuss: r/rust
🦀Rust Macros
Codeminer42 Dev Weekly #82
blog.codeminer42.com·15h
🎯Gradual Typing
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
My First Week of Vibecoding
underreacted.leaflet.pub·5h·
Discuss: Hacker News
🎯Gradual Typing