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

每日 Harness

2026-07-11 · Saturday, July 11, 2026

代理边界与底层重写

视图 · View

今日重点 · Today's Highlights

Cpp2Rust2 - 把 C++ 源码迁移目标直接设为 safe Rust，README 的价值点在于把转换、所有权推断和可编译输出放在同一条工具链里。

全文 ↓

SpeechCompass5 - 用说话人方位作为群聊字幕线索，把分离、归属和可读性从纯语音识别推进到空间感知层面。

全文 ↓

论文 · Papers

15 项 · 论文

Context Graphs for Proactive Enterprise Agents6arxiv.org原文 ↗

上下文工程检索与知识接地工作流与控制流其他垂直

论文提出 context graph，让企业 agent 在用户发问前就能基于工作上下文发现可行动信息。图中显式连接用户、任务、文档、工作流和权限，并把 provenance、recency、permission、actionability 作为核心元数据。它值得放进 agent 基础设施讨论，因为主动性不再只是“多轮聊天更积极”，而是被建模成可审计的上下文图更新与触发。

–

Agentic Neural Architecture Search7arxiv.org原文 ↗

工作流与控制流工具使用研究·科学

这篇把 LLM agent 放进神经架构搜索循环：语言模型提出候选模块、连接和超参数，传统 NAS 机制负责评估、筛选和优化。摘要称它在多个计算机视觉 benchmark 上达到或超过既有 NAS baseline，并发现手写搜索空间容易漏掉的非平凡构件。技术看点在于 LLM 不是替代搜索算法，而是扩大可表达的架构假设空间。

–

From Prompts to Contracts8arxiv.org原文 ↗

框架与脚手架工具使用可观测性与调试系统·基础设施

论文提出 harness engineering，用可执行监督层把企业 LLM 应用从 prompt 原型整理为生产系统。harness 负责模型 I/O、grounding、验证、工具调用和评估，文中用 contextual contracts、traceable inference steps、behavioral invariants 描述这些边界。它把“提示词写得更好”转成“应用行为可复现、可追踪、可约束”的工程问题。

–

When LLMs Agree, Are They Right?9arxiv.org原文 ↗

评测方法测试时计算其他垂直

论文审计 self-consistency 和跨模型一致性作为置信信号的可靠性。结果方向很清楚：一致性通常与正确性相关，但在困难、歧义或共享偏差题上会系统性高估可信度；跨模型投票能降低一部分风险，却不能消除共同推理捷径。它给评测和产品置信度展示泼了一盆冷水，因为“多个模型同意”仍可能只是错在同一个模式里。

–

CausalDS10arxiv.org原文 ↗

基准推理与规划数据·分析

CausalDS 构建面向数据科学 agent 的因果推理 benchmark，把真实数据分析任务和可控因果生成结构组合起来。它考察 agent 是否能从数据、问题和隐含因果关系中得出合理结论，而不是只会调用统计函数或生成图表。这个基准的意义在于把 data science agent 的能力边界推进到“能否判断干预、混杂和因果方向”。

–

Playing ZendoWorld11arxiv.org原文 ↗

基准推理与规划研究·科学

ZendoWorld 是交互式视觉概念归纳环境，agent 需要观察样例、提出隐藏规则假设，再设计新实验来验证。关键事实是评估闭环包含观察、假设、实验和修正，而不是一次性给出分类标签。它让视觉 agent 进入接近科学发现的流程：看见规律只是第一步，主动制造能区分假设的样例才是难点。

–

Game Theory Driven Multi-Agent Framework Mitigates Language Model Hallucination12arxiv.org原文 ↗

多智能体推理与规划研究·科学

论文用博弈论组织多 agent 协作，目标是降低轻量 LLM 在规则科学问题上的幻觉。框架把贝叶斯更新和团队博弈机制结合起来，让不同 agent 对候选结论进行约束、协调和修正。它的观察角度有价值：小模型的可靠性提升不一定只靠参数规模，也可以靠交互协议把错误结论变得更难通过。

–

