1.
2.
Apple finally fixed Siri. So why does it feel anticlimactic?
(techcrunch.com)
3.
Gemini Spark now has Chrome web-browsing capabilities
(engadget.com)
4.
Prevent cognitive debt by manually retyping LLM-generated code
(news.ycombinator.com)
5.
6.
Is the Apple Watch waterproof?
(engadget.com)
7.
YouTube and Substack are targeting AI slop
(feeds.feedburner.com)
8.
A big win for Android interoperability
(news.ycombinator.com)
11.
12.
13.
14.
15.
Turning a dumb AC unit smart (without losing my security deposit)
(news.ycombinator.com)
16.
Turning a Dumb AC Unit Smart (Without Losing My Security Deposit)
(news.ycombinator.com)
17.
18.
Code Faster Today … Fail Faster Tomorrow?
(computer.org)
19.
20.
21.
Show HN: Segue – Save context in one AI, load it in another by a short handle
(news.ycombinator.com)
22.
23.
Arista patches VeloCloud Orchestrator zero-day exploited in attacks
(bleepingcomputer.com)
24.
Iran war update: Mediators are reporting progress in diplomatic efforts in the Middle East
(feeds.feedburner.com)
25.
The Proof Machine (2016)
(news.ycombinator.com)
26.
When should you treat a fever? Evolution holds the answer
(feeds.nature.com)
27.
An introduction to formal proof verification and the Curry-Howard Correspondence
(news.ycombinator.com)
28.
Type checker may be wrong – Lean and the Curry-Howard correspondence
(news.ycombinator.com)
29.
Samsung keeps ignoring a hardware flaw with its foldables, and I’m sick of it
(androidauthority.com)
30.
Today's top topics:
apple
android
app store
telegram
iphone
microsoft
universal clipboard
openai
android authority