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

每日 Harness

2026-07-07 · Tuesday, July 7, 2026

智能体工程化深水区

视图 · View

今日重点 · Today's Highlights

Kani: A Model Checker for Rust 1 - Rust verification 的看点不在“又一个静态分析器”，而是 Kani 把 MIR proof harness 接到 CBMC bit-precise 引擎，并用 contracts 把有界检查推进到功能正确性。

全文 ↓

论文 · Papers

3 项 · 论文

Titan's Resources and Their Utilization6arxiv.org原文 ↗

arxiv.org

这篇综述把 Titan 当作长期任务和外太阳系栖居的资源系统来分析，而不是只做行星科学描述：N2/CH4 大气、液态/固态烃和水冰提供了氮、还原碳与氧。论文长 107 页、30 张图，具体结论是 Titan 可能支持食物、燃料和建筑材料生产，但金属等重元素在表层可能稀缺，需要外部补给或进一步探测。它值得一看之处在于把 Moon/Mars 常见 ISRU 讨论扩展到低温烃世界，工程边界完全不同。

–

本期重点Kani: A Model Checker for Rust1arxiv.org原文 ↗

arxiv.org

Kani 面向 Rust 中编译器类型系统不覆盖的问题：unsafe 操作是否 sound、函数是否满足规格、运行时 panic 是否可达。它把 Rust MIR 上的 proof harness 编译到 CBMC，并自动检查一组安全属性；进一步用 function contracts、loop contracts、quantifiers 和 stubbing 扩展到更强规格。摘要中的硬事实是工业案例发现 6 个未知 bug，并在 Rust 标准库验证 campaign 中每次代码变更验证 16,000 多个 harness。

–

本期重点Does code cleanliness affect coding agents? A controlled minimal-pair study2arxiv.org原文 ↗

评测方法编码

论文构造 clean/messy minimal pairs，保持架构、依赖和外部行为一致，只改变静态分析违规与认知复杂度，由此隔离“代码整洁度”变量。33 个任务、6 组仓库、660 次 Claude Code 试验显示 pass rate 没变，但 cleaner code 让 token 使用少 7-8%，文件重访减少 34%。它把 maintainability 的收益从人类可读性扩展到 agent 计算成本和导航效率，是比“AI 不怕烂代码”更细的结论。

–

开源 / 项目 · Projects

15 项 · 开源 / 项目

Otari: your open-source LLM control plane7github.com原文 ↗

github.com

Otari 是 Mozilla AI 的自托管 OpenAI-compatible LLM gateway，让应用只接一个 endpoint，再由它路由到 40+ providers。README 里的机制包括 virtual keys、provider key 集中保存、预算在请求发出前拦截、usage/spend 统一记录到 `/v1/usage`。它的工程价值在于把多模型接入、配额和账单观察从业务代码里拿出来，放到可运维的控制平面。

–

DemandMap - Memory Mapping S3 into Polars on macOS Without FUSE8github.com原文 ↗

github.com

DemandMap 试图把 S3 对象伪装成可按需访问的本地内存视图，供 Polars、Arrow、Numpy 这类分析库懒加载读取。它在 macOS 上避免 FUSE，又不要求先把大对象完整下载到本地。这个项目指向数据工程里的一个小但尖锐的问题：列式查询经常只需要文件片段，而对象存储接口默认仍然更像“下载文件”。

–

本期重点Python 3.14 compiled to metal - no interpreter3github.com原文 ↗

github.com

`pon` 是 Rust 写的 Python 3.14 JIT/AoT native compiler，没有解释器和 bytecode，模块经 ruff parser 降到共享 IR 后交给 Cranelift 生成机器码。项目还包含 runtime、Green Tea GC、package manager 和 differential conformance suites。README 当前状态写得很克制：JIT 有 209 个 CPython corpus 模块字节一致，AoT 有 172 个模块通过，同时 CPython full test、stdlib 补齐和性能 ratchet 仍在路线图上。

–

OfficeCLI: Office suite for AI agents to read and edit Microsoft Office files9github.com原文 ↗

工具使用计算机·Web

