2026 Archive
1562.
Lean proved this program correct; then I found a bug
(kirancodes.me)
1563.
1565.
CERN levels up with new superconducting karts
(home.cern)
1566.
How Shamir's Secret Sharing Works
(ente.com)
1567.
IBM didn't want Microsoft to use the Tab key to move between dialog fields
(devblogs.microsoft.com)
1568.
Marc Andreessen is wrong about introspection
(joanwestenberg.com)
1569.
Love systemd timers
(blog.tjll.net)
1570.
1572.
Muse Spark: Scaling towards personal superintelligence
(ai.meta.com)
1574.
LaTeX Coffee Stains (2021) [pdf]
(ctan.math.illinois.edu)
1575.
Cal.com is going closed source
(cal.com)
1576.
1577.
1578.
Raising money fucked me up
(blog.yakkomajuri.com)
1579.
1580.
Volkswagen Brings Back Physical Buttons
(caranddriver.com)
1581.
1582.
Local Journalism Is How Democracy Shows Up Close to Home
(buckscountybeacon.com)
1583.
1584.
Show HN: Terminal UI for AWS
(github.com)
1585.
macOS 26 breaks custom DNS settings including .internal
(gist.github.com)
1586.
ABC News has taken all FiveThirtyEight articles offline
(twitter.com)
1587.
Updates to GitHub Copilot interaction data usage policy
(github.blog)
1588.
Princeton mandates proctoring for in-person exams, upending 133 year precedent
(dailyprincetonian.com)
1589.
The time I didn't meet Jeffrey Epstein
(scottaaronson.blog)
1590.
LLVM: The bad parts
(npopov.com)