10921.
10922.
Sektori is psychedelic, tough as nails, and worth the pain
(theverge.com)
10923.
10924.
10925.
10926.
10927.
The Coming Need for Formal Specification
(news.ycombinator.com)
10928.
Arizona City Rejects Data Center After Lobbying Push
(slashdot.org)
10929.
Framework Raises DDR5 Memory Prices By 50% For DIY Laptops
(slashdot.org)
10930.
10931.
10932.
Pluribus becomes Apple TV’s most watched show ever
(9to5mac.com)
10933.
50 years of proof assistants
(news.ycombinator.com)
10934.
Jim Carrey Wanted to Become the Grinch at All Costs
(gizmodo.com)
10935.
OpenAI built an AI coding agent and uses it to improve the agent itself
(arstechnica.com)
10936.
Amazon pulls its bad AI video recaps after Fallout fallout
(engadget.com)
10937.
Inside Rivian’s big bet on AI-powered self-driving
(techcrunch.com)
10938.
Riding onboard with Rivian’s race to autonomy
(techcrunch.com)
10939.
Reminder: Donate to win swag in our annual Charity Drive sweepstakes
(arstechnica.com)
10940.
10941.
Best Internet Providers for December 2025
(cnet.com)
10942.
The CISO-COO Partnership: Protecting Operational Excellence
(darkreading.com)
10943.
Arkansas drops PBS, citing costs and loss of federal funding
(feeds.feedburner.com)
10944.
10945.
10946.
10947.
Save $50 on this awesome LG 34-inch Curved Smart Monitor
(androidauthority.com)
10948.
macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt
(news.ycombinator.com)
10949.
10950.
Security issues with electronic invoices
(news.ycombinator.com)