Kagi 变更日志（7 月 2 日）：正面、反面和 AI 切换
Kagi Search 新增了一个全局开关，允许用户完全关闭搜索中的 AI 功能，同时在 Orion 浏览器中带来容器与个性化外观的重大更新，而旗下免费 AI 翻译服务因成本激增暂时下线，将转为订阅制。
标签： 大模型
SearXNG：一款免费的互联网元搜索引擎
SearXNG 是一个开源元搜索引擎，聚合 Google、Bing、DuckDuckGo 等服务的搜索结果，且不追踪用户、不建立用户画像。该项目在 GitHub 上已获 33,200 颗星，近期因隐私保护需求升温而再次受到关注。
应用范畴理论课程（2018）
数学家 John Baez 基于 Fong 和 Spivak 的教材《组合性中的七幅草图：应用范畴理论引论》，于 2018 年开设并整理了完整的应用范畴理论在线课程（共 77 讲），该资源近日在 Hacker News 上重新引发关注。
看看中国的量化基金狂热，随着人工智能的快速采用，管理的资产在不到一年的时间里增加了一倍多，达到约 $384B (彭博社)
据彭博社报道，中国量化基金行业在不到一年内，管理的资产规模翻了一倍多，达到约 3840 亿美元。背后主要推手是人工智能技术的快速采用，AI 正在重塑金融交易和投资策略的底层逻辑。
阿姆斯特丹发明了消防队
历史学家 David Garrioch 在 Works in Progress 上发表文章指出，17 世纪的阿姆斯特丹并非靠运气避免了大火，而是通过系统性创新——装备水泵引擎、建立专业化消防队伍——率先构建了现代城市消防体系的雏形。这段历史提供了一则关于“如何通过组织创新和公共基础设施投资来解决复杂系统风险”…
IT早报 0704：大疆和影石在国内互相起诉专利侵权；国内成品油价格迎来年内最大降幅；曝阿里巴巴全面禁用 Claude；明年起插混 / 增程车需缴纳车船税…
今日早报核心围绕着三件事展开：手持智能影像领域两大中国厂商大疆与影石在国内多地互诉专利侵权，引发行业关注；阿里巴巴被曝将于7月10日起内部全面禁用Anthropic旗下的Claude产品，涉及模型安全审查；同时三部门联合公告，自明年起插混/增程车型及纯电动商用车需缴纳车船税，新能源车财税优惠进入调整期。
Kagi 变更日志（7 月 2 日）：正面、反面和 AI 切换
付费搜索引擎 Kagi 因免费 AI 翻译服务成本飙升，宣布暂时移除该功能并计划将其转为订阅制，引发付费用户对服务权益的争议。
Mistral AI 发布 Leanstral 1.5：Apache-2.0 Lean 4 代码代理模型，解决 672 个 PutnamBench 问题中的 587 个
Mistral AI 于 2026 年 7 月 3 日发布了 Leanstral 1.5，这是一个采用 Apache-2.0 协议开源的 Lean 4 代码代理模型，在极具挑战性的 PutnamBench 数学竞赛题目中取得了 87.4% 的解题率，显著提升了 AI 在形式化数学推理与程序验证领域的能力上限。
$BOW 7 个月前，TikTok 上的每个人都在谈论 Bird Game 3 一个假小鸟游戏的人工智能视频如此火爆，以至于它成为最大的人工智能模因之一，每个人都想玩它，但遗憾的是这只是虚构的……
7个月前一个名为 Bird Game 3 的 AI 生成视频在 TikTok 上爆火，虚构的小鸟游戏成为 AI 迷因并引发大规模期待；如今有开发者投资 16 万美元将其变成真实可玩的 Steam 游戏，预计 2026 年 7-8 月上线，有望成为新一轮内容创作者流量热点。
工厂只是房间
一位硬件创业者走进小学课堂，用自己从深圳工厂到量产AI时钟的真实经历，向孩子们传递一个反直觉的观点：制造不是遥不可及的“神迹”，工厂不过是一个房间，每个人都可以成为参与世界创造的人。这个观察在Hacker News上引发热议，因为它触及了AI时代一个被忽视的深层问题——当AI降低了设计门槛，我们需要重新培养普…