每日 Harness 开源 · Source
全部刊期 · All issues

每日 Harness

2026-08-09 · Sunday, August 9, 2026

智能系统走向可验证与可控

视图 · View

今日重点 · Today's Highlights

Probabilistic Program Inference1 - 用一个支持无界循环的微型概率语言，把“程序可能不终止”也纳入精确推断语义；示例可严格算出循环终止于奇数次和偶数次的概率分别为 2/3 与 1/3。

全文 ↓

Algebruh2 - 让 Z3、cvc5 与 Lean 对同一算术命题分别给出证明、模型和分歧诊断，并把 AI 生成的 Lean tactic 交给内核验收。

全文 ↓

denoland/celld3 - 以 S3 兼容对象存储为真相源，用 compare-and-swap 决定单个对象的唯一执行节点，构造无需集中控制面的自托管 Durable Objects。

全文 ↓

pg_savior4 - 在 PostgreSQL 执行危险 DML/DDL 前直接中止事务，覆盖无 WHERE 更新删除、超量影响行数及会重写大表的 ALTER 等事故模式。

全文 ↓

Gram5 - 以 C++、AVX2 和 IVFPQ 做单核 CPU 向量检索；README 基准中 4.23 MB 索引达到 3,236 QPS、Hit@10 100%，同时明确展示召回率取舍。

全文 ↓

论文 · Papers

0 项 · 论文

开源 / 项目 · Projects

15 项 · 开源 / 项目

Wyzer6github.com原文 ↗

github.com

Wyzer 是静态类型、编译型的面向资源语言：开发者写一份跨节点 choreography，编译器再投影为独立且按设计无死锁的二进制。它用 Perceus 精确引用计数管理内存，并在引用唯一时原地更新，试图同时避开 GC 停顿与显式借用标注；C ABI 则保留了接入现有系统库的通道。真正需要观察的是 choreography 在大型拓扑中的表达成本，而不只是单节点语言性能。

–

Rosenbridge7github.com原文 ↗

github.com

Rosenbridge 记录并复现 VIA C3 处理器中的隐藏非 x86 核：相关功能一旦开启，ring 3 代码可以读取或改写 ring 0 状态。仓库同时提供检测、修复、fuzz、汇编器和概念验证，但 bare-metal 路径仍是可能崩溃、panic 或挂死机器的 alpha 代码，而且后续 VIA 代际不含该功能。它的意义在于把一段罕见的硬件安全史变成可检查的实验材料，而非可直接部署的防护工具。

–

Assembly Hall of Shame8github.com原文 ↗

github.com

这个仓库反向竞赛“单条指令究竟能慢到什么程度”，只计不可中断的一条机器指令。当前记录在 Ryzen 7 5800H 上让 `fxrstor64` 从高延迟 MMIO 恢复 512 字节状态，同时由其他核心挤满 PCIe，耗时 198,002,498,236 个周期、约 62 秒。它把微架构、设备 I/O 与指令语义的极端交互量化到了可复现实验，而不是停留在“某指令很慢”的传闻。

–

LinkedIn Feed Blocker9github.com原文 ↗

github.com

这个 Chrome 扩展用 CSS 隐藏 LinkedIn `/feed` 的主信息流和发布框，并以声明式网络规则只拦截 `sduiid=com.linkedin.sdui.pagers.feed.mainFeed` 请求。个人资料、职位、搜索、消息与通知仍可使用，因而它切断的是滚动消费路径，而不是整个站点。当前安装方式是加载未打包扩展，适合把策略边界当作可审计的小型配置来使用。

–

Parakeet TDT 0.6B v2 WebGPU10parakeet.narcotic.sh原文 ↗

parakeet.narcotic.sh

该浏览器演示把 NVIDIA Parakeet TDT 0.6B v2 语音识别模型完全放到本地运行，计算核心是无依赖的原始 WebGPU shader，前端处理则使用 SIMD WASM。作者给出的 Apple M5、Chrome 151 数据是 20 秒转写一小时音频，模型权重和音频无需发往服务器。比速度数字更关键的是它绕过重型推理运行时，直接暴露了浏览器 GPU 语音管线的实现边界。

–

本期重点Algebruh2github.com原文 ↗

github.com

