🔬 PLT

Programming Language Theory, Language tooling

Fetus Sold $100k of Merchandise in the Last Year
proofstories.io·22h·
Discuss: Hacker News
🏛️Philosophy
The Battle To Make U.S. States Use Satellites To Provide Rural Internet Access
jalopnik.com·1d·
Discuss: Hacker News
🔓Open Source
An update about the hidden Performa 550 recovery partition
downtowndougbrown.com·5h·
Discuss: Lobsters, Hacker News
💿OS
Show HN: Lekh – write-only, encrypted micro-journal at your own URL
lekh.space·3d·
Discuss: Hacker News
⚙WebAssembly
Small Talk
talk.bradwoods.io·4d·
Discuss: Hacker News
🧰Developer Ergonomics
Powerful GPUs or Fast Interconnects: Analyzing Relational Workloads
vldb.org·2d·
Discuss: Hacker News
⚡Systems Performance
The US used to be a haven for research . Under Trump , scientists are packing their bags .
csmonitor.com·2d·
Discuss: Hacker News
🗳️Élections
America by Design Fail
americabydesign.fail·1d·
Discuss: Hacker News
🏛️Philosophy
Unikernel Cronjobs on AWS
nanovms.com·3d·
Discuss: Hacker News
🔓Open Source
Federal agents arrest firefighters working on WA wildfire
seattletimes.com·2h·
Discuss: Hacker News
🗳️Élections
I built my first side project: Tubee, in 2017
blog.tomy.me·6d·
Discuss: Hacker News
🔓Open Source
Making Sense of AI Job Titles
dbreunig.com·6d·
Discuss: Hacker News
🔍Type Systems
Ask HN: How to deal with high latency with Cloudflare proxy?
news.ycombinator.com·14h·
Discuss: Hacker News
🔓Open Source
Show HN: Journey – Development focused database migration tool
github.com·4d·
Discuss: Hacker News
🧰Developer Ergonomics
Show HN: Docura – A Lightweight API Documentation Platform
github.com·4d·
Discuss: Hacker News
🔓Open Source
AI Bubble 2027
wheresyoured.at·17h·
Discuss: Hacker News
🚀JIT Compilation
Authors celebrate “historic” settlement coming soon in Anthropic class action
arstechnica.com·1d
🔓Open Source
Lubelog: LubeLogger is a web-based vehicle maintenance and fuel mileage tracker
github.com·4d·
Discuss: Hacker News
🔓Open Source
Got tired of other color pickers, so I built one that actually adapts to your design
github.com·2d·
Discuss: Hacker News, r/reactjs
⚙WebAssembly
Building Generative AI Applications with GitHub Models and .NET Aspire
milanjovanovic.tech·5d·
Discuss: Hacker News
⚙️Language Implementation