OfficeCLI 给 agent 提供 Word、Excel、PowerPoint 的读写和自动化入口，定位不是传统 office viewer，而是 agent 工具。它是单二进制、开源、无需 Office 安装，并内置 HTML rendering engine，可把 docx/xlsx/pptx 渲染成 HTML 或 PNG。这个“render -> look -> fix”循环很关键，因为编辑 Office 文件时 XML diff 是否正确，往往不等于视觉结果正确。

–

本期重点Januscape: Guest-to-Host Escape in KVM/x864github.com原文 ↗

github.com

Januscape 发布 CVE-2026-53359 的说明和 PoC，漏洞是 KVM/x86 shadow MMU emulation 中的 use-after-free，guest 侧动作即可腐蚀 host kernel shadow page。README 称它可影响 Intel 和 AMD，曾用于 Google kvmCTF 0-day，公开 PoC 触发的是 host kernel panic，而完整 escape exploit 未发布。影响范围从 2010-08-01 的提交到 2026-06-16 的修复，说明虚拟化隔离里的长寿命内核 bug 仍然可能跨过多个硬件世代。

–

Pulpie - Models for Cleaning the Web10usefeyn.com原文 ↗

usefeyn.com

Pulpie 是 Feyn Labs 发布的 HTML 主内容抽取模型族，用 encoder 对 HTML block 做 content/boilerplate 标注，一次 forward pass 完成清洗。最小模型 `pulpie-orange-small` 只有 210M 参数，WebMainBench ROUGE-5 F1 为 0.862，接近 600M Dripper 的 0.864；在 NVIDIA L4 上 13.7 pages/sec，对比 Dripper 的 0.68 pages/sec。它的意义在于 web-scale 预训练和 RAG 抽取中，清洗质量和清洗成本往往同时卡住数据管线。

–

Scan your AI agents for dangerous capabilities11github.com原文 ↗

安全与攻防工具使用可观测性与调试系统·基础设施

MakerChecker 把 agent 安全治理拆成 scanner、embedded library、server gateway、SDK 和 proof verifier。`npx @makerchecker/scan .` 用于找出 agent 已经能做的高风险动作，例如删数据、转账、跑 shell、外泄 secret；运行时则用 deny-by-default、role grants、人审 gate 阻止 agent 自批。它的审计链用 Ed25519 签名和 hash chaining，重点是让“谁允许了哪个 tool call”可离线验证，而不只是在日志里搜索。

–

本期重点Record, replay, and improve AI agents in production5github.com原文 ↗

可观测性与调试框架与脚手架执行环境与沙箱系统·基础设施

Kitaru 作为 agent runtime 放在模型/harness 与组织平台之间，记录每个 run 的 model call、tool call、decision 和 checkpoint。它允许从任意 checkpoint replay，并覆盖模型、参数或工具输出，直接比较“如果换个模型会怎样”。README 还提到 `kitaru.wait()` 可暂停释放 compute，`flow.deploy()` 冻结版本快照，`@checkpoint(runtime="isolated")` 可把重型或高风险步骤丢到独立 pod/job。

–

Skeights - Serialize sklearn models to safetensors and JSON, no pickle12github.com原文 ↗

github.com

Skeights 解决的是 sklearn 默认 pickle 序列化的三类问题：加载可执行任意代码、跨版本脆弱、内部结构不可检查。它把模型结构写成 JSON，把权重写成 safetensors，因此 hyperparameters 可以 diff，数值参数也不必藏在 opaque blob 里。README 列出的覆盖面已经包括线性模型、MLP、树模型、随机森林、GBDT、HistGradientBoosting、LightGBM、XGBoost、Gaussian Process、scalers 和 Pipeline，但兼容性仍是 best-effort。

–

Belgie - Run TypeScript from Python in an Embedded Deno Sandbox14github.com原文 ↗

github.com

Belgie 在 Python 内嵌 Deno sandbox，用来执行 JavaScript 和 TypeScript 代码。它适合那些主系统是 Python、但插件或用户脚本生态更接近 JS/TS 的场景。相比直接起 Node 子进程，Deno sandbox 的卖点在于权限边界更清楚，跨语言调用也更容易被封装成库接口。

–

Open Science, open-source alternative to Claude Science15github.com原文 ↗

工作流与控制流框架与脚手架技能系统研究·科学