本期重点Remember When It Matters4arxiv.org原文 ↗

Agent 记忆上下文工程其他垂直

论文提出 proactive memory agent，用于长程任务中在恰当时刻重新浮现历史状态。它维护任务事实、过往尝试、诊断和未完成子目标，并在上下文膨胀后主动判断哪些记忆应该回到当前推理链。这个方向把记忆系统从“向量库召回片段”推进到“围绕任务进展做时机判断”。

–

The Illusion of Equivalency13arxiv.org原文 ↗

蒸馏与压缩评测方法系统·基础设施

论文分析 LLM 量化后的行为差异，指出总体准确率接近并不代表逐题行为等价。作者提出 decision-level correctness agreement，衡量原模型和量化模型在同一决策上是否同时答对或答错。它提醒部署侧不要只看压缩后平均分，因为用户遇到的是单个决策的稳定性。

–

Workflow as Knowledge14arxiv.org原文 ↗

框架与脚手架工作流与控制流Agent 记忆系统·基础设施

这篇是偏概念模型的论文，把 LLM 工作流本身视为可持久化知识对象。它强调符号形式、对象身份和 live-image 思路，也就是流程、状态和执行上下文应当能被保存、传递、重新激活。文章适合与 agent runtime、notebook 和知识管理系统放在一起看，因为它讨论的是工作流如何成为可引用的长期资产。

–

Mechanistic Interpretability of LLM Jailbreaks via Internal Attribution Graphs15arxiv.org原文 ↗

安全与攻防可观测性与调试其他垂直

论文用 internal attribution graph 分析 jailbreak prompt 如何改变模型内部计算路径。重点不是再收集一批越狱样例，而是把越狱时的注意力、中间激活和输出倾向关联成图，观察安全拒答链路如何被改写。它为安全研究提供了更细的观察面：攻击成功不只是输入文本绕过规则，而是内部计算路线被重新引导。

–

Who Broke the System?16arxiv.org原文 ↗

可观测性与调试多智能体评测方法系统·基础设施

论文研究多 agent LLM 系统中的失败定位，问题是复杂轨迹崩溃后如何找出责任 agent 与关键阶段。它把分析粒度从最终答案扩展到跨角色、跨回合的不可恢复错误识别。对于越来越长的 agent pipeline，这类归因方法比单纯看日志更接近工程调试需求。

–

本期重点Prismata3arxiv.org原文 ↗

安全与攻防工具使用计算机·Web

Prismata 处理 Web agent 的跨站提示注入：当 agent 同时读取可信任务说明和不可信网页内容时，第三方页面不能被当作同等权限的指令来源。论文的核心机制是把网页可信内容与外部内容的指令边界显式化，限制不可信内容影响工具调用和任务执行。它抓住了 Web agent 安全的根问题：浏览器里的文本既可能是数据，也可能伪装成命令。

–

GitLake17arxiv.org原文 ↗

工作流与控制流框架与脚手架数据·分析

GitLake 提出 agent-first lakehouse 的 Git-for-data 设计，让数据管线能在分支上运行、审查、合并和发布。关键事实是它把数据资产的变更治理改造成接近 pull request 的流程，而不是让 agent 直接改生产湖仓。这个设计值得关注，因为 agent 自动化越强，数据版本、审计和回滚边界越需要变成一等概念。

–

SMetric18arxiv.org原文 ↗

框架与脚手架系统·基础设施

SMetric 研究 agentic LLM serving 的 GPU 调度，指出多轮 agent session 不能只按单次请求或 token 吞吐来衡量。论文提出 session-level 的均衡调度指标与方法，面向的是一个用户任务内连续多次模型调用带来的尾延迟和公平性问题。它把 serving 讨论从“每秒多少 token”拉回到“一个 agent 任务什么时候真正完成”。

–

开源 / 项目 · Projects

15 项 · 开源 / 项目

Runko19github.com原文 ↗

github.com

