2026 Archive
1741.
Lean proved this program correct; then I found a bug
(kirancodes.me)
1742.
1744.
CERN levels up with new superconducting karts
(home.cern)
1745.
How Shamir's Secret Sharing Works
(ente.com)
1746.
Love systemd timers
(blog.tjll.net)
1747.
IBM didn't want Microsoft to use the Tab key to move between dialog fields
(devblogs.microsoft.com)
1748.
Surprise, pay $1000
(forestwalk.ai)
1749.
Marc Andreessen is wrong about introspection
(joanwestenberg.com)
1750.
The desperation of NYTimes
(rozumem.xyz)
1751.
1753.
Google Hits 50% IPv6
(blog.apnic.net)
1754.
Muse Spark: Scaling towards personal superintelligence
(ai.meta.com)
1756.
LaTeX Coffee Stains (2021) [pdf]
(ctan.math.illinois.edu)
1757.
Cal.com is going closed source
(cal.com)
1758.
1759.
1760.
Raising money fucked me up
(blog.yakkomajuri.com)
1761.
1762.
Volkswagen Brings Back Physical Buttons
(caranddriver.com)
1763.
1764.
Local Journalism Is How Democracy Shows Up Close to Home
(buckscountybeacon.com)
1765.
1766.
Show HN: Terminal UI for AWS
(github.com)
1767.
macOS 26 breaks custom DNS settings including .internal
(gist.github.com)
1768.
ABC News has taken all FiveThirtyEight articles offline
(twitter.com)
1769.
Updates to GitHub Copilot interaction data usage policy
(github.blog)
1770.
Princeton mandates proctoring for in-person exams, upending 133 year precedent
(dailyprincetonian.com)