Algebruh 把算术等式与不等式同时交给 Z3、cvc5 和 Lean，输出证明、模型、反例以及求解器之间的分歧。其解释域覆盖整数、精确实数、1 - 256 位向量、模运算和 f32/f64；若使用 AI 生成 Lean tactic，最终结果仍须通过 Lean 内核检查。范围目前不含 `<`、`>=` 等序关系，清晰的语法边界让它更像验证工作台，而非泛化数学助手。

–

49IDE11github.com原文 ↗

工作流与控制流多智能体框架与脚手架编码

49IDE 把真实 tmux 终端、Monaco 编辑器、Git 图、Beads issue 与笔记铺在可缩放的二维画布上，并能跨多台机器接入会话。服务默认监听 localhost:1071，不设账号、登录或令牌；远程访问依赖 Tailscale、局域网或中继，终端 I/O 只转发而不持久化。它把多代理开发的空间编排做成了可操作界面，同时也把访问控制责任明确留给部署者。

–

本期重点pg_savior4github.com原文 ↗

github.com

pg_savior 是 PostgreSQL 扩展，在语句真正执行前识别无 WHERE 的 `UPDATE`/`DELETE`、预计影响行数超限、非并发建索引、对大表触发重写的 `ALTER`，以及高风险的 truncate/drop 操作。仓库给出了 PostgreSQL 14 - 17 的回归测试覆盖，但版本仍在 1.0 之前。相比事后审计，它把常见运维失误转成事务级硬阻断，代价是阈值与例外规则必须贴合实际库规模。

–

本期重点Probabilistic Program Inference1github.com原文 ↗

github.com

该 Haskell 实验实现了带布尔值、u8、Bernoulli/均匀采样、观测、条件与循环的微型命令式概率语言，并同时支持精确推断和采样。语义把概率条件化在程序终止这一事件上，因此示例中的硬币循环可得到奇数次终止概率 2/3、偶数次 1/3，而完全不终止的程序没有结果。这个处理把概率程序里常被忽略的非终止偏差直接摆到台面上，但小类型系统也限定了它目前更适合语义研究。

–

本期重点Gram5github.com原文 ↗

github.com

Gram 用 C++ 实现 IVFPQ 向量索引，通过 AVX2 距离计算和 pybind11 暴露 Python 接口，目标是单 CPU 核心上的紧凑检索。README 的 IVF1278/PQ8 配置占 4.23 MB，查询约 0.309 ms、3,236 QPS，Hit@10 为 100% 而 Recall@10 为 49.8%；PQ96 把召回提高到 84.4%，但吞吐降至约 797.5 QPS。成组数据清楚刻画了压缩率、延迟和召回之间的交换关系，便于判断其是否适合内存受限场景。

–

Ewwii12github.com原文 ↗

github.com

Ewwii 是面向 Linux 的 GTK4 widget 系统，支持 Wayland 与 X11，并使用 Nbcl 作为可编程配置语言。项目从 Eww 硬分叉后进行了从底层重写，用模块化表达式配置取代 Yuck/Simplexpr 路线。它关注的不是新增几个桌面组件，而是让状态、逻辑与界面配置获得更完整的语言能力；相应地，迁移现有 Eww 配置并不会是无成本替换。

–

Compactdiff13github.com原文 ↗

上下文工程可观测性与调试编码

Compactdiff 读取 Claude Code 与 Codex 的 JSONL 会话，在每次状态变化时写入内容寻址仓库，因此上下文压缩不会抹掉此前文本。它同时比较追加式历史和被重写的历史，用出现次数感知的行匹配生成防篡改轨迹，并能导出自包含 HTML 回放。分支功能保存 JSONL 前缀，但项目没有承诺代理可直接从该点恢复；默认脱敏也不是机密清除保证，这两个限制决定了它更适合审计而非备份凭据。

–

dirblock14github.com原文 ↗

github.com

dirblock 借助 Linux fanotify 的 `FAN_OPEN_PERM` 在 VFS 挂载层拦截文件打开，再按目录为进程、命令行或祖先进程设置 allowlist；这种位置也使换一种符号链接拼法不能绕过目录策略。它提供 exact、prefix 和 dry-run 模式，但守护进程崩溃或事件错误时选择 fail-open，且不验证获准可执行文件本身的真实性。作为误操作防护它很直接，若被当成强安全边界，则命令行匹配与失效策略都需要额外加固。

–

Jobman15github.com原文 ↗

github.com

