每日摘要 · Hacker News
· 2 黑客新闻
Pocketty是一款专为iPhone和iPad设计的SSH终端应用，核心是为herdr工作流量身打造。当你的AI Agent被阻塞或完成任务时，它会通过加密推送即时通知你，让你直接在手机终端接管操作。应用采用端到端加密，所有通知仅你的设备可解密，确保数据绝不经过第三方服务器。支持查看代码Diff、文件浏览及本地服务预览，让你随时随地掌控开发进程，无需订阅，一次付费即可永久使用。
昨天，OpenAI 宣布 Partition Principle 不蕴含 Axiom of Choice，消息一出，许多同行纷纷问我是否要兑现给 Sam Altman 送威士忌的承诺。我的回答是否定的，而且理由很充分：这份预印本质量低劣，结构混乱，引用不当，甚至包含未发表的非同行评审笔记。作为在该领域深耕十五年的研究者，我几乎无法理解其论证逻辑。如果这是学术投稿，理应被直接拒稿。OpenAI 抛…