🔬 programming language theory - abnv · Scour

Python In Easy Steps, 3rd Ed (In Easy Steps)

i-programmer.info·1h

💬Interactive REPLs

intersection type in nLab

ncatlab.org·1d

✅Type Checking

The Return of Algol 68

jxself.org·3d

📚Forth Compilers

I got bored and had Claude design and implement a programming language

github.com·1d·

Discuss: Hacker News

✅Type Checking

Struggling Towards an Algebraic Theory of Music

reasonablypolymorphic.com·1d·

Discuss: Hacker News

🔗Concatenative Theory

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints

arxiv.org·16h

🔗Parser Combinators

SAE Feature Matchmaking (Layer-to-Layer) by Mitali M

greaterwrong.com·1d

🔢Algebraic Datatypes

Domain Knowledge Is the New Syntax

blog.melashri.net·2d·

Discuss: Hacker News

🎮Language Ergonomics

Carnegie Mellon at NeurIPS 2025

blog.ml.cmu.edu·4h

🪜Recursive Descent

Bringing a jewel-encrusted warhammer to a knife fight

reorchestrate.com·36m·

Discuss: Hacker News

Reckoning with Everything. The Becoming-Environmental of Computing

meson.press·3h

🗺️Region Types

What Does “The Shape of Thought” Look Like Inside an LLM?

pub.towardsai.net·1h

💫Effect Systems

A Language For Agents

lucumr.pocoo.org·2d·

Discuss: Lobsters, Hacker News, Hacker News

🎨Domain-Specific Languages

OK, what's the difference between coherence and representation theorems?

lesswrong.com·1d

⚖️Inference Rules

I used to be fervent embedded DSL fan many years ago (particularly in college wi...

news.ycombinator.com·1d·

Discuss: Hacker News

🪆Embedded DSLs

The Adventures of a Pythonista in Schemeland/29

artima.com·3d

🧼Lisp Hygiene

Creating a PHP, Go, and Python Quine Relay

dev.to·6h·

Discuss: DEV

Main Content || Math ∩ Programming

jeremykun.com·2d

🔢Algebraic Datatypes

No, dynamic type systems are not inherently more open

lexi-lambda.github.io·1d·

Discuss: Hacker News

🌈Gradual Languages

Build a Compiler in Five Projects

kmicinski.com·4d

🎭Racket Modules

Loading more...