47791.
47792.
47793.
Some Junk Theorems in Lean
(news.ycombinator.com)
47794.
47795.
47796.
The Science That Will Shape 2026
(gizmodo.com)
47797.
The best design books of 2025
(feeds.feedburner.com)
47798.
47799.
47800.
47801.
47803.
Survey reveals most people are holding onto their phones for a long time, and it makes sense
(androidauthority.com)
47804.
My 18 favorite Android apps of 2025
(androidauthority.com)
47805.
47806.
47807.
47808.
This AI slop-free browser is the best idea of 2025
(feeds.feedburner.com)
47809.
How a former Forest Service employee changed the future of housing in California
(feeds.feedburner.com)
47810.
DJI faces extinction in the US with FCC’s ban on new drone sales
(androidauthority.com)
47811.
Samsung One UI 8.5 includes new support for professional camera accessories
(androidauthority.com)
47812.
OnePlus was winning 2025. Then everything fell apart
(androidauthority.com)
47813.
47814.
Man Describes How ChatGPT Led Him Straight Into Psychosis
(futurism.com)
47815.
47816.
47817.
How will AI transform business in 2026?
(feeds.feedburner.com)
47818.
How ‘Cyberchase’ keeps up
(feeds.feedburner.com)
47819.
Are We Loong Yet?
(news.ycombinator.com)
47820.
Show HN: GeneGuessr – a daily biology web puzzle
(news.ycombinator.com)