🔬 PLT

Programming Language Theory, Language tooling

Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
🔍Type Systems
Lobsters Interview with Matklad
lobste.rs·6h·
Discuss: Lobsters
💻Programming
Do I need a Lisp Machine comeback?
far.chickenkiller.com·8h·
Discuss: Hacker News
⚙️Language Implementation
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
💻Programming
"Python for Those Who Cannot Even", a Book by Claude Code
github.com·1d·
Discuss: Hacker News
💿OS
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·8h·
Discuss: Hacker News
🔤Text Algorithms
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·4h·
Discuss: Hacker News
⚙WebAssembly
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·1d·
Discuss: Lobsters, Hacker News
💻Programming
Scheme Basics
courses.cs.washington.edu·7h·
Discuss: Hacker News, Hacker News
🔍Type Systems
LLMs Won't Replace Programming Languages
mech-lang.org·13h·
Discuss: Hacker News
⚙️Language Implementation
What Claude Code gets right
minusx.ai·1d·
Discuss: Hacker News
⚙️Language Implementation
Subinterpreters and Asyncio
blog.changs.co.uk·2d·
Discuss: Hacker News
⚙️Language Implementation
Learning to read code is more important than learning to write it (2018)
letterstoanewdeveloper.com·4h·
Discuss: Hacker News
🧰Developer Ergonomics
Harper Evolves
elijahpotter.dev·1d·
Discuss: Hacker News, Hacker News
🔤Text Algorithms
Trap: Autoregressive Transformers in APL
github.com·3d·
Discuss: Lobsters
🏗️Compiler Design
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
💻Programming
You Can Build Better AI Agents in Java Than Python
medium.com·2d·
Discuss: Hacker News
⚙️Language Implementation
A Systematic Study of Post-Training Quantization for Diffusion LLMs
arxiv.org·1d·
Discuss: Hacker News
🏗️Compiler Design
Introduction to Julia for R Users
nrennie.rbind.io·21h·
Discuss: Hacker News
💻Programming
Launch HN: BlankBio (YC S25) – Making RNA Programmable
news.ycombinator.com·3h·
Discuss: Hacker News
🏗️Compiler Design