Runko 是基于 Git 的 monorepo 平台，主打 stacked review 和 workspace 管理。它没有替代 Git 的底层对象模型，而是在上层组织多变更集、审查队列和团队协作状态。值得试看的地方在于它把大型仓库里的“并行改动如何排队、拆分、复审”做成产品级工作流。

–

Spacemap.co20spacemap.co原文 ↗

spacemap.co

Spacemap.co 是 3D 实时太阳系地图，这个链接定位到 Earth 视角。digest 描述它覆盖小行星、彗星、卫星、行星和航天器等对象，说明它不只是行星仪，而是把多类空间对象放进同一浏览界面。项目看点在于用交互地图表达天体目录和近地空间态势。

–

Cactus v221news.ycombinator.com原文 ↗

news.ycombinator.com

Cactus v2 是 on-device AI 推理平台，HN 条目强调按置信度云端回退、PyTorch 模型转换和 4-bit 量化。它的产品结构把本地推理的隐私/延迟优势与云端兜底结合起来，而不是在本地和云之间二选一。这个方向适合观察端侧 AI 平台如何处理模型小型化后的可靠性缺口。

–

chwire22github.com原文 ↗

github.com

chwire 是 ClickHouse 的 JavaScript 客户端，通过 HTTP/TCP 使用 Native 列式二进制格式。它比普通 HTTP JSON client 更贴近 ClickHouse 的高吞吐数据路径，适合 Node/JS 服务直接读写列式结果。项目价值在协议层：如果 JS 端能高效处理 Native format，ClickHouse 周边工具就不必全部绕到 Go、C++ 或 Python。

–

Local Motion23github.com原文 ↗

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

Local Motion 是 Cursor 与 VS Code 插件，用于配置和连接本地 LLM 编码模型。它把本地模型 endpoint、编辑器接入和模型选择组织成开发者可操作的 UI，减少手工改配置的成本。技术意义在于本地 coding model 不再只是命令行 demo，而能进入日常 IDE 工作流。

–

GenUI24github.com原文 ↗

工作流与控制流框架与脚手架其他垂直

GenUI 让 AI agent 生成原生 SwiftUI 交互界面，面向 iOS/macOS。它的做法不是在 App 里塞一个 WebView，而是把 agent 输出映射到平台原生组件、状态和交互结构。这个项目把“生成 UI”问题推进到运行时界面编排，风险点则在安全边界、状态一致性和可测试性。

–

本期重点SpeechCompass5github.com原文 ↗

github.com

SpeechCompass 是 Google DeepMind 开源的方向感知群聊字幕系统。它把说话人方位作为多人对话 captioning 的输入线索，用空间信息帮助分离、归属和阅读，而不是只依赖音频转文本。对于会议、无障碍和多人录音处理，这类空间增强字幕比普通 speaker diarization 更接近真实场景。

–

Runloom25github.com原文 ↗

github.com

Runloom 是面向 free-threaded Python 的 Go 风格 coroutine 库。它把 channels、轻量协作任务和结构化并发习惯带到 Python 语境下，背景是去 GIL/自由线程化让 Python 并发设计重新打开。项目值得关注，因为语言运行时变化后，库层并发抽象也要跟着重写。

–

MCP Gateway26swaggertomcp.com原文 ↗

协议与互操作工具使用系统·基础设施

MCP Gateway 把 OpenAPI 接口和数据库转换为 MCP server。它复用已有 API schema 与数据库元数据生成模型可调用的 tools/resources，减少每个内部系统都手写 MCP 适配层的成本。这个工具击中的是真实集成痛点：MCP 的价值取决于企业现有系统能多快被安全、结构化地暴露出来。

–

PastPage27github.com原文 ↗

github.com

PastPage 是浏览器扩展，用于自动查询失效链接在多个 Web archive 中的历史版本。它把 Wayback、archive.today 等站点的手动查询流程放回浏览器上下文，遇到 404 或死链时减少切换成本。项目虽小，但解决的是知识工作里高频且烦人的链接腐烂问题。

–

audio.cpp28github.com原文 ↗

github.com

