🔬 PLT

Programming Language Theory, Language tooling

How to Rename Your Windows 11 PC
makeuseof.com·7h·
Discuss: Hacker News
💿OS
US Sues SoCal Edison, over Eaton and Fairview Fires
justice.gov·1d·
Discuss: Hacker News
🗳️Élections
Implementing an Unlimited PTO Policy
startupsoup.substack.com·2d·
Discuss: Substack
💿OS
Slack bot that turns your profile into a K-pop Demon Hunters style avatar
runbear.io·4d·
Discuss: Hacker News
✏️Text Editors
From Libraries to Schools: Why Organizations Should Install Privacy Badger
eff.org·1d·
Discuss: Hacker News
🔓Open Source
Playing Viking Chess with Whale Bones
hakaimagazine.com·1d·
Discuss: Hacker News
🚀JIT Compilation
Sticker generator using Sticker AI and nanobanana
nanobananas.site·4d·
Discuss: Hacker News
⌨️Keyboards
Supplement Stack
domofutu.substack.com·2d·
Discuss: Substack
🏛️Philosophy
Civilization VII team at Firaxis Games faces layoffs
arstechnica.com·16h
🔓Open Source
AI Darwin Awards
aidarwinawards.org·2d·
Discuss: Hacker News
💿OS
AMD Data Center GPUs Explained: MI250X, MI300X, MI350X and Beyond
bentoml.com·2d·
Discuss: Hacker News
⚡Systems Performance
Living by Numbers: How we learned to quantify ourselves
worldhistory.substack.com·3d·
Discuss: Substack
🧰Developer Ergonomics
Gaza: AI Human Laboratory
thecairoreview.com·4d·
Discuss: Hacker News
🔍Type Systems
Orson Welles’ Lost Movie Will Use AI to Reconstruct Missing 43 Minutes
hollywoodreporter.com·1d·
Discuss: Hacker News
🔓Open Source
Gandi is holding my domain hostage. What can I do?
news.ycombinator.com·2d·
Discuss: Hacker News
🔓Open Source
Ask HN: What do you think of this idea?
news.ycombinator.com·1d·
Discuss: Hacker News
🔓Open Source
ShaderGlass lets you run GPU shaders over any window
github.com·4d·
Discuss: Hacker News
🔓Open Source
Tech CEOs Take Turns Grovelling at Feast of Embarrassments
pxlnv.com·1d·
Discuss: Hacker News
🔓Open Source
The Trust Quotient (TQ)
kk.org·3d·
Discuss: Hacker News
⚡Systems Performance
Observations of Thwaites Glacier consistent with high rates of loss next 50 yrs
essopenarchive.org·5d·
Discuss: Hacker News
🔓Open Source