1381.
1382.
Show HN: Minesweeper Raycasted
(news.ycombinator.com)
1383.
9to5Mac Overtime 074: Apple’s foldable iPhone
(9to5mac.com)
1384.
1385.
1386.
iPhone 18 won’t debut this fall, here’s why
(9to5mac.com)
1387.
Show HN: Brolly, a plain-text weather forecast site
(news.ycombinator.com)
1388.
1389.
1390.
The downsides of switching from Android to iPhone
(engadget.com)
1391.
1392.
Poetry for Engineers: A Martian Rover Sends a Postcard Home
(spectrum.ieee.org)
1393.
An introduction to formal proof verification and the Curry-Howard Correspondence
(news.ycombinator.com)
1394.
Type checker may be wrong – Lean and the Curry-Howard correspondence
(news.ycombinator.com)
1395.
YouTube adds new tools to make creating thumbnails easier
(engadget.com)
1396.
1397.
1398.
Storage upgrades cost too much, and we need microSD cards back
(androidauthority.com)
1399.
1400.
America and Iran Are Locked in a Cycle of Escalation
(feeds.content.dowjones.io)
1401.
1402.
1403.
Samsung keeps ignoring a hardware flaw with its foldables, and I’m sick of it
(androidauthority.com)
1404.
Meet the ultimate Google Photos power-up
(feeds.feedburner.com)
1405.
The Galaxy Z Fold 8 has worse specs than my current phone. I might buy it anyway
(androidauthority.com)
1406.
1407.
1408.
Taylor Farms Called White House to Try to Delay Cyclospora Recall
(news.ycombinator.com)
1409.
Dolmenwood: Fantasy RPG built around the acclaimed Old-School Essentials rules
(news.ycombinator.com)
1410.