Open Science 是本地优先、模型无关的科学研究 workbench，而不是一个聊天窗口。README 把流程定义为 plan -> approve -> execute -> artifacts -> review，并要求图表、表格和报告能追溯回代码、数据、环境和对话。技术栈是 Tauri + React + OpenCode runtime + agent skills，当前 release 0.1.1，项目自己也提醒输出只是草稿，数字、引用和结论必须经领域专家复核。

–

Live-Memory: always-fresh repo memory for agents16github.com原文 ↗

Agent 记忆检索与知识接地协议与互操作编码

Live-Memory 用一个便宜的长上下文模型作为长期 MCP server，被动学习代码库并回答主 agent 的结构性问题。它通过 hooks 从 agent 已有的读写中学习，不额外扫库，并在文件修改或删除后保持更新；主 agent 调 `ask_live_memory` 问“哪里实现了 X”“Y 调谁”等问题。这个设计把 repo memory 从 prompt 里的静态摘要，变成了一个可持续刷新的只读工具。

–

CoMaps - FOSS Offline Maps17comaps.app原文 ↗

comaps.app

CoMaps 是基于 OpenStreetMap 社区的开源离线地图应用，主页强调 hike、bike、drive 场景下可离线搜索和规划路线。页面明确写到不识别、不追踪、不收集用户信息，并经过 Exodus 隐私审计；项目是 Organic Maps 和 Maps.Me 的 fork。它不是 AI 项目，但在移动应用里把离线能力、隐私和社区地图放在一起，形成了很清楚的产品边界。

–

OpenWrt One - Open Hardware Router18openwrt.org原文 ↗

openwrt.org

OpenWrt One 是 OpenWrt 官方开放硬件路由器页面，页面集中列出硬件规格和支持状态。对路由器类硬件来说，官方 ToH 页面比新闻稿更实用，因为它直接关系到 boot、flash/storage、无线芯片、版本 revision 和固件维护状态。这个条目适合关注“能不能长期刷、长期修、长期复现”的网络设备用户。

–

行业动态 · Industry News

12 项 · 行业动态

Workers Cache19blog.cloudflare.com原文 ↗

blog.cloudflare.com

Cloudflare 介绍 Workers Cache，让开发者在 Workers 代码路径里更直接地控制缓存。这里的重点不是 CDN 又多了一个按钮，而是缓存写入、命中、key、TTL 和失效策略可以跟边缘逻辑绑定。对 serverless/edge 应用来说，这会影响 API 响应、动态页面和中间计算结果如何被复用。

–

Road to Elm 1.020elm-lang.org原文 ↗

elm-lang.org

Elm 官方更新 0.19.2 的构建性能，并把这次更新放进通往 1.0 的路线里。Elm 社区长期更看重稳定和语义一致性，因此 build speed 的官方改进不是单纯的工具链小修。它给仍在使用 Elm 的团队一个信号：核心语言没有转向快节奏破坏式迭代，但编译体验仍在被打磨。

–

Resetting Xbox21news.xbox.com原文 ↗

news.xbox.com

Xbox 官方发布业务调整说明，把这次变化称为 Resetting Xbox。条目不是游戏发布，而是平台方对组织、产品组合和长期方向的再表述。它值得记录，是因为第一方平台在内容投入、订阅、硬件和发行策略上的口径变化，会直接影响开发者、发行伙伴和玩家预期。

–

Amazon will stop accepting new customers for Mechanical Turk22techcrunch.com原文 ↗

techcrunch.com

TechCrunch 报道 Amazon Mechanical Turk 将停止接受新客户。MTurk 长期服务微任务、标注、调查和数据处理需求，这次变化至少意味着新项目入口收窄。对依赖廉价人工标注或众包实验的团队，后续更现实的问题是既有账户政策、替代供应商和合规审计如何迁移。

–

Nintendo announces new product revisions in Europe with replaceable batteries23nintendo.com原文 ↗

nintendo.com

Nintendo 欧洲支持页说明部分产品会推出可更换电池 revision。它不是功能升级新闻，而是硬件生命周期和法规适配新闻。可更换电池会影响外壳设计、维修路径、库存 SKU 和二手设备维护，也说明欧洲维修权/电池规则已经落到消费电子产品的具体 revision 上。

–

AMD Ryzen AI Halo - $4k AI Dev Kit24lttlabs.com原文 ↗