audio.cpp 用 C++/GGML 在本地运行音频模型，覆盖 TTS、STT、STS 和音乐相关任务。它延续 llama.cpp 式本地推理路线，把多类音频模型压到可编译、可离线部署的 C++ 工具链。看点在于音频 AI 也开始出现统一的轻量本地运行层，而不只依赖 Python notebook。

–

New TLS 1.3 implementation in Rust29github.com原文 ↗

github.com

WTX 项目新增 Rust TLS 1.3 实现，并已支持基础客户端与服务端握手。它位于一个更大的网络传输组件集合中，和 HTTP/WebSocket 等协议能力靠近。这个项目的技术含量在协议栈实现本身：TLS 1.3 既要求密码学正确性，也要求状态机和互操作细节足够严谨。

–

R330github.com原文 ↗

框架与脚手架可观测性与调试编码

R3 是本地代码和文档审查工具，用 Web UI 组织人类与 AI agent 的反馈。它把 review 对象、评论、AI 建议和本地上下文放到同一界面，目标不是替代 PR，而是提供更细粒度的离线/本地审查工作台。项目看点在协作界面：AI review 要真正有用，必须被纳入人类可追踪的反馈结构。

–

BastionRoute31github.com原文 ↗

github.com

BastionRoute 是面向 UDP 的 outbound-initiated WebSocket relay fabric，用于零入站端口访问内网服务。内网侧主动建立外连通道，外部客户端通过 relay 转发流量，从而避免直接开放私有网络入口。它适合看作 bastion、tunnel 和 zero-trust 访问模式在 UDP 场景下的一次工程化组合。

–

TensorSharp32tensorsharp.ai原文 ↗

tensorsharp.ai

TensorSharp 是 .NET 原生 GGUF LLM 推理引擎，提供 CLI、浏览器聊天服务和 OpenAI/Ollama 兼容 API。它把本地模型加载、聊天服务和生态兼容放在 .NET 栈里，减少企业 Windows/.NET 环境引入 Python 推理服务的摩擦。项目的现实意义在于把 LLM runtime 带到已有企业技术栈，而不是要求技术栈迁移。

–

行业动态 · Industry News

10 项 · 行业动态

EU Commission: addictive design Instagram and Facebook in breach of the DSA33ec.europa.eu原文 ↗

ec.europa.eu

欧盟委员会称 Instagram 和 Facebook 的部分 addictive design 做法违反《数字服务法》。这类执法把焦点从内容审核扩展到界面机制本身：推荐、滚动、通知和默认路径如何影响用户自主选择。它标志着平台监管开始把“产品设计是否诱导成瘾”当作合规问题，而不只是伦理争议。

–

New York City to become first in US to ban deceptive subscription practices34theguardian.com原文 ↗

theguardian.com

Guardian 报道纽约市推进禁止欺骗性订阅做法的规则，重点是限制误导性取消流程并推动 click-to-cancel。标题称纽约将成为美国首个采取此类禁令的城市，直接对准免费试用、自动续费和取消障碍。它与 DSA 类似，都把 dark patterns 从 UX 争议推入法律执行范围。

–

How Deutsche Telekom is rewiring telecommunications with AI35openai.com原文 ↗

openai.com

OpenAI 案例讲 Deutsche Telekom 如何把 AI 用到客服、员工流程、网络运营和语音业务。关键事实是覆盖面横跨客户触点和内部运营，而不是单一 chatbot 试点。它展示了企业 AI 落地的典型路线：先接入高频流程，再把模型能力嵌入已有业务系统。

–

ChatGPT Work36openai.com原文 ↗

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

OpenAI 介绍 ChatGPT Work，面向企业工作流提供云端与桌面端能力。条目强调它服务于实际工作任务、工具连接和跨应用操作，而不是只作为网页版问答入口。值得注意的是产品叙事从“聊天”继续转向“工作代理层”，这会影响企业权限、数据边界和审计需求。

–

Muse Spark 1.137ai.meta.com原文 ↗

ai.meta.com

