2026-07-10·ZH·EN

智能简报

26已选
46采集
资讯
26
9.0

2026 年 7 月 9 日,欧洲议会投票同意让 Chat Control 1.0 继续实施,直至 2028 年允许对 Instagram、Discord、Gmail 等平台的私信进行无令状扫描,尽管多数成员反对该措施。 此决定标志着欧盟向大规模监控迈出重要一步,威胁数百万用户的隐私,并为未来立法树立先例,可能迫使科技公司在没有司法监督的情况下监控通信。 投票结果为 314 票反对、276 票赞成、17 票弃权、113 人缺席;由于需要绝对多数 361 票才能否决提案,因此该提案默认通过。Chat Control 1.0 仅适用于未加密的消息和电子邮件服务,端到端加密的聊天不受影响。

hackernewsJul 9, 11:03
9.0

OpenAI 于 2026 年 7 月 9 日发布了 GPT-5.6 系列的三个版本 Luna、Terra、Sol,定价分别为每百万输入/输出 token 1 美元/6 美元、2.5 美元/15 美元、5 美元/30 美元。 该发布声称在长时程代理任务上优于 Anthropic 的 Claude Fable 5,可能促使企业向更具成本效益的 OpenAI 模型倾斜。 在 Agents’ Last Exam 基准测试中,GPT‑5.6 Sol 得分 53.6,比 Claude Fable 5 高 13.1 分;Terra 和 Luna 在大约四分之一和十六分之一的估算成本下也实现了类似的性能提升。

rssJul 9, 19:46
8.0

名为 pgrust 的项目用 Rust 重写了 PostgreSQL,并实现了与官方 PostgreSQL 回归测试套件的 100% 兼容性。 这表明构建一个内存安全、现代的 PostgreSQL 继任者是可行的,有望减少错误和安全漏洞。 该重写主要由大语言模型生成,在不到一个月内产生了超过 7100 次提交,并将许可证从 PostgreSQL 许可证改为 AGPL。

hackernewsJul 9, 06:18
8.0

现代战争研究所于 2026 年 6 月 3 日发表的文章指出,美军后勤体系专为无争议环境优化,在未来对抗性冲突中可能因过时的保障模式和脆弱的供应链而失效。 此分析凸显了一项关键国家安全风险:若美军无法在高强度作战中保障部队,其战斗力将大幅削弱,这迫切需要后勤改革和投资于具韧性、分散的保障能力。 文章指出过时的牙尾比、对承包商支持的严重依赖以及静态前线基地,并说明对手如何能够打击这些节点;它建议利用前置储备(APS)和联合岸上后勤(JLOTS)作为部分补救措施。

hackernewsJul 9, 13:24
8.0

Meta 宣布推出 Muse Spark 1.1 代理 AI 模型,具备多智能体编排、100 万 token 上下文压缩、计算机使用能力并开放 API 访问,随附评估报告并通过 LLM 插件进行早期社区实验。 此次发布表明 Meta 正进入竞争激烈的代理编码领域,以低成本方案挑战 OpenAI 和 Anthropic 的模型,并让开发者能够通过简易 API 集成自主编码代理。 Muse Spark 1.1 支持规划模式、子智能体委派以及最高 100 万 token 的上下文压缩,定价为每百万输入 token 1.25 美元、输出 token 4.5 美元,缓存输入每百万 0.15 美元。

hackernewsJul 9, 14:10
8.0

文章提供了通过 DNS-01 ACME 验证为内部服务颁发 TLS 证书的指导,并建议避免使用分割视图 DNS 以简化证书管理。 为内部服务正确配置 TLS 可降低中间人攻击风险并符合零信任网络,同时避免分割视图 DNS 可减少运营开销。 文章建议使用 Let's Encrypt 配合 DNS-01 挑战、使用通配符证书以减少在证书透明日志中的名称泄露,并采用中心反向代理进行 TLS 终止。

hackernewsJul 9, 14:57
8.0