lttlabs.com

LTT Labs 测试 AMD Ryzen AI Halo 开发套件，测试对象是一台约 4,000 美元的开发套件。这个条目的技术问题是本地 AI dev kit 能否在真实工作流里替代更传统的 GPU 工作站，而不只是展示 NPU 指标。评估应看内存容量与带宽、驱动成熟度、模型 runtime 支持和端到端吞吐，而不是单个 benchmark。

–

Big Tech Has Suddenly Flipped on the AI Jobs Wipeout Scenario25wsj.com原文 ↗

wsj.com

WSJ 报道大型科技公司高管对 AI 与就业影响的表态出现转向。过去常见叙事是 AI 增强员工，现在更频繁出现岗位替代和组织收缩的直接表达。这个变化的重要性在于它会进入预算、招聘、重组、监管听证和投资人沟通，而不只停留在技术预测。

–

Google Chrome Installed a 4GB AI Model on Your PC26oztalking.com原文 ↗

oztalking.com

文章追踪 Chrome 本地安装大体积 AI 模型的行为，文章记录的模型体积约 4GB。浏览器成为本地模型分发渠道后，用户面对的不只是一个功能开关，还有磁盘占用、后台下载、隐私边界、企业策略和可卸载性。它提示桌面软件的资源模型正在被“内置 AI”重新定义。

–

The Supreme Court Just Lit a Fuse Under Flock's License Plate Camera Empire27yahoo.com原文 ↗

yahoo.com

Yahoo News 报道美国最高法院相关判决对 Flock 车牌识别摄像头业务的影响。车牌识别网络的问题在于把普通道路移动变成可查询的位置数据库。只要法院对长期位置数据和执法调用提出更高要求，地方政府采购、数据共享协议和警务平台集成都会受到连锁影响。

–

Al Vigier: Canada's AI strategy shouldn't include secret Palantir bills28readtheline.ca原文 ↗

readtheline.ca

The Line 文章讨论加拿大 AI 战略和 Palantir 相关采购争议。它的核心不是 Palantir 单家公司，而是国家 AI 战略在采购、账单、供应商选择和审计权上是否透明。公共部门引入 AI 基础设施时，治理结构会先于模型效果成为争议中心。

–

Verizon is about to break our Gizmo watches29jefftk.com原文 ↗

jefftk.com

Jeff Kaufman 记录 Verizon 从 GizmoHub 迁移到 Verizon Family 时，对只有 Gizmo 手表、没有 Verizon 手机线的家庭造成断裂。文中时间线很具体：2026-06-10 收到旧 app 即将停用通知，2026-07-06 旧 app 计划关闭，而新 app 当时不支持这种账户形态。实际影响包括不能给孩子发短信、不能看定位、不能新增联系人，因为手表只允许联系人来电。

–

Web Security docs on MDN30openwebdocs.org原文 ↗

openwebdocs.org

Open Web Docs 说明 Sovereign Tech Agency 资助的 MDN Web Security 文档更新已经完成最大部分。新结构包含 Attacks、Defenses、Threat modeling、Authentication 四个支柱，覆盖 XSS、CSRF、prototype pollution、CSP、Fetch metadata、passkeys、session management 等。它的重要性在于把 web security 从零散参考页整理成实践导向文档，后续还会扩展 web privacy。

–

博客文章 · Blog Posts

15 项 · 博客文章

Learning to code is still worthwhile31stevekrouse.com原文 ↗

stevekrouse.com

Steve Krouse 讨论 AI 工具普及后学习编程为什么仍然成立。文章的中心判断是：编程学习的收益不只在亲手敲每一行代码，也在于能拆问题、读输出、判断模型建议和调试系统行为。AI 让初学者更快得到结果，但也让“不知道自己在批准什么”变成新的失败模式。

–

Pruning RAG context down to what the answer actually needs32kapa.ai原文 ↗

上下文工程检索与知识接地数据·分析

Kapa.ai 在 RAG pipeline 的 reranker 与 generator 之间加入一个小模型 pruner，让它同时看问题和所有候选 chunk，再按 1-5 等级判断哪些 chunk 真会参与答案。生产回放显示它丢掉约 68% context、保留约 96% recall，并在扣除自身调用成本后降低约 34% 查询费用。文章还指出 rerank score 不是跨 query 校准的绝对分数，因此简单阈值剪枝会误删组合相关的 chunk。

