Monthly Highlights
3961.
3962.
C# 14: Exploring extension members (devblogs.microsoft.com)
3963.
100 theorems in Lean (leanprover-community.github.io)
3964.
Intel Arc Pro B50 and B60 for Lower Cost Pro GPUs (servethehome.com)
3965.
New Privacy Principles for a more trustworthy web (w3.org)
3966.
Show HN: Workflow builder for realtime voice agents
3967.
Marked decline in semicolons in English books, study suggests (theguardian.com)
3968.
Members of the Fulbright scholarship board resign, accusing Trump of meddling (apnews.com)
3969.
White House says it will announce new pick for NASA chief (cnn.com)
3970.
Texas governor signs online safety law in blow to Apple and Google (bbc.com)
3971.
Real TikTokers are pretending to be Veo 3 AI creations for fun, attention (arstechnica.com)
3972.
Anduril CEO unveils the Fury unmanned fighter jet [video] (youtube.com)
3973.
Trump Media Shares Fall Sharply on Plans to Raise Billions to Buy Bitcoin (wsj.com)
3974.
The high-tech tools behind cops' protest surveillance (themarshallproject.org)
3975.
MLB removes A's 'reverse boycott' game broadcasts from digital archive (sfgate.com)
3976.
The Costs of AI: Why Your Cloud Bill Is Exploding (backblaze.com)
3977.
Air India 787 crashes on takeoff (timesofindia.indiatimes.com)
3978.
Greenspun's 10th rule and the sad state of software quality (gist.github.com)
3979.
Bret Victor's Refs (worrydream.com)
3980.
My Epic, 40-Year Dungeons and Dragons Odyssey (timharford.com)
3981.
Hackers steal and destroy millions from Iran's largest crypto exchange (techcrunch.com)
3982.
KFC's Original Recipe (en.wikipedia.org)
3983.
Ask HN: Is offering a one-time payment stupid?
3984.
What newspaper are you paying for these days?
3985.
Ask HN: Best way to get laid off
3986.
How do you store and maintain your CV/resume over time?
3987.
Ask HN: Has Apple lost its way?
3988.
Ask HN: How do you handle an employee who complies but never delivers?
3989.
Strategy for Competing with the Soviets in the Military [pdf] (1976) (americawar.wordpress.com)
3990.
It's Waymo's World. We're All Just Riding in It (wsj.com)