Meta 发布 Muse Spark 1.1 及相关 Model API，用于生成式媒体能力。公开信息把它放在图像/媒体生成模型产品线中，重点是通过 API 向外部开发者开放模型，而不只在自家应用内使用。它说明大模型平台竞争继续从文本 API 扩展到图像、视频和创意资产生成。

–

Hy338hy.tencent.com原文 ↗

hy.tencent.com

腾讯 Hy3 研究项目展示生成式 3D/视觉模型能力。它所在方向连接文本/图像到三维资产生成、视觉内容创作和游戏/工业设计工作流。行业意义在于 3D 生成正从演示走向工具链竞争，模型质量之外还要解决资产格式、可编辑性和下游集成。

–

Separating signal from noise in coding evaluations39openai.com原文 ↗

评测方法基准编码

OpenAI 文章讨论代码评测中如何区分模型能力信号与评测噪声。核心问题包括任务采样、判分器、执行环境、随机性和基准污染，它们都会让一个总分看起来比实际更确定。对于 coding model 发布，这篇的价值在于提醒读者看 eval 时要追问置信区间、复现路径和失败样本。

–

SpaceX wants to launch 100k more Starlink satellites40zdnet.com原文 ↗

zdnet.com

ZDNet 报道 SpaceX 申请继续扩大 Starlink 星座，标题给出的增量量级是 100,000 颗更多卫星。这个数字把低轨宽带竞争推到新的规模问题：容量和覆盖提升的同时，频谱协调、轨道拥堵、碰撞规避和天文观测干扰都会放大。新闻不是单纯“更多卫星”，而是基础设施规模上限的再谈判。

–

Proton AG Services is currently experiencing some issues41status.proton.me原文 ↗

status.proton.me

Proton 状态页记录其服务故障与恢复进展。状态页关注的是影响范围、更新时间线和恢复状态，不是产品功能；这类公开 incident 记录对依赖 Proton 邮件、VPN 或云服务的团队很有运营参考价值。它也提醒安全/隐私产品同样需要透明的可用性沟通。

–

Chat Control 1.0 has been passed42gerarddupre.dev原文 ↗

gerarddupre.dev

文章整理欧盟 Chat Control 相关法规进展及其对加密通信的影响，标题称 Chat Control 1.0 已通过。争议核心在内容扫描义务、端到端加密和隐私权之间的冲突。它值得跟踪，因为一旦合规要求触达客户端扫描或消息检测，通信产品的安全模型会被迫重新解释。

–

博客文章 · Blog Posts

10 项 · 博客文章

QuadRF can spot drones and see WiFi through my wall43jeffgeerling.com原文 ↗

jeffgeerling.com

Jeff Geerling 体验 QuadRF 射频设备，展示它检测无人机和 WiFi 信号的能力。文章的具体看点是把射频可视化带进开发者/爱好者工作台，包括观察穿墙 WiFi、定位无线活动和识别空中设备。它让平时抽象的 RF 环境变成可操作界面，适合硬件和网络工程读者。

–

Write code like a human will maintain it44unstack.io原文 ↗

unstack.io

文章讨论以可维护性为中心的代码书写原则，强调代码首先要让未来维护者理解。它围绕命名、意图表达、抽象数量、局部复杂度和注释的“为什么”展开，而不是追求短小或聪明。实用之处在于它把可维护性从口号还原成日常写代码时的选择标准。

–

Good Tools Are Invisible45gingerbill.org原文 ↗

gingerbill.org

Ginger Bill 讨论好工具的“不可见性”：工具应把注意力让给任务本身。文章关注低摩擦默认路径、清晰反馈和可预期交互，反对用户为了使用工具而持续理解工具内部复杂度。它适合作为开发者工具设计的反面检查表：哪些地方让用户停下来想“这个工具要我做什么”。

–

A road to Lisp: Why Lisp46scotto.me原文 ↗

scotto.me

