1141.
1142.
Trump Threatens New Tariffs Against EU Over Google Fine
(slashdot.org)
1143.
1144.
Poetry for Engineers: A Martian Rover Sends a Postcard Home
(spectrum.ieee.org)
1145.
An introduction to formal proof verification and the Curry-Howard Correspondence
(news.ycombinator.com)
1146.
Type checker may be wrong – Lean and the Curry-Howard correspondence
(news.ycombinator.com)
1147.
1148.
With help from data, art museums are reframing the visitor experience
(arstechnica.com)
1149.
1151.
1152.
3 big new changes to federal student loans and what they mean for you
(feeds.feedburner.com)
1153.
1154.
1155.
What Surrounds Us will make you think a lot about circles
(theverge.com)
1156.
Android may soon restrict on-device ADB
(news.ycombinator.com)
1157.
Android May Soon Restrict On-Device ADB
(news.ycombinator.com)
1158.
AI surveillance is destroying the workplace
(feeds.feedburner.com)
1159.
Forget expensive sleepbuds. Buy this pillow instead
(theverge.com)
1160.
1161.
1162.
Sperm Whales blow bubbles to achieve restful, vertical sleep
(news.ycombinator.com)
1164.
1165.
1166.
CISOs vs. Boards: Myth or Misunderstanding?
(darkreading.com)
1167.
1168.
1169.
Anthropic's Opus 5 is about token efficiency, not a capability leap
(arstechnica.com)
1170.