–

Price per 1M tokens is meaningless33janilowski.pl原文 ↗

janilowski.pl

Jan Ilowski 批评用每百万 token 单价比较模型成本，因为这个指标忽略了任务成功率、重试、输出长度、缓存和人工复核。便宜模型如果更啰嗦或更常失败，最终 cost per solved task 可能更高。这个视角适合采购或产品定价讨论：账单单位是 token，但业务单位通常是完成一次可靠任务。

–

GLM 5.2 and the coming AI margin collapse34martinalderson.com原文 ↗

martinalderson.com

Martin Alderson 用 GLM 5.2 讨论推理价格压力和 AI margin collapse。核心判断是模型能力快速追平会压缩 API 层的高毛利，尤其是当用户能在多个近似能力模型之间切换时。后续差异化更可能来自分发、企业合规、工作流集成、延迟和可靠性，而不是单个模型发布时的短暂领先。

–

Postgres Is Enough35postgresisenough.dev原文 ↗

postgresisenough.dev

Postgres Is Enough 主张多数团队不必为缓存、队列、搜索、文档、向量和分析过早引入一串独立系统。页面列出典型“webscale”栈会带来的部署、备份、监控、升级和 3AM 故障面。它不是说 Postgres 在每个维度最强，而是提醒许多项目真正的瓶颈是过早分布式化带来的运营复杂度。

–

What Emily Bender meant by “stochastic parrots”36spectrum.ieee.org原文 ↗

spectrum.ieee.org

IEEE Spectrum 采访 Emily Bender，澄清“stochastic parrots”不是泛指所有 AI，也不是一句辱骂，而是描述大型语言模型生成合成文本的机制。文章回顾 2021 年论文的背景，包括 Google 解雇 Timnit Gebru 和 Margaret Mitchell 后该论文获得更大关注。Bender 还指出如果重写，她会加入数据劳动条件和创作成果被大规模拿来训练的问题。

–

Anthropic's Method to Losing Goodwill in a Few Easy Steps37raheeljunaid.com原文 ↗

raheeljunaid.com

Raheel Junaid 把 Anthropic 的产品和沟通决策放在用户 goodwill 的框架里看。它关注的不是某一次限制或一次公告，而是当限制、价格、默认体验和解释方式连续累积时，早期拥护者如何转为不信任。对开发者工具公司来说，这类复盘比单纯的“用户抱怨”更有价值，因为 goodwill 是发布节奏和支持策略共同塑造的资产。

–

Regression to the Mean: on LLMs and the quiet death of the new38rruxandra.github.io原文 ↗

rruxandra.github.io

文章讨论 LLM 输出与创作趋同，认为模型倾向于生成概率上稳妥、平均、已经被大量见过的表达。它不是否认 LLM 能产出合格文本，而是担心当大量写作者把模型当默认中介，新风格、少数派判断和不合群的表达会被平均化。这个问题在内容生产、设计文案和教育写作里都会表现为“质量尚可但气味相似”。

–

Building relationships with customers through support didn't turn out as hoped39uncommonapps.nyc原文 ↗

uncommonapps.nyc

Uncommon Apps 复盘 Castro Podcasts 的客户支持经验，承认“通过支持建立客户关系”的预期没有按想象发生。支持工作面对的是重复问题、产品债务、响应时间和情绪劳动，不能只靠亲切沟通变成社区建设。它适合独立软件团队阅读，因为很多小团队会低估支持队列对产品开发节奏和个人精力的侵蚀。

–

Has_not_been_viewed_much40iamwillwang.com原文 ↗

iamwillwang.com

Will Wang 记录网页被搜索或平台低频展示时的可见性问题。这个题目看似很小，却触及开放网页越来越依赖分发系统判定“是否值得展示”的现实。对个人网站和笔记来说，页面存在、可访问、被索引和被推荐是四个不同状态，任何一层变弱都会让内容接近不可见。

–

Building Agents That Don't Break Themselves41fly.io原文 ↗

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

