Show HN: Git-knife – 像编辑电子表格一样修改提交信息、作者和日期 -- Show HN: Git-knife – edit commit messages, authors, and dates like a spreadsheet
git-knife是一款桌面GUI工具，可直接编辑Git提交元数据，包括提交信息、作者、日期和邮箱。它通过调用系统Git命令重建提交，不改变文件内容，填补了现有Git GUI工具无法编辑提交日期的空白。
面向忠实性的精益评估对齐 -- Lean Eval for Alignment on Faithfulness
leanscreen是一个针对Lean 4的忠实性检查工具，可快速检测定理的漏洞、空洞性和反例，经886个人类判断校准，但通过不代表认证，最终仍需专家审核。
Mojo 1.0 -- Mojo 1.0
Modular公司宣布Mojo 1.0正式发布，这是一个里程碑版本，标志着该编程语言达到稳定状态，可用于生产环境。
Manus将恢复独立运营 -- Manus will return to operating as an independent company
Manus将恢复独立运营，为遵守法规，部分用户2025年12月29日后的数据将在2026年8月23日至24日被删除，受影响用户可在8月23日前备份数据，8月25日起恢复。其他用户不受影响。
OpenAI伦理负责人入职不到一年即离职 -- OpenAI’s head of ethics leaves less than a year after joining
OpenAI的伦理负责人入职不到一年便离职，引发外界对其内部治理和AI安全承诺的质疑。
为什么Go是AI辅助软件工程的理想语言 -- Why Go Is an Ideal Language for AI-Assisted Software Engineering
Go语言因其简洁性、可读性和强类型特性，非常适合AI辅助编程时代。当AI生成大量代码后，开发者需要审查、验证和维护代码，而非手动编写。Go的设计使代码易于理解、调试和重构，从而提升AI生成代码的质量和可靠性。
Nvidia Nemotron 3.5 Lightning -- Nvidia Nemotron 3.5 Lightning
NVIDIA发布Nemotron-3.5-Lightning-30B-A3B-NVFP4模型，采用MoE-Mamba-2+Attention混合架构，仅3B参数活跃，支持百万token上下文，可在单GPU部署，适用于长时自主代理和本地推理。
我将GitHub Copilot置于MitM代理后学到的经验 -- What I learned by putting GitHub Copilot behind a MitM proxy
文章通过中间人攻击分析了GitHub Copilot的工作原理，探讨了其上下文处理、内存使用和网络流量机制，揭示了AI编程助手在代码补全时的数据传输与隐私影响。
女子因车队摄像头故障两次遭枪指拦停 -- Woman Pulled over at Gunpoint Twice After Flock Camera Glitch
一名女子因Flock摄像头系统故障，一周内两次被警方持枪拦停。系统误将其车牌与一宗凶杀案关联，而警方承认早应清除该警报，因员工疏忽未及时处理。
Apple Silicon与macOS虚拟机：借助Llama.cpp实现11-16倍更快的LLM推理 -- Apple Silicon and macOS VMs: 11–16× Faster LLM Inference with Llama.cpp
在Apple Silicon上，通过修改macOS虚拟机中GPU的Metal能力报告，使llama.cpp能够选择更新的Metal内核，从而将LLM推理速度提升11到16倍。