🔬 programming language theory - abnv · Scour

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·9h·

Discuss: Hacker News

🤐Zipper Structures

What every computer science major should know

matt.might.net·7h·

Discuss: Hacker News

📖Literate Programming

`derive_parser` – Automatically derive a parser from your syntax tree

github.com·21h·

Discuss: r/rust

🦀Rust Macros

A Foundation for Differentiable Logics using Dependent Type Theory

arxiv.org·1d

🏗️Calculus of Constructions

Programming in K

news.ycombinator.com·1d·

Discuss: Hacker News

🔢Algebraic Datatypes

Coding and Validation for Breadth and Desirability of 1,214 English Adjectives

nature.com·1h

🏷️Attribute Grammars

extended C*-algebra in nLab

ncatlab.org·11h

🔗Category Theory

A language designed for machines to write

negroniventurestudios.com·1d·

Discuss: Hacker News

SOLID in FP: Liskov Substitution, or The Principle That Was Never About Inheritance

cekrem.github.io·1d·

Discuss: Hacker News, r/programming

🚀Hindley-Milner+

PPO → DPO → GRPO→ Rubrics

byhand.ai·8h

📈Earley Parsing

Implementing constexpr parameters using C++26 reflection (kind of)

godbolt.org·1h·

Discuss: r/cpp

🔗Lexical Scoping

Vibecoding Challenge 2: The Five Feathers (Spring 2026)

gist.github.com·16h·

Discuss: Lobsters, Hacker News

🌱Tiny Languages

Lil' Fun Langs' Guts

taylor.town·2d·

Discuss: Lobsters, Hacker News, r/programming

🪆Embedded DSLs

Maximally minimal specialization: always applicable impls

smallcultfollowing.com·19h

⚡Partial Evaluation

How programming languages have evolved

thoughtworks.com·3d

🎮Language Ergonomics

Lytok 2.0: A New Way to Handle Data Structures in JS/TS

dev.to·4h·

Discuss: DEV

🌈Gradual Languages

nahhididwin/L-Representation: L-Representation: Turning a Single Integer \textit{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine

github.com·1d·

Discuss: Hacker News

🔢Algebraic Datatypes

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮Theorem Provers

JLS Deep Dive: The Rules of the Language — Identifiers, Keywords, and the Underscore

eldritch.codes·18h·

Discuss: DEV

📐Standard ML

Borel and shifted category O

arxiv.org·2h

🔗Category Theory

Loading more...