🔬 PLT

Programming Language Theory, Language tooling

Code with LLMs and a Plan
richstone.io·23h·
Discuss: Hacker News
⚙️Language Implementation
Show HN: JavaScript algorithm prep that teaches language-specific patterns
memoized.io·2d·
Discuss: Hacker News
🧰Developer Ergonomics
A Retrospective on Paradigms of AI Programming (2002)
norvig.com·5d·
Discuss: Hacker News
⚙️Language Implementation
31 Days with Claude Code: What I Learned
hung-truong.com·18h·
Discuss: Hacker News
🚀JIT Compilation
2000 words about arrays and tables
buttondown.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔤Text Algorithms
Lobsters Interview with Icefox
lobste.rs·16h·
Discuss: Lobsters
⚙️Language Implementation
Why LLMs Struggle with Text-to-SQL
selectstar.com·19h·
Discuss: Hacker News
🔤Text Algorithms
Learning the Bitter Lesson
rlancemartin.github.io·17h·
Discuss: Hacker News
🔍Type Systems
Quadratic Voting
radicalxchange.org·21h·
Discuss: Hacker News
🗳️Élections
Understanding ASTs
hypermod.io·3d·
Discuss: Hacker News
🔤Text Algorithms
Lessons from 10 Years at GitHub
rickwinfrey.com·14h·
Discuss: Hacker News
🧰Developer Ergonomics
Valley of Despair
jacksonslipock.bearblog.dev·2h·
Discuss: Hacker News
🏗️Compiler Design
You're probably not learning with AI
aryas.dev·1h·
Discuss: Hacker News
⚙️Language Implementation
Wait, why are we paying more for VSCode forks again?
trunk.io·14h·
Discuss: Hacker News
🔓Open Source
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·1d·
Discuss: Hacker News
💻Programming
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·1d·
Discuss: Hacker News
⚙️Language Implementation
Why build a domain-specific agent for front end tasks?
kombai.com·1d·
Discuss: Hacker News
⚡Systems Performance
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·2d·
Discuss: Hacker News
💻Programming
Meta
engineering.fb.com·3h·
Discuss: Hacker News
💻Programming
The Math Is Haunted
overreacted.io·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🔍Type Systems