Monthly Highlights
14642.
14643.
14644.
Programming Language Foundations in Agda
(plfa.github.io)
14645.
Are You Sure Your LLM Is Sure?
(arxiv.org)
14646.
The Quiet Math Revolution
(workflows-of-ai.com)
14647.
Learning as Freedom (2012)
(nytimes.com)
14648.
Clocks – See what time it is for everyone in Google Meet
(chromewebstore.google.com)
14650.
Why have coding agents not brought easter-egg utopia?
(rallywith.ai)
14651.
14652.
14653.
14655.
AI usage causes broken windows (2005)
(blog.codinghorror.com)
14656.
14657.
Revolut has been having an incident for 7 hours
(twitter.com)
14659.
US Air Force wants AI to assist aerial refueling
(militarytimes.com)
14660.
14661.
X11appjail v2.0.0: Testing D-Bus proxy and Linux-brave
(youtube.com)
14662.
14663.
Reverse Engineering Captcha-Bypass
(youtube.com)
14664.
A live map of where people are. What would stop you installing it?
(play.google.com)
14665.
Leviathan LLM Inference
(github.com)
14666.
I want my Wednesday back
(blog.luitjes.it)
14667.
Europe's cloud sovereignty rules could do more harm than good
(theregister.com)
14668.
A commodity price tracking website with a few fun tools
(commoditywatch.net)
14670.
Show HN: DebtShark – Consumer Legal Defense and Debt Settlement Workstation
(boredpolymath.github.io)