🔬 PLT

Programming Language Theory, Language tooling

“None Of These Books Are Obscene”: Judge Strikes Down Much of Florida’s Book Ban Bill
bookriot.com·4d·
Discuss: Hacker News
🏛️Philosophy
Good Justifications Write Themselves
oblique.security·6d·
Discuss: Hacker News
🧰Developer Ergonomics
Signs of recent life on Mars could be detected using new simple test
phys.org·4d·
Discuss: Hacker News
🔍Type Systems
Galactic Rosetta Stone
physicalsciences.uchicago.edu·5d·
Discuss: Hacker News
🖥️Computer Architecture
Beyond Compliance to Securing Advantage Under EU Digital Regulation
whybyproduct.substack.com·5d·
Discuss: Substack
🧰Developer Ergonomics
Illumos is a Unix operating system
illumos.org·3d·
Discuss: Hacker News
💿OS
Are Electrons Conscious?
blog.oup.com·3d·
Discuss: Hacker News
🏛️Philosophy
The Death of the IDE?
zed.dev·6d·
Discuss: Hacker News
🔓Open Source
Inside Doximity’s 15-Year Ruby on Rails Monolith
onrails.buzzsprout.com·6d·
Discuss: Hacker News, r/programming
🔓Open Source
you can stick with it
blog.avas.space·5d·
Discuss: Hacker News
🧰Developer Ergonomics
Things I said as a manager part 4: Always be pitching
reactiverobot.com·4d·
Discuss: Hacker News
🧰Developer Ergonomics
I paid $35 for this study about "AI" to understand what the hell it meant
birchtree.me·4d·
Discuss: Hacker News
🔍Type Systems
Randomness as a Control for Alignment
news.ycombinator.com·6d·
Discuss: Hacker News
💿OS
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·4d·
Discuss: Hacker News
🚀JIT Compilation
The SaaS competitor's agent is coming
blog.paid.ai·4d·
Discuss: Hacker News
🔓Open Source
Show HN: Guardian Protocol – Open-Source Ethereum Security Framework
github.com·5d·
Discuss: Hacker News
🔓Open Source
LLMs are not like you and me—and never will be.
garymarcus.substack.com·5d·
Discuss: Substack
🔍Type Systems
AI's Security Crisis: Why Your Assistant Might Betray You
lastweekinaws.com·4d·
Discuss: Hacker News
💿OS