🔬 programming language theory - abnv · Scour

百度千帆推出 AI 编码订阅服务 Coding Plan

linux.do·2h

💬REPL Design

AI Code’s Logic Can Now Be Checked From Within, Bypassing External Tests

quantumzeitgeist.com·14h

🎭Program Synthesis

The Next Big Language (2007) by Steve Yegge

steve-yegge.blogspot.com·3d·

Discuss: Hacker News

🌱Minimal Languages

Information-Theoretic Derivation of Energy, Speed Bounds, and Quantum Theory

link.aps.org·14h

🛌 Beginner-Friendly Guide 'Longest Balanced Substring I' - Leetcode Problem 3713 (C++, Python, JavaScript)

dev.to·18m·

Discuss: DEV

🪢Rope Algorithms

RFC 9920: RFC Editor Model (Version 3)

rfc-editor.org·6h

📡Protocol Parsers

The Evolution of a Lean Programmer

unnamed.website·3d·

Discuss: Hacker News

🎭Staged Interpreters

an early-stage experimental programming language

solnix-lang.org·3d·

Discuss: DEV, Hacker News

🌱Minimal Languages

Fully Countering Trusting Trust through Diverse Double-Compiling (DDC) - Countering Trojan Horse attacks on Compilers

dwheeler.com·15h

intersection type in nLab

ncatlab.org·1d

✅Type Checking

The Return of Algol 68

jxself.org·3d

📚Forth Compilers

I got bored and had Claude design and implement a programming language

github.com·1d·

Discuss: Hacker News

✅Type Checking

Coding agents as the new compilers

anildash.com·4h

🎭Program Synthesis

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints

arxiv.org·23h

🔗Parser Combinators

Python In Easy Steps, 3rd Ed (In Easy Steps)

i-programmer.info·8h

💬Interactive REPLs

Carnegie Mellon at NeurIPS 2025

blog.ml.cmu.edu·11h

🪜Recursive Descent

Bringing a jewel-encrusted warhammer to a knife fight

reorchestrate.com·7h·

Discuss: Hacker News, r/rust

Reckoning with Everything. The Becoming-Environmental of Computing

meson.press·10h

🗺️Region Types

What Does “The Shape of Thought” Look Like Inside an LLM?

pub.towardsai.net·8h

💫Effect Systems

Finally out! Miriam's (@miriamppol) 1st, 1st author article!

threadreaderapp.com·5h

Loading more...