Hacker News 中文摘要

作者用笔式绘图机制作全息图，探索了手工绘制全息图的原理和方法，并分享了创作过程与成果。

Grok Bot是一种新型AI同事，用户可像对待团队成员一样分配任务。它能从始至终完成项目，适应用户工作方式并不断学习。支持同时管理多个Bot并行工作，可演示工作流程让Bot学习并自动执行。Bot间可协作，24小时不间断工作，需要审批时会主动联系用户。

美国特朗普政府为打击墨西哥贩毒集团洗钱，将美墨边境地区现金交易报告门槛从1万美元降至200美元，结果严重冲击了当地小企业和移民社区，反而未能有效打击犯罪集团。

压缩与语言模型本质上解决的是同一问题：通过预测数据中的模式来减少信息冗余。压缩算法通过识别重复规律实现数据精简，而大语言模型同样基于预测机制工作，两者核心原理相通。

NVIDIA发布Nemotron 3.5 Lightning模型和NeMo Switchyard开源库，前者是面向自主AI代理的高效混合专家模型，后者实现智能路由，灵活调度多种模型，提升AI部署效率与控制力。

git-knife是一款桌面GUI工具，可直接编辑Git提交元数据，包括提交信息、作者、日期和邮箱。它通过调用系统Git命令重建提交，不改变文件内容，填补了现有Git GUI工具无法编辑提交日期的空白。

leanscreen是一个针对Lean 4的忠实性检查工具，可快速检测定理的漏洞、空洞性和反例，经886个人类判断校准，但通过不代表认证，最终仍需专家审核。

Modular公司宣布Mojo 1.0正式发布，这是一个里程碑版本，标志着该编程语言达到稳定状态，可用于生产环境。

Manus将恢复独立运营，为遵守法规，部分用户2025年12月29日后的数据将在2026年8月23日至24日被删除，受影响用户可在8月23日前备份数据，8月25日起恢复。其他用户不受影响。

OpenAI的伦理负责人入职不到一年便离职，引发外界对其内部治理和AI安全承诺的质疑。