🧩 Monadic Parsing - abnv · Scour

HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation

arxiv.org·3h

📊Graph Compilers

Making a Language

thunderseethe.dev·10h

🔬programming language theory

abelianization of an additive category in nLab

ncatlab.org·16h

🔗Category Theory

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Harper: Free, Open Source Grammar Checker

writewithharper.com·6h·

Discuss: r/webdev

🔄Incremental Lexing

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings

arxiv.org·1d

🪜Recursive Descent

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌲Tree-sitter

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·1d

🌲Deforestation

weitianxin/Awesome-Agentic-Reasoning

github.com·6m

🤖Abstract Machines

ianbarber.blog·1d·

Discuss: Hacker News

🔄Subinterpreters

In Praise of APL (1977)

jsoftware.com·15m·

Discuss: Hacker News

🔬programming language theory

I [[musttail]] You About a Tokenizer

neilhenning.dev·2d

GNU C Language Manual

gnu.org·13h

🪄C Metaprogramming

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

λLambda Calculus

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

🗂️Type Indexing

New comment by pessimizer in "Nanolang: A tiny experimental language designed to be targeted by coding LLMs"

news.ycombinator.com·1d·

Discuss: Hacker News

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Iterative multi-word anagram solver

boulter.com·1d

🤖Suffix Automata

Loading more...