🔬 PLT

Programming Language Theory, Language tooling

Contactless card payments could become unlimited
bbc.co.uk·11h·
Discuss: Hacker News
🔓Open Source
Major insurance changes are coming to GLP-1 drugs for weight loss
cnn.com·1d·
Discuss: Hacker News
🔓Open Source
AI can make anyone an architect – and that's not a good thing
thespinoff.co.nz·3d·
Discuss: Hacker News
🔍Type Systems
Dynamic Pirate Site Blocking Injunctions and the Transparency Illusion
torrentfreak.com·2d·
Discuss: Hacker News, r/Piracy
🔓Open Source
An Update on New Computer and Dot
new.computer·5d·
Discuss: Hacker News
💿OS
Pocket Scion is a synth you play with plants
theverge.com·4d·
Discuss: Hacker News
⌨️Keyboards
Revealed: how Boris Johnson traded PM contacts for global business deals
theguardian.com·2d·
Discuss: Hacker News
🗳️Élections
GirlsDoPorn owner Michael Pratt gets 27 years for sex trafficking conspiracy
arstechnica.com·1d
🗳️Élections
Cecil B. DeMille and the Google Android Gmail App
news.ycombinator.com·3d·
Discuss: Hacker News
🔓Open Source
Phala GPU Tee Deep Dive: Securing AI at the Hardware Layer
phala.com·5d·
Discuss: Hacker News
🔓Open Source
My blue is your blue: different people’s brains process colours in the same way
nature.com·2d·
Discuss: Hacker News
🔍Type Systems
Kubernetes API – Get Pods on Specific Nodes
medium.com·4d·
Discuss: Hacker News
💿OS
A few details Apple didn’t mention during its “awe-dropping” event
sixcolors.com·23h·
Discuss: Hacker News
⌨️Keyboards
Seedream 4.0: Next Evolution in AI Creativity
seedream4.org·4d·
Discuss: Hacker News
⚡Systems Performance
SQLite can handle most of it
binaryigor.com·5d·
Discuss: Hacker News
⚡Systems Performance
Game launcher installs Root CA certificate on your machine
github.com·3d·
Discuss: Hacker News
🔓Open Source
10 years after founding our venture-backed startup, the score is still 0-0
husney.com·6d·
Discuss: Hacker News
🔓Open Source
Ask HN: How do you track what's backed up?
news.ycombinator.com·2d·
Discuss: Hacker News
⚡Systems Performance
In court filing, Google concedes the open web is in “rapid decline”
arstechnica.com·1d·
Discuss: Hacker News
🔓Open Source
The capacity limits of moving objects in the imagination
nature.com·5d·
Discuss: Hacker News
🔍Type Systems