🔬 PLT

Programming Language Theory, Language tooling

The Simple Brilliance of the Illudium PU-36 Explosive Space Modulator
flamingmonocle.com·4h·
Discuss: Hacker News
⌨️Keyboards
Do discounts make money? We analyzed 3M subscriptions across billions of $$
churnkey.co·7h·
Discuss: Hacker News
🔤Text Algorithms
How I Got My First 100 Email Subscribers
joeldare.com·1d·
Discuss: Hacker News
🔤Text Algorithms
Train Board Generator
jochembruijninckx.nl·1d·
Discuss: Hacker News
🔍Type Systems
Control over My Airconditioning/Heatpump
firesphere.dev·23h·
Discuss: Hacker News
⚙WebAssembly
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·2d·
Discuss: Hacker News
🔤Text Algorithms
Create space-saving clones on macOS with Python
alexwlchan.net·1d·
Discuss: Hacker News
💿OS
Mun Programming Language
mun-lang.org·3d·
Discuss: Hacker News
⚙️Language Implementation
Estimates Are More Valuable Than You Think
jola.dev·12h·
Discuss: Hacker News
⚡Systems Performance
Show HN: Limitly – the easiest way to secure and manage your API keys
limitly.dev·13h·
Discuss: Hacker News
🔍Type Systems
Show HN: AI Sandbox with Kata, Firecracker, Cloud HV (E2B, Daytona Alternative)
cognitora.dev·16h·
Discuss: Hacker News
⚙️Language Implementation
Amp Code Deep Dive
elite-ai-assisted-coding.dev·3d·
Discuss: Hacker News
🧰Developer Ergonomics
What Would the Aftermath of the AI Bust Look Like?
thediff.co·13h·
Discuss: Hacker News
🖥️Computer Architecture
Ask HN: UX – What time consuming tasks have you successfully automated?
news.ycombinator.com·16h·
Discuss: Hacker News
🧰Developer Ergonomics
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·6d·
Discuss: Hacker News
🔍Type Systems
My Most Productive Day
curzel.it·1d·
Discuss: Hacker News
💿OS
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·4d·
Discuss: Hacker News
🔍Type Systems
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·4d·
Discuss: Hacker News, r/programming
⚙️Language Implementation
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·4d·
Discuss: Hacker News
🔍Type Systems
AI promised efficiency. Instead, it's making us work harder
afterburnout.co·12h·
Discuss: Hacker News
🧰Developer Ergonomics