Jarred Sumner 完成了将 Bun JavaScript 运行时从 Zig 重写为 Rust 的工作,利用 AI 代理工作流和现有的 TypeScript 测试套件实现自动化移植,新的 Rust 版 Bun 自 2026 年 6 月起已在 Claude Code 中使用。 此次重写展示了在大型语言迁移中,LLM 驱动的代理辅助可以使其变得可行,同时也凸显了 Rust 的内存安全优势,能够消除在混合垃圾回收与手动内存管理的运行时中常见的使用后释放和双重释放错误。 在重写过程中,团队遇到了大量使用后释放、双重释放和未释放的错误,Rust 的所有权模型和 Drop 特性将这些问题转化为编译时错误;整个过程消耗了约 59 亿输入令牌、6.9 亿输出令牌和 720 亿缓存读取,按 API 定价大约花费 16.5 万美元。

rssJul 8, 23:57
8.0

OpenAI 发布了 GPT‑Live,这是 ChatGPT 的升级版语音模式,能够在保持对话流畅的同时将复杂查询卸载到 GPT‑5.5 模型。 此次升级使 ChatGPT 的语音助手能力大幅提升,能够在不中断对话的情况下处理研究级任务,这将扩大其在生产力和学习场景中的应用。 GPT‑Live 使用更新的模型取代之前基于 GPT‑4o 时代的语音模型,能够在后台将网络搜索、深度推理或复杂任务卸载到 GPT‑5.5,同时保持对话进行;早期预览用户曾遇到模型不适时笑声打断的错误,OpenAI 已进行了缓解。

rssJul 8, 23:20
7.0

腾讯发布了其 2950 亿参数的混合专家模型 Hy3,并在 OpenRouter 平台上提供免费使用至 7 月 21 日,其定价与 DeepSeek Flash V4 持平。 此次发布表明腾讯进入开放权重大语言模型市场,加剧了与 DeepSeek Flash V4 等模型的竞争,并可能为开发者降低高性能模型的使用成本。 Hy3 总参数达 2950 亿,其中激活参数 210 亿,MTP 层参数 3.8 亿,采用 Apache 2.0 许可证,其在 OpenRouter 的有效输入价格如今与 DeepSeek 托管的 DeepSeek Flash V4 相当。

hackernewsJul 9, 15:27
7.0

国际地球旋转和参考系统服务(IERS)宣布,2026 年 12 月底将不插入闰秒,使 UTC‑TAI 偏移保持为‑37 秒。 此决定影响依赖精确时间的软件和系统,如金融交易、电信和 GPS,因为 UTC‑TAI 偏移将保持不变,避免可能因插入闰秒而造成的中断。 由于不插入闰秒,UTC‑TAI 偏移仍为‑37 秒,这也意味着 UTC‑GPS 偏移保持为‑18 秒,因为 TAI 与 GPS 之间的固定偏移为 19 秒。

hackernewsJul 9, 14:16
7.0

Yahia 宣布推出 YC S26 支持的 Context.dev API,可接受任意 URL 并返回结构化输出,如 Markdown、HTML、截图、图片和公司级元数据,并支持基于 JSON Schema 的定制提取。 该 API 大幅降低了开发者和 AI 代理获取最新网页内容的门槛,使得产品集成、聊天机器人上下文丰富以及自动化数据管道变得更快速,无需维护自定义爬虫。 该服务提供干净的 Markdown 或渲染后的 HTML、截图、提取的图片以及品牌资产(Logo、颜色、字体、社交链接);它还接受 JSON Schema 来定制提取数据的形状,内置缓存以避免频繁请求目标站点,并提供可配置的速率限制和 SSO 企业功能。

hackernewsJul 9, 15:28
7.0

