🔬 programming language theory - 2601 · Scour

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·1h

∘Category Theory

Learn Weird Programming Languages

okienko.day·7h·

Discuss: Hacker News

🏺Code Archeology

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·15m

🌱Minimal Schemes

A Note on Flat Abstract Syntax Trees

gist.github.com·2h·

Discuss: Hacker News

🌳Tree-sitter

The Next Big Language (2007) by Steve Yegge

steve-yegge.blogspot.com·1d·

Discuss: Hacker News

🌱Tiny Languages

amirouche/seed: Adding `vau` with an immutable dynamic environment to Chez Scheme

github.com·4h·

Discuss: Hacker News

🪞Metaprogramming

Build a Compiler in Five Projects

kmicinski.com·2d

The Return of Algol 68

jxself.org·1d

📚Forth Compilers

A Language For Agents

lucumr.pocoo.org·20h·

Discuss: Lobsters, Hacker News

🎨Domain-Specific Languages

Domain Knowledge Is the New Syntax

blog.melashri.net·9h·

Discuss: Hacker News

🎮Language Ergonomics

Revisiting Regular Types

abseil.io·1d

📏Linear Types

Main Content || Math ∩ Programming

jeremykun.com·22h

🔢Algebraic Datatypes

What Functional Programmers Get Wrong About Systems

iankduncan.com·1h

🚂Error Propagation

Evaluating Large Language Models on Solved and Unsolved Problems in Graph Theory: Implications for Computing Education

arxiv.org·3d

🎯Finite Automata

How I Built My Project in Haskell

dev.to·1d·

Discuss: DEV

🪞Metaprogramming

Introduction to Abject-Oriented Programming (2007)

typicalprogrammer.com·1d·

Discuss: Hacker News

📚Self-Documenting Code

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·2d

🌳Tree-sitter

A Proof of P = NP

dev.to·19h·

Discuss: DEV

⚡Partial Evaluation

Towards Understanding What State Space Models Learn About Code

arxiv.org·15h·

Discuss: Hacker News

🗺️Region Inference

Togelius: Math and me

togelius.blogspot.com·1h

📐Mathematical Computing

Loading more...