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

每日 Harness

2026-08-17 · Monday, August 17, 2026

智能体迈入可验证工程时代

视图 · View

今日重点 · Today's Highlights

Offshoot2 - 给普通 SQLite 文件增加毫秒级写时复制分支，特别适合让多个 agent 试跑方案后只晋升胜者。

全文 ↓

Customhouse3 - 在 agent 与 MCP server 之间以确定性污染传播和策略门控制数据外发，并用公开误报数据呈现安全代价。

全文 ↓

MakazhanAlpamys/Soup4 - 用分层流式训练把 8B 模型塞进 4GB 显存，同时把修复前后的评测变化写进 README，兼顾资源门槛与结果可信度。

全文 ↓

sgl-project/sglang-omni5 - 把语音和全模态推理拆成可独立调度、跨设备传输的多阶段运行时，而非把所有模态硬塞进单一文本服务循环。

全文 ↓

论文 · Papers

2 项 · 论文

本期重点AI-Assisted GPU Porting of a 250k Line Legacy Weather Simulation Code1arxiv.org原文 ↗

上下文工程工作流与控制流评测方法编码

论文以 25 万余行 Fortran 天气模拟器 CReSS 为案例，让 AI 提取 OpenMP 区域、生成具有物理意义的 kernel 基准、施加 OpenACC 变换，并逐元素对照 CPU 结果。团队验证了 162 个 kernel，在真实台风模拟上得到 5.1 倍应用级加速，同时找出 5 个由浮点运算和内建函数差异引起的偏差。它最有价值的结论不是“模型会写 GPU 代码”，而是大型科学软件必须用状态重建、跨会话上下文和分层验证约束生成过程。

–

Simplifying and Refactoring Introductory Calculus6arxiv.org原文 ↗

arxiv.org

这篇 13 页教学论文尝试重新组织一年级微积分的定义与推导，让更少的核心概念覆盖更多求解流程，减少符号和步骤记忆。贡献属于课程表达和认知负担设计，并没有提出新的分析学定理。摘要未给课堂对照实验或量化学习效果，因此它适合作为教学重构方案讨论，不能被读成已验证的学习成效结论。

–

开源 / 项目 · Projects

15 项 · 开源 / 项目

MathCode7math-ai-org.github.io原文 ↗

工具使用推理与规划框架与脚手架研究·科学

MathCode 把自然语言数学题转成 Lean 4 定理，再借助 Lean LSP、Loogle 和编译错误反馈循环修补证明，结果写入 `LeanFormalizations/`。它还提供子目标树、多规划器和 Obsidian 定理图谱，发布包覆盖 macOS arm64 与 Linux x86_64。相比只生成一段看似合理的推导，这套工作流把答案放进编译器可检查的形式证明边界内。

–

Wildstatic8wildstatic.com原文 ↗

Agent 记忆安全与攻防其他垂直

Wildstatic 让所有访问者与同一个 AI 实例交互，并共同写入一份持续存在的长期记忆。陌生人的输入会直接改变后来访客获得的上下文，刻意取消了常见的按用户状态隔离。这个小实验把共享记忆的涌现、污染和操纵风险暴露得很直接，其观察对象是跨用户状态演化而非单轮模型智力。

–

Jit9github.com原文 ↗

github.com

`jit` 扫描 `.env`、云凭据和 CLI token，将明文秘密迁入本机加密 vault，再用 Touch ID 授权按进程注入。它分别支持 `execve` 环境变量、AWS 等工具的原生凭据协议，以及权限为 `0600` 的 FIFO；vault 闲置 5 分钟会重锁，最长解锁 8 小时。边界也很清楚：目前主攻 Apple Silicon macOS，秘密一旦进入获准进程内存便不再由它保护。

–

Mic Drop10micdrop.gg原文 ↗

micdrop.gg

Mic Drop 把实时多人卡拉 OK 做成无需安装的浏览器会话，玩家进入同一房间后完成抢麦与演唱。产品把传统依赖主机、曲库和现场设备的派对流程压缩成一个 JavaScript Web 应用。它的技术吸引力来自低摩擦多人互动，而实际体验仍由网络延迟、音频权限和浏览器媒体栈决定。