这篇从语言设计和编程模型解释 Lisp 的吸引力，重点落在代码即数据、宏、REPL 和极简语法。它不是简单怀旧，而是说明 Lisp 如何让程序结构本身成为可操作数据。对现代开发者来说，文章有价值的部分是把宏系统和交互式开发重新放回“表达力”讨论。

–

After 7 years in production, Scarf has reluctantly moved away from Haskell47avi.press原文 ↗

avi.press

Scarf 团队回顾 7 年生产使用后迁出 Haskell 的经历。文章强调问题不是 Haskell 本身“不行”，而是招聘、团队经验、生态工具、部署和维护成本在公司阶段变化后变得难以承受。它提供了比语言争论更有用的材料：技术选择的长期成本经常在组织层面显现。

–

What Every Python Developer Should Know About the CPython ABI48labs.quansight.org原文 ↗

labs.quansight.org

Quansight 解释 CPython ABI、stable ABI、abi3 和扩展包兼容性，并关联 free-threaded Python 带来的 abi3t 话题。文章把二进制 wheel、版本标签和 C 扩展边界讲成开发者能用的模型。它值得 Python 工程师阅读，因为很多“pip 装不上/版本不兼容”的问题根源不在 Python 代码，而在 ABI 承诺。

–

Package Management as Org Chart49nesbitt.io原文 ↗

nesbitt.io

文章把包管理依赖图类比为组织结构，指出每个 package 背后都有维护者、责任边界和协调成本。它讨论的不是解析依赖算法，而是生态如何通过依赖关系形成隐性组织图。这个视角有助于解释为什么供应链风险、维护者疲劳和版本冲突很少能靠工具一次性解决。

–

Adding Go to a browser code runner50blog.lvmbdv.dev原文 ↗

blog.lvmbdv.dev

文章记录在浏览器代码运行器中加入 Go 支持的实现过程。核心工程问题是如何在浏览器沙箱中编译或运行 Go 程序、桥接 stdout/stderr，并处理 WebAssembly/运行时体积带来的加载成本。它适合前端工具作者阅读，因为多语言 code runner 的难点常常在运行时打包与隔离，而不是编辑器 UI。

–

The Annotated JEPA51elonlit.com原文 ↗

elonlit.com

这篇长文注释 JEPA 架构及其表示学习路线。它解释为什么 JEPA 预测潜在表示而不是重建像素，并把思路连接到 LeCun 的世界模型叙事以及 I-JEPA/V-JEPA 等工作。文章价值在于把一个常被口号化的架构拆成目标函数、表示空间和训练信号来读。

–

not much happened today52news.smol.ai原文 ↗

news.smol.ai

smol.ai 汇总 2026-07-08 至 2026-07-09 的 AI 社区、产品和模型动态。标题很克制，但它把零散发布、工具更新和社区讨论压成一条时间线。对追踪 AI 生态节奏来说，这类日报的作用是保持连续性，而不是单篇深度分析。

–

引用来源 · References

