🔬 PLT

Programming Language Theory, Language tooling

Show HN: Dog Age Calculator
dogcatagedcalculator.com·2d·
Discuss: Hacker News
🔤Text Algorithms
How Barrier Islands Work
science.howstuffworks.com·2d·
Discuss: Hacker News
🔍Type Systems
Show HN: Versed, content aggregator site with graph views and customizable feeds
versed.cc·2d·
Discuss: Hacker News
✏️Text Editors
Show HN: Veena Chromatic Tuner
play.google.com·2d·
Discuss: Hacker News
⌨️Keyboards
World Lung Cancer Expert Diagnosed with Advanced Lung Cancer
news.cuanschutz.edu·12h·
Discuss: Hacker News
🔓Open Source
How do you quote a passage that has used '[sic]' mistakenly?
english.stackexchange.com·6d·
Discuss: Hacker News
🔤Text Algorithms
Firefox Adds Microsoft Copilot AI to Its Sidebar – But Will Users Accept It?
windowsreport.com·5d·
Discuss: Hacker News
🔓Open Source
TV writer's arrest over posts on X sparks debate over free speech
apnews.com·5d·
Discuss: Hacker News
🏛️Philosophy
Study: Hashtags and humour are used to spread extreme content on social media
news.ku.dk·3d·
Discuss: Hacker News
🏛️Philosophy
NASA Announces CHAPEA Crew for Year-Long Mars Mission Simulation
nasa.gov·4d·
Discuss: Hacker News
🧰Developer Ergonomics
What are climate misinformation and disinformation and how can we tackle them?
climatepromise.undp.org·4d·
Discuss: Hacker News
🗳️Élections
Bluesky adds private bookmarks
techcrunch.com·1d·
Discuss: Hacker News
🔓Open Source
Technological breakthroughs turn out to be AI-sparked delusion
cnn.com·4d·
Discuss: Hacker News
💿OS
Technology, Humanism and Artificial Intelligence
brunellocucinelli.com·6d·
Discuss: Hacker News
💿OS
MentraOS – open-source Smart glasses OS
github.com·4d·
Discuss: Hacker News
🔓Open Source
Beyond the AI Hype: A Reality Check for Engineering Leaders
solab.substack.com·5d·
Discuss: Substack
⚡Systems Performance
XMap – An AI-powered map that tells you where to expand, build, or invest
indiehackers.com·4d·
Discuss: Hacker News
🚀JIT Compilation
Execute3 – Weekly Planner
execute3.com·4d·
Discuss: Hacker News
🧰Developer Ergonomics
If Apple cared about privacy
herman.bearblog.dev·2h·
Discuss: Hacker News
💿OS
Nokia successor HMD spawns secure device biz with Euro-made smartphone
theregister.com·1d·
Discuss: Hacker News
🔓Open Source