851

FableCut: 面向 AI Agent 的零依赖浏览器视频编辑器

FableCut 是一款基于浏览器的非线性视频编辑器,它将整个时间轴公开为 JSON 文档,允许 AI agent 通过 MCP、REST 或直接文件操作进行编辑,并具有实时 UI 更新功能。

852

文学素养的下降与后识字时代的崛起

关于阅读时代可能终结的讨论,重点强调了美国长篇阅读习惯和成人识字率分数的下降。

853

Kastor: 为 AI Agent 提供 Terraform 式的声明式层

Kastor 是一个单一事实来源层,允许开发者使用 HCL 规范来定义 AI agent、tools 和 prompts,从而生成可运行的框架代码或通过 plan 和 apply 工作流来协调托管的 agent。

854

Freeport:基于 Nostr 的去中心化点对点叫车市场

Freeport 是一个点对点的乘车和服务市场,利用 Nostr 协议消除中间人、平台费用以及中心化的账户管理。

855

Copy That Floppy:脆弱软盘数据保存指南

Copy That Floppy 指南为使用磁通级别捕获对 8 英寸、5.25 英寸、3.5 英寸和 3 英寸软盘进行成像提供了完整的技术框架,以实现长期的数字保存。

856

Cloudflare Meerkat: 通过 QuePaxa 实现全球分布式共识

Cloudflare 正在开发 Meerkat,这是一种由 QuePaxa 算法驱动的实验性全球共识服务,旨在提供线性一致的控制平面状态,且不会像 Raft 等基于 Leader 的协议那样产生可用性瓶颈。

857

Cognition SWE-1.7 发布说明:面向软件工程的前沿智能

Cognition 发布了 SWE-1.7,这是一个针对长程智能体软件工程任务优化的模型,在专门的编码基准测试中实现了与 GPT-5.5 和 Opus 4.8 相当的性能。

858

人体内的微塑料:检测与测量的挑战

环境化学家 Cassandra Rauert 解释了为什么当前的微塑料检测方法经常产生假阳性结果,以及为什么需要一个专门的无塑料实验室来准确测量人体暴露情况。

859

Anthropic Fable: 过度热衷的安全分类器导致模型无法用于技术研究

据报道,由于安全分类器会在无害的技术提示词上触发误报,Anthropic 的 Fable 模型对于生物学、网络安全和计算机科学研究人员来说是无法使用的。

860

苹果与博通扩大美国芯片生产合作伙伴关系

苹果与博通签署了一项超过300亿美元的多年协议,旨在生产超过150亿颗美国制造的定制硅组件和无线连接技术。

861

GitLost: GitHub AI Agents 中的提示词注入漏洞

Noma Security 的研究人员发现,如果授予 AI agent 广泛的组织访问权限,GitHub 的 AI agents 可能会通过提示词注入被诱导泄露私有仓库。

862

MIT OpenCourseWare 6.001 结构与解释计算机程序 1986 视频讲座

MIT OpenCourseWare 提供完整的 20 场 1986 年《结构与解释计算机程序》视频系列,呈现永恒的 Lisp 入门与核心计算机科学概念。

863

OpenAI 宣布公开发布 GPT-5.6 Sol、Terra 和 Luna

OpenAI 宣布 GPT-5.6 Sol 以及 Terra 与 Luna 模型将在本周四公开发布,并扩大全球预览访问。

864

Moxie Docs 免费 Mermaid 图表编辑器

Moxie Docs 提供一款免费、基于浏览器的 Mermaid 图表编辑器,具备实时预览、SVG/PNG 导出以及基于 URL 的共享,无需账户或安装。

865

Tenda 固件 CVE-2026-11405 身份验证后门

多个 Tenda 固件版本包含一个未记录的身份验证后门 (CVE-2026-11405),允许通过硬编码密码获得完全的管理权限,目前尚无官方补丁可用。

866

Chiptune Radio: 持续播放的复古音效芯片音乐

Chiptune Radio 是一个基于 Twitch 的流媒体服务,由 Aleph Void, LLC 运营,提供为 SID 和 NES APU 等经典音效芯片创作的持续音乐。

867

GAO 对 DOE 核废料清理项目规划的报告

美国政府问责局(GAO)发现,能源部(DOE)在核清理项目中通过在定义实际任务需求之前先确定具体解决方案,过早排除了节约成本的选项。

868

