Monthly Highlights
1291.
AI in mathematics is forcing big questions
(spectrum.ieee.org)
1293.
QBE – Compiler Backend – 1.3
(c9x.me)
1294.
1295.
Law Enforcement's "Warrior" Problem (2015)
(harvardlawreview.org)
1296.
Why does paper fold so well?
(bbc.co.uk)
1297.
1298.
Orthodox C++ (2016)
(bkaradzic.github.io)
1299.
1301.
1302.
I can haz smoller NixOS ISOs?
(natkr.com)
1303.
Sysadmining Like It's 2009
(lambdacreate.com)
1304.
Fable ban was never about a jailbreak?
(techcrunch.com)
1305.
Don’t use AI to write things that you present as your own work
(satisfice.com)
1306.
Journey to JPEG XL: open-source experiments shaped the future of image coding
(opensource.googleblog.com)
1307.
1308.
1309.
Queen bees emerge from special wax chambers
(cen.acs.org)
1310.
Ripgrep AI Policy
(github.com)
1311.
1312.
The European Social Stack
(european.social)
1313.
Global population movements from 1990 to 2023
(nature.com)
1314.
1315.
Making espresso with ultrasound
(unsw.edu.au)
1316.
"Maybe later" was a feature
(arnorhs.dev)
1317.
Exif Smuggling (2025)
(github.com)
1318.
KDE Plasma 6.7 Released
(kde.org)
1319.
Formal Methods and the Future of Programming
(blog.janestreet.com)
1320.