Fly.io 文章给 agent 工程一个清晰拆分：agent loop 可以长期存在并保留记忆，但执行 shell 命令的地方应该是可丢弃 sandbox。文中两个例子都用 Sprite，把每个 session 或 task 的命令放进隔离环境；危险命令不再靠“确认提示”防主机，而是靠主机不在攻击面里。最具体的演示是 agent 错删应用目录和 git/python 后，用 checkpoint restore 约 9 秒恢复。

–

sqlite-utils 4.0rc342simonwillison.net原文 ↗

simonwillison.net

Simon Willison 记录 sqlite-utils 4.0rc3，这次更新包含复合外键支持。sqlite-utils 的重要性在于它是大量小型数据工作流的 CLI 和 Python 胶水层，能把 CSV、JSON、数据库 introspection 和 schema migration 串起来。复合外键进入工具层后，更多真实关系模型可以直接被脚本生成和维护，而不是退化成单列 surrogate key。

–

Dependencies should be fetched directly from VCS43arp242.net原文 ↗

arp242.net

arp242 讨论依赖是否应直接从 VCS 获取，把包分发问题重新拉回源码、commit、tag 和签名。直接引用 VCS 的优势是可追溯性强，审计者能看到依赖来自哪个提交；代价是解析、缓存、镜像、可用性和生态治理会更难。它适合供应链安全讨论，因为中心化 registry 的便利和源码级可验证性本来就存在张力。

–

Zero-copy in Go: sendfile, splice, and the cost of io.Copy44segflow.github.io原文 ↗

segflow.github.io

Segflow 用 Go 1.22.12、Linux 6.6 和 512MiB 文件实验说明 `io.Copy` 何时走 sendfile/splice fast path。把 `*os.File` 直接传给 TCPConn 时，strace 看到约 2,958 次 sendfile；包一层普通 `io.Reader` 后，变成约 131k 次 read/write，syscall 时间约 24 倍。文章最实用的规则是：不要随手包 reader/writer，若必须包就保留 `WriterTo`/`ReaderFrom` 等可选接口。

–

The full stack of terminals explained45ahmadawais.com原文 ↗

ahmadawais.com

Ahmad Awais 把 terminal、shell、TTY、console、PTY、ANSI escape、raw/canonical mode 放到同一张系统图里解释。文章指出 terminal emulator 只负责输入输出和渲染，不理解 `git status`；shell 才负责解析命令、找程序、管理进程；TTY/PTY 是内核与用户态之间的字节通道。它适合调试 TUI、SSH、Vim、job control 和奇怪按键问题时补齐概念层。

–

引用来源 · References