在博客文章描述的 VAT 记账基准测试中,GLM 5.2 的得分几乎与人类记账员相当,在诸如交易分类和 VAT 计算等任务上表现接近人类水平。 这表明大型语言模型能够在专业财务任务上达到高准确度,引发了对会计自动化及其错误责任的讨论。 基准测试中人类需要自行查找发票并处理无法从银行流水和发票中推断的情况,而这些情境在测试中以“用户注释”形式提供给模型;GLM 5.2 具备 1M-token 上下文窗口并采用 IndexShare 架构以支持长距离任务。

hackernewsJul 9, 18:29
7.0

创建者构建了一个交互式图谱,使用 SPECTER2 模型和 UMAP 将 850 万篇开放获取论文嵌入,并将每篇论文与数据集、代码、蛋白质、疾病等资源关联。 通过将论文、数据及相关资源整合到一个可视化界面,该图谱帮助研究人员快速发现相关工作,加速文献驱动的研究流程。 该图谱基于 768 维的 SPECTER2 嵌入,通过 UMAP 降至二维,提供可点击的论文卡片展示 LLM 摘要、同行评审、基因/蛋白质/疾病链接,并附带浏览器扩展以及免费额度为 50 次查询的 MCP API。

hackernewsJul 9, 02:23
7.0

Pangram 博客文章指出,AI 生成的内容在社交媒体上,尤其是 LinkedIn,日益增多,引发了关于真实性和在线话语未来的讨论。 AI 生成内容的激增对专业网络的信任和真实互动构成挑战,可能重塑用户对信息的感知和在线互动方式。 文章提及了“死网理论”,并指出出现如 LinkedIn AI 内容检测器 Chrome 插件等工具,旨在识别 AI 撰写的帖子。

hackernewsJul 9, 15:50
7.0

作者创建了 lucid.earthpilot.ai,一个免费开源的网页工具,可视化并允许使用 Anthropic 最近论文中的 Jacobian Lens 技术编辑语言模型的内部表示。 通过使可解释性研究变得动手可操作,该工具帮助研究者、教育者和爱好者探索 LLM 如何形成可言说的表示,从而支持对齐工作、偏见检测和公众对 AI 的理解。 该工具适用于 Qwen 和 Llama 等开放权重模型,显示 Jacobian Lens 在某些架构上优于 logit lens,并包含一个用于解释对话的“Docent” AI 代理;其代码公开可用。

rssJul 9, 17:36
6.0

该游戏《18 Words》在 Show HN 上发布,是一个基于网页的单词谜题,玩家需要在计时器内猜出 18 个单词。 尽管游戏简单,但该帖子获得了大量社区互动,表明人们对休闲单词游戏的兴趣,并为游戏设计师提供了宝贵的反馈。 玩家需要在计时器内猜出 18 个单词,评论者建议加入无计时的放松模式、提示或跳过选项、打乱按钮,以及在错过单词后继续游戏并调整得分。

hackernewsJul 9, 12:48
6.0

文章《通往 Lisp 之路:为什么是 Lisp》于 2026 年 7 月 9 日在 scotto.me 发布,探讨了 Lisp 持久的吸引力、表达能力和历史影响,同时引发了关于其今日相关性的讨论。 它强调了 Lisp 的宏和同像性等特性如何继续影响现代语言设计和元编程实践,提醒编程社区在安全与表达能力之间的权衡。 文章讨论了 Lisp 宏、REPL 驱动开发、热重载和同像性,引用了 Paul Graham 的文章,并指出社区反应从对元编程的热情到对更多批判性评估的呼声。

hackernewsJul 9, 13:06
6.0

在 Hacker News 上,用户分享了对 Damn Interesting 博客的怀旧回忆,并表达了支持其继续运营的意愿,指出该站点流量激增。 此次讨论凸显了独立的长篇内容创作者如何依赖社区支持来维持工作,反映了互联网文化和小众媒体的更广泛趋势。 该帖子获得 197 个积分和 22 条评论,评论者引用了具体文章,提到博客对 99PI、RadioLab 等播客的影响,并指出作者否认自我宣传尽管流量激增。

hackernewsJul 9, 15:25
6.0

