E-Ink 新闻日报

AI 精选科技资讯,为墨水屏优化

2026年8月1日

最新一期归档2026年8月1日较早一期
64
总数
39
入选
6.1
平均分
全部LobstersHacker News (RSS)TechCrunchArs TechnicaSimon WillisonThe VergeGood e-Reader#security#vulnerability#macOS#RCE#lean#formal-verification#bug#theorem-prover
9.0

苹果屏幕共享预认证RCE漏洞

苹果屏幕共享守护进程中存在严重的预认证远程代码执行漏洞,未授权攻击者可获取root权限。该漏洞源于SRP帧验证中的错误处理缺陷,可完全绕过认证。已在macOS 26.6中修复。

8.0

Lean内核安全漏洞#14576事后分析报告

Lean内核发现并修复了一个严重的安全漏洞(#14576),该漏洞允许在嵌套归纳类型的幻象参数中绕过类型检查。该漏洞被一个AI生成的Collatz猜想'反证'所利用,而独立的nanoda检查器也存在一个不同的漏洞未能检测到它。

7.0

NetBSD 11.0 发布

NetBSD 11.0 已正式发布,继续在该项目跨多种硬件平台的可移植性和技术创新传统。此次发布包含多项内核改进、更新的用户空间组件以及对新架构的支持。

7.0

64位汇编的艺术

No Starch Press发布新版《64位汇编的艺术》,涵盖x86-64汇编语言编程。本书面向希望深入了解底层系统编程和编译器内部的开发者。

7.0

伪装成监控条约:加拿大签署联合国网络犯罪公约

加拿大悄然签署了联合国网络犯罪公约,引发隐私倡导者的担忧,认为该条约可能以打击网络犯罪为名赋予政府更大的监控权力。批评者指出,该协议可能缺乏充分保障措施和公众咨询,从而损害数字权利和公民自由。

7.0

LLM无法破解对称加密

Anthropic的LLM Claude Mythos发现了对后量子签名方案HAWK的密钥恢复攻击,降低了其安全估计,并改进了对AES-128七轮的攻击。未发现针对完整AES的攻击这一负面结果同样重要,进一步印证了LLM无法破解对称加密。作者呼吁形式化LLM辅助密码分析并统一密码学形式化体系。

7.0

无法带走的会话

文章批评AI推理API正逐渐背离会话可移植性,转而返回供应商绑定的不透明状态,而非用户拥有的对话记录。加密推理令牌、隐藏的搜索结果、上下文压缩和供应商密钥的会话ID等功能,共同削弱了用户对AI会话的所有权。

7.0

你还要买下一部智能手机吗——还是订阅它?

随着智能手机更换周期延长至平均四年,苹果和三星正转向订阅和租赁模式。苹果在美国与Klarna合作推出Upgrade计划,三星在印度推出Galaxy Forever,两者都旨在让频繁升级变得更加可行,尽管设备价格持续上涨。

7.0

工程师计划如何拯救派去救援NASA Swift任务的卫星

Katalyst Space Technologies公司建造的Link卫星在执行救援NASA Swift伽马射线天文台任务时失控,并失去了三个反作用轮中的两个。工程师们正通过间歇性无线电联系努力恢复航天器,冷气体推进器问题被认为是可能的原因。这是NASA首次商业卫星服务任务,意义尤为重大。

7.0

数学与理论计算机科学十大进展

OpenAI声称利用内部版Astra模型和GPT-5.6的token价格,以每个问题不到2000美元的成本解决了十个长期未攻克的数学难题。结果包含Lean 4形式化验证和论文,但使用的提示词尚未公开。此举紧随Anthropic用Claude发现密码学弱点之后,再次引发关于AI在数学研究中作用的讨论。

7.0

无状态MCP重新点燃了我的兴趣(并启发了mcp-explorer和datasette-mcp)

Anthropic发布了MCP 2.0(无状态MCP),这是自该协议发布以来最重要的更新。无状态设计大大简化了客户端和服务端的实现,相比赋予Agent完整的Shell访问权限,MCP工具更易于审计和控制。作者在发布后一周内构建了三个MCP实现。

7.0

Defcon新徽章:一款可见内部的硬件安全密钥

Defcon 2026的徽章由硬件黑客Andrew "bunnie" Huang设计,内置Baochip-1x开源微控制器,其操作系统、固件、处理器核心和加密引擎的源代码均在GitHub公开。芯片核心模块可从徽章中取出,会后作为硬件安全令牌继续使用,且允许研究人员通过物理检查硅片来验证芯片设计与公开设计的一致性。

7.0

果蝇如何追逐看不见的气味丝带找到源头

洛克菲勒大学的Vanessa Ruta团队挑战了果蝇导航气味羽流的传统" surge and cast "模型,发现其使用的机制比此前认为的更先进。研究团队在完全黑暗的环境中设计了特制跑步机,用于研究果蝇如何追踪湍流、间歇性的气味轨迹。

6.0

Google如何帮助摧毁了RSS订阅源的普及(2023)

文章认为Google在RSS采用率下降中扮演了重要角色,特别是2013年关闭Google Reader以及创建封闭替代方案导致RSS生态碎片化。文章分析了Google的举动如何将用户推向封闭平台,并削弱了出版商维护RSS订阅源的动力。

6.0

Flint:面向AI时代的可视化语言

微软发布了Flint,一种面向AI时代的可视化语言,该项目已在GitHub开源。Flint旨在弥合AI生成洞察与有效数据可视化之间的差距,通过自然语言或AI辅助工作流实现更直观的图表创建。

6.0

通过origin trial测试Email Verification Protocol

Chrome正在推出Email Verification API的origin trial,允许浏览器直接与邮件提供商验证邮箱所有权,无需发送邮件或中断用户流程。该提案旨在通过消除OTP或魔法链接的需求,减少注册和认证过程中的用户流失率。

6.0

wiff:终端优先的代码审查与 diff 工具

wiff 是 Wez Furlong 开发的终端优先的 diff 和代码审查工具,能够捕获代码差异、提供语法高亮的浏览和注释功能,并将审查结果持久化为本地会话。它支持人类通过 TUI 和 AI 代理通过 CLI 同时访问,并可集成 GitHub PR 进行远程审查。

6.0

开发流水线即生产系统

文章主张应将开发流水线(构建系统、QA环境、工具链)视为生产系统,任何故障都应像生产事故一样紧急处理,因为它们会直接阻碍团队交付价值。作者类比制造业装配线和IT服务故障管理流程,指出这些框架大多忽视了开发者内部使用的工具。

6.0

Uber正在打造自动驾驶帝国,以下是它合作的所有公司

Uber在过去两年中与约30家自动驾驶公司建立合作关系或直接投资,以构建其自动驾驶汽车生态系统。文章提供了这些合作伙伴关系的全面追踪和最新进展。

6.0

Reddit股价下跌之际,CEO质疑Google AI Overviews的价值

Reddit CEO Steve Huffman在财报电话会议上批评了Google的AI Overviews功能,认为AI摘要无法提供与传统搜索链接同等的价值。他强调Reddit提供AI无法复制的真实人类观点,同时指出Google尚未与内容创作者建立互利合作模式。

6.0

噪音投诉后,法官命令Waymo停止在圣莫尼卡的夜间充电运营

一名圣莫尼卡法官批准了初步禁令,要求Waymo停止其自动驾驶汽车充电站的夜间运营,理由是噪音、光污染和交通拥堵构成公共妨害。该裁决禁止充电站在晚上11点至早上6点之间运营,此前居民已投诉一年多,抱怨车辆蜂鸣声和车队活动对住宅区和私立学校的影响。

6.0

这首 Billboard Hot 100 热单是 AI 生成的吗?

Fenix Flexin 的单曲《Rubberz》登上 Billboard Hot 100 第58名,但歌曲及其封面艺术疑似由 AI 生成。Fenix 否认了相关指控,但并未积极澄清,部分原因在于这首歌与他一贯的西海岸陷阱风格大相径庭。

5.0

硅谷创始人绞肉机

一篇评论文章,探讨硅谷创始人面临的严酷现实和系统性压力,分析创业生态的高压环境和极高的失败率。该文章在Hacker News上引发了热烈讨论,获得166分、99条评论。

5.0

Cursor从使用页面和CSV导出中移除了费用信息

Cursor已从使用页面和CSV导出中移除了费用信息,这一变化引发了用户的讨论。此举似乎将重点从透明定价转向基于token的使用量指标,引发了外界对其货币化策略的猜测。

5.0

ripgrep musl 二进制文件在超大搜索时偶尔段错误

ripgrep GitHub 仓库中提交了一个问题,报告 musl 二进制文件在进行超大规模搜索时偶尔会段错误。该 bug 影响依赖 musl libc 发行版的用户,暴露了边缘场景下的稳定性隐患。

5.0

Rust中命令行参数解析的旧事新谈

作者阐述了在Rust中设计Unix风格命令行参数解析的理念,主张工具应融入更广泛的Unix生态系统,而非仅符合Rust语言习惯。作者提出扩展getopts库,构建轻量级框架,使Rust命令行工具能与coreutils等标准Unix工具自然衔接。

5.0

电梯算法揭秘

本文介绍了电梯调度算法,从基础的SCAN和LOOK算法到多梯协调及性能指标(如p50/p90等待时间)。文章解释了电梯为何感觉缓慢以及调度系统如何优化用户体验。

5.0

你的计算器能运行Linux吗?

文章介绍了在HP Prime G2图形计算器上运行Linux的方法,分享了作者更新的Linux移植版本及操作指南,并提及了其他可运行Linux的计算器型号。

5.0

挪威最早的冒险游戏(第一部分)

文章记录了挪威最早的冒险游戏SVHA Adventure(1979年)和Ringen,在沉寂40多年后重见天日。SVHA Adventure是基于Colossal Cave Adventure的扩展版本,在特隆赫姆NTH的Norsk Data小型机上开发;Ringen则是以《指环王》莫里亚矿坑为背景的原创冒险游戏,在特罗姆瑟UiT开发。

5.0

辞去 Arch Linux 维护者职务

Morten Linderud 是 Arch Linux 开发者和安全团队成员,在贡献约 10 年后宣布辞职。他表示事情正在变化,是时候放手了,但仍将继续从事 TPM、安全启动和平台安全相关项目。

5.0

探访伦敦反创始人过劳的黑客空间

伦敦一间名为Lift House的联合生活黑客空间为硅谷高强度创业文化提供了替代方案,更注重创始人的整体福祉。由26岁的Rowan Aldean领导的六名居民希望证明英国创业者无需采用旧金山那种导致过劳的创业模式也能成功。

5.0

法官驳回xAi阻止明尼苏达州"裸化"应用禁令的请求

明尼苏达州一名法官拒绝了xAI的禁令请求,允许该州禁止"裸化"应用的禁令继续推进。xAI的诉讼案件将进入审理阶段,但禁令本身可在诉讼期间生效。

5.0

Sam Altman仍在为通过ChatGPT育儿辩护

Sam Altman推广了ChatGPT Work的一项功能,可自动生成早晨播客总结孩子的日程和兴趣,引发广泛批评。《地球终战》创作者Alex Hirsch的回应病毒式传播,建议家长直接与孩子交流。此事延续了微软CEO Nadella类似的AI通勤主张,也呼应了Altman此前关于用ChatGPT育儿的话题。

5.0

这款9美元的钥匙能物理锁定你最上瘾的应用

Autonomous Key是一款售价9美元的NFC物理钥匙,可与配套应用配对以锁定令人分心的应用,用户需物理扫描钥匙才能解锁,每次最长60分钟。该设备通过增加操作门槛来克服依赖意志力的屏幕时间管理应用的不足,其配套应用还包含带有俏皮个性的AI习惯追踪功能。

5.0

《美人鱼面具》是一款完美的假期谋杀悬疑游戏

《美人鱼面具》是SFB Games推出的全新点击式解谜谋杀游戏,该工作室曾开发《Tangle Tower》。游戏以潜艇密室杀人案为背景,拥有包括作家、演员、魔术师和梦境研究者在内的多彩嫌疑人阵容。

5.0

llm-mcp-client 0.1a0 发布

Simon Willison 发布了 llm-mcp-client 0.1a0,这是一个 Python 包,允许将 MCP(模型上下文协议)服务器中的工具作为 LLM 工具在 llm 框架中使用。此次发布正值无状态 MCP 架构兴趣升温之际,Willison 已通过 mcp-explorer 和 datasette-mcp 等项目进行了相关探索。

5.0

InkLeaf双屏电子阅读器即将登陆Kickstarter

InkLeaf是一款双屏折叠式电子墨水笔记本,配备两块10.3英寸Carta电子墨水屏,通过笔记本式铰链连接。用户可以在一个屏幕上阅读参考资料,同时在另一个屏幕上书写手写笔记。该设备即将通过Kickstarter平台发起众筹。