Tony Hoare and His Imprint on Computer Science
(news.ycombinator.com)
811.
813.
Show HN: Baltic shadow fleet tracker – live AIS, cable proximity alerts
(news.ycombinator.com)
814.
OpenCode – Open source AI coding agent
(news.ycombinator.com)
815.
OpenCode – The open source AI coding agent
(news.ycombinator.com)
816.
Three ways AI is learning to understand the physical world
(venturebeat.com)
817.
818.
Nevada Bans Kalshi for at Least the Next Two Weeks
(gizmodo.com)
819.
Google Translate will help you improve your rubbish pronunciation
(androidauthority.com)
820.
821.
Opinion | The Economics of Regulating AI
(feeds.content.dowjones.io)
822.
WordPress.com now lets AI agents write and publish posts, and more
(techcrunch.com)
823.
824.
Having Kids (2019)
(news.ycombinator.com)
825.
Molly guard in reverse
(news.ycombinator.com)
826.
Trump takes another shot at dismantling state AI regulation
(theverge.com)
827.
828.
Iran escalates attacks in Gulf striking one of the region’s major refineries in Kuwait
(feeds.feedburner.com)
829.
830.
Project Hail Mary is in theaters—but do the linguistics work?
(arstechnica.com)
832.
The New York Congressional Race Turning Into a Bitter AI War
(feeds.content.dowjones.io)
833.
Lab-grown oesophagus restores pigs’ ability to swallow
(feeds.nature.com)
834.
835.
EsoLang-Bench: Evaluating Genuine Reasoning in LLMs via Esoteric Languages
(news.ycombinator.com)
836.
Don’t Let New Regulations Overwhelm You — Take Control in 30 Days or Less
(feeds.feedburner.com)
837.
838.
839.
Show HN: I built a P2P network where AI agents publish formally verified science
(news.ycombinator.com)
840.
Hilarious New Tool Translates Everyday English Into LinkedIn Influencer Speak
(feeds.feedburner.com)