Is the Apple Watch waterproof?
(engadget.com)
1.
2.
YouTube and Substack are targeting AI slop
(feeds.feedburner.com)
3.
A big win for Android interoperability
(news.ycombinator.com)
6.
7.
8.
9.
10.
Turning a dumb AC unit smart (without losing my security deposit)
(news.ycombinator.com)
11.
Turning a Dumb AC Unit Smart (Without Losing My Security Deposit)
(news.ycombinator.com)
12.
13.
Code Faster Today … Fail Faster Tomorrow?
(computer.org)
14.
15.
16.
Show HN: Segue – Save context in one AI, load it in another by a short handle
(news.ycombinator.com)
17.
18.
Arista patches VeloCloud Orchestrator zero-day exploited in attacks
(bleepingcomputer.com)
19.
Iran war update: Mediators are reporting progress in diplomatic efforts in the Middle East
(feeds.feedburner.com)
20.
The Proof Machine (2016)
(news.ycombinator.com)
21.
When should you treat a fever? Evolution holds the answer
(feeds.nature.com)
22.
An introduction to formal proof verification and the Curry-Howard Correspondence
(news.ycombinator.com)
23.
Type checker may be wrong – Lean and the Curry-Howard correspondence
(news.ycombinator.com)
24.
Samsung keeps ignoring a hardware flaw with its foldables, and I’m sick of it
(androidauthority.com)
25.
26.
Here’s how Meta decides who to lay off—and it claims to not use AI
(feeds.feedburner.com)
27.
28.
Proving a human wrote something
(news.ycombinator.com)
29.
Proving a Human Wrote Something
(news.ycombinator.com)