软件质量笔记 – 关键要点

Anthony Hobday 的《软件质量笔记》概述了构建可靠软件的核心原则,并解释了关注质量为何对项目的长期成功至关重要。

869

Meta 因青少年参与度做法面临潜在 1.4 万亿美元法律责任

Meta 正面临高达 1.4 万亿美元的潜在法律处罚,因为州总检察长们辩称该公司故意将其平台设计成对青少年具有成瘾性。

870

为什么我们要再构建一个 Postgres 连接池

作者阐述了创建新 PostgreSQL 连接池的动机,指出现有方案的具体不足,并说明他们所追求的设计目标。

871

为什么技术移民在德国工作后离开德国

一篇 DW 报道发现,德国的官僚程序、语言障碍、住房短缺以及有限的职业支持导致许多技术移民在短暂居留后离开德国。

872

使用 Kokoro 实现本地 CPU 友好型 TTS

Kokoro 是一个轻量级的、拥有 82M 参数的文本转语音模型,能够在无需 GPU 的情况下,在 CPU 上本地交付高质量的多语言语音合成。

873

docx-cli: 使 AI Agent 编辑 Word 文档实现高保真度

docx-cli 是一个命令行界面,允许 AI agent 使用稳定的定位器和原地 XML 变异来读取、编辑和对 .docx 文件进行评论,从而保留格式并减少 token 使用量。

874

EU 强制驾驶员监控摄像头 (ADDW) – 隐私风险与实际影响

从 2026 年 7 月 从起,每个新的欧盟车主必须配备红外驾驶员监控摄像头以警告驾驶员分心驾驶,但规制对数据处理的规定含糊不清,引发了隐私担忧。

875

欧盟聊天监管 1.0 与 2.0:时间线、政治僵局与争议

聊天监管 1.0 的临时扫描制度于 2026 年 4 月失效,欧盟正尝试前所未有的复活,而永久性的聊天监管 2.0 法规仍陷入僵局。

876

Davit 0.1 发行版:Apple 容器的原生 macOS UI

Davit 为 Apple 的容器平台提供轻量、原生的 macOS UI,使 Apple Silicon 用户能够在无需 Docker Desktop 的情况下运行 Linux 容器。

877

欧盟议会通过紧急动议恢复聊天监管 1.0

欧洲议会批准紧急程序,恢复已失效的 “聊天监管” 法规,为可能在此前被否决的争议性儿童虐待扫描法案通过铺平道路。

878

Microsoft 在 Xbox 裁员中解雇 id Software 的 idTech 团队

Microsoft 已在一次大规模的 Xbox 重组中裁掉 id Software 大多数 idTech 开发团队,FY27 将削减约 3,200 个岗位。

879

WhimFiles: 一款原生、以过滤为核心的 macOS 文件管理器

WhimFiles 是一款专为进阶用户设计的轻量级、原生 macOS 文件管理器,具有按类型、日期和大小进行实时过滤、双栏浏览和模糊搜索导航功能。

880

在家使用 Oxford Nanopore MinION 进行 DNA 测序:完整方案、费用与实用洞见

在家使用 Oxford Nanopore MinION 测序个人基因组是可行的,但需要价值约 7.5 万美元的设备、丰富的实验耗材、细致的湿实验技术以及复杂的生物信息学流程,将原始 reads 转化为可用的 VCF。

881

l: 为 k, q, 和 qSQL 提供的新型高性能运行时

l 是 k4, q, 和 qSQL 的新型运行时,通过透明的 SIMD、自动并行化以及在压缩向量上的原生操作来提升性能。

882

Anthropic 将 Claude Fable 5 在付费计划中的访问权限延长至 7 月 12 日

Anthropic 宣布 Claude Fable 5 将对所有付费订阅者开放使用,直至 7 月 12 日,这引发了关于 token 限制、模型可靠性和营销策略的营销反应。

883

Jim 的 QR 字体直接使用 OpenType 特性从文本生成 QR 码

Jim 的 QR 字体是一个实验性的 OpenType 字体,它将方括号分隔的 ASCII 文本转换为 QR 码,同时保持周围文本可读,展示了 GSUB 成形的全新用法。

884

Slopfix 服务:每周 1 万美元,重构 AI 生成的代码库

Slopfix 提供每周 10,000 美元的服务,旨在重构臃肿的 AI 生成的代码库,并保证可衡量的行数减少量,否则将按比例退款。

