🔬 PLT

Programming Language Theory, Language tooling

Tom Lehrer, Mathematician and Musician Who Set Wicked Satire to Cheery Tunes
thecrimson.com·12h·
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·13h·
Discuss: Hacker News
🔤Text Algorithms
OpenAI Transparency Letter
openai-transparency.org·16h·
Discuss: Hacker News
🔓Open Source
The AI 'algorithmic audit' could be coming to hotel room checkout
cnbc.com·1d·
Discuss: Hacker News
⚡Systems Performance
Show HN: Limitly – the easiest way to secure and manage your API keys
limitly.dev·19h·
Discuss: Hacker News, r/node
🔍Type Systems
Defining 'Toast' Messages (2020)
adrianroselli.com·2d·
Discuss: Hacker News
⌨️Keyboards
Mithril launches omnicloud for compute and batch inference
mithril.ai·14h·
Discuss: Hacker News
🔓Open Source
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·5d·
Discuss: Hacker News
🔍Type Systems
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
Lessons from writing a Kubernetes Security book
medium.com·21h·
Discuss: Hacker News
🔓Open Source
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·6d·
Discuss: Lobsters, Hacker News
⚙️Language Implementation
Fermat's Last Theorem in Lean – Imperial College London
github.com·4d·
Discuss: Hacker News
🔓Open Source
Show HN: New VSCode extension Function Explorer
marketplace.visualstudio.com·4d·
Discuss: Hacker News
💿OS
Can you trust your friendly neighborhood LLM?
chrisbeckman.dev·5d·
Discuss: Hacker News
🔍Type Systems
Agentic Coding Things That Didn’t Work
lucumr.pocoo.org·6d·
Discuss: Lobsters, Hacker News, Hacker News
⚙️Language Implementation
The Reviewer is Dead, Long Live the Review: Re-engineering Peer Review for the Age of AI
sigarch.org·3d·
Discuss: Hacker News
🔤Text Algorithms