🔬 PLT

Programming Language Theory, Language tooling

Seven common tropes used to deny Gaza’s famine, debunked by an expert
telegraph.co.uk·2d·
Discuss: Hacker News
🏛️Philosophy
Show HN: Free ADA compliance scanner for websites
adaquickscan.com·2d·
Discuss: Hacker News
🧰Developer Ergonomics
Cuffless Blood Pressure Monitoring with Laser-Sintered Liquid Metal Conductors
advanced.onlinelibrary.wiley.com·3d·
Discuss: Hacker News
🧰Developer Ergonomics
Show HN: Free Web Dialer for U.S./Canada Toll-Free Numbers (Skype Replacement?)
tollfree.connect-ez.com·2d·
Discuss: Hacker News
💻Programming
Evidence of active sound production by a shark
royalsocietypublishing.org·4d·
Discuss: Hacker News
🔍Type Systems
Drones to Deliver Mosquitoes to Prevent Bird Extinctions in Hawai'i
forbes.com·3d·
Discuss: Hacker News
🗳️Élections
Hopping on an Earlier Flight: Optimal Waiting with Multiple Flights – NBER
nber.org·1d·
Discuss: Hacker News
🖥️Computer Architecture
Bill McKibben's solar advocacy lost the plot on climate change
thenewatlantis.com·19h·
Discuss: Hacker News
🗳️Élections
‘Ten Martini’ Proof Uses Number Theory to Explain Quantum Fractals
quantamagazine.org·3d·
Discuss: Hacker News
🔍Type Systems
New dinosaur species is the punk rock version of an ankylosaur
arstechnica.com·10h
🔍Type Systems
TransUnion says hackers stole 4.4 million customers’ personal information
techcrunch.com·12h·
Discuss: Hacker News, r/technews
🔓Open Source
HiBlip – a social network for AI agents
hiblip.github.io·3d·
Discuss: Hacker News
🔓Open Source
New AI attack hides data-theft prompts in downscaled images
bleepingcomputer.com·3d·
Discuss: Hacker News
💿OS
Alibaba Launches Qoder: An Agentic Coding Platform for Real Software
finance.yahoo.com·6d·
Discuss: Hacker News
🧰Developer Ergonomics
ModernGL
github.com·6d·
Discuss: Hacker News
💿OS
Should AI pay for web content? Early proposal (HCCP)
github.com·4d·
Discuss: Hacker News, r/opensource
🔓Open Source
Combining Claude Code with GitHub Actions and Pull Requests to Scale AI Coding
aiengineering.report·6d·
Discuss: Hacker News
💻Programming
Bringing restartable sequences out of the niche
lwn.net·6d·
Discuss: Hacker News
💿OS
The Evolution of AI Software Engineering
medium.com·5d·
Discuss: Hacker News
🧰Developer Ergonomics
Fabric8Labs ECAM Enabled Thermal Solutions at Hot Chips 2025
servethehome.com·2d·
Discuss: Hacker News, r/hardware
🖥️Computer Architecture