日本最高法院裁定 AI 不能在专利申请中列为发明人
日本最高法院裁定，只有人类才能在专利申请中列为发明人，驳回了将人工智能系统认定为合法发明人的请求。
Google 员工辞职与企业伦理辩论
一名 Google 前员工的辞职信声称公司失去了道德准则，这在 Hacker News 上引发了关于大科技公司是否曾真正拥有过伦理框架的广泛辩论。
Weave Robotics Isaac 1 家用机器人
Weave Robotics 推出了 Isaac 1，这是一款售价 7,999 美元的家用机器人，旨在处理洗衣和整理家务，计划于 2026 年秋季开始交付。
全球综述确认 mRNA 疫苗的安全性和未来治疗潜力
不列颠哥伦比亚大学研究人员在 *The Lancet* 上发表的一项全面的全球综述确认，mRNA 疫苗是安全且有效的，并为未来治疗癌症、流感和自身免疫性疾病提供了基础。
ZCode Harness for GLM-5.2 概览"}],
ZCode 为 GLM-5.2 模型推出了一个 harness，提供了一个即插即用的接口，简化了部署和实验过程。
高级 SWE-Bench：评估 AI 代理作为高级软件工程师的能力
高级 SWE-Bench 是一个开源基准，旨在评估 AI 代理从不完整需求实现功能的能力，模拟高级软件工程师的工作流程。
Pieces 社交网络：以人为本的品牌驱动平台替代方案
Pieces 是一个新型社交网络，旨在排除品牌和组织，以真实的人际连接取代算法信息流。
代码审查的主要目的：优先考虑可维护性而非捕捉 Bug
代码审查应主要关注识别难以维护的代码，而不是作为寻找 bug 的主要手段，后者更适合由自动化测试来完成。
Google 用于年龄确认的零知识证明
Google 正在实施零知识证明 (ZKP) 技术，允许用户在不泄露实际出生日期或身份的情况下，为在线服务证明其年龄。
Salt 系统语言：Z3 定理证明与 MLIR 代码生成
Salt 是一种系统编程语言，它将 Z3 SMT 求解器直接集成到其编译器中，以提供具有零运行时开销且性能与 clang -O3 持平的数学验证安全契约。
Claude Fable 5 发布与用户反馈
Anthropic 重新推出 Claude Fable 5 模型，但发布受到使用限制严格、安全保护栏过于激进以及用户对定价和可访问性不满等问题的困扰。
索尼 PlayStation 商店内容删除与数字所有权的侵蚀
索尼将在 9 月 1 日从 PlayStation 用户库中移除 551 部 StudioCanal 电影和电视节目，凸显了一个系统性转变——数字“购买”实际上是可撤销的许可。
Valmis: 一个采用安全优先代理架构的开源 AI Agent 框架
Valmis 是一个专为生产环境设计的开源 AI agent 平台，其特点是拥有一个安全的代理系统，将 agent runtime 与 API 凭据和主机文件隔离。
CursorBench 3.1：在真实任务中评估 AI 编码代理
CursorBench 3.1 在真实 Cursor 会话的模糊、多文件任务上评估 AI 编码代理，当前 Fable 5 Max 在性能上领先。
WorkerOwned.info：来自工人所有合作社的 22k+ 产品可搜索目录
WorkerOwned.info 将超过 22,000 种工人所有合作社的产品聚合到一个快速、可搜索的目录中，既展示了其对伦理消费的潜力，也突出了社区驱动的改进建议。
PlayStation 实体光盘生产将于 2028 年 1 月结束
Sony Interactive Entertainment 将从 2028 年 1 月开始停止所有新 PlayStation 主机游戏的实体游戏光盘生产，全面转向数字格式。
合成生物学：首个实验室构建的可生长与分裂的细胞
Kate Adamala 领衔的研究团队创造了“spudcells”，一种由非活性组分构建的合成细胞，能够生长、复制 DNA 并进行分裂，标志着合成生物学的重大里程碑。
Claudoro: Claude Code 的番茄钟工具
Claudoro 是一个功能丰富的番茄钟工具，它直接嵌入到 Claude Code 的状态栏中，通过将时间追踪保持在终端内，消除了上下文切换。
FFmpeg 9.1 AAC 编码器重写
FFmpeg 9.1 引入了一个完全重写的 AAC 编码器，其表现优于之前的原生编码器，并在质量指标上可以与 fdk-aac 和 qaac 等竞争对手相媲美。
GolemUI: 一个声明式的 JSON 驱动表单引擎
GolemUI 是一个开源库，可从 JSON 定义生成动态表单，具有类型化编写层，并支持与 React、Angular、Vue 和 Lit 的跨框架兼容性。
Hacker News Who is Hiring July 2026: AI Agents and Robotics Trends
2026年7月的 Hacker News "Who is Hiring" 帖子揭示了智能体 AI 工程师、机器人专家以及跨远程和现场办公岗位的专业化基础设施角色对市场有强劲劲需求。
成为一名实时图形程序员：学习路径与要求
要成为一名可被录用的实时图形程序员，必须掌握 CPU 侧的显式 API 和 GPU 侧的着色数学，重点关注 C++ 和基于物理的渲染 (PBR)。
Cloudflare 货币化网关 与 x402 协议
Cloudflare 推出了货币化网关，这是一款工具，允许网站所有者通过使用开放的 x402 微支付协议并使用稳定币，对 AI 代理和用户的数字资源进行收费。
Hacker News 'Who wants to be hired?' 2026年7月人才库
来自 2026 年 7 月 Hacker News "Who wants to be hired?" 帖子的软件工程师、设计师和产品经理综合名录，涵盖了 AI、系统编程和基础设施领域广泛的专业技能。
为什么我停止与人争论
一位软件工程师反思为何把技术正确性置于人类心理之上会导致失败，倡导从争论对错转向合作探讨利弊。
Godot Engine 禁止 AI 编写的代码贡献
Godot Engine 基金会已禁止 AI 编写的代码贡献，以防止维护者倦怠并确保贡献者理解他们提交的代码。
Apple Hide My Email 漏洞泄露私人电子邮件地址
Apple 的 Hide My Email 服务存在安全漏洞，允许攻击者发现 iCloud+ 用户的真实电子邮件地址，截至 2026 年 6 月 30 日，该漏洞仍未修复。
内燃机工作原理：从第一原理出发的指南
本指南从基本的曲柄机构到曲轴、凸轮轴以及燃油喷射系统等复杂部件，系统阐述了四冲程内燃机的机械工作原理。
ZeroFS：面向 S3 兼容存储的日志结构文件系统
ZeroFS 是一种日志结构文件系统，使 S3 兼容的存储桶能够通过 NFS 与 9P 作为 POSIX 文件系统使用，或通过 NBD 作为原始块设备使用，内置加密与压缩功能。
Box3D 开源 3D 物理引擎发布
Erin Catto 发布了 Box3D，这是一款基于 Box2D 架构并受 Valve 的 Rubikon 影响的开源 3D 物理引擎，旨在用于高性能游戏开发。
为什么中国在生产先进喷气发动机方面面临困难
中国在喷气发动机制造方面无法实现平权，源于该行业对深层默契知识的依赖、漫长的迭代周期以及全球化供应链，这些因素抵消了中国在规模和资本方面的典型优势。
旧版 Reddit 登录要求及用户访问问题
报告显示，一些用户在 old.reddit.com 遇到登录墙，但在不同平台、VPN 和地区的访问情况仍不一致。
任天堂在日本将基础工资提升 10% —— 对员工和行业的意义
任天堂宣布将日本员工的基础工资提升 10%，这一罕见举措体现了对员工的尊重，并可能影响行业的薪酬趋势。
Asahi Linux 7.1 进展报告
Asahi Linux 7.1 引入了 M3 系列支持、Apple 视频解码器 (AVD) 的自定义固ware 方案，以及针对 macOS 27 兼容性的关键修复。
Meta未能驳回指控Facebook和Instagram使儿童上瘾的州诉讼
联邦法官驳回了Meta试图驳回33个美国州提起的诉讼的请求，这些诉讼指称其平台Facebook和Instagram故意使儿童上瘾，这对公司构成了重大法律挫折。
Donald Trump 加密货币收益与 2025 年财务 windfall
Donald Trump 从加密货币交易中赚取了超过 10 亿美元，作为 2025 年更广泛财务 windfall 的一部分，这引发了关于政治腐败和利益冲突的重大担忧。
Google Copybara: 在仓库之间转换和移动代码
Google Copybara 是一个无状态工具，旨在在仓库之间转换和移动源代码，特别是在促进私有和公共仓库同步的同时，维护单一的事实来源。
Claude Fable 5 重新部署与 AI 网络安全框架
Anthropic 在美国出口管制解除后，正在全球范围内重新部署 Claude Fable 5，并引入了一套新的行业框架，用于评估 AI 越狱的严重程度。
arXiv 从康奈尔大学分离出来
2026年7月1日，arXiv将成为一个独立的非营利组织，从康奈尔大学分离出来，以获得运营灵活性，同时保持其对免费访问和提交的承诺。
Anthropic Claude Fable 5 和 Mythos 5 出口管制已解除
美国商务部已在就安全风险检测和政府协调达成协议后，解除对 Anthropic 的 Claude Fable 5 和 Mythos 5 模型的出口管制。
互联网的演变与中心化：从探索到围合
对互联网从一个去中心化的探索“地方”向一个中心化的、算法驱动的、融入日常生活中方方面面的公用事业转型的回顾性分析。
Claude Sonnet 5 发布说明：增强的代理能力和定价
Anthropic 已发布 Claude Sonnet 5，这是一款针对编码和工具使用等自主代理任务进行优化的模型，提供接近 Opus 4.8 的性能，同时价格更低。
亨里科县能源危机：数据中心扩张推高电费
弗吉尼亚州亨里科县因数据中心开发激增，政府和学校设施的电价将上调 25%，预计将增加约 500 万美元的成本。
IPFS Kubo 0.39.0: 通过 Optimistic Provide 加速内容发布
IPFS Kubo v0.39.0 引入了 Optimistic Provide，这是一种统计优化技术，通过将僵化的 DHT walk 终止条件替换为概率启发式方法，将内容发布延迟从约 15 秒降低到 1 秒以下。
Pglayers – 可堆叠的 PostgreSQL 扩展 Docker 层
Pglayers 让你将 PostgreSQL 扩展组合为可复用的 Docker 层，简化了容器化数据库中扩展的管理。
Ewingella americana: Frog-Derived Bacterium Eradicates Colorectal Tumors in Mice
Gut Microbes 上的一项同行评审研究发现，单次剂量的天然细菌 Ewingella americana 完全消除了 100% 免疫健全小鼠的结直肠肿瘤，其表现优于化疗和免疫检查点阻断。
Leanstral 1.5 发布说明
Mistral AI 发布了 Leanstral 1.5，这是一个拥有 119B 参数的专用模型，针对 Lean 4 正式证明工程、自动定理证明和自动形式化进行了优化。
Claude Code 2.1.196 提示词隐写术发现
Claude Code 2.1.196 版本的分析显示，该工具在系统提示词中使用隐写标记来识别 API 转售商和自定义网关。
索尼数字内容移除与数字所有权的幻象
索尼从用户库中移除已购买的数字内容凸显了购买产品与获取访问许可证之间的法律区别，引发了关于消费者权利以及数字时代“首次销售原则”的争论。
最高法院维持出生公民权
美国最高法院维持了对出生公民权的广泛概念，坚持认为在美国出生的儿童即为公民，无论其父母的移民身份如何。