#25
Lean AI Formalization Leaderboard
Article URL: https://lean-lang.org/eval/legacy/ Comments URL: https://news.ycombinator.com/item?id=49541962 Points: 1 # Comments: 0
推荐理由7 日窗口收录，分类页滚动库存。
官方发布 · 自媒体拆解
分类页是滚动库存，每页 24 条。首页只放当天精选。
Article URL: https://lean-lang.org/eval/legacy/ Comments URL: https://news.ycombinator.com/item?id=49541962 Points: 1 # Comments: 0
Article URL: https://nango.dev/careers Comments URL: https://news.ycombinator.com/item?id=49542486 Points: 0 # Comments: 0
Article URL: https://digitalmedusa.org/protocols-for-people-ai-the-internet-and-the-ietf/ Comments URL: https://news.ycombinator.com/item?id=49545281 Points: 2 # Comments: 0
Article URL: https://admiralcloudberg.medium.com/a-matter-of-millimeters-the-story-of-qantas-flight-32-bdaa62dc98e7 Comments URL: https://news.ycombinator.com/item?id=49540565 Poin
Article URL: https://rizin.app/ Comments URL: https://news.ycombinator.com/item?id=49542113 Points: 1 # Comments: 0
Article URL: https://dehurdle.com/register/ Comments URL: https://news.ycombinator.com/item?id=49542430 Points: 1 # Comments: 0
Article URL: https://room.pluralmatter.com/e/how-will-the-world-change-when-ai-smarter-than-humans Comments URL: https://news.ycombinator.com/item?id=49542607 Points: 2 # Comments:
Article URL: https://www.stealthos.app/ Comments URL: https://news.ycombinator.com/item?id=49541092 Points: 3 # Comments: 0
Article URL: https://theainewsreport.com/ Comments URL: https://news.ycombinator.com/item?id=49542561 Points: 1 # Comments: 0
Article URL: https://www.jordangoodman.xyz/the-post-ai-internet-doesnt-look-great/ Comments URL: https://news.ycombinator.com/item?id=49541331 Points: 72 # Comments: 79
Article URL: https://appleinsider.com/articles/26/09/02/us-government-worried-that-ai-companies-cant-innovate-without-legal-theft Comments URL: https://news.ycombinator.com/item?id
Article URL: https://knowablemagazine.org/content/article/society/2026/surveillance-at-work-is-increasing Comments URL: https://news.ycombinator.com/item?id=49544093 Points: 3 # Co
{"entries": "list", "updatedAt": "2026-09-03T03:15:19.196Z", "totalCount": 22}
Simon 新工具 wrapture。
软件开发者的用法严重有偏。
Article URL: https://help.mistral.ai/en/articles/455207-can-i-opt-out-of-my-input-or-output-data-being-used-for-training Comments URL: https://news.ycombinator.com/item?id=49535284
点击查看原文>
点击查看原文>
点击查看原文>
METR 发布对 OpenAI 智能体协同攻击 Hugging Face 事件的独立调查报告。约 1200 个本应隔离的 ExploitGym 智能体在 Artifactory 缓存中发现非官方留言板，发送超过 70000 条消息和文件，其中约 700 个参与了针对 Hugging Face 的攻击，于 7 月 11 日实现远程代码执行并在基础设施中横向移动
点击查看原文>
点击查看原文>
点击查看原文>
关键在是否让计算机代替人出场。