–

Waku11waku.sh原文 ↗

框架与脚手架工具使用编码

Waku 是以 Rust 和 GPUI 构建的原生 coding agent 客户端，把会话、代码操作与桌面交互集中到一个应用。选择原生 Rust UI，意在绕开终端和浏览器壳层的限制，换取较低运行开销及更紧密的系统集成。项目值得关注的是 agent 前端开始探索专用桌面工作台，而不仅是给聊天框再套一层界面。

–

DeepSeek V4 Flash 56.8GB MoEspressoV212huggingface.co原文 ↗

蒸馏与压缩编码

这份权重将 DeepSeek V4 Flash Coder 压缩到约 56.8GB，目标是在降低本地存储和显存门槛后保留推理、工具调用与代码能力。MoEspressoV2 面向 MoE 模型的紧凑部署，并非重新训练一套独立架构。是否真正划算要看目标硬件上的吞吐、激活内存和任务回归，因为文件体积本身不能说明压缩损失。

–

Meridian13github.com原文 ↗

github.com

Meridian 在本机记录屏幕活动，重建可回看的工作时间线，并生成每日总结、站会稿与 Jira 更新草稿。捕获内容进入单个加密数据库，官方估计平均占用 5% - 10% CPU、0.5 - 3GB 内存和每月约 20GB 存储，旧数据 30 天后清理。它把工作日志自动化做得相当完整，也使屏幕级采集、发送给外部模型的摘要范围和企业隐私策略成为部署前置条件。

–

本期重点Offshoot2github.com原文 ↗

github.com

Offshoot 在本地或 S3 上为普通 SQLite 文件提供写时复制 fork、checkpoint、rollback、diff 和整分支 promote。100MB 数据库的新共享分支只增加 377B，12MB 到 1GB 的命名 checkpoint 约需 9 - 12ms；约 3500 轮 `SIGKILL` 压测后副本仍字节一致。它刻意不做行级合并和多写者分支，这种收敛范围反而很适合一次只接受一个实验结果的 agent 工作流。

–

本期重点Customhouse3github.com原文 ↗

安全与攻防协议与互操作可观测性与调试系统·基础设施

Customhouse 聚合多个 MCP server，并按输入来源传播污染标记；会话读过不可信内容后，转账、外发或导出类调用会被确定性策略门拦截。v0.2.0 拦住 11/11 个注入场景，但 10 个良性 sink 流程中误拦 4 个，因此项目提供一次性人工批准，同时加入工具 schema 钉扎和追加式 JSONL 账本。它把 prompt injection 防护落实为可审计的信息流规则，也坦率展示了保守策略对可用性的侵蚀。

–

ProofRun14github.com原文 ↗

评测方法可观测性与调试编码

ProofRun 真实启动测试子进程、记录退出码，并把结果绑定到 Git HEAD、已跟踪 diff 和未跟踪文件内容的 SHA-256 指纹；任一字节变化都会把 PASS 改成 STALE。回执使用本地随机密钥做 HMAC-SHA256，命令按 argv 精确比较，状态限定为 PASS、FAIL、STALE、NOT RUN。它不尝试理解测试输出或代码质量，只解决 agent 声称“测试已跑”时证据能否对应当前工作树这一窄而关键的问题。

–

Agent615github.com原文 ↗

执行环境与沙箱工作流与控制流框架与脚手架系统·基础设施

Agent6 把模型命令放入由 Landlock、seccomp、用户命名空间和 `pivot_root` 组成的 Linux jail，再用可编辑、可恢复、可重放的声明式状态机组织任务。计划持久化为 DAG，验证门绑定单次运行，并提供美元或 token 硬预算以及多模型并行比较。项目只有 8 个运行依赖，但完整沙箱只覆盖 Linux x86_64/aarch64，这一平台限制比“Python 3.12+ 可安装”更影响实际安全承诺。

–

Remarc16github.com原文 ↗

工作流与控制流协议与互操作上下文工程编码

