🔬 PLT

Programming Language Theory, Language tooling

Sci-Hub Blocked in India, Founder Tells Plaintiffs to Expect Disappointment
torrentfreak.com·1d·
Discuss: Hacker News, r/Piracy
🔓Open Source
Venezuela Sends 15,000 Troops to Border as US Warships Approach
bloomberg.com·2d·
Discuss: Hacker News
🗳️Élections
The Battle To Make U.S. States Use Satellites To Provide Rural Internet Access
jalopnik.com·1d·
Discuss: Hacker News
🔓Open Source
Fetus Sold $100k of Merchandise in the Last Year
proofstories.io·19h·
Discuss: Hacker News
🏛️Philosophy
Schools turn to AI for lesson plans, problem-solving and more
wqad.com·5d·
Discuss: Hacker News
💻Programming
Show HN: Lekh – write-only, encrypted micro-journal at your own URL
lekh.space·2d·
Discuss: Hacker News
⚙WebAssembly
Small Talk
talk.bradwoods.io·3d·
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
I built my first side project: Tubee, in 2017
blog.tomy.me·6d·
Discuss: Hacker News
🔓Open Source
Tell HN: I Found Out Who the Russian Chief Designer Was Who Spat on Elon Musk
news.ycombinator.com·9h·
Discuss: Hacker News
🔍Type Systems
Show HN: Docura – A Lightweight API Documentation Platform
github.com·4d·
Discuss: Hacker News
🔓Open Source
Making Sense of AI Job Titles
dbreunig.com·6d·
Discuss: Hacker News
🔍Type Systems
AI Bubble 2027
wheresyoured.at·13h·
Discuss: Hacker News
🚀JIT Compilation
Show HN: Journey – Development focused database migration tool
github.com·4d·
Discuss: Hacker News
🧰Developer Ergonomics
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