15001.
15002.
Some Junk Theorems in Lean
(news.ycombinator.com)
15003.
The best design books of 2025
(feeds.feedburner.com)
15004.
15005.
15006.
Switch into savings: Nintendo's holiday game sale is here
(techspot.com)
15008.
15009.
How I learned to stop worrying and love AI slop
(technologyreview.com)
15010.
Are We Loong Yet?
(news.ycombinator.com)
15011.
Pixels and iPhones have plenty in common, and a lot of you don’t know about it
(androidauthority.com)
15012.
15013.
15014.
Galaxy A37, A57 camera specs leak: A big upgrade for the cheaper phone
(androidauthority.com)
15015.
The Modern SD Card Buying Guide
(techspot.com)
15016.
15017.
30% Off Tempur-Pedic Promo Codes | December 2025
(wired.com)
15018.
Show HN: CineCLI – Browse and torrent movies directly from your terminal
(news.ycombinator.com)
15019.
The Duodecimal Bulletin, Vol. 55, No. 1, Year 1209 [pdf]
(news.ycombinator.com)
15020.
Score a Kindle reader deal: Most are on sale!
(androidauthority.com)
15021.
15022.
Satellites reveal heat leaking from largest US cryptocurrency mining center
(news.ycombinator.com)
15023.
Echo Auto $14.99 deal: Alexa, let’s go on a road trip
(androidauthority.com)
15024.
Lotusbail npm package found to be harvesting WhatsApp messages and contacts
(news.ycombinator.com)
15025.
NPM Package with 56K Downloads Caught Stealing WhatsApp Messages
(news.ycombinator.com)
15027.
Coinbase buys The Clearing Company, doubling down on prediction markets
(feeds.feedburner.com)
15028.
Find Hub is finally starting to take proper advantage of Google Maps (Updated)
(androidauthority.com)
15029.
Nest cameras are getting better at telling the difference between cats and dogs
(androidauthority.com)
15030.
Today's top topics:
nvidia
google
openai
android
samsung
semiconductor
jensen huang
ai chips
spacex
hypershell