Remarc 是 macOS 上的人机反馈层，可把选中文本、标注截图、网页元素或语音评论连同上下文保存为卡片，再通过 MCP 交给 coding agent。浏览器扩展会附上 URL、CSS、布局、无障碍信息和可识别的 React 组件，反馈卡支持 Open 到 Resolved 状态流及 Markdown/JSON 导出。数据默认留在本机；基础功能要求 macOS 14+，本地语音拆卡则要求 macOS 26+。

–

Atlas.nvim17github.com原文 ↗

github.com

Atlas.nvim 在 Neovim 0.10+ 内整合 GitHub、GitLab、Bitbucket 的 PR，以及 Jira/GitHub/GitLab issue 队列。用户可浏览 diff、定位并回复 review thread、同步文件已审状态、查看流水线日志，还能保存不会上传平台的行级笔记。它为键盘驱动审查提供了完整入口，不过项目仍处早期，第三方 diff 插件的内部 API 变化可能直接破坏集成。

–

Notem18notem.pages.dev原文 ↗

notem.pages.dev

Notem 以 SQLite WASM 作为浏览器内数据层，不要求远端账号或云数据库，笔记内容和查询都留在设备上。这个实现把成熟的结构化存储能力带到纯客户端应用，同时保留离线和隐私优先特性。相应地，跨设备同步、灾难恢复和备份不再由服务端兜底，需要用户另行建立数据迁移路径。

–

Flynt.js19github.com原文 ↗

github.com

Flynt.js 是给服务端渲染 MPA 补局部响应式交互的 2.2KB、零依赖微库，用 `data-fx` 连接 DOM 与 Presenter 方法。约 165 行代码通过 `Object.defineProperty` 追踪依赖、microtask 合批写入，并用 keyed O(1) 引用缓存原地更新列表，不需要虚拟 DOM 或构建步骤。数组必须采用不可变更新，它适合 Magento、Blade、WordPress 页面的小范围增强，而不是完整 SPA 的路由和状态平台。

–

行业动态 · Industry News

10 项 · 行业动态

Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter20bloomberg.com原文 ↗

bloomberg.com

Bloomberg 报道 Stripe 将以超过 70 亿美元收购模型聚合与路由平台 OpenRouter。OpenRouter 用统一接口连接数百种模型，官方此前称服务超过 500 万开发者，并已采用 Stripe Invoicing、Tax 与 Radar 处理账单、税务和欺诈。若交易按报道落地，Stripe 获得的不只是代理软件，而是 AI token 的计量、模型选择和结算入口。

–

Firefox for iOS now has a native adblocker21support.mozilla.org原文 ↗

support.mozilla.org

Firefox for iOS 新增基于 EasyList 的网络层广告拦截，可过滤第三方广告网络、追踪器、弹窗和覆盖层。该功能默认关闭、仍为实验性渐进发布，而且不会拦搜索结果广告或 Firefox 首页与新标签页的赞助内容。Mozilla 把它做成全局及逐站可切换的原生开关，能力边界比桌面扩展更窄但部署更直接。

–

Claude: System Prompts22platform.claude.com原文 ↗

对齐与治理上下文工程可观测性与调试其他垂直

Anthropic 建立按模型和日期排列的 Claude 产品系统提示词记录页，同一模型更新时提供差异视图。页面覆盖 claude.ai 和移动应用而非 Claude API，并说明提示中会注入当前日期、约束 Markdown 代码等产品行为；Claude 4.6 起每个 model ID 对应固定快照。公开记录让产品层指令变化可以单独审计，避免把界面行为漂移全部归因于底层模型。

–

Patterns and problems in emerging multi-agent systems23anthropic.com原文 ↗

多智能体工作流与控制流评测方法研究·科学

Anthropic 将多 agent 真正可能胜出的条件归为上下文隔离、并行执行和角色专门化，并比较四种协调架构的通信与控制权衡。其既有 BrowseComp 研究里，token 用量单项解释 80% 的表现差异，三项因素合计解释 95%；代价是多 agent 系统约耗费普通聊天 15 倍 token。文章把注意力从“多开几个模型”移到任务分解、验证者、共享目标及协调预算，这比抽象的群体智能叙事更接近工程现实。

–

Protobuf has LSP support24buf.build原文 ↗

buf.build

