🔬 programming language theory - abnv · Scour

The Observer Lemma

zenodo.org·2h·

Discuss: Hacker News

⚡Effect Handlers

process-compose

notes.billmill.org·1h

🔗Concatenative

Deferred member initialization in C++

sandordargo.com·1d·

Discuss: Lobsters

🪆Embedded DSLs

What Exactly Is the Zen of Python?

realpython.com·13h

🌱Minimal Lisps

Issue #721: Classification With zstd, Callables, Gemini, and More (Feb. 10, 2026)

pycoders.com·1d

🛠programming language development

[Repost] Integration contemplation

danq.me·5h

💾Persistent Heaps

January 2026 Monthly report | Alternative Rust Compiler for GCC

rust-gcc.github.io·1d·

Discuss: r/rust

🦀MIR Optimization

Don't give away to the gradient descent

carteakey.dev·3h·

Discuss: Hacker News

🪜Recursive Descent

Patterns of Application Development Using… [PDF/iPad/Kindle]

leanpub.com·2h

🎮Language Ergonomics

Simplifying assertions with lenses

blog.ploeh.dk·2d

🚂Error Monads

Revisiting Regular Types

abseil.io·4d

🚀Hindley-Milner+

Deep C Dives: Undefined Behavior

i-programmer.info·14h

📚Stack Allocation

Six Weeks of Molting

artlu.bearblog.dev·1d

🏗️Cranelift

Creating a PHP, Go, and Python Quine Relay

dev.to·12h·

Discuss: DEV

Impredicativity in Linear Dependent Type Theory

arxiv.org·1d

∀Quantified Types

Using Generative AI tooling with Clojure

dev.solita.fi·1d

Introduction to Abject-Oriented Programming (2007)

typicalprogrammer.com·3d·

Discuss: Hacker News

📚Self-Documenting Code

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·4d

📊Pratt Parsers

ArXiv Endorsement for Paper on Neuro-Symbolic Architecture for Financial Agents

news.ycombinator.com·13h·

Discuss: Hacker News

🔢Algebraic Datatypes

N-Grams and Other Experiments

dotterrer.bearblog.dev·9h

Loading more...