🔬 PLT

Programming Language Theory, Language tooling

A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3h·
Discuss: Lobsters, Hacker News
⚙️Language Implementation
Onboarding for Coding Agents
fuzzycomputer.com·2h·
Discuss: Hacker News
⚙️Language Implementation
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
⚙️Language Implementation
The Schwartzian Transform (2016)
perl.com·1d·
Discuss: Hacker News
🏗️Compiler Design
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·2d·
Discuss: Lobsters, r/programming
⚙️Language Implementation
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🔍Type Systems
Lobsters Interview with Icefox
lobste.rs·23h·
Discuss: Lobsters
⚙️Language Implementation
This web framework was built by Claude
rgk.io·20h·
Discuss: Hacker News
⚙WebAssembly
A Library Approach to Constant Template Parameters
brevzin.github.io·1h·
Discuss: Hacker News
🔍Type Systems
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·23h·
Discuss: Hacker News
🏗️Compiler Design
Show HN: Predict GPT-5 skills with a community AI benchmark
news.ycombinator.com·59m·
Discuss: Hacker News
🚀JIT Compilation
Turn on the LLM and use it in your daily workflow
funcall.blogspot.com·20h·
Discuss: Hacker News
🏗️Compiler Design
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍Type Systems
The smallest embeddable scripting language, part 1
log.schemescape.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Language Implementation
The Summer of Codex
paylias.xyz·2h·
Discuss: Hacker News
⚙️Language Implementation
Moving Beyond the Prompt (AI Literacy Course)
github.com·1d·
Discuss: Hacker News
🔤Text Algorithms
Symbol-Level Editing
sysprogs.com·8h·
Discuss: Hacker News
🔤Text Algorithms
Parallel Programming Models
ayushgundawar.me·9h·
Discuss: Hacker News
🖥️Computer Architecture
Perl Is Dead. Long Live Perl and Raku
raku-advent.blog·21h·
Discuss: Hacker News
⚙️Language Implementation
Show HN: List of Clojure-Like projects
github.com·19h·
Discuss: Hacker News
💻Programming