MIT 出版社发布了开放获取专著《SimPolitics:美国寻求用计算机解决政治》,探讨如何运用计算和模拟技术来研究政治问题。 该著作通过提供免费资源,为计算社会科学领域做出贡献,使研究者、政策制定者和教育者能够建模和分析政治现象。 《SimPolitics》侧重于代理建模等模拟方法,由 MIT Press 以开放获取专著形式出版,可通过 direct.mit.edu 链接获取;该 Hacker News 帖子获得 57 分和 8 条评论。

hackernewsJul 9, 14:20
6.0

一个新的 Pi.dev 观点配置工具(托管于 lazypi.org)提供预设设置和 CLI 辅助功能,以简化 Pi.dev 环境的搭建。 该工具凸显了极简主义开发工具与即用型便利之间的持续张力,影响团队选择采用或扩展 Pi.dev 的方式。 它提供了对按键绑定、系统提示和插件选择的观点默认设置,同时仍允许用户覆盖;该项目不是 Pi.dev 核心更改,而是社区提供的实用工具。

hackernewsJul 9, 15:19
6.0

MadsLorentzen/ai-job-search 仓库提供了一个开源的 TypeScript 框架,利用 Claude Code 自动评估职位、定制简历、撰写求职信并准备面试。 它为开发者提供了一种利用 AI 处理求职繁琐环节的实用方法,有可能提高申请效率和成功率。 该工具基于 TypeScript 构建,用户需要 fork 仓库、填写个人资料,随后依赖 Claude Code 完成自动化步骤。

ossinsightJul 9, 22:30
5.0

Simon Willison 发布了 llm-meta-ai 工具的 0.1 版本,使用户能够运行 LLM 提示词以对抗 Meta 新发布的 muse-spark-1.1 模型。 通过提供对 Muse Spark 1.1 的简单接口,该工具降低了开发者尝试 Meta 最新 agentic 编码模型的门槛,有可能加速其在软件开发工作流中的采用。 llm-meta-ai 0.1 托管在 GitHub 的 simonw/llm-meta-ai 仓库,通过 Meta Model API 与 Muse Spark 1.1 进行交互,仅需 API 密钥即可使用。

rssJul 9, 16:12
5.0

Speedcube 是一个开源的网页应用,集成了 Rubik 魔方求解器、比赛计时器、算法库和 AI 辅助的魔方识别,使用 React、TypeScript、Rust 和 Python 构建。 通过提供一体化的浏览器工具,Speedcube 降低了初学者的入门门槛,并为竞技选手提供高级功能;其开源特性还能吸引社区贡献,推动魔方软件的创新。 求解器采用 Herbert Kociemba 的两阶段算法得到近最优解;计时器支持 WCA 合规的乱序和滚动统计;AI 识别使用 YOLOv11 和 OpenCV 通过网络摄像头实时检测魔方。

rssJul 9, 21:09
5.0

该指南提供了启动和运营成功 Ruby 编程聚会的逐步流程,涵盖了规划、推广和执行。 通过帮助开发者建立本地 Ruby 社区,该指南促进了知识共享、协作以及 Ruby 生态系统的增长。 该指南概述了诸如明确聚会目标、确保场地、设定固定时间表、通过社交媒体和邮件列表推广以及鼓励演讲者参与等实际步骤。

rssJul 9, 18:27
5.0

在最近的访谈中,Mitchell Hashimoto 讨论了他开发 Ghostty 终端模拟器的工作,并分享了他在该项目中使用 Zig 编程语言的经验。 此访谈提供了来自知名基础设施工程师的宝贵见解,介绍了一款现代终端模拟器及其背后的 Zig 语言,凸显了 Zig 在性能导向应用中的日益普及。 Ghostty 是一个跨平台终端模拟器,使用平台原生 UI 和 GPU 加速,其核心库 libghostty 由 C 和 Zig 编写;Zig 是一种系统编程语言,具有手动内存管理、编译时泛型且无预处理器。

rssJul 9, 17:17