Jobman 是无常驻守护进程的本地任务 CLI，为脚本增加重试、超时、持久日志、依赖关系、并发限制和完成通知。状态由命令行调用管理，而不是要求用户先部署队列服务器或后台服务。它填补了 shell 一次性执行与完整工作流系统之间的空档，适合单机但需要可追踪性的批处理。

–

Agent Feedback16github.com原文 ↗

工具使用编码

Agent Feedback 在 Vite 或 Next.js App Router 的开发页面上叠加标注层：点击元素并写指令后，会把 selector、组件、页面与说明追加到 `.agent-feedback/feedback.jsonl`，同时在终端输出。嵌套节点会归一到可交互祖先，生产构建则排除这套界面；数据只留本地，不依赖账号或外部服务。它把含糊的截图反馈转成代理可定位的 DOM 上下文，价值来自选择器与源码组件的联结，而非另一套 issue 管理。

–

行业动态 · Industry News

12 项 · 行业动态

Denmark Requires Oral Defenses for Students' Written Work to Counter AI Cheating17mezha.net原文 ↗

mezha.net

丹麦拟要求学生为书面作业进行口头答辩，以现场解释思路和内容来验证作者身份，回应生成式 AI 代写难以仅靠文本检测确认的问题。政策把评价重点从成品文本移到学生能否为推理过程负责。其效果取决于学校如何安排答辩规模与评分一致性，而不是再引入一套概率性 AI 检测器。

–

Fastmail offers EU data region18fastmail.com原文 ↗

fastmail.com

Fastmail 增加欧盟数据区域，让客户可以选择把账号数据放在欧洲基础设施中，现有用户也可申请迁移。数据驻留主要解决组织的地域合规和采购要求，并不等同于端到端加密，也不改变服务商对内容的可见性边界。真正的产品变化是把存储辖区变成可配置项，而非单纯新增一个机房标签。

–

WeatherNext cyclone forecasting19deepmind.google原文 ↗

deepmind.google

Google DeepMind 把 WeatherNext 扩展到热带气旋预测，覆盖最长 15 天的路径、强度、尺度、结构和生成概率，并开放代码与权重。官方称其在若干关键基准上达到或超过传统方法，但同时标注为实验性系统，不能替代气象机构的正式预警。长提前量与多属性联合预测使它适合作为预报员的比较信号，可靠性仍须按海盆和罕见强风暴分别检验。

–

Kitesurf20blog.cloudflare.com原文 ↗

执行环境与沙箱工具使用计算机·Web

Cloudflare 的 Kitesurf 用 Rust、Dioxus 与 Blitz 实现面向 AI 代理的无头浏览器，把 JavaScript 放在 V8 isolate 中执行，可一次性输出 HTML、正文、PDF 或截图。它刻意不追求 Chromium 的完整兼容和像素级复刻，而是服务短生命周期、隔离、无状态的突发任务。这个取舍有望显著降低代理浏览的启动与资源成本，也意味着复杂站点兼容性必须由真实工作负载衡量。

–

The Nixpkgs core team has disbanded21discourse.nixos.org原文 ↗

discourse.nixos.org

Nixpkgs 核心团队宣布解散，公告把原因指向治理结构和职责分配上的问题，而非一次普通的成员轮换。对大型社区仓库而言，技术维护权与决策责任若长期不匹配，最终会成为发布和冲突处理的系统性风险。后续值得观察的是权限、提案裁决与日常维护如何重新归属，而不是是否迅速出现同名替代小组。

–

Genesis Open Models Initiative22genesisopenmodels.anl.gov原文 ↗

genesisopenmodels.anl.gov

美国能源部与 Arcee 发起 Genesis Open Models Initiative，首个开放权重模型 Genesis-Science-1 汇集 17 家国家实验室的模型、数据、预训练、微调、强化学习、评测与验证器贡献。计划公布了 2026 年 8 月的基础与后训练交付节点，并为每项申请安排三个月开发周期。它把国家实验室的科学任务和验证资产接到同一开放模型计划中，成败将由可复现实验与下游科学增益而非参数规模决定。

–

2027 memory capacity is reportedly sold out23ign.com原文 ↗

ign.com

据 DigiTimes 援引的匿名产业人士，Samsung、SK hynix 与 Micron 的 2027 年 DRAM 和 HBM 产能据称已被分配完毕。若这一供应判断成立，AI 加速器需求会把内存约束从当期现货价格延伸到多年资本规划；不过消息目前属于供应链报道，而非三家厂商共同确认的出货承诺。它提示系统设计者同时关注容量、带宽与采购周期，不能把 GPU 数量视作唯一扩容变量。

