Solvingn the Santa Claus concurrency puzzle with a model checker
(news.ycombinator.com)
4711.
4712.
Crypto wallets received a record $158 billion in illicit funds last year
(bleepingcomputer.com)
4713.
Tim Cook is destroying his own legacy
(theverge.com)
4714.
ICE invades Minnesota and Minnesotans fight back
(theverge.com)
4715.
He calls me sweetheart and winks at me - but he's not my boyfriend, he's AI
(feeds.bbci.co.uk)
4716.
Best Smart TV of 2026
(cnet.com)
4717.
4718.
How the sometimes-weird world of lifespan extension is gaining influence
(technologyreview.com)
4719.
Motorola is getting away with zero OS updates thanks to regulatory loophole
(androidauthority.com)
4720.
4721.
Windows 11 KB5074105 update fixes boot, sign-in, and activation issues
(bleepingcomputer.com)
4722.
Typechecking is undecidable when 'type' is a type (1989) [pdf]
(news.ycombinator.com)
4723.
4724.
EFF to Close Friday in Solidarity with National Shutdown
(news.ycombinator.com)
4725.
4726.
Best OLED TV of 2026
(cnet.com)
4727.
1km tower in the desert is not progress it is a farewell letter to common sense
(news.ycombinator.com)
4728.
4729.
Why Private Equity Is Suddenly Awash With Zombie Firms
(slashdot.org)
4730.
County pays $600k to pentesters it arrested for assessing courthouse security
(news.ycombinator.com)
4731.
4732.
4733.
IEEE Reveals 2026 Predictions for Top Technology Trends
(computer.org)
4734.
4736.
Five practices that fuel success in great leaders
(feeds.feedburner.com)
4737.
143-Year-Old Shipwreck Emerges on a New Jersey Beach
(gizmodo.com)
4738.
4739.
4740.
Today's top topics:
cnet
nvidia
gael cooper
pudding pops
nbc news digital
twin cities
magsafe
amazon
apple
android authority