🔬 PLT

Programming Language Theory, Language tooling

Mastering the Open File
lichess.org·14h·
Discuss: Hacker News
🖥️Computer Architecture
Would a Blockchain have prevented LIBOR fraud?
shkspr.mobi·1d·
Discuss: Hacker News, shkspr.mobi
🔓Open Source
The Closed Internet Protocol
mirz.ai·22h·
Discuss: Hacker News
🔓Open Source
Show HN: On-device photo library cleanup and Optimisation
mypixie.app·8h·
Discuss: Hacker News
⚡Systems Performance
Freedesktop.org – Desktop Interoperability Standards
freedesktop.org·1d·
Discuss: Hacker News
🔓Open Source
I created a website that featured absurd and funny things
sillygooseworld.vercel.app·22h·
Discuss: Hacker News
🔤Text Algorithms
One Event at a Time: Funding Your Community the Realistic Way
georgiker.com·5d·
Discuss: Hacker News
🗳️Élections
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·5d·
Discuss: Hacker News
💻Programming
Letter of Credit Process for Small-Scale Contracting Using Smart Contracts
dergipark.org.tr·5d·
Discuss: Hacker News
🔓Open Source
Vectorless: open-source PDF chatbot without RAG
news.ycombinator.com·2d·
Discuss: Hacker News
🔓Open Source
One network service policy architecture
infoq.com·7h·
Discuss: Hacker News
🔓Open Source
Breakfast With ChatGPT: Three Workers, One Morning, A Different AI Story
gizmodo.com·2d·
Discuss: Hacker News
💿OS
Law Isn't Code
artificiallawyer.com·5d·
Discuss: Hacker News
💿OS
The GPT-5 rollout has been a big mess
arstechnica.com·1d·
Discuss: Hacker News
🔓Open Source
Don't Be Too Rational
emergingperspectives.substack.com·3h·
Discuss: Substack
🏛️Philosophy
Launch HN: Design Arena (YC S25) – Head-to-Head AI Benchmark for Aesthetics
news.ycombinator.com·21h·
Discuss: Hacker News
⚡Systems Performance
GitHub removes bunch of data from their webhook payloads
github.blog·17h·
Discuss: Hacker News
🔓Open Source
Moldable Development at Lifeware (micro tools for a 35M LOC system)
lepiter.io·6d·
Discuss: Hacker News
⚙️Language Implementation
Software Modernization Projects Dilemma: Think Twice — Focus is Saying No
medium.com·3d·
Discuss: Hacker News, r/programming
🧰Developer Ergonomics
GPT-5 is a joke. Will it matter?
bloodinthemachine.com·11h·
Discuss: Hacker News
🔓Open Source