🔬 programming language theory - abnv · Scour

The Next Big Language (2007) by Steve Yegge

steve-yegge.blogspot.com·18h·

Discuss: Hacker News

🌱Minimal Languages

Main Content || Math ∩ Programming

jeremykun.com·3h

🔢Algebraic Datatypes

The Adventures of a Pythonista in Schemeland/28

artima.com·1d

🔧Scheme Macros

Build a Compiler in Five Projects

kmicinski.com·1d

🎭Racket Modules

The Return of Algol 68

jxself.org·6h

📚Forth Compilers

Revisiting Regular Types

abseil.io·1d

🚀Hindley-Milner+

Introduction to Abject-Oriented Programming (2007)

typicalprogrammer.com·12h·

Discuss: Hacker News

📚Self-Documenting Code

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·1d

📊Pratt Parsers

How I Built My Project in Haskell

dev.to·1d·

Discuss: DEV

🌱Minimal Languages

A Proof of P = NP

dev.to·1h·

Discuss: DEV

🎨Graph Coloring

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·3d·

Discuss: Hacker News

🌊Reactive Languages

Differential Logic • 4

inquiryintoinquiry.com·13h

∫Mathematical DSLs

wareya/pred_recdec: Predicated LL (recursive descent) parser in pure rust

github.com·4h·

Discuss: Hacker News

🪜Recursive Descent

From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI

news.ycombinator.com·14h·

Discuss: Hacker News

🚂Error Propagation

Grace Hopper's Revenge

thefuriousopposites.com·15h

🔍ML Language

Railway Oriented Programming

fsharpforfunandprofit.com·2d·

Discuss: Hacker News

🚂Error Monads

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·1d·

Discuss: Hacker News, r/Compilers

Categorical systems theory

danmackinlay.name·4d

🔗Category Theory

The Future of Software Engineering

poberezkin.com·6h·

Discuss: Hacker News

🎭Program Synthesis

string theory - spqr

archiveofourown.org·29m

🔗Concatenative Theory

Loading more...