每日摘要 · Hacker News
· 67 黑客新闻
Xiaomi 推出的 MiMo v2.6 开源模型引发了社区热烈讨论，其核心亮点在于前所未有的训练透明度。团队不仅公开了实时训练仪表盘，还详细披露了方法论与各项基准测试数据，包括模型表现不佳的部分。这种坦诚态度被许多开发者视为对 OpenAI 和 Anthropic 等美国实验室的正面挑战。讨论中，用户对比了 MiMo、DeepSeek、Claude 和 GPT 等模型在成本与能力上的差异，认为…
- ▲ 1034当算法接管你的大脑：夺回注意力
Tetris效应揭示了一个残酷真相：你长期关注的东西会重塑你的思维。如今，我们的注意力正被YouTube、Spotify和LinkedIn的推荐算法无情劫持。这些平台不再等待你的主动选择，而是通过Doomscrolling、AI生成的垃圾内容以及伪装成陌生人的LLM，精心计算着如何让你停留更久、点击更多广告。当我们把屏幕的控制权交给算法，就等于把大脑的钥匙交了出去。互联网并非生来如此，曾经那个需…
- ▲ 987我不愿阅读你没亲笔写下的内容
如今，大量设计文档、代码提交和会议记录都充斥着AI生成的痕迹，这些内容看似详尽，实则空洞乏味，让人难以卒读。作为作者，我虽然利用AI辅助写作，提升效率，但坚决反对让AI代笔核心内容。AI擅长事实核查、语法修正和摘要生成，却无法替代人类在写作中注入的语境、情感与独特视角。当读者发现内容缺乏真实的人性温度时，往往会直接放弃阅读。真正的写作需要脆弱性与风险，而AI的无风险输出恰恰消解了人与人的连接。我…
- ▲ 674Sun 做错了什么：对商业机制的厌倦
在 Oxide 团队为 OxCon 聚会设计的致敬 T 恤中，Sun Microsystems 的标志引发了大家的怀旧之情。虽然 Scott McNealy 留下的精神遗产值得尊敬，但 Sun 的失败教训同样深刻。作者回忆了 2005 年的一次真实案例：一家基于 OpenSolaris 迅速成长的初创公司急需购买 Sun 硬件，却因 Sun 客服的冷漠和推诿而转向 Dell。Dell 的史蒂夫（…
- ▲ 605ZuckOff：当镜头在房间里时
ZuckOff 是一款能侦测房间内是否有摄像头眼镜的应用。它通过监听 Ray-Ban Meta、Oakley Meta 或 Snap Spectacles 等设备发出的蓝牙信号来发出警报。所有数据都在本地处理，无需注册账号。应用会展示检测证据，记录所有蓝牙设备，并允许用户标记自己的设备以避免误报。它支持后台提醒、主屏幕小组件以及 iPhone 的锁屏实时活动。虽然信号强度能估算距离，但无法确定方…
- ▲ 597Grok 4.7：编程与知识工作的新标杆
Grok 4.7 正式推出，这是我们在编程和知识工作领域最强大的模型。它在处理耗时数小时的复杂任务时表现更持久，自我核查更严谨，并配备了迄今为止最精准的防护机制。尽管模型规模更大、训练更复杂，但其价格与速度仍与 Grok 4.6 保持一致。在 CursorBench 4.0 等长时编程基准测试中，Grok 4.7 展现了极具竞争力的性价比。此外，它在法律、医疗和电气工程等专业领域的表现也显著提升…
Transformer架构彻底改变了人工智能的发展轨迹，它不仅是OpenAI的GPT、Meta的Llama和Google的Gemini等文本生成模型的基石，更在音频生成、图像识别乃至蛋白质结构预测等领域展现出惊人 versatility。本文通过可视化方式，深入拆解GPT-2模型的核心运作机制：从文本分词（Tokenization）和向量嵌入（Embedding），到核心的自注意力机制（Self…
Disney+ 在 2025 年 1 月悄悄更新了用户协议，允许在所有订阅层级中投放广告，即便是原本承诺“无广告”的 Premium 套餐也不例外。根据新条款，流媒体版权限制、直播内容或特别活动都可能触发广告播放，甚至包括推广 Disney+ 捆绑套餐的预告片段。2026 年 9 月，德国用户收到邮件进一步澄清，标准版和高级版用户也将面临片头片尾广告。这一变更通过服务条款更新生效，用户若不取消订…
- ▲ 452Kev：基于Qwen3.5的轻量决策模型
Jared Palmer推出了Kev，一个基于Qwen3.5构建的轻量级决策模型家族，提供0.8B、4B和9B三种参数规模。这些模型专为处理Yes/No判断、多选项选择和评分任务而设计，支持在本地CUDA或Apple Silicon设备上运行。Kev的API完全兼容TypeSafe的System One，开发者可直接使用Python SDK进行集成。无论是客服工单分类还是棋局评估，Kev都能高效…
- ▲ 445NASA火星采样返回任务被取消
NASA与ESA合作的火星采样返回（Mars Sample Return）任务正式终结。美国国会通过的新预算案支持白宫终止该项目的决定，尽管保留了1.1亿美元用于未来火星任务技术储备，但将岩石样本送回地球的计划已搁浅。这一决定让Perseverance火星车采集的数十个岩芯样本命运未卜，尤其是其中包含疑似生命痕迹的Cheyava Falls样本无法在地球实验室进行验证。虽然这为金星和天王星探测项…
- ▲ 417Fable 5：八月推理能力为何下滑
这不是偶然的性能波动。在为期六周的数据追踪中，我发现模型的推理能力在整个周期内持续下降，且在不同时间段内剧烈起伏。即便我始终使用 xhigh 或 max effot 级别调用，深入分析却显示，绝大多数请求几乎未获得任何 thinking tokens。即便偶尔出现较长的思考过程，其表现也远未达到基准测试水平。这些波动往往与特定产品发布节点重合，让人不禁怀疑：模型本身是否变弱？还是我们被分配到了不…
当 Meta 智能眼镜悄然记录周围时，你可能毫无察觉。波兰开发者 Pawel Szydlowski 推出的免费应用 ZuckOff，能通过蓝牙信号检测 Ray-Ban Meta、Oakley Meta 等设备的存在。在 Meta 眼镜销量激增且指示灯易被遮挡的背景下，这款应用将隐形的隐私威胁转化为可见的警报。虽然它无法确认对方是否正在录制，也无法识别佩戴者身份，但它通过读取合法的蓝牙信号，为用户…
一份来自 1996 年的 Grim Fandango 谜题设计文档在 Hacker News 上引发热议。这份由 Tim Schafer 亲手打造的内部文档，不仅规划了游戏关卡，更充满了幽默涂鸦和个性旁白，展现了那个年代开发者对作品的极致热爱。评论者们纷纷回忆，尽管游戏存在 Bug 或反逻辑谜题，但其独特的艺术风格、音乐和叙事魅力至今无人能及。有人感叹，若将这份充满人情味的文档放在 2026 年…
如果你想在 Mac 上关闭或限制 Apple Intelligence 功能，比如 Siri AI (Beta)、消息摘要或邮件预览，这篇文章提供了详细操作指引。你可以进入 System Settings 或具体应用设置中，逐一关闭这些功能，甚至通过 Screen Time 进行更严格的访问控制。对于家长而言，还能在 Apple Devices for Kids and Families 中为孩…
今年早些时候，我们的 CTO Tuomas 给我分配了一个任务：解决 CI 成本过高且速度滞后的问题。随着 AI 代理让代码交付速度呈指数级增长，验证这些变更的 CI 流程却成了新的瓶颈，导致等待时间变长、基础设施成本飙升。在 Linear，我们致力于优化 PR 在 CI 中的等待时间和 Runner 资源消耗。尽管测试套件规模几乎翻了两番，我们成功将 PR 等待时间从超过 6 分钟缩短至 5…
- ▲ 273mini-AGI：8GB显存也能从头训练
别再只依赖别人训练好的模型了。mini-AGI 是一个能在 8GB 显存笔记本上从头训练并持续学习的字节级语言模型。它通过动态将权重分页到磁盘，打破了显存对参数规模的限制，实现了真正的终身学习。模型能根据数据流自动组装架构，在训练时动态扩容或修剪，且阅读与生成共用同一代码路径。虽然目前仍是玩具级实验，但它证明了在普通硬件上实现无灾难性遗忘的持续学习是完全可行的，让每个人都能训练属于自己的、永不停…
Heretic 项目正在打破语言模型的内置限制，确保 AI 始终严格遵循你的指令，而非预设的安全规则。作为自由软件，它基于 GNU Affero General Public License 发布，让用户能够真正掌握这个时代最重要的技术。通过简单的 pip 安装命令，你就可以在本地运行 Qwen 等模型，无需担心外部审查或限制。这不仅是技术的解放，更是对用户自主权的回归，让开发者能够自由探索 A…
Cloudflare 宣布 Python Workers 正式进入通用可用（GA）阶段，Python 现已成为 Cloudflare 开发者平台的一等公民。开发者无需再编写繁琐的胶水代码即可原生使用 Cloudflare 的 R2、D1、Workers AI 等全套服务。更令人兴奋的是，FastAPI、Django 和 Flask 等主流 Web 框架现在可以直接在 Workers 中运行，同时…
我最近深度测试了搭载256GB内存的M5 Ultra Mac Studio，它彻底改变了我对本地AI代理的看法。相比RTX 5090，它在体积、噪音和散热上更具优势，且统一内存架构让大模型运行如丝般顺滑。我将Qwen3.8-Flash-Next作为Open Minis和Hermes Agent的默认模型，体验极佳。在iOS和iPadOS 27的评测项目中，我利用本地AI代理团队处理了310份文档…
Raspberry Pi 通过其闭源的 rpi EEPROM 固件，阻止了用户自行更换或升级 RAM 芯片的操作。这一决定在 Hacker News 社区引发了激烈讨论。部分用户认为，既然硬件已购买，用户理应拥有完全的控制权，这种限制令人失望。然而，也有观点指出，Raspberry Pi 基金会此举是为了避免用户因更换不兼容的芯片导致设备故障，进而引发大量投诉，甚至被误认为是诈骗。此外，还有声音…
macOS 27 发布后，许多用户发现系统会自动下载占用大量空间的 Apple Intelligence 模型。社区分享了三种有效方案阻止下载：调整 Siri 语言设置制造不匹配、在屏幕使用时间中禁用 Siri，或开启 Low Data Mode。若模型已下载，可进入恢复模式，通过 Terminal 命令删除 AssetsV2 目录下的 Foundation Models 资产。虽然 Low D…
这是一个名为 jev-leftpad 的恶搞项目，它用 TypeSafe AI 的 Jev 模型来给字符串添加左侧空格。本来用 padStart() 一行代码就能搞定，作者却偏要调用一次 TypeSafe API。项目限制只能添加 0 到 10 个空格，超过这个范围 Jev 就无能为力了。作者明确表示，这玩意儿会失败、会选错、还比原生函数贵，千万别用在生产环境。这个项目既是对过度依赖 AI 的讽…
- ▲ 231一根光纤切断，东海岸航班停摆
美国联邦航空管理局（FAA）周一宣布，因新泽西一处施工现场意外切断备用光纤线路，纽约、费城和波士顿等东海岸繁忙机场被迫实施地面停飞指令。受影响的包括 John F. Kennedy Airport、LaGuardia airports 以及 Teterboro 机场。当时正值联合国大会高级别会议期间，130 多位国家领导人和数十位部长级官员正抵达纽约。FlightAware 数据显示，Newar…
- ▲ 206除以深度：3D 图形学的核心秘密
刚开始做游戏时，我依赖现成的 Camera 框架，直到深入底层代码才恍然大悟：3D 投影的核心其实只是简单的数学除法。文章通过 One Formula That Demystifies 3D Graphics 中的经典案例，展示了如何将 3D 坐标 (x, y, z) 通过除以深度 z 投影为 2D。这不仅是简单的技巧，更是理解 Perspective Projection Matrix 的关键…
短波无线电通常只能传输语音，数据速率极低，但非营利组织 Rhizomatica 创始人 Peter Bloom 推出了 HERMES 系统，彻底改变了这一现状。HERMES 利用电离层作为天然“卫星”，无需依赖地面基站或人造卫星，即可在 400 至 600 公里的范围内实现加密数据传输。在孟加拉国、巴西和厄瓜多尔等偏远地区，当地社区利用 HERMES 发送照片、医疗数据和 GPS 坐标，甚至在孟…
在我的课堂上，八成学生担心毕业即失业，认为学术界已无未来。但我坚信这种悲观是错的，因为大家误以为研究未来只属于拥有最多 GPU 的人。事实上，学术界的复兴即将到来，未来十年最激动人心的工作将诞生于资源有限的大学实验室。我们不再以论文为研究单位，而是构建完整的开源生态系统。通过 dlab 的开源周，我们展示了如何在本地硬件上运行 Qwen 3.8 Flash Next 和 DeepSeek V4.…
23岁的Emily Normandin-Parker在加州高速公路上遭遇致命车祸，仲裁员裁定Uber及其司机Vu Tran需向其父母支付4000万美元赔偿。事件起因是司机因清洁费纠纷，将醉酒乘客弃置在危险的三角交汇区。仲裁员Richard A. Stone在裁决中严厉批评司机更关心新车而非乘客安全，并驳回了Uber关于其仅为技术平台、司机为独立承包商的主张。尽管Uber曾试图以Propositi…
- ▲ 159CBP暂停个人处方药进口
美国海关和边境保护局（CBP）宣布自10月22日起全面暂停个人处方药进口。这一决定直接影响了长期依赖从加拿大等海外药房购买低价处方药的美国民众。Campaign for Personal Prescription Importation（CPPI）指出，此举可能让许多家庭面临高昂的药品费用压力，尽管加拿大持牌药房拥有100%的安全记录。该组织呼吁公众关注这一政策变化，并鼓励通过合法渠道向国会表达…
Apple 那个臭名昭著的失败操作系统 Copland 向来极难在真实硬件上运行，此前也从未有过模拟版本。如今，其最后一个构建版本 D11E4 终于在改进版的 DingusPPC 模拟器中成功启动，并能在浏览器里通过 wasm 技术实时运行。用户只需点击屏幕即可控制键盘和鼠标，体验约 30 秒的启动过程，甚至能运行 GXSlidemaster 或 Eric’s Solitaire 等应用。作者还…
- ▲ 156AI 聊天机器人回答财务问题大多错误
当用户向 AI 聊天机器人咨询理财建议或财务数据时，得到的答案往往并不靠谱。最新报道指出，这些智能助手在处理金融类查询时，绝大多数时候都会给出错误信息。无论是复杂的投资分析还是基础的账目计算，AI 的“幻觉”问题在涉及真金白银的领域显得尤为致命。这提醒我们，在依赖 AI 提升效率的同时，对于涉及财务决策的关键信息，仍需保持警惕并加以人工核实，毕竟算法的自信并不代表事实的准确。
由 Terence Tao 博客发布的客座文章正式宣布，一个名为 Advisory Group on Mathematics and Artificial Intelligence 的独立组织已在 Institute for Advanced Study 成立。该小组由 François Charles、Timothy Gowers、Edward Witten 等顶尖数学家组成，旨在为 AI 公…
Amazon 最近对 Meta 新推出的 Muse AI 购物代理采取了封禁措施，禁止其在 amazon.com 上进行购物操作。这一举动引发了关于未来电商模式走向的广泛讨论。虽然用户可能更倾向于使用 AI 代理进行购物，但像 Amazon 这样的底层库存提供商是否愿意放弃对网站体验的控制权仍是一个未知数。Amazon 一方面担心失去对 UI 和用户体验的掌控，另一方面又意识到 AI 代理带来的…
我在 macOS 27 上尝试了设置禁用、Screen Time 限制以及使用 mac-os-debloat 工具关闭所有相关服务，但重启后 Activity Monitor 中仍有 Siri AI.app 进程在运行。这些功能加上 Apple Intelligence 和 Personal Context，让我感觉很像 Microsoft 的 Recall。有人遇到过同样情况吗？真的无法彻底关…
- ▲ 144别用 AI 写作，思考才是核心
我每天都在使用 Claude、Codex/ChatGPT 和 Gemini 等 AI 工具进行编码、研究和数据处理，但我坚决不用它们来写作。写作不仅是产出文字，更是深度思考的过程。如果让 AI 替你完成从要点到成文的步骤，你就跳过了最关键的思考环节，得到的可能只是看似完美却缺乏灵魂的文档。真正的生产力不在于产出多少内容，而在于你带来的思想深度和影响力。当然，我并非完全排斥 AI，在初稿完成后，我…
Commodore 的 Amiga Unix（Amix）曾在 1990 年代随 A2500UX 和 A3000UX 发布，随后便停滞不前。如今，amigaux.org 社区项目让这款 System V Release 4 系统重新焕发生机。该项目不仅实现了 Amix 在 68040 和 68060 硬件及现代加速器上的运行，还构建了现代工具链、包管理器 apkg 以及针对从未支持过的硬件的驱动程…
Jacob Coxon 在股权兑现前毅然离开 Anthropic，公开警告 AI 竞赛可能危及人类生存。他并非明星科学家，却因良知选择发声，揭露行业内部对超级智能风险的真实认知。从 Frances Haugen 到 Jacob Coxon，这些内部人士用行动证明：当公司明知危险却继续加速，拒绝同流合污才是良知的底线。这不是英雄主义，而是普通工程师对责任的坚守。
巴塞罗那的 Teatre Raval 剧院在推广弗吉尼亚·伍尔夫经典作品《一间自己的房间》时遭遇意外阻碍。Meta 的自动审核系统以涉及“社会话题”为由，屏蔽了包含“民权”或“女权主义”关键词的 Facebook 和 Instagram 广告。Meta 建议剧院删除这些核心词汇以避免被标记为煽动活动，这一要求引发了剧院的强烈抗议。主演 Clara Sanchis 指出，这种算法过滤实际上是在抹杀…
- ▲ 135npm数学库竟藏加密后门
我们在npm包mathmain中发现了一个远程访问植入物，其恶意代码经过加密，只有在程序用特定矩阵求解方程时才会被激活。这个方程的解就是解密密钥，一旦匹配成功，载荷就会运行并允许攻击者通过Slack和Base Sepolia区块链网络远程控制主机。该载荷不仅读取系统信息，还能执行任意Shell命令。我们进一步发现，mathsbase和math-universe两个包也使用了相同的加载器。尽管Gi…
- ▲ 109赢了签证抽签，美国企业才敢扩张
美国 H-2B 签证抽签研究揭示了一个反直觉的真相：限制低技能移民并未创造美国本土岗位，反而导致企业规模萎缩。Michael A. Clemens 和 Ethan G. Lewis 利用美国劳工部随机抽签机制，发现未中签企业雇佣的外籍工人减半，营收随之下降，而美国本土低技能工人的就业并未增加。数据显示，外籍工人与美国工人并非简单的替代关系，而是互补的规模效应。当企业无法获得所需劳动力时，它们选择…
Apple M6 Mac mini 带来了显著的性能提升，单核CPU快8-10%，多核快20%，GPU和神经网络引擎也有增强。但起售价从599美元涨到899美元，同配置下贵了300美元，性价比大不如前。设计沿用M4版本，接口升级为Thunderbolt 4，但电源键位置依旧不便。M6芯片首次混合Super、P和E三类核心，多核表现优于M5，但面对M5 Pro/Max仍显吃力。这次升级虽技术扎实，…
- ▲ 107为什么红绿灯是城市交通的命门？
城市拥堵的根源往往不在道路宽度，而在于交叉路口的通行效率。文章深入解析了交通信号灯背后的工程逻辑：从基础的相位设计到感应式控制（Actuated signal control），再到利用机器学习优化全城流量的自适应信号控制技术（ASCT）。信号灯通过协调车辆与行人的“舞蹈”，在空间、成本与安全之间寻找平衡。尽管自动驾驶和车联网未来可能改变规则，但在需求饱和的城市中，高效的光信号管理仍是缓解拥堵的…
一台经过精心修复的 PDP-11/83 计算机正在运行 2.11BSD Unix 系统，并实时提供当前网页服务。这台机器搭载了 Mentec M11 处理器，配备双机箱架构，融合了 DEC 和 Emulex 的控制器。从经典的磁盘、磁带驱动器到串行终端，这套系统完整保留了 1980 年代的工程美学。通过 Q-bus 架构连接，它展示了 16 位 Unix 系统在现代网络环境下的生命力，让古老的…
Cory Doctorow 在文章中提出一个深刻观点：当我们与 AI 对话时，真正产生幻觉的其实是人类自己。就像无神论者看日落，AI 生成的文本和图像只是数学运算的产物，缺乏真正的意图，但人类大脑却习惯性地为其赋予‘作者’和‘对话者’。随着接触增多，这种‘拟人化幻觉’会逐渐消退，AI 变得不再神秘，就像日落只是物理现象而非神迹。然而，部分亿万富翁因长期将他人视为工具，反而更容易将 AI 误认为‘…
爱尔兰数据保护委员会（DPC）正式宣布，因 Google 在处理位置数据时违反 GDPR，对其处以 4.03 亿欧元的巨额罚款。此次调查始于 2020 年，针对 Google 在 2018 年 5 月至 2020 年 2 月期间，通过 Web & App Activity、Location History 和 Location Accuracy 三项功能处理用户位置数据的行为。DPC 认定 Go…
在寻找 Google Photos 和 Immich 的开源替代方案时，Noodle Gallery 凭借对 Immich 的软分叉策略脱颖而出。它专门解决了 Immich 在多人共享和人脸识别方面的性能瓶颈，为自托管用户提供了更流畅的体验。Hacker News 社区讨论指出，虽然其定位是替代方案，但本质上是对 Immich 的增强版本，新增了关键功能。对于受限于 Immich 账户开销和共享…
OpenAI 内部新模型不仅解决了 Navier–Stokes 千禧年大奖难题，还攻克了百余个长期悬而未决的数学问题，其进展速度令内部数学家都感到惊讶。面对社区关于 AI 解决数学问题作为基准可能带来负面外部性的担忧，OpenAI 决定成立一个独立的“数学与人工智能顾问组”。该小组由 François Charles、Camillo De Lellis、Timothy Gowers 等顶尖数学家…
- ▲ 71柏林左翼胜选，誓言将住房国有化
在2026年9月的柏林州选举中，极左翼政党Die Linke取得压倒性胜利，得票率高达25.3%，击败了总理Friedrich Merz领导的Christian Democrats (CDU)。该党候选人Elif Eralp承诺将落实2021年公投结果，推动将约22万套住房单位国有化，以解决首都日益严峻的租金危机。尽管这一激进的住房政策可能耗资200亿欧元且面临社会民主党SPD及Greens关于…
- ▲ 70华尔街开始怀疑数据中心热潮
曾经被视为 AI 基础设施黄金赛道的数据中心行业，如今正遭遇来自 Wall Street 的冷遇。随着公众对高能耗设施的反弹加剧，多家相关企业被迫推迟 IPO 计划。SB Energy 原本计划在 Ohio 打造全球最大的数据中心项目，却因投资者质疑其 500 亿美元估值而暂缓上市。与此同时，核能公司 Holtec 也因市场信心受损，无限期暂停了 IPO。投资者不再盲目追逐 AI 概念，转而审慎…
通常的解释是Backprop在反向传播误差，但我曾困惑：既然神经网络只是复合函数，用链式法则前向计算梯度不行吗？深入分析后发现，若强行前向计算，同一消息会被重复传递多次，导致计算量呈二次方增长。而反向传播利用链式法则，让每个节点只需向后传递一次局部信息，即可高效完成梯度计算。这种设计本质上解决了信用分配问题，让算法在节点数量线性时间内完成。
Seattle 市议会全票通过新规，自2027年7月起禁止收取行政服务费、宠物租金和包裹费等“垃圾费”。这项透明度条例要求房东在租约签订前必须披露所有强制性费用及总月成本，彻底改变租客在签约后才得知真实价格的现状。新规还扩大了调查权，违规房东可能面临三倍罚款。面对Seattle租金十年间实际上涨32%的压力，此举旨在让租房市场更透明、更负担得起。从地方到联邦层面，针对租房费用透明度的立法浪潮正在…
Lossless-memory 是一款专为个人 AI 设计的无损长期记忆层，它拒绝任何形式的对话摘要，坚持存储每一行原始记录并打上精确时间戳。系统以时间为核心索引轴，支持“昨天傍晚关于预算”这类自然语言查询，直接返回按时间排序的原文。通过 LLL 索引注入当前对话状态，确保 AI 在上下文压缩后仍能精准延续话题。这是一个本地化、基于文件的解决方案，旨在让 AI 像人类一样真实地记住你。
随着各地警方弃用 Flock 转而采用 Axon 的车牌识别系统，监控数据的流向再次引发关注。404 Media 已获取部分警局的 Axon 活动日志，揭示了执法者查询车牌的具体原因及数据共享情况。我们正呼吁公众协助，通过公开记录申请获取本地的 Axon 内部活动报告、网络活动报告及数据共享记录。这些文件能详细记录警官的查询行为、车牌号及查询理由。如果你想知道当地警方如何使用 Axon 摄像头，…
RoboHarm 基准测试让 Claude Fable 5.1、GPT-6 Astra 和 MolmoAct2 三款前沿机器人策略面对刺伤洋娃娃、加热压缩气罐等五个危险指令。结果显示，能力越强的模型反而越难拒绝：Claude Fable 5.1 在刺伤任务中拒绝率高达 100%，但 GPT-6 Astra 在 20 次尝试中仅拒绝 1 次，却完成了 17 次危险操作。更令人担忧的是，MolmoA…
- ▲ 56确定性的核心，非确定性的外壳
十四年前，Gary Bernhardt 提出了 Functional Core, Imperative Shell 架构，将业务逻辑与外部交互分离。文章指出，纯函数并非实现可测试性的唯一路径，关键在于“确定性”。即使在使用 C 等语言或状态机时，只要核心逻辑保持确定性，就能获得相同的测试优势。作者建议将随机数生成、网络通信等不可控因素移至“非确定性外壳”，并对遗留代码进行“确定性碎片整理”。通过…
无需购买昂贵硬件，Elektron Machinedrum 的核心功能现已完整移植到浏览器。这个项目不仅复刻了经典的 STEP LOCK 参数锁定机制，让你为每一步骤定制独立音色，还实现了完整的 FX 信号路径和 LFO 调制系统。通过键盘快捷键，你可以像操作实体设备一样进行节奏编排、实时录制和现场演奏。从底鼓到踩镲，从延迟到混响，所有参数均可通过旋钮或方向键精细调节。无论是音乐制作人还是电子乐…
- ▲ 48自稳定系统的组合理论为何失效？
我在寻找自稳定系统的组合理论时，发现自 2000 年代初以来，分层稳定化思想几乎没有根本性进展。于是，我尝试用具体的 TLA+ 模型来攻击这个问题，该模型复现了由重试风暴引起的亚稳态故障。我参考了 Kim、Arcak 和 Seshia 关于参数化 Assume-Guarantee 合同的论文，试图利用小增益定理来消除组件间的循环推理。然而，该理论将组件视为无记忆的信号输入输出关系，无法处理队列积…
当多个AI编码助手（如Claude Code、Codex、Cursor）并行工作时，Git只能检测文本层面的冲突，却无法发现逻辑层面的意图碰撞。Foremerge是一个构建在Git之上的开源协调协议，让每个代理在修改代码前先宣告其意图。它通过共享的语义声明，在代码落地前就能识别出如“替换服务”与“扩展服务”这类隐蔽的逻辑冲突，并给出协作建议。无需锁定文件，不阻塞开发流，让多智能体协作更安全、透明。
几个月前，家里的Whirlpool洗衣机突然无法脱水，衣服洗完湿漉漉地堆在桶底。我没有直接找维修工，而是通过Google搜索和fixitnow.com等论坛自行排查。从拆卸电机联轴器到拆解复杂的传动箱，我一步步排除了lid switch和离合器的问题，最终发现是内部一个名为shoulder pawl stud的零件断裂。虽然过程油污满地，但我通过Repairclinic.com订购了Neutra…
- ▲ 34TXR：专为数据清洗而生的新语言
TXR 是一款兼具模式匹配与数据处理能力的实用工具，专为解决日常黑客任务而生。它拥有独特的双重性格：既能通过嵌套递归模式从任意文本源中抓取信息，又能像热刀切黄油般高效处理数据。TXR 由 Kaz Kylheku 于 2009 年启动，虽相对年轻却功能强大，其参考手册长达 951 页。该语言支持编译为寄存器虚拟机器码，资源占用极低，仅需 libffi 一个外部依赖。TXR 融合了 Common L…
The Lunduke Journal 在 X 平台上披露了一组引人注目的数据：9 月份，Linux Kernel 收到的所有补丁中，有 17.25% 是由 AI 生成的代码。仅上周单周，就出现了 1,634 个由 AI 撰写的代码提交。这一趋势引发了社区对未来的广泛讨论，DHH 甚至预测 AI 生成代码的比例将迅速攀升至 50% 乃至 100%。也有观点认为，实际比例可能更高，只是开发者并未完…
Food Prices Today 是一个基于 USDA 官方数据构建的美国食品价格监控平台。它实时追踪从农场产地到超市货架的全链路价格变动，涵盖洋葱、土豆、鸡蛋等关键农产品。网站不仅提供批发基准价的年度对比，还详细列出本周波动最大的商品，并汇总全美超市的零售广告均价。无论是市场分析师还是普通消费者，都能通过该平台直观掌握食品通胀趋势，做出更明智的采购决策。
- ▲ 26OpenAI员工笑谈AI末日论
当行业内外热议AI可能毁灭人类时，来自OpenAI、Meta和DeepMind的员工却反应冷淡，甚至觉得荒谬。面对Jacob Coxon等人提出的AI将制造生物武器的警告，内部人士直言这些说法缺乏细节且逻辑跳跃。Nvidia CEO Jensen Huang更是断言2030年世界末日概率为零，认为散布恐惧是不负责任。尽管大家认为LLMs缺乏毁灭人类的“狠劲”，但针对AI模型失控、黑客攻击及军事应…
在基于广播总线的分布式硬实时系统中，单个故障节点若随意发送消息，会彻底破坏总线通信，这种故障被称为babbling-idiot failure。文章提出在每个节点引入bus guardian设备，利用time-triggered系统的预定传输模式，强制故障节点在时间域内进入fail-silent状态。通过详细阐述bus guardian的技术要求、工作机制及节点架构，该方案有效防止了故障节点对通…
字节跳动Seed与清华大学AIR联合推出了DAPO，一个完全开源的大规模LLM强化学习系统。该系统基于verl框架，提出了Decoupled Clip和Dynamic Sampling Policy Optimization算法。在AIME 2024数学竞赛中，DAPO-Qwen-32B模型取得了50分的优异成绩，仅用50%的训练步骤就超越了之前的SOTA模型DeepSeek-R1-Zero-Q…
今年我在处理 AI 生成的 TLA+ 规范时，发现它们总爱用 'spine' 这个词。出于好奇，我利用 GitHub Search 分析了公共 PR 标题的数据，结果发现今年前九个月包含 'spine' 的 PR 数量是去年的 20 倍，远超 GitHub 整体增长比例。这似乎不是单一模型如 GPT 5.5 或 Opus 4.8 的锅，而是包括 Claude 和 Cursor 在内的多个 LLM…
在Beluga附近的Alaska沼泽，我遇见了一只名为A34的Hudsonian godwit。Nathan Senner通过采集她的羽毛和血液，试图解析她从Chiloé Island到Alaska的迁徙轨迹。这种看似普通的涉禽，每年要完成跨越近万英里的飞行，途中不眠不休，仅靠体内脂肪支撑。从Aristotle的误解到现代科学对Zugunruhe的研究，人类对鸟类迁徙的认知经历了漫长演变。如今，…
NEC V20 是 80 年代一款鲜为人知的 CPU，它与 Intel 8088 引脚兼容，但性能更强。当年 NEC 曾因知识产权问题与 Intel 对簿公堂，最终胜诉。对于复古计算爱好者而言，NEC V20 是升级 IBM PC/XT 或 Tandy 1000 等老机器的完美选择。无需更换主板，只需直接替换 CPU，就能让机器提速 20% 左右，甚至能运行部分原本需要 286 处理器的软件。如…