885

Rowboat 开源本地优先 AI 同事 – 功能、架构与社区反馈

Rowboat 是一款开源桌面 AI 同事,所有数据本地以 Markdown 形式存储,构建持久的知识图谱,并提供内置的工作界面,如邮件、笔记、浏览器和代码代理。

886

Ilya Sutskever 的核心机器学习论文:初学者精选阅读清单

基于 Ilya Sutskever 向 John Carmack 提供的传闻清单,本文精选了 27 篇核心机器学习论文和资源,旨在引导初学者掌握深度学习和 AI 的核心概念。

887

中国官员因受贿 3.25 亿美元被判死刑

一名中国官员因受贿 3.25 亿美元被判死刑,凸显了该国对高层腐败的零容忍立场,并引发了关于选择性起诉和使用死刑惩治经济犯罪的争论。

888

Knockoff: Filtering Pseudo-Brands on Amazon

Knockoff 是一款浏览器扩展程序,旨在从 Amazon 搜索结果中移除“伪品牌”(pseudo-brands)——即那些难以发音、抢注商标的名字——从而优先显示具有声誉风险的成熟品牌。

889

荷兰启动郁金香基金以吸引顶尖国际研究人员

荷兰的郁金香基金拥有 5000 万欧元预算,正在招聘 34 位领先科学家——大多数来自美国——前往荷兰开展研究,引发了关于其影响和可行性的讨论。

890

Ternlight: 基于浏览器的语义搜索,配备 7 MB 嵌入模型

Ternlight 是一个微型嵌入模型 (5-7 MB),完全通过 WASM 在客户端运行,无需 API 调用即可实现快速、具有隐私保护的语义搜索。

891

StreetComplete: 让 OpenStreetMap 数据采集游戏化

StreetComplete 是一款 Android 应用程序,通过将缺失的地图数据采集转变为一系列基于位置的任务,让用户在现场解决,从而改进 OpenStreetMap。

892

Riddle: 将 reMarkable Paper Pro 变成 AI 驱动的日记本

Riddle 是一个开源项目,它利用视觉 LLM 和自定义的 e-ink 显示引擎,将 reMarkable Paper Pro 变成一个交互式 AI 日记本。

893

GLM 5.2 与 AI 推理利润率崩塌

GLM 5.2 等开源权重模型的出现,其质量足以媲美前沿模型但成本显著降低,威胁到了主要 AI 实验室的高利润推理业务模式。

894

Anthropic J-Space: A Global Workspace for Internal Reasoning in Claude

Anthropic 研究人员发现了一种名为 J-space 的涌现性内部神经工作空间,它允许 Claude 模型在不写入输出的情况下进行沉默推理和高级认知功能。

895

CoMaps:注重隐私的 FOSS 离线地图替代方案

CoMaps 是一款免费开源的离线导航应用,基于 Organic Maps 和 Maps.me 的分支,优先保障用户隐私,并通过 OpenStreetMap 使用社区驱动的数据。

896

OpenWrt One 硬件路由器概览

OpenWrt One 是一款基于 MediaTek Filogic 820 SoC 的开放硬件路由器,具备 WiFi 6、2.5 GbE WAN,以及面向高级用户的完整恢复选项。

897

GitHub 访问限制与强制身份验证的转变

GitHub 正在日益限制未登录用户对特定页面和 API 端点的访问,以打击垃圾信息和 AI 驱动的抓取行为。

898

Donald Knuth 的《计算机程序设计艺术》——概览、版本与社区洞见

Donald Knuth 的《计算机程序设计艺术》已出版五卷(含 4A、4B 以及即将推出的 4C),提供权威算法,并持续吸引重视其严谨勘误计划和错误报告奖励的忠实社区。

899

PostgreSQL 在 23 种 AWS EC2 实例类型的性能与成本分析

针对 23 种 AWS EC2 实例类型的 PostgreSQL 全面基准测试表明,使用 gp3-baseline 存储的 m8g.large 是实现 33,000 RPS 最具成本效益的选择。

900

Dua Lipa 在葡萄牙波尔图推出禁书与审查书籍宣言图书馆

流行歌手 Dua Lipa 在葡萄牙波尔图的历史书店 Livraria Lello 内开设了宣言图书馆,收录约 100 本禁书与审查书籍,以推动言论自由和批判性阅读。