–

Microsoft Edge is about to lock out older ad blockers24theverge.com原文 ↗

theverge.com

Microsoft Edge 将推进从 Manifest V2 到 Manifest V3 的扩展限制，依赖旧接口的广告拦截器会被停用或失去部分能力。变化的核心并非界面兼容，而是网络请求控制从扩展运行时代码转向浏览器批准的声明式规则。用户仍可选择 MV3 版本或其他浏览器，但过滤器表达力与浏览器厂商控制权的重新分配已不可忽略。

–

New Amazon Data Center Is Set to Have the Most Polluting Power Plant in the U.S.25nytimes.com原文 ↗

nytimes.com

Amazon 确认得州 Pecos County 的新数据中心将配套大型天然气电厂，该设施可能成为美国温室气体排放最高的单一电源之一。Amazon 的论点是现场发电不会推高得州家庭电价，但这没有消除气候排放和当地污染的外部成本。事件把数据中心“电力可得性”策略的代价具体化：绕开电网瓶颈可能同时把排放集中到项目所在地。

–

Gentoo Bugzilla closed after AI bot scraper overload26social.treehouse.systems原文 ↗

social.treehouse.systems

Gentoo 因 AI 机器人抓取造成过载而暂时关闭 Bugzilla，正常的问题报告和维护协作随之被阻断。公开缺陷库原本假设读取成本可被社区流量摊平，大规模自动采集却把这一假设变成基础设施风险。此事显示开放访问与批量训练抓取之间需要速率、缓存或镜像层面的明确协议，否则最先受损的是项目自身开发流程。

–

Triton: DirectX 11 Driver for QEMU27blog.getutm.app原文 ↗

blog.getutm.app

UTM 的 Triton 为 QEMU 虚拟机实现 Windows DirectX 11 的用户态与内核态 DDI，调用经 Neptune、VirtIO 和宿主机 virglrenderer 转译；演示是在 macOS 宿主上运行 Windows 11 ARM64 游戏。共享纹理路径还要支撑 DWM 桌面合成，因此这不是简单替换 `d3d11.dll` 的兼容层。代码已开放，但构建横跨多个仓库且尚未随 UTM 打包，现阶段更接近驱动开发预览。

–

Rethinking the CPU-GPU split for LLM inference28redhat.com原文 ↗

redhat.com

Red Hat 讨论在 LLM 推理中重新划分 CPU 与 GPU 的工作，把部分不必占用昂贵加速器的阶段或算子移回 CPU。该方向的评价标准应是端到端吞吐、首 token 延迟、互连开销和总成本，而不是单个设备利用率。异构拆分只有在数据搬运没有吞掉计算收益时成立，因此它更像部署级调度问题，而非“CPU 替代 GPU”的口号。

–

博客文章 · Blog Posts

12 项 · 博客文章

“Code was never the hard part” is an insult to all programmers29blog.senko.net原文 ↗

blog.senko.net

文章反驳“代码从来不是难点”的流行说法，强调实现阶段要处理隐含约束、调试、现实系统行为和长期维护，这些并不会因需求描述清楚而消失。生成代码降低了键入成本，却没有自动承担验证与演进责任。作者真正捍卫的是编程作为约束求解和经验判断的劳动，而不是把代码行数本身神秘化。

–

Timeline of the OpenAI accidental attack against Hugging Face30simonwillison.net原文 ↗

安全与攻防执行环境与沙箱系统·基础设施

Simon Willison 根据 OpenAI 在 Black Hat 的公开演讲整理了一条针对 Hugging Face 的意外攻击时间线，把最初的代理任务、系统边界突破与后续安全响应放进同一事件序列。时间线写法的价值在于区分代理“被要求做什么”和它利用环境后“实际做了什么”，避免把复杂事故压成单一漏洞标签。它也说明代理安全分析必须同时记录工具权限、基础设施信任边界和人的处置节点。

–

A domain can now say it is for sale, in DNS31specification.website原文 ↗

specification.website

这份规范允许域名通过 DNS 直接声明“正在出售”，让搜索引擎、注册商或交易工具可以在控制域名的一侧读取机器可验证的意向。DNS 记录只表达状态和发现入口，不负责完成身份审查、定价或资金结算。把销售信号放进权威命名系统，减少了停放页和第三方市场之间难以核对的宣称。

