961.
962.
The extended predicative Mahlo universe in Martin-Löf type theory
(news.ycombinator.com)
963.
964.
Coffee doesn't just wake you up–a biological pathway illuminates health effects
(news.ycombinator.com)
965.
966.
Telegram Mini Apps abused for crypto scams, Android malware delivery
(bleepingcomputer.com)
967.
968.
969.
AI music is flooding streaming services — but who wants it?
(theverge.com)
970.
Shark Promo Code: $100 Off | This May
(wired.com)
971.
Ulta Promo Codes: Up to 50% Off in May
(wired.com)
972.
Kimi K2.6 just beat Claude, GPT-5.5, and Gemini in a coding challenge
(news.ycombinator.com)
973.
OpenAI’s o1 correctly diagnosed 67% of ER patients vs. 50-55% by triage doctors
(news.ycombinator.com)
974.
Show HN: State of the Art of Coding Models, According to Hacker News Commenters
(news.ycombinator.com)
975.
976.
977.
978.
VS Code inserting 'Co-Authored-by Copilot' into commits regardless of usage
(news.ycombinator.com)
979.
980.
The best AI dictation apps, tested and ranked
(techcrunch.com)
981.
982.
Chinese Court Rules That a Worker Cannot Be Replaced by AI
(futurism.com)
983.
What the 1920s Can Teach Us About Surviving the AI Revolution
(feeds.content.dowjones.io)
984.
985.
Refusal in Language Models Is Mediated by a Single Direction
(news.ycombinator.com)
986.
987.
988.
Show HN: nfsdiag – A NFS diagnostic application
(news.ycombinator.com)
989.
Show HN: nfsdiag - a NFS diagnostic application
(news.ycombinator.com)
990.
Open Design: Use Your Coding Agent as a Design Engine
(news.ycombinator.com)