60 条 · 引用
  1. 1 Postgres rewritten in Rust, now passing 100% of the Postgres regression tests. GitHubhttps://github.com/malisper/pgrust ↩ 回到正文 · back to text
  2. 2 Cpp2Rust. GitHubhttps://github.com/Cpp2Rust/cpp2rust ↩ 回到正文 · back to text
  3. 3 Prismata: Confining Cross-Site Prompt Injection in Web Agents. arXiv:2607.08147https://arxiv.org/abs/2607.08147 ↩ 回到正文 · back to text
  4. 4 Remember When It Matters. arXiv:2607.08716https://arxiv.org/abs/2607.08716 ↩ 回到正文 · back to text
  5. 5 SpeechCompass. GitHubhttps://github.com/google-deepmind/speech-compass/ ↩ 回到正文 · back to text
  6. 6 Context Graphs for Proactive Enterprise Agents. arXiv:2607.07721https://arxiv.org/abs/2607.07721 ↩ 回到正文 · back to text
  7. 7 Agentic Neural Architecture Search. arXiv:2607.07984https://arxiv.org/abs/2607.07984 ↩ 回到正文 · back to text
  8. 8 From Prompts to Contracts. arXiv:2607.08028https://arxiv.org/abs/2607.08028 ↩ 回到正文 · back to text
  9. 9 When LLMs Agree, Are They Right?. arXiv:2607.08065https://arxiv.org/abs/2607.08065 ↩ 回到正文 · back to text
  10. 10 CausalDS. arXiv:2607.08093https://arxiv.org/abs/2607.08093 ↩ 回到正文 · back to text
  11. 11 Playing ZendoWorld. arXiv:2607.08233https://arxiv.org/abs/2607.08233 ↩ 回到正文 · back to text
  12. 12 Game Theory Driven Multi-Agent Framework Mitigates Language Model Hallucination. arXiv:2607.08403https://arxiv.org/abs/2607.08403 ↩ 回到正文 · back to text
  13. 13 The Illusion of Equivalency. arXiv:2607.08734https://arxiv.org/abs/2607.08734 ↩ 回到正文 · back to text
  14. 14 Workflow as Knowledge. arXiv:2607.08740https://arxiv.org/abs/2607.08740 ↩ 回到正文 · back to text
  15. 15 Mechanistic Interpretability of LLM Jailbreaks via Internal Attribution Graphs. arXiv:2607.07903https://arxiv.org/abs/2607.07903 ↩ 回到正文 · back to text
  16. 16 Who Broke the System?. arXiv:2607.07989https://arxiv.org/abs/2607.07989 ↩ 回到正文 · back to text
  17. 17 GitLake. arXiv:2607.08319https://arxiv.org/abs/2607.08319 ↩ 回到正文 · back to text
  18. 18 SMetric. arXiv:2607.08565https://arxiv.org/abs/2607.08565 ↩ 回到正文 · back to text
  19. 19 Runko. GitHubhttps://github.com/saxocellphone/Runko ↩ 回到正文 · back to text
  20. 20 Spacemap.cohttps://spacemap.co/b/399/Earth ↩ 回到正文 · back to text
  21. 21 Cactus v2https://news.ycombinator.com/item?id=48864459 ↩ 回到正文 · back to text
  22. 22 chwire. GitHubhttps://github.com/maxjustus/chwire ↩ 回到正文 · back to text
  23. 23 Local Motion. GitHubhttps://github.com/mattmireles/local-motion ↩ 回到正文 · back to text
  24. 24 GenUI. GitHubhttps://github.com/kiliczsh/genui ↩ 回到正文 · back to text
  25. 25 Runloom. GitHubhttps://github.com/robertsdotpm/runloom ↩ 回到正文 · back to text
  26. 26 MCP Gatewayhttps://swaggertomcp.com ↩ 回到正文 · back to text
  27. 27 PastPage. GitHubhttps://github.com/nabertronic/pastpage ↩ 回到正文 · back to text
  28. 28 audio.cpp. GitHubhttps://github.com/0xShug0/audio.cpp ↩ 回到正文 · back to text
  29. 29 New TLS 1.3 implementation in Rust. GitHubhttps://github.com/c410-f3r/wtx ↩ 回到正文 · back to text
  30. 30 R3. GitHubhttps://github.com/hyperlogue/r3 ↩ 回到正文 · back to text
  31. 31 BastionRoute. GitHubhttps://github.com/klauscam/BastionRoute ↩ 回到正文 · back to text
  32. 32 TensorSharphttps://tensorsharp.ai/ ↩ 回到正文 · back to text
  33. 33 EU Commission: addictive design Instagram and Facebook in breach of the DSAhttps://ec.europa.eu/commission/presscorner/home/en ↩ 回到正文 · back to text
  34. 34 New York City to become first in US to ban deceptive subscription practiceshttps://www.theguardian.com/us-news/2026/jul/10/new-york-city-deceptive-subscriptions-ban ↩ 回到正文 · back to text
  35. 35 How Deutsche Telekom is rewiring telecommunications with AIhttps://openai.com/index/deutsche-telekom ↩ 回到正文 · back to text
  36. 36 ChatGPT Workhttps://openai.com/index/chatgpt-for-your-most-ambitious-work/ ↩ 回到正文 · back to text
  37. 37 Muse Spark 1.1https://ai.meta.com/blog/introducing-muse-spark-meta-model-api/ ↩ 回到正文 · back to text
  38. 38 Hy3https://hy.tencent.com/research/hy3 ↩ 回到正文 · back to text
  39. 39 Separating signal from noise in coding evaluationshttps://openai.com/index/separating-signal-from-noise-coding-evaluations/ ↩ 回到正文 · back to text
  40. 40 SpaceX wants to launch 100k more Starlink satelliteshttps://www.zdnet.com/home-and-office/networking/spacex-wants-to-launch-100000-more-starlink-satellites/ ↩ 回到正文 · back to text
  41. 41 Proton AG Services is currently experiencing some issueshttps://status.proton.me/incidents/01lxtcq155lc ↩ 回到正文 · back to text
  42. 42 Chat Control 1.0 has been passedhttps://gerarddupre.dev/en/blog/chat-control-1-passed/ ↩ 回到正文 · back to text
  43. 43 QuadRF can spot drones and see WiFi through my wallhttps://www.jeffgeerling.com/blog/2026/quadrf-can-spot-drones-and-see-wifi-through-my-wall/ ↩ 回到正文 · back to text
  44. 44 Write code like a human will maintain ithttps://unstack.io/write-code-like-a-human-will-maintain-it ↩ 回到正文 · back to text
  45. 45 Good Tools Are Invisiblehttps://www.gingerbill.org/article/2026/07/10/good-tools-are-invisible/ ↩ 回到正文 · back to text
  46. 46 A road to Lisp: Why Lisphttps://scotto.me/blog/2026-07-09-why-lisp/ ↩ 回到正文 · back to text
  47. 47 After 7 years in production, Scarf has reluctantly moved away from Haskellhttps://avi.press/posts/2026-07-10-after-7-years-in-production-scarf-has-reluctantly-moved-away-from-haskell.html ↩ 回到正文 · back to text
  48. 48 What Every Python Developer Should Know About the CPython ABIhttps://labs.quansight.org/blog/python-abi-abi3t ↩ 回到正文 · back to text
  49. 49 Package Management as Org Charthttps://nesbitt.io/2026/07/10/package-management-as-org-chart.html ↩ 回到正文 · back to text
  50. 50 Adding Go to a browser code runnerhttps://blog.lvmbdv.dev/posts/adding-go-to-a-browser-code-runner/ ↩ 回到正文 · back to text
  51. 51 The Annotated JEPAhttps://elonlit.com/scrivings/the-annotated-jepa/ ↩ 回到正文 · back to text
  52. 52 not much happened todayhttps://news.smol.ai/issues/26-07-09-not-much/ ↩ 回到正文 · back to text
  53. 53 harvard-edge/cs249r_book. GitHubhttps://github.com/harvard-edge/cs249r_book ↩ 回到正文 · back to text
  54. 54 saadeghi/daisyui. GitHubhttps://github.com/saadeghi/daisyui ↩ 回到正文 · back to text
  55. 55 steipete/CodexBar. GitHubhttps://github.com/steipete/CodexBar ↩ 回到正文 · back to text
  56. 56 VoltAgent/awesome-design-md. GitHubhttps://github.com/VoltAgent/awesome-design-md ↩ 回到正文 · back to text
  57. 57 anthropics/claude-cookbooks. GitHubhttps://github.com/anthropics/claude-cookbooks ↩ 回到正文 · back to text
  58. 58 vxcontrol/pentagi. GitHubhttps://github.com/vxcontrol/pentagi ↩ 回到正文 · back to text
  59. 59 modelcontextprotocol/inspector. GitHubhttps://github.com/modelcontextprotocol/inspector ↩ 回到正文 · back to text
  60. 60 stanfordnlp/dspy. GitHubhttps://github.com/stanfordnlp/dspy ↩ 回到正文 · back to text