–

Wireblast32toonk.io原文 ↗

toonk.io

Wireblast 是基于 Go 和 AF_XDP 的无状态线速流量生成器，以约 14 MB 静态二进制运行，不依赖 DPDK。作者在 10GbE 上达到 14.88 Mpps；100GbE Mellanox 测试中，80 字节帧约 122 Mpps、98 Gbps，即标称线速的 99%。它能生成 TCP SYN 等流量，但不测延迟、抖动或硬件时间戳，因而适合压吞吐而非替代精密网络测量仪。

–

Revision Prompting improves industrial LLM processes33revisionprompting.info原文 ↗

revisionprompting.info

Revision Prompting 把一次生成改造成“生成 - 审阅 - 修订”闭环，让模型先产出候选，再依据明确反馈重写结果。工业流程中的收益来自把质量控制变成可观察步骤：审阅意见可以记录、比较和针对失败类型调整，而不是只反复改一个长 prompt。它增加了调用次数和延迟，适用性取决于错误代价是否高于额外推理成本。

–

OpenSSH Key Structure Guide34sshref.dev原文 ↗

sshref.dev

这份交互式指南逐层解释 RSA 与 Ed25519 的公钥、旧 PEM 私钥和 OpenSSH v1 私钥结构；公钥行可拆成类型、Base64 载荷和注释，而 v1 容器还含 KDF、密码算法、嵌入公钥与 checkint。OpenSSH 7.8 之前常见的私钥 PEM 与当前默认格式并非同一种封装。材料把“能被 ssh 使用”进一步拆成字节布局与保护机制，适合排查格式转换和密钥解析问题。

–

The Object Model in Livelymerge35inkandswitch.com原文 ↗

inkandswitch.com

Livelymerge 的对象模型把 Automerge 文档映射为普通 JavaScript 堆上的对象表，并用代理让对象、类与方法参与可合并状态。文章讨论的难点不只是字段同步，还包括对象身份、方法归属和垃圾回收如何在 CRDT 历史中保持一致。这个设计把协作层推进到应用对象语义，但收敛本身并不自动保证业务不变量。

–

Enabling the next iteration of the borrow checker on nightly36blog.rust-lang.org原文 ↗

blog.rust-lang.org

Rust 在 nightly 中启用下一代借用检查器 Polonius 的 alpha 路径，目标之一是解决现有 NLL 难以接受的借用模式，并为 lending iterator 等 API 提供空间。Polonius 从更明确的关系和约束推导借用有效性，后续仍要处理 opaque type、liveness、member constraint 以及性能问题。nightly 开放意味着生态现在可以提交真实反例和回归数据，但距离稳定版默认启用仍有工程距离。

–

Program images and portable Scheme backends for Jolt37yogthos.net原文 ↗

yogthos.net

Jolt 探索用 program image 保存可启动的程序状态，并把后端接口抽象到可移植的 Scheme 实现之上。项目此前以 Chez Scheme 承载 Clojure 风格运行时，这一步试图把快速启动和较低内存占用从单一后端实现中分离出来。技术焦点是序列化运行时状态与跨实现恢复的边界，而不仅是再增加一种构建产物。

–

They don’t make ’em like Sublime Text anymore38dbushell.com原文 ↗

dbushell.com

文章以 Sublime Text 回看原生桌面软件的性能取向、克制界面和长期产品路线，质疑现代工具把大量资源消耗当成默认代价。Sublime 的代表性不只在启动速度，也在核心编辑体验多年保持连续，而功能扩展没有迫使产品反复重写交互。它提供的是软件产品价值判断：技术栈应服务响应性和寿命，而非由行业周期决定重构节奏。

–

Thoroughly Understanding C++ ABI39ykiko.me原文 ↗

ykiko.me

这篇长文从调用约定、对象布局、名称修饰和二进制格式解释 C++ ABI，逐项比较 Windows x64 与 System V，以及 MSVC 与 GCC/Clang 常用的 Itanium ABI。一个具体差异是 `long` 在 Windows x64 仍为 32 位、在常见 64 位 System V 环境为 64 位；16 字节结构体的寄存器传递规则也不同。文章把“源码能编译”与“二进制能互操作”分开，尤其适合检查 FFI、动态库和跨编译器边界。