59 条 · 引用
  1. 1 Kani: A Model Checker for Rust. arXiv:2607.01504https://arxiv.org/abs/2607.01504 ↩ 回到正文 · back to text
  2. 2 Does code cleanliness affect coding agents? A controlled minimal-pair study. arXiv:2605.20049https://arxiv.org/abs/2605.20049 ↩ 回到正文 · back to text
  3. 3 Python 3.14 compiled to metal - no interpreter. GitHub repositoryhttps://github.com/can1357/pon ↩ 回到正文 · back to text
  4. 4 Januscape: Guest-to-Host Escape in KVM/x86. GitHub repositoryhttps://github.com/V4bel/Januscape ↩ 回到正文 · back to text
  5. 5 Record, replay, and improve AI agents in production. GitHub repositoryhttps://github.com/zenml-io/kitaru ↩ 回到正文 · back to text
  6. 6 Titan's Resources and Their Utilization. arXiv:2606.06608https://arxiv.org/abs/2606.06608 ↩ 回到正文 · back to text
  7. 7 Otari: your open-source LLM control plane. GitHub repositoryhttps://github.com/mozilla-ai/otari ↩ 回到正文 · back to text
  8. 8 DemandMap - Memory Mapping S3 into Polars on macOS Without FUSE. GitHub repositoryhttps://github.com/sonthonaxrk/demandmap ↩ 回到正文 · back to text
  9. 9 OfficeCLI: Office suite for AI agents to read and edit Microsoft Office files. GitHub repositoryhttps://github.com/iOfficeAI/OfficeCLI ↩ 回到正文 · back to text
  10. 10 Pulpie - Models for Cleaning the Webhttps://usefeyn.com/blog/pulpie-pareto-optimal-models-for-cleaning-the-web/ ↩ 回到正文 · back to text
  11. 11 Scan your AI agents for dangerous capabilities. GitHub repositoryhttps://github.com/makerchecker/MakerChecker ↩ 回到正文 · back to text
  12. 12 Skeights - Serialize sklearn models to safetensors and JSON, no pickle. GitHub repositoryhttps://github.com/carbon-re/skeights ↩ 回到正文 · back to text
  13. 13 Loopers - Open-source fail-closed firewall for AI agent runtimes. GitHub repositoryhttps://github.com/CURSED-ME/loopers-oss ↩ 回到正文 · back to text
  14. 14 Belgie - Run TypeScript from Python in an Embedded Deno Sandbox. GitHub repositoryhttps://github.com/mplemay/belgie ↩ 回到正文 · back to text
  15. 15 Open Science, open-source alternative to Claude Science. GitHub repositoryhttps://github.com/ai4s-research/open-science ↩ 回到正文 · back to text
  16. 16 Live-Memory: always-fresh repo memory for agents. GitHub repositoryhttps://github.com/shofer-dev/claude-code-live-memory ↩ 回到正文 · back to text
  17. 17 CoMaps - FOSS Offline Mapshttps://www.comaps.app/ ↩ 回到正文 · back to text
  18. 18 OpenWrt One - Open Hardware Routerhttps://openwrt.org/toh/openwrt/one ↩ 回到正文 · back to text
  19. 19 Workers Cachehttps://blog.cloudflare.com/workers-cache/ ↩ 回到正文 · back to text
  20. 20 Road to Elm 1.0https://elm-lang.org/news/faster-builds ↩ 回到正文 · back to text
  21. 21 Resetting Xboxhttps://news.xbox.com/en-us/2026/07/06/resetting-xbox/ ↩ 回到正文 · back to text
  22. 22 Amazon will stop accepting new customers for Mechanical Turkhttps://techcrunch.com/2026/07/05/amazon-will-stop-accepting-new-customers-for-mechanical-turk/ ↩ 回到正文 · back to text
  23. 23 Nintendo announces new product revisions in Europe with replaceable batterieshttps://www.nintendo.com/en-gb/Support/Nintendo-Switch-2/Information-about-upcoming-battery-related-revisions-to-some-Nintendo-products-3132901.html ↩ 回到正文 · back to text
  24. 24 AMD Ryzen AI Halo - $4k AI Dev Kithttps://www.lttlabs.com/articles/2026/07/06/amd-ryzen-ai-halo ↩ 回到正文 · back to text
  25. 25 Big Tech Has Suddenly Flipped on the AI Jobs Wipeout Scenariohttps://www.wsj.com/tech/ai/ai-workers-tech-ceos-job-losses-afc71e15 ↩ 回到正文 · back to text
  26. 26 Google Chrome Installed a 4GB AI Model on Your PChttps://oztalking.com/en/issues/hidden-4gb-ai-model ↩ 回到正文 · back to text
  27. 27 The Supreme Court Just Lit a Fuse Under Flock's License Plate Camera Empirehttps://www.yahoo.com/news/politics/articles/supreme-court-just-lit-fuse-130900307.html ↩ 回到正文 · back to text
  28. 28 Al Vigier: Canada's AI strategy shouldn't include secret Palantir billshttps://www.readtheline.ca/p/al-vigier-canadas-ai-strategy-shouldnt ↩ 回到正文 · back to text
  29. 29 Verizon is about to break our Gizmo watcheshttps://www.jefftk.com/p/verizon-is-about-to-break-our-watches ↩ 回到正文 · back to text
  30. 30 Web Security docs on MDNhttps://openwebdocs.org/content/posts/security-docs-sovereign-tech-agency/ ↩ 回到正文 · back to text
  31. 31 Learning to code is still worthwhilehttps://stevekrouse.com/learn-to-code ↩ 回到正文 · back to text
  32. 32 Pruning RAG context down to what the answer actually needshttps://www.kapa.ai/blog/how-we-prune-rag-context ↩ 回到正文 · back to text
  33. 33 Price per 1M tokens is meaninglesshttps://janilowski.pl/en/blog/2026/price-per-m-tokens/ ↩ 回到正文 · back to text
  34. 34 GLM 5.2 and the coming AI margin collapsehttps://martinalderson.com/posts/the-upcoming-ai-margin-collapse-part-1-glm-5-2/ ↩ 回到正文 · back to text
  35. 35 Postgres Is Enoughhttps://postgresisenough.dev ↩ 回到正文 · back to text
  36. 36 What Emily Bender meant by “stochastic parrots”https://spectrum.ieee.org/stochastic-parrot ↩ 回到正文 · back to text
  37. 37 Anthropic's Method to Losing Goodwill in a Few Easy Stepshttps://raheeljunaid.com/blog/anthropics-method-to-losing-goodwill-in-a-few-easy-steps/ ↩ 回到正文 · back to text
  38. 38 Regression to the Mean: on LLMs and the quiet death of the newhttps://rruxandra.github.io/regression-to-the-mean.html ↩ 回到正文 · back to text
  39. 39 Building relationships with customers through support didn't turn out as hopedhttps://www.uncommonapps.nyc/p/castro-podcasts-things-i-got-wrong-support ↩ 回到正文 · back to text
  40. 40 Has_not_been_viewed_muchhttps://iamwillwang.com/notes/has-not-been-viewed-much/ ↩ 回到正文 · back to text
  41. 41 Building Agents That Don't Break Themselveshttps://fly.io/blog/building-agents-that-dont-break-themselves/ ↩ 回到正文 · back to text
  42. 42 sqlite-utils 4.0rc3https://simonwillison.net/2026/Jul/6/sqlite-utils/#atom-everything ↩ 回到正文 · back to text
  43. 43 Dependencies should be fetched directly from VCShttps://www.arp242.net/deps-vcs.html ↩ 回到正文 · back to text
  44. 44 Zero-copy in Go: sendfile, splice, and the cost of io.Copyhttps://segflow.github.io/post/zero-copy-sendfile-splice/ ↩ 回到正文 · back to text
  45. 45 The full stack of terminals explainedhttps://ahmadawais.com/the-full-stack-of-terminals-explained-terminal-shell-tty-console-posix-ansi-escapes-ptys/ ↩ 回到正文 · back to text
  46. 46 hesreallyhim/awesome-claude-code. GitHub repositoryhttps://github.com/hesreallyhim/awesome-claude-code ↩ 回到正文 · back to text
  47. 47 coreyhaines31/marketingskills. GitHub repositoryhttps://github.com/coreyhaines31/marketingskills ↩ 回到正文 · back to text
  48. 48 gastownhall/gastown. GitHub repositoryhttps://github.com/gastownhall/gastown ↩ 回到正文 · back to text
  49. 49 OthmanAdi/planning-with-files. GitHub repositoryhttps://github.com/OthmanAdi/planning-with-files ↩ 回到正文 · back to text
  50. 50 steipete/CodexBar. GitHub repositoryhttps://github.com/steipete/CodexBar ↩ 回到正文 · back to text
  51. 51 bradautomates/claude-video. GitHub repositoryhttps://github.com/bradautomates/claude-video ↩ 回到正文 · back to text
  52. 52 google-antigravity/antigravity-sdk-python. GitHub repositoryhttps://github.com/google-antigravity/antigravity-sdk-python ↩ 回到正文 · back to text
  53. 53 karpathy/nanoGPT. GitHub repositoryhttps://github.com/karpathy/nanoGPT ↩ 回到正文 · back to text
  54. 54 GeeeekExplorer/nano-vllm. GitHub repositoryhttps://github.com/GeeeekExplorer/nano-vllm ↩ 回到正文 · back to text
  55. 55 Zackriya-Solutions/meetily. GitHub repositoryhttps://github.com/Zackriya-Solutions/meetily ↩ 回到正文 · back to text
  56. 56 HalFrgrd/flyline. GitHub repositoryhttps://github.com/HalFrgrd/flyline ↩ 回到正文 · back to text
  57. 57 outline/outline. GitHub repositoryhttps://github.com/outline/outline ↩ 回到正文 · back to text
  58. 58 gitroomhq/postiz-app. GitHub repositoryhttps://github.com/gitroomhq/postiz-app ↩ 回到正文 · back to text
  59. 59 yaklang/yakit. GitHub repositoryhttps://github.com/yaklang/yakit ↩ 回到正文 · back to text