Toward automated verification of unreviewed AI-generated code
(news.ycombinator.com)
121.
122.
123.
125.
Israeli military drops charges against soldiers accused of abusing Palestinian d
(news.ycombinator.com)
126.
127.
128.
129.
Charging a three-cell nickel-based battery pack with a Li-Ion charger [pdf]
(news.ycombinator.com)
130.
Even Nasdaq Wants in on the Prediction Market Frenzy
(gizmodo.com)
131.
Vibe coded Lovable-hosted app littered with basic flaws exposed 18K users
(news.ycombinator.com)
132.
PA bench: Evaluating web agents on real world personal assistant workflows
(news.ycombinator.com)
133.
134.
Osaka: Kansai Airport proud to have never lost single piece of luggage (2024)
(news.ycombinator.com)
135.
Kansai Airport has never lost a baggage in the 30 years since it opened
(news.ycombinator.com)
136.
Nvidia and OpenAI abandon unfinished $100B deal in favour of $30B investment
(news.ycombinator.com)
137.
All Look Same?
(news.ycombinator.com)
138.
139.
140.
'Software Isn't Dead, But Its Cosy Business Model Might Be'
(slashdot.org)
141.
144.
145.
US businesses and consumers pay 90% of tariff costs, New York Fed says
(news.ycombinator.com)
146.
147.
148.
WeRide Using AI to Cut Costs as It Grows Robotaxi Fleet
(feeds.content.dowjones.io)