🔬 PLT

Programming Language Theory, Language tooling

macOS dotfiles should not go in ~/Library/Application Support
becca.ooo·3d·
Discuss: Lobsters, Hacker News, Hacker News
💿OS
Affiliates Flock to 'Soulless' Scam Gambling Machine
krebsonsecurity.com·1h·
Discuss: Hacker News
🔍Type Systems
A Jupyter widget from a TypeScript React component and styled with tailwind
nitro.bio·6d·
Discuss: Hacker News
🔓Open Source
The Hi5 Company Manifesto
hi5manifesto.com·1d·
Discuss: Hacker News
🔓Open Source
Google's in-house AI agent discovers critical vulnerability in Chrome
pcworld.com·23h·
Discuss: Hacker News
💿OS
Word to autosave new docs to the cloud before you can even hit Ctrl+S
theregister.com·1d·
Discuss: Hacker News
💿OS
Human dexterity and brains evolved hand in hand
nature.com·1d·
Discuss: Hacker News
🧰Developer Ergonomics
Artistic Trends in AI Music
artintech.substack.com·4d·
Discuss: Substack
🔤Text Algorithms
We have become an authoritarian state, and our top newsrooms are in denial
presswatchers.org·1d·
Discuss: Hacker News
🏛️Philosophy
Atmospheric Tide
en.wikipedia.org·1d·
Discuss: Hacker News
🖥️Computer Architecture
Picking Quantum Resistant Algorithms [audio]
securitycryptographywhatever.buzzsprout.com·3d·
Discuss: Hacker News
🔓Open Source
Ex-US Army Colonel Says Ukraine War on the Cusp of an AI Revolution
rferl.org·1d·
Discuss: Hacker News
🗳️Élections
Writing with LLM is not a shame
reflexions.florianernotte.be·4d·
Discuss: Hacker News
🔍Type Systems
Using Derive_more for Errors in Rust
quamserena.com·6d·
Discuss: Hacker News
💻Programming
Why Open Source Misses the Point of Free Software
gnu.org·2d·
Discuss: Hacker News
🔓Open Source
If you thought China's Salt Typhoon was booted off critical networks, think again
theregister.com·11h·
Discuss: Hacker News
🔓Open Source
The Great Game: Game Theory for Collective Intelligence
foundation.symbiquity.ai·5d·
Discuss: Hacker News
🔍Type Systems
What Hugging Face reveals about the data economy of fine-tuning
research.portexai.com·6d·
Discuss: Hacker News
🔍Type Systems
d-Matrix Corsair In-Memory Computing For AI Inference at Hot Chips 2025
servethehome.com·1d·
Discuss: Hacker News
🖥️Computer Architecture
Ask HN: Why are so many services rejecting Google Voice numbers for signups?
news.ycombinator.com·1d·
Discuss: Hacker News
🔓Open Source