Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
(news.ycombinator.com)
9751.
9752.
Code review can be better
(news.ycombinator.com)
9753.
Code Review Can Be Better
(news.ycombinator.com)
9754.
9755.
9757.
9759.
9762.
Device searches at the US border hit record high, new data shows
(techcrunch.com)
9763.
Here’s all the new features for Pixels in Android 16 QPR2 Beta 1
(androidauthority.com)
9764.
9765.
9767.
Today only: Rakuten is offering $80 cash back for new Visible customers
(androidauthority.com)
9768.
9771.
9772.
Debugging Behind the Iron Curtain (2010)
(news.ycombinator.com)
9773.
9774.
The Pixel 10 Pro has a smart home feature that might make it future-proof
(androidauthority.com)
9775.
9777.
Phone Searches at the US Border Hit a Record High
(news.ycombinator.com)
9778.
Sony Raises Prices of PlayStation 5 Consoles
(cnet.com)
9779.
9780.
AI Industry Trembles as Nvidia's Stock Nosedives
(futurism.com)
Today's top topics:
samsung
nasa
openai
android authority
google
apple
cnet
gael cooper
pudding pops
nbc news