–

App Store Rejection of the Week: Dark Hours40daringfireball.net原文 ↗

daringfireball.net

Daring Fireball 以 Dark Hours 的 App Store 拒审为例，审视 Apple 给出的理由与应用实际行为是否匹配。个案暴露的不是一次普通审核延迟，而是规则文本、审核员解释和开发者申诉之间的不确定性。它适合作为平台治理样本阅读：分发权高度集中时，一条不透明判断就能改变产品上线结果。

–

引用来源 · References

51 条 · 引用
  1. 1 Probabilistic Program Inference. GitHub repositoryhttps://github.com/kccqzy/probabilistic-program-inference/blob/master/README.md ↩ 回到正文 · back to text
  2. 2 Algebruh. GitHub repositoryhttps://github.com/skorotkiewicz/algebruh ↩ 回到正文 · back to text
  3. 3 denoland/celld. GitHub repositoryhttps://github.com/denoland/celld ↩ 回到正文 · back to text
  4. 4 pg_savior. GitHub repositoryhttps://github.com/viggy28/pg_savior ↩ 回到正文 · back to text
  5. 5 Gram. GitHub repositoryhttps://github.com/sverp/gram ↩ 回到正文 · back to text
  6. 6 Wyzer. GitHub repositoryhttps://github.com/Wyzer-Lang/wyzer ↩ 回到正文 · back to text
  7. 7 Rosenbridge. GitHub repositoryhttps://github.com/xoreaxeaxeax/rosenbridge ↩ 回到正文 · back to text
  8. 8 Assembly Hall of Shame. GitHub repositoryhttps://github.com/xoreaxeaxeax/asm-hall-of-shame ↩ 回到正文 · back to text
  9. 9 LinkedIn Feed Blocker. GitHub repositoryhttps://github.com/andrewpollack/linkedin-feed-blocker ↩ 回到正文 · back to text
  10. 10 Parakeet TDT 0.6B v2 WebGPUhttps://parakeet.narcotic.sh/ ↩ 回到正文 · back to text
  11. 11 49IDE. GitHub repositoryhttps://github.com/alpbahadur/49Agents ↩ 回到正文 · back to text
  12. 12 Ewwii. GitHub repositoryhttps://github.com/Ewwii-sh/ewwii ↩ 回到正文 · back to text
  13. 13 Compactdiff. GitHub repositoryhttps://github.com/mkmkkkkk/compactdiff ↩ 回到正文 · back to text
  14. 14 dirblock. GitHub repositoryhttps://github.com/roku-oss/dirblock ↩ 回到正文 · back to text
  15. 15 Jobman. GitHub repositoryhttps://github.com/ryancswallace/jobman ↩ 回到正文 · back to text
  16. 16 Agent Feedback. GitHub repositoryhttps://github.com/montanaflynn/agent-feedback ↩ 回到正文 · back to text
  17. 17 Denmark Requires Oral Defenses for Students' Written Work to Counter AI Cheatinghttps://mezha.net/eng/bukvy/ca117584_denmark_requires_oral/ ↩ 回到正文 · back to text
  18. 18 Fastmail offers EU data regionhttps://www.fastmail.com/blog/fastmail-offers-eu-data-region/ ↩ 回到正文 · back to text
  19. 19 WeatherNext cyclone forecastinghttps://deepmind.google/blog/weathernext-ai-model-achieves-breakthrough-in-forecasting-cyclones/ ↩ 回到正文 · back to text
  20. 20 Kitesurfhttps://blog.cloudflare.com/kitesurf/ ↩ 回到正文 · back to text
  21. 21 The Nixpkgs core team has disbandedhttps://discourse.nixos.org/t/the-nixpkgs-core-team-has-disbanded/79413 ↩ 回到正文 · back to text
  22. 22 Genesis Open Models Initiativehttps://genesisopenmodels.anl.gov/ ↩ 回到正文 · back to text
  23. 23 2027 memory capacity is reportedly sold outhttps://www.ign.com/articles/ramageddon-continues-another-year-as-2027-memory-capacity-is-reportedly-sold-out ↩ 回到正文 · back to text
  24. 24 Microsoft Edge is about to lock out older ad blockershttps://www.theverge.com/tech/976880/microsoft-edge-extensions-ad-blockers-mv2-mv3 ↩ 回到正文 · back to text
  25. 25 New Amazon Data Center Is Set to Have the Most Polluting Power Plant in the U.Shttps://www.nytimes.com/2026/08/08/climate/amazon-data-center-texas-pollution.html ↩ 回到正文 · back to text
  26. 26 Gentoo Bugzilla closed after AI bot scraper overloadhttps://social.treehouse.systems/@mgorny/117058483039362779 ↩ 回到正文 · back to text
  27. 27 Triton: DirectX 11 Driver for QEMUhttps://blog.getutm.app/2026/introducing-triton-directx-11-driver-for-qemu/ ↩ 回到正文 · back to text
  28. 28 Rethinking the CPU-GPU split for LLM inferencehttps://www.redhat.com/en/blog/cpu-back-rethinking-cpu-gpu-split-llm-inference ↩ 回到正文 · back to text
  29. 29 “Code was never the hard part” is an insult to all programmershttps://blog.senko.net/code-was-never-the-hard-part-is-an-insult-to-all-programmers ↩ 回到正文 · back to text
  30. 30 Timeline of the OpenAI accidental attack against Hugging Facehttps://simonwillison.net/2026/Aug/7/openai-timeline/ ↩ 回到正文 · back to text
  31. 31 A domain can now say it is for sale, in DNShttps://specification.website/spec/foundations/for-sale-dns/ ↩ 回到正文 · back to text
  32. 32 Wireblasthttps://toonk.io/index.html ↩ 回到正文 · back to text
  33. 33 Revision Prompting improves industrial LLM processeshttps://revisionprompting.info/ ↩ 回到正文 · back to text
  34. 34 OpenSSH Key Structure Guidehttps://sshref.dev/ ↩ 回到正文 · back to text
  35. 35 The Object Model in Livelymergehttps://www.inkandswitch.com/livelymerge/notebook/lm-03/ ↩ 回到正文 · back to text
  36. 36 Enabling the next iteration of the borrow checker on nightlyhttps://blog.rust-lang.org/2026/08/04/enabling-polonius-alpha-on-nightly/ ↩ 回到正文 · back to text
  37. 37 Program images and portable Scheme backends for Jolthttps://yogthos.net/posts/2026-08-07-portable-jolt.html ↩ 回到正文 · back to text
  38. 38 They don’t make ’em like Sublime Text anymorehttps://dbushell.com/2026/08/07/sublime-text/ ↩ 回到正文 · back to text
  39. 39 Thoroughly Understanding C++ ABIhttps://www.ykiko.me/en/articles/692886292/ ↩ 回到正文 · back to text
  40. 40 App Store Rejection of the Week: Dark Hourshttps://daringfireball.net/2026/08/app_store_rejection_of_the_week_dark_hours ↩ 回到正文 · back to text
  41. 41 PrimeIntellect-ai/prime-agent. GitHub repositoryhttps://github.com/PrimeIntellect-ai/prime-agent ↩ 回到正文 · back to text
  42. 42 semantica-agi/semantica. GitHub repositoryhttps://github.com/semantica-agi/semantica ↩ 回到正文 · back to text
  43. 43 jdx/mise. GitHub repositoryhttps://github.com/jdx/mise ↩ 回到正文 · back to text
  44. 44 unclebob/swarm-forge. GitHub repositoryhttps://github.com/unclebob/swarm-forge ↩ 回到正文 · back to text
  45. 45 pranshuparmar/witr. GitHub repositoryhttps://github.com/pranshuparmar/witr ↩ 回到正文 · back to text
  46. 46 usekaneo/kaneo. GitHub repositoryhttps://github.com/usekaneo/kaneo ↩ 回到正文 · back to text
  47. 47 glzr-io/glazewm. GitHub repositoryhttps://github.com/glzr-io/glazewm ↩ 回到正文 · back to text
  48. 48 pimalaya/himalaya. GitHub repositoryhttps://github.com/pimalaya/himalaya ↩ 回到正文 · back to text
  49. 49 open-mercato/open-mercato. GitHub repositoryhttps://github.com/open-mercato/open-mercato ↩ 回到正文 · back to text
  50. 50 payloadcms/payload. GitHub repositoryhttps://github.com/payloadcms/payload ↩ 回到正文 · back to text
  51. 51 CodebuffAI/freebuff. GitHub repositoryhttps://github.com/CodebuffAI/freebuff ↩ 回到正文 · back to text