🔬 PLT

Programming Language Theory, Language tooling

“None Of These Books Are Obscene”: Judge Strikes Down Much of Florida’s Book Ban Bill
bookriot.com·3d·
Discuss: Hacker News
🏛️Philosophy
"Brand New Result Proving Penrose and Tao's Uncomputability in Physics" [video]
youtube.com·6d·
Discuss: Hacker News
🏛️Philosophy
Your Mac Game Is Probably Rendering Blurry
colincornaby.me·2d·
Discuss: Lobsters, Hacker News
⌨️Keyboards
Signs of recent life on Mars could be detected using new simple test
phys.org·4d·
Discuss: Hacker News
🔍Type Systems
Build Referral Systems in Rails Applications
avohq.io·4d·
Discuss: Hacker News
🔓Open Source
Galactic Rosetta Stone
physicalsciences.uchicago.edu·4d·
Discuss: Hacker News
🖥️Computer Architecture
Jerome Powell and the Authoritarian Sirens of Odysseus
forkingpaths.co·3d·
Discuss: Hacker News
🏛️Philosophy
Beyond Compliance to Securing Advantage Under EU Digital Regulation
whybyproduct.substack.com·4d·
Discuss: Substack
🧰Developer Ergonomics
Launch HN: Cyberdesk (YC S25) – Automate Windows legacy desktop apps
news.ycombinator.com·3d·
Discuss: Hacker News
💿OS
Ask HN: Any Creative AI Uses That Work with Kids?
news.ycombinator.com·4d·
Discuss: Hacker News
🔤Text Algorithms
The Bidirectional Stream Processor: Why Pull Beats Push for Crash Recovery
blog.epsiolabs.com·3d·
Discuss: Hacker News
🚀JIT Compilation
Chatbots aren’t telling you their secrets
theverge.com·4d·
Discuss: Hacker News
🔓Open Source
The SaaS competitor's agent is coming
blog.paid.ai·4d·
Discuss: Hacker News
🔓Open Source
When Everyone Gets a Genie
sanitarium.se·6d·
Discuss: Hacker News
🧰Developer Ergonomics
I tried every todo app and ended up with a .txt file
al3rez.com·6d·
Discuss: Hacker News
💿OS
People can exploit your social media pictures and so I've made a tool
news.ycombinator.com·4d·
Discuss: Hacker News
🔓Open Source
Show HN: Guardian Protocol – Open-Source Ethereum Security Framework
github.com·5d·
Discuss: Hacker News
🔓Open Source
GPT-5 Pushes Vibe Coding Beyond My Wildest Dreams
parkerortolani.blog·6d·
Discuss: Hacker News
🔓Open Source
LLMs are not like you and me—and never will be.
garymarcus.substack.com·4d·
Discuss: Substack
🔍Type Systems
Organics and Mechanics
randsinrepose.com·4d·
Discuss: Hacker News
🧰Developer Ergonomics