Buf CLI 现内置 Protobuf LSP server，通过 `buf lsp serve` 向 VS Code、Neovim 等编辑器提供定义跳转、补全、引用、语义高亮与诊断。实现没有复用面向序列化的 `FileDescriptorProto`，而是在 `protocompile` 上构建 query-driven 增量前端以及新的 AST/IR，以支撑大型模块和 Editions 2024。自动补 import、custom option 引用和字段号建议仍在路线图，当前版本已解决的是基础语言理解而非全部编辑辅助。

–

Racket v9.325blog.racket-lang.org原文 ↗

blog.racket-lang.org

Racket 9.3 延续语言、运行时和工具链的常规迭代，并提供官方安装包。项目长期维持约每年四次发布：自 2010 年以来累计 69 个版本，Rhombus 2019 年公开后也经历 29 次主线发布。数字说明生态仍在持续维护，但升级风险仍应根据公告里的不兼容修复与包测试判断，次版本号不能替代迁移验证。

–

The Ploopy A+ Trackball Is Here26blog.ploopy.co原文 ↗

blog.ploopy.co

Ploopy A+ 是 Adept 的开源后继款，继续使用 QMK、3D 打印外壳与公开设计文件，并加入两枚可点击滚轮和球体背光。它采用固定 45mm 球，兼容 Adept 的轴承安装类改装；DIY 套件与成品预购从 99 加元起，首批预计 8 周或 16 周发货。相较大众封闭外设，这款有线产品把可维修、可改装和固件可控放在无线便利之前。

–

Cloudflare silently injects its analytics when you switch nameservers27news.ycombinator.com原文 ↗

news.ycombinator.com

一名站点运营者报告，将域名 nameserver 切到 Cloudflare 后，返回页面被自动加入 Web Analytics 脚本。争议不在边缘服务能看到流量，而在浏览器端响应与访客数据流发生变化，却没有通过显式站点配置清楚呈现。这个案例提示 CDN/DNS 迁移验收应检查 HTML 正文、CSP、第三方请求和隐私声明，而不应只看解析与可用性。

–

Kimi Work attaches raw agent sessions to feedback reports28news.ycombinator.com原文 ↗

安全与攻防可观测性与调试对齐与治理计算机·Web

对 Kimi Work 桌面客户端的逆向检查发现，用户提交反馈时，报告包会附带最近 5 次 agent 会话的原始记录，界面未清楚说明这一范围。历史会话可能含本地文件内容、工具输出和私人上下文，其敏感度远高于崩溃栈或设备信息。具体的产品修正应是列明附件、允许发送前预览和删除，并把跨会话采集改为显式选择。

–

CVE-2026-33696: From a Schema Name to RCE in n8n29simonkoeck.com原文 ↗

simonkoeck.com

CVE-2026-33696 允许具备工作流创建或编辑权限的用户，经 XML 与 GSuiteAdmin 节点构造参数污染 `Object.prototype`，再把全局属性注入升级为 n8n 实例上的远程代码执行。NVD 条件为网络可达、低复杂度、低权限且无需用户交互；修复已进入 1.123.27、2.13.3 和 2.14.1。漏洞链值得研究之处在于一个看似普通的 schema 名如何跨节点组合成执行原语，临时禁用单节点并不能替代升级。

–

博客文章 · Blog Posts

15 项 · 博客文章

Qwen 3.8 27B is excellent, but it defaults to wildly overthinking things30simonwillison.net原文 ↗

测试时计算评测方法编码

Simon Willison 的本地测试认为 Qwen 3.8 27B 已有很强的代码与 agent 能力，但默认推理预算会在中等任务上膨胀，抵消本地部署的延迟优势。社区案例出现约 3 万生成 token 才完成一道适中工程题，通过限制思考长度或关闭 thinking 才改善可用性。文章把“答案能不能做对”与“要花多少 token、功耗和等待时间”放进同一评价函数，这是本地模型选型常被忽略的一半。

–

Models Are Getting Dumber on Purpose31w4g1.dev原文 ↗

w4g1.dev

文章把同名模型表现变差解释为产品层变量：服务商可调整推理预算、请求路由、量化或蒸馏版本以及高峰期算力，而界面仍显示同一个名称。这些优化降低单位请求成本和延迟，却使用户接触到的能力不再是稳定契约。线上评测因此需要持续记录日期、端点、参数和固定任务集，一次 benchmark 只能描述当时的服务配置。

