🔬 PLT

Programming Language Theory, Language tooling

Tom Lehrer, Mathematician and Musician Who Set Wicked Satire to Cheery Tunes
thecrimson.com·9h·
Discuss: Hacker News
🏛️Philosophy
How I Got My First 100 Email Subscribers
joeldare.com·1d·
Discuss: Hacker News
🔤Text Algorithms
Do discounts make money? We analyzed 3M subscriptions across billions of $$
churnkey.co·10h·
Discuss: Hacker News
🔤Text Algorithms
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
OpenAI Transparency Letter
openai-transparency.org·13h·
Discuss: Hacker News
🔓Open Source
Estimates Are More Valuable Than You Think
jola.dev·15h·
Discuss: Hacker News
⚡Systems Performance
Show HN: Limitly – the easiest way to secure and manage your API keys
limitly.dev·16h·
Discuss: Hacker News
🔍Type Systems
What Would the Aftermath of the AI Bust Look Like?
thediff.co·16h·
Discuss: Hacker News
🖥️Computer Architecture
Show HN: AI Sandbox with Kata, Firecracker, Cloud HV (E2B, Daytona Alternative)
cognitora.dev·20h·
Discuss: Hacker News
⚙️Language Implementation
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
Mithril launches omnicloud for compute and batch inference
mithril.ai·11h·
Discuss: Hacker News
🔓Open Source
Ask HN: UX – What time consuming tasks have you successfully automated?
news.ycombinator.com·20h·
Discuss: Hacker News
🧰Developer Ergonomics
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
AI promised efficiency. Instead, it's making us work harder
afterburnout.co·15h·
Discuss: Hacker News
🧰Developer Ergonomics
Show HN: Open-source macOS dictation replacement, 5Mb
github.com·1d·
Discuss: Hacker News
💿OS
'Hello world' in Bismuth
enikofox.com·3d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·6d·
Discuss: Lobsters, Hacker News
⚙️Language Implementation