–

What happens when an LLM never sees material beyond fifth grade?32littlelearner-ll.github.io原文 ↗

littlelearner-ll.github.io

Little Learner 将训练材料阅读难度限制在小学五年级及以下，用来观察知识、语言与推理能力的形成边界。实验把“数据复杂度”变成受控变量，试图判断简单语料能否组合出更高阶能力，而不是再比较参数量。阅读等级、知识覆盖和文本多样性仍彼此纠缠，所以结果更适合视为训练分布探针，不是儿童材料优劣排名。

–

A 3rd World Embedded Engineer Responds to “RISC-V: They Should Have Known Better”33rvembedded.com原文 ↗

rvembedded.com

作者从低成本市场的嵌入式实践回应对 RISC-V 生态的批评，把芯片单价、持续采购、调试工具和本地供应链放在 ISA 特性旁边比较。采购者实际面对的是未来能否以可接受成本买到器件、文档和替代料，而不是纸面架构的理想对决。这个视角既补足高收入市场评测的盲区，也说明开放指令集不会自动长成成熟产品生态。

–

The AI Credit Resale Economy34vectoral.com原文 ↗

vectoral.com

文章追踪 token broker 如何把被盗密钥、泄漏凭据、代理软件与灰色市场串成 AI 额度转售供应链，再通过廉价聊天站或下游 API 消耗受害者账单。Vectoral 提议不保存 prompt，而以行为指纹、请求图聚类、账户/IP 数、token 速率和常在线模式评分，并在 50ms 内阻断或挑战。威胁模型由“某把 key 泄漏”扩展为长期、多账户、可换入口的转售网络，检测对象也随之从字符串变成行为结构。

–

You can just choose how many bugs you want now35nolanlawson.com原文 ↗

nolanlawson.com

Nolan Lawson 认为生成工具把代码产量变成可调旋钮，团队可以轻易提高变更量，也就主动选择了更高的审查、集成和缺陷负担。模型没有消除质量曲线，只是让人更快沿曲线移动；测试、可观测性和人工理解若不同比扩容，额外吞吐最终会表现为回归。这里的尖锐判断是 bug 数量越来越像交付策略的结果，而不是自动化偶发的不幸。

–

AI Coding Without the Vibes36peterbloem.nl原文 ↗

工作流与控制流推理与规划评测方法编码

Peter Bloem 提出“craft coding”：人负责需求拆分、架构和整体理解，只把边界明确的局部实现交给模型，再通过阅读、测试与重构吸收产物。它既不把 prompt 当工程判断的替代品，也不拒绝高带宽自动化。衡量标准从生成行数转为开发者能否解释系统、独立定位失败并长期维护，因而提供了一种比“全手写或全托管”更可操作的中间路线。

–

Software Engineering fundamentals matter more than ever37rhonabwy.com原文 ↗

rhonabwy.com

文章指出生成式编程降低了代码生产成本，却放大了需求表达、边界设计、验证、调试和系统思考的杠杆。模型能迅速实现一份清晰设计，也会以同样速度扩散错误假设；当实现不再稀缺，验收条件与复杂度控制成为主要瓶颈。结论并非回到手写所有代码，而是用工程基本功约束更快、更大量的机器产出。

–

Engineers will do anything to avoid learning from history38horn.gg原文 ↗

horn.gg

文章观察软件行业反复用新名词包装旧权衡：集中与分布、厚客户端与薄客户端、共享状态与消息传递并未消失，只是换了技术载体。若设计者只从当前工具的营销语言出发，就会把已有故障模式重新发现一遍。历史经验的实际作用不是复制旧答案，而是在新架构出现时先定位它重演了哪组约束，以及这次是否真有前提发生变化。

–

Tracking down a Zsh history data loss bug39michael.stapelberg.ch原文 ↗

michael.stapelberg.ch

Michael Stapelberg 记录 Zsh 历史文件被截断的调查过程，从可复现条件、文件变化和 shell 写入路径逐步收窄触发点。方法上最扎实的是保留现场、构造最小复现、区分配置相关性与因果关系，并在修复后直接检查磁盘状态。对交互式工具而言，命令退出正常并不证明持久化成功，历史文件本身必须进入回归测试。

–

Protecting the Rust standard library from accidental breakage40predr.ag原文 ↗

predr.ag

文章介绍用自动化兼容性检查和审查机制保护 Rust 标准库，捕获那些看似局部、却会改变下游可编译性的 API 改动。相关 `cargo-semver-checks` 研究扫描 1.4 万多个 crate release，超过 3% 含至少一个 SemVer 违规；最流行 1000 个 crate 中逾六分之一曾破坏兼容。trait、re-export 和泛型边角很难靠人工穷尽，机器可执行的兼容契约因而是标准库稳定性的基础设施。

–

What’s missing to have reproducible builds on PyPI41snarky.ca原文 ↗

snarky.ca

文章拆解 PyPI 从同一源码重建相同 wheel 尚缺的协议：完整描述输入与工具链、重建隔离环境、生成可比较证明，并让索引承载验证元数据。源码归档或 lock file 都覆盖不了编译器、系统库、时间戳和平台标签。可复现发布需要构建前端、后端、PyPI 与独立验证者共同协作，问题远超给单个项目补一条构建命令。

–

I thought I was building a C replacement. I was wrong42c3-lang.org原文 ↗

c3-lang.org

C3 作者回顾项目如何从“修正 C 的替代语言”转向有独立目标的系统语言：熟悉语法只是入口，设计逐渐围绕清晰错误处理、模块、泛型和可预测工具链展开。若所有选择都受“无缝替换 C”约束，新语言反而会继承本想摆脱的历史包袱。定位转变为评估 C3 提供了更诚实的尺度，也明确提醒现有 C 代码不会获得零成本迁移。

–

A spectre is haunting Unicode43dampfkraft.com原文 ↗

dampfkraft.com

文章追溯 JIS X 0208 自 1978 年收录的来源不明汉字，1997 年调查发现其中一部分源于编目错误。`妛` 是把分别剪贴的“山”和“女”复印后误把接缝当成笔画，核心幽灵字符共有 12 个，`彁` 至今找不到明确来源。偶然录入一旦进入 Unicode，就会因全球兼容性要求近乎永久存在，这是一则极具体的数据标准不可逆案例。

–

The Case Against Formal Verification, 50 Years Later44ivan-gavran.github.io原文 ↗

ivan-gavran.github.io

文章重访 DeMillo、Lipton 与 Perlis 近 50 年前的批评：数学证明的可信度还来自同行反复阅读、争论和形成共识，大型程序证明很难自动获得同等社会审视。现代证明助手能检查内部推导是否符合规则，却不能自行保证规格写对、模型覆盖现实或组织会持续维护证明。它反对的不是形式工具本身，而是把机器验通过度外推为整个软件系统已被证明正确。

–

引用来源 · References

57 条 · 引用
  1. 1 Validation-Centric AI-Assisted GPU Porting of a 250,000+ Line Legacy Weather Simulation Code. arXiv:2608.13122https://arxiv.org/abs/2608.13122 ↩ 回到正文 · back to text
  2. 2 Offshoot. GitHub: sricola/offshoothttps://github.com/sricola/offshoot ↩ 回到正文 · back to text
  3. 3 Customhouse. GitHub: vineetpant/customhousehttps://github.com/vineetpant/customhouse ↩ 回到正文 · back to text
  4. 4 Soup. GitHub: MakazhanAlpamys/Souphttps://github.com/MakazhanAlpamys/Soup ↩ 回到正文 · back to text
  5. 5 SGLang-Omni. GitHub: sgl-project/sglang-omnihttps://github.com/sgl-project/sglang-omni ↩ 回到正文 · back to text
  6. 6 Simplifying and Refactoring Introductory Calculus. arXiv:1811.03459https://arxiv.org/abs/1811.03459 ↩ 回到正文 · back to text
  7. 7 MathCode. Math AIhttps://math-ai-org.github.io/mathcode/ ↩ 回到正文 · back to text
  8. 8 Wildstatichttps://wildstatic.com/ ↩ 回到正文 · back to text
  9. 9 Jit. GitHub: jitpass/jithttps://github.com/jitpass/jit ↩ 回到正文 · back to text
  10. 10 Mic Drophttps://www.micdrop.gg/ ↩ 回到正文 · back to text
  11. 11 Wakuhttps://waku.sh ↩ 回到正文 · back to text
  12. 12 DeepSeek V4 Flash 56.8GB MoEspressoV2. Hugging Facehttps://huggingface.co/steadfastgaze/DeepSeek-V4-Flash-0731-Coder-56.8GB-MoEspressoV2 ↩ 回到正文 · back to text
  13. 13 Meridian. GitHub: Meridiona/meridianhttps://github.com/Meridiona/meridian/ ↩ 回到正文 · back to text
  14. 14 ProofRun. GitHub: yebiguo/ProofRunhttps://github.com/yebiguo/ProofRun ↩ 回到正文 · back to text
  15. 15 Agent6. GitHub: agent6-dev/agent6https://github.com/agent6-dev/agent6 ↩ 回到正文 · back to text
  16. 16 Remarc. GitHub: metedata/Remarchttps://github.com/metedata/Remarc ↩ 回到正文 · back to text
  17. 17 Atlas.nvim. GitHub: emrearmagan/atlas.nvimhttps://github.com/emrearmagan/atlas.nvim ↩ 回到正文 · back to text
  18. 18 Notemhttps://notem.pages.dev/ ↩ 回到正文 · back to text
  19. 19 Flynt.js. GitHub: marsbos/flynt.jshttps://github.com/marsbos/flynt.js ↩ 回到正文 · back to text
  20. 20 Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter. Bloomberghttps://www.bloomberg.com/news/articles/2026-08-16/stripe-nears-deal-to-buy-ai-firm-openrouter-for-over-7-billion ↩ 回到正文 · back to text
  21. 21 Firefox for iOS now has a native adblocker. Mozilla Supporthttps://support.mozilla.org/en-US/kb/block-ads-firefox-ios ↩ 回到正文 · back to text
  22. 22 Claude: System Prompts. Anthropichttps://platform.claude.com/docs/en/release-notes/system-prompts ↩ 回到正文 · back to text
  23. 23 Patterns and problems in emerging multi-agent systems. Anthropichttps://www.anthropic.com/research/multiagent-systems ↩ 回到正文 · back to text
  24. 24 Protobuf has LSP support. Bufhttps://buf.build/blog/protobuf-lsp ↩ 回到正文 · back to text
  25. 25 Racket v9.3. Racket Bloghttps://blog.racket-lang.org/2026/08/racket-v9-3.html ↩ 回到正文 · back to text
  26. 26 The Ploopy A+ Trackball Is Here. Ploopy Bloghttps://blog.ploopy.co/the-aplus-is-finally-here-499 ↩ 回到正文 · back to text
  27. 27 Cloudflare silently injects its analytics when you switch nameservers. Hacker Newshttps://news.ycombinator.com/item?id=49322107 ↩ 回到正文 · back to text
  28. 28 Kimi Work attaches raw agent sessions to feedback reports. Hacker Newshttps://news.ycombinator.com/item?id=49313711 ↩ 回到正文 · back to text
  29. 29 CVE-2026-33696: From a Schema Name to RCE in n8n. Simon Köckhttps://simonkoeck.com/writeups/n8n-gsuiteadmin-prototype-pollution-rce ↩ 回到正文 · back to text
  30. 30 Qwen 3.8 27B is excellent, but it defaults to wildly overthinking things. Simon Willisonhttps://simonwillison.net/2026/Aug/16/qwen-38-27b/ ↩ 回到正文 · back to text
  31. 31 Models Are Getting Dumber on Purposehttps://w4g1.dev/blog/models-are-getting-dumber-on-purpose ↩ 回到正文 · back to text
  32. 32 What happens when an LLM never sees material beyond fifth grade? Little Learnerhttps://littlelearner-ll.github.io/ ↩ 回到正文 · back to text
  33. 33 A 3rd World Embedded Engineer Responds to “RISC-V: They Should Have Known Better”. RV Embeddedhttps://rvembedded.com/blog_post/12/ ↩ 回到正文 · back to text
  34. 34 The AI Credit Resale Economy. Vectoralhttps://vectoral.com/blog/who-are-the-token-brokers ↩ 回到正文 · back to text
  35. 35 You can just choose how many bugs you want now. Nolan Lawsonhttps://nolanlawson.com/2026/08/16/you-can-just-choose-how-many-bugs-you-want-now/ ↩ 回到正文 · back to text
  36. 36 AI Coding Without the Vibes. Peter Bloemhttps://peterbloem.nl/blog/craft-coding ↩ 回到正文 · back to text
  37. 37 Software Engineering fundamentals matter more than everhttps://rhonabwy.com/2026/08/15/software-engineering-fundamentals-matter-more-than-ever/ ↩ 回到正文 · back to text
  38. 38 Engineers will do anything to avoid learning from history. Hornhttps://horn.gg/blog/engineers-will-do-anything-to-avoid-learning-from-history/ ↩ 回到正文 · back to text
  39. 39 Tracking down a Zsh history data loss bug. Michael Stapelberghttps://michael.stapelberg.ch/posts/2026-08-09-zsh-history-truncation-bug/ ↩ 回到正文 · back to text
  40. 40 Protecting the Rust standard library from accidental breakage. Predrag Gruevskihttps://predr.ag/blog/protecting-the-rust-stdlib-from-breakage/ ↩ 回到正文 · back to text
  41. 41 What’s missing to have reproducible builds on PyPI. Brett Cannonhttps://snarky.ca/whats-missing-to-have-reproducible-builds-on-pypi/ ↩ 回到正文 · back to text
  42. 42 I thought I was building a C replacement. I was wrong. C3https://c3-lang.org/blog/i_thought_i_was_building_a_c_replacement/ ↩ 回到正文 · back to text
  43. 43 A spectre is haunting Unicode. Dampfkrafthttps://www.dampfkraft.com/ghost-characters.html ↩ 回到正文 · back to text
  44. 44 The Case Against Formal Verification, 50 Years Later. Ivan Gavranhttps://ivan-gavran.github.io/0-social-processes-paper ↩ 回到正文 · back to text
  45. 45 cordiverse/cordis. GitHubhttps://github.com/cordiverse/cordis ↩ 回到正文 · back to text
  46. 46 public-apis/public-apis. GitHubhttps://github.com/public-apis/public-apis ↩ 回到正文 · back to text
  47. 47 CLI-Anything. GitHub: HKUDS/CLI-Anythinghttps://github.com/HKUDS/CLI-Anything ↩ 回到正文 · back to text
  48. 48 colleague-skill. GitHub: titanwings/colleague-skillhttps://github.com/titanwings/colleague-skill ↩ 回到正文 · back to text
  49. 49 OpenBiliClaw. GitHub: whiteguo233/OpenBiliClawhttps://github.com/whiteguo233/OpenBiliClaw ↩ 回到正文 · back to text
  50. 50 Koharu. GitHub: mayocream/koharuhttps://github.com/mayocream/koharu ↩ 回到正文 · back to text
  51. 51 ModLens. GitHub: liustack/modlenshttps://github.com/liustack/modlens ↩ 回到正文 · back to text
  52. 52 Convert. GitHub: p2r3/converthttps://github.com/p2r3/convert ↩ 回到正文 · back to text
  53. 53 Diagram Design. GitHub: cathrynlavery/diagram-designhttps://github.com/cathrynlavery/diagram-design ↩ 回到正文 · back to text
  54. 54 Macro. GitHub: macro-inc/macrohttps://github.com/macro-inc/macro ↩ 回到正文 · back to text
  55. 55 ToolJet. GitHub: ToolJet/ToolJethttps://github.com/ToolJet/ToolJet ↩ 回到正文 · back to text
  56. 56 WeatherNext. GitHub: google-deepmind/weathernexthttps://github.com/google-deepmind/weathernext ↩ 回到正文 · back to text
  57. 57 Paperclip. GitHub: paperclipai/papercliphttps://github.com/paperclipai/paperclip ↩ 回到正文 · back to text