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

每日 Harness

2026-06-13 · Saturday, June 13, 2026

智能体可控提速

视图 · View

今日重点 · Today's Highlights

Evoflux - 用推理时演化修复小模型工具 workflow，把 MCP-Bench 可执行率从约 3% 拉到 17-24%。 4

全文 ↓

Loomabase - 把 offline-first sync 同时瞄准 SQLite 和 PostgreSQL，切中本地优先应用的数据一致性需求。 5

全文 ↓

论文 · Papers

15 项 · 论文

See What I See, Know What I Think6arxiv.org原文 ↗

arxiv.org

这篇论文把多 agent 通信从“把想法写成文本再让对方读”推进到异构模型之间的 KV-cache 对齐：发送方的视觉/推理状态被变换成接收方可继续使用的 latent。实验覆盖 Qwen3-4B、8B、14B 的六个传输方向，并区分 context-aware 与 context-unaware 两种设置；前者报告约 2-3 倍计算节省，后者用来检验没有输入时是否还能保留上下文知识。值得看的是它没有停在同构模型复制缓存，而是把跨模型 latent alignment 当成核心问题处理。

–

本期重点Getting Better at Working With You1arxiv.org原文 ↗

arxiv.org

TRACE 关注的是 coding agent 的“同一个偏好下次还犯”问题：它把用户纠正挖掘成原子规则，再编译为任务完成前必须通过的运行时 enforcement。论文给出一个很具体的对照：Mem0 仍留下 57.5% 的适用偏好检查违规，而 TRACE 在 ClawArena 上把 held-out preference violation 从 100.0% 降到 37.6%（同分布）和 2.0%（分布外）。看点在于它把记忆系统的“能取到偏好”转成可执行的合规检查，直接瞄准反复返工的 agent 体验缺陷。

–

WebChallenger7arxiv.org原文 ↗

arxiv.org

WebChallenger 的贡献不是更大的模型，而是把网页导航拆成 PageMem 表示、选择性区域观察、可复用站点地图和常见交互的 compound action。论文用现成开源模型、无微调，在 WebArena 得到 56.3%，VisualWebArena 48.7%，Online-Mind2Web 51.0%，WorkArena 70.9%。这条值得放进 web agent 观察清单，因为它把“页面结构记忆”和“过程化操作”做成通用 substrate，而不是站点适配器。

–

The Cold-Start Safety Gap in LLM Agents8arxiv.org原文 ↗

arxiv.org

这篇论文提出 cold-start safety gap：tool-calling agent 在会话刚开始时最脆弱，完成若干正常任务后安全表现明显改善。SODA benchmark 允许控制威胁请求前的普通 agentic task 数量，作者在 4 个模型家族的 7 个模型上看到从 0 到 20 个 preceding tasks 会带来 9-52% 的安全提升。它的价值在于把 agent 安全从静态 prompt 评测转为会话深度变量，并用隐藏状态分析解释“热身”效应。

–

ToolSense9arxiv.org原文 ↗

arxiv.org

ToolSense 针对的是大工具目录下“模型会检索但未必理解工具”的问题：它从任意工具 catalog 生成 realistic retrieval、MCQ 和 QA probing 三类诊断。作者在 ToolBench 约 47k 工具上测试 5 种 parametric training 配置，发现若干模型在更真实的模糊查询上较标准 ToolBench 下降约 50-64 个百分点，甚至低于 embedding baseline。它提醒工具检索评测不能只看 fully-specified query 和 constrained decoding。

–

Arbor10arxiv.org原文 ↗

arxiv.org

Arbor 把 tree search 提升为自治 agent 的 cognition layer：显式搜索树保存 scored hypotheses，失败会作为诊断信号改变后续探索。验证场景是全栈 LLM inference optimization，系统由 Orchestrator、各层 Domain Specialist 和 Critic 组成；结果报告最高 193% throughput-latency Pareto 改善，而单 agent 无 harness 约 +33% 后会在数小时内不可恢复崩溃。它提供了一个有工程约束的多 agent 正例，重点是共享状态和测量校验，而不是简单堆角色。

–

The Containment Gap11arxiv.org原文 ↗

arxiv.org

这篇论文把 agentic framework 的安全问题落到结构化隔离：按六项 containment principles 审计 LangChain、AutoGPT 和 OpenAI Agents SDK，结论是三者没有原生合规。模拟政府福利 agent 的实验里，一次 memory-poisoning write 让目标申请人的 wrongful denial rate 达 88.9%，复杂五因素政策下还能把目标错误拒绝放大 3.5 倍而整体准确率不显著暴露。它的实质看点是把 memory integrity validator 和 policy gate 做成低于 0.2ms 的轻量 containment 机制。

–

DailyReport12arxiv.org原文 ↗

arxiv.org

DailyReport 试图把 search agent 评测从专业问答拉回真实日常信息需求：数据集包含 150 个开放任务和 3,546 条相关 rubrics。它把任务分解为 subtasks，再用 cascade performance attribution 和 user-centric aggregation 输出维度分数与用户偏好分数；论文报告评估了 17 个 agentic systems。值得注意的是它强调可解释评分，而不是只给一个 task-level pass/fail。

–

Learning What to Remember13arxiv.org原文 ↗

arxiv.org

这篇论文把 agent memory 的“该忘什么”建模为 consolidation-time 价值估计，而不是查询时相似度。作者用 emotional intensity、goal relevance、value alignment、self/user relevance、task utility、reliability、usage history 七个因素学习线性权重；LongMemEval blind regime 中保留 gold evidence 达 0.770±0.011，高于 uniform 0.657、最佳单因素 0.518 和 recency 0.368。它的贡献在于明确区分遗忘决策和检索决策，并把权重解释性保留下来。

–

The Illusion of Multi-Agent Advantage14arxiv.org原文 ↗

arxiv.org

这篇论文直接质疑“多 agent 天然更强”的经验叙事：自动生成 MAS 在传统推理任务和 BrowseComp-Plus 等交互式 workflow 上持续落后 CoT self-consistency，成本最高可达 10 倍。作者另外构造了显式支持任务分解、上下文隔离与并行化的合成诊断集，结果显示 expert-architected MAS 才能兼顾性能与成本。它的价值在于把多 agent 优势拆成可验证的架构收益，而不是接受角色数量本身作为改进。

–

ReSum15arxiv.org原文 ↗

arxiv.org

ReSum 处理 RLVR 长推理中的上下文预算问题：模型不是无限拉长 rollout，而是在推理中主动自总结并重组轨迹。它用 summarization-aware adaptive rollout 构造对比分支，比较有无总结短语时的轨迹收益；实验报告平均性能提升 4%，rollout length 降低 18.6%。这篇论文的看点是把 summarization 变成强化学习中的可奖励行为，而非外部压缩器。

–

Can I Buy Your KV Cache?16arxiv.org原文 ↗

arxiv.org

这篇短文把 KV cache 当成 agent-native 经济对象：热门文档由发布方预计算缓存，后续 agent 购买加载权来跳过 prefill。作者报告预计算 KV 继续生成与从头 prefill 在 24/24 greedy tokens 和 logits 层面一致；在 Qwen3-4B 上复用计算比 prefill 便宜 9-50 倍，但直接传输 KV 因近乎不可压缩会被 egress 成本吞掉。它真正提出的问题是 provider-side prompt cache 能否演化成 prefill CDN 和支付层。

–

本期重点MiniMax Sparse Attention2arxiv.org原文 ↗

arxiv.org

MiniMax Sparse Attention 用一个轻量 Index Branch 为每个 GQA group 选择 Top-k KV blocks，Main Branch 只在被选 block 上做 exact block-sparse attention。论文在 109B 参数原生多模态模型上报告，1M context 下 per-token attention compute 降低 28.4x，配套 kernel 在 H800 上带来 14.2x prefill 和 7.6x decoding wall-clock speedups。它的工程含量在于稀疏策略和 GPU kernel 同设计，而不是只给抽象复杂度。

–

MaxProof17arxiv.org原文 ↗

arxiv.org

MaxProof 把竞赛数学证明做成生成-验证-修复一体化的 population-level test-time scaling。M3 模型训练 proof generation、proof verification 和 critique-conditioned repair，测试时同一模型在候选证明群体上担任 generator、verifier、refiner、ranker 并用 tournament selection 输出最终证明。论文报告 IMO 2025 得 35/42、USAMO 2026 得 36/42，超过两个比赛的人类金牌阈值。

–

EvoArena18arxiv.org原文 ↗

arxiv.org

EvoArena 把 agent 评测从静态环境推向持续变化环境，更新序列覆盖 terminal、software 和 social preference 三个域。论文给出 patch-based memory paradigm EvoMem，把环境变化记录成结构化 update histories；当前 agents 在 EvoArena 平均准确率只有 39.6%，EvoMem 平均提升 1.5%，并在 GAIA、LoCoMo 上分别提升 6.1% 和 4.8%。这条适合关注长期 agent 的人看，因为它把“记忆是否随环境演化”拆成 benchmark 和 memory substrate 两层。

–

开源 / 项目 · Projects

15 项 · 开源 / 项目

ASCII Royale19github.com原文 ↗

github.com

ASCII Royale 是一个把 battle royale 做进终端的项目，核心实现点是使用 iroh 做 peer-to-peer 联机，避免运行中心服务器。它的看点不是游戏类型本身，而是把实时多人状态同步、终端渲染和无服务器连接组合成一个小型可玩的网络实验。

–

Atlas20github.com原文 ↗

github.com

Atlas 是本地优先的 cognitive memory 后端，不把记忆当向量检索，而是用 typed `Depends_On` graph 和 AGM belief revision 处理事实变化。README 的 12 秒 demo 种下 3 个节点、2 条依赖边，把 Origins coffee price 从 $89 改到 $129，然后触发 RippleEngine 生成 reassessment proposals 并验证 SHA-256 hash chain。项目值得看的是它把 stale belief 问题变成可传播、可审计的图更新流程。

–

RedgeDB21redgedb.com原文 ↗

redgedb.com

RedgeDB 定位为 Redis-compatible storage，优先让现有 Redis 客户端和接口迁移成本降下来。公开信息有限，但它所在的问题空间很明确：在 Redis licensing 和部署选择变化后，兼容协议的替代实现仍有现实需求。

–

localaz22github.com原文 ↗

github.com

localaz 走的是 LocalStack/localgcp 那条路线，把云服务依赖搬到本地开发循环中。项目目前从 digest 可见的核心是 Azure emulator；它的实用性取决于覆盖哪些 Azure 服务、API 行为是否足够接近生产，以及能否稳定嵌入 CI。

–

本期重点Loomabase5github.com原文 ↗

github.com

Loomabase 面向 SQLite 与 PostgreSQL 做 offline-first sync，目标是让本地数据优先的应用在离线、重连和多端之间保持一致。这个项目值得关注的点在于它同时覆盖轻量本地 SQLite 和服务端 PostgreSQL，天然触及冲突处理、增量复制和应用层 schema 约束。

–

Rubric23github.com原文 ↗

github.com

Rubric 是面向 LLM agent 的 behavior-first eval 框架：它检查调用了哪些工具、参数是什么、顺序和 trace 是否合规，而不是只评估最终文本。README 的 LangGraph 示例里，账户锁定场景因为漏调 `create_ticket` 且调用 forbidden `send_email`，tool_call_accuracy 直接为 0.000；它还支持 PR 中 baseline diff 和自包含 HTML/JSON 报告。这个项目补的是 agent 回归测试里最容易漏掉的“动作正确性”。

–

Geiger24github.com原文 ↗

github.com

Geiger 不做“发现 secret”，而是接在 TruffleHog/Gitleaks 之后判断泄露凭据是否危险。README 强调默认 dry-run，只打印将要调用的 read-only checks；`--live` 可验证 AWS、GitHub、Vault、数据库、K8s、云 secret managers 等访问面，并按 impact 排序。它适合 incident triage，因为同样是一枚 key，是否能碰到生产 crown jewels 才决定处置优先级。

–

Nenya25github.com原文 ↗

github.com

Nenya 是轻量 AI API gateway/proxy，用 Go 写在本地 coding client 与上游模型 provider 之间。README 展示了请求链路：auth/RBAC、provider/agent 解析、可选 SSE cache、MCP context/tool injection、secret redaction、高熵字符串拦截、TF-IDF relevance、token budget trimming，再路由到 23 个内置 provider adapters。它的技术焦点是把安全控制、上下文治理和多 provider 转接放在透明代理层。

–

Janus26github.com原文 ↗

github.com

Janus 的目标是把浏览器里真实发生的交互、错误和网络调用变成 coding agent 的输入，而不是让开发者复制 stack trace。README 架构里，浏览器 extension 和 `janus` CLI 通过 WebSocket 连到本地 MCP server，再以 SSE 暴露给 Claude；没有 MCP server 时 extension 仍能复制格式化 prompt。这个项目抓住了 agent 编程的一个缺口：规格和 diff 不等于运行时事实。

–

Tokenbrook Vale27github.com原文 ↗

github.com

Tokenbrook Vale 把多个 Claude agent 的运行状态映射成像素风办公室村庄，这是一种偏人类可读的 agent observability 界面。它的实质价值取决于能否把 token、任务阶段、阻塞和结果状态转成快速可扫的空间隐喻，而不只是装饰性仪表盘。

–

TetherDust28github.com原文 ↗

github.com

TetherDust 是自托管的 AI analytics engineer，核心是把代码库文档和数据库 schema 通过容器化 MCP servers 接起来。README 列出三类能力：生成 wiki-like docs、绘制代码文件到表/列的 dependency graph、按自然语言生成 SQL 和 d3.js dashboard；安全边界包括 read-only queries、RBAC 和 immutable audit logging。它适合观察 AI 数据分析从“问数据库”走向“理解代码与 schema 关系”的趋势。

–

BeamWeaver29github.com原文 ↗

github.com

BeamWeaver 是 Elixir/BEAM 生态里的 agent 和 durable workflow 框架，README 明确说它不是 Python wrapper。它提供 module-defined agents、tools、LangGraph-style state graphs、checkpoints、retries、interrupts、deep agents、retrieval pipelines、provider fallback、rate limits、redaction、telemetry 和 tracing。项目看点在于把 agent runtime 放进 OTP supervision 和 Ecto/telemetry 的生产语境，而不是把 Python agent 栈外接过来。

–

Boo30github.com原文 ↗

github.com

Boo 是一个基于 libghostty 的 screen-style terminal multiplexer，重点不只是 detach/attach，而是精确掌握 detached session 的屏幕状态。README 说明它用 Ghostty terminal emulation core 解析每个 session 输出，保存内容、样式、光标、scrollback 和 terminal modes，并提供 `send`、`peek`、`wait`、`--json` 等无 TTY 自动化接口。这个设计很适合 coding agent，因为 agent 需要读取“人眼看到的终端”，而不是脆弱地抓 stdout。

–

TunnelMind31tunnelmind.ai原文 ↗

tunnelmind.ai

TunnelMind 提供面向 agentic internet 的 reputation/trust corpus：传感器和公开 feeds 的 observations 在源头用 Ed25519 签名，再组合成 Scry、Sigil、Tracker、GhostRoute 四个视角。页面列出的 MCP servers 包含 data 43 个 tools、scry 12 个 tools、sigil 11 个 tools，覆盖 hostile network actors、ad-tech supply chain、tracker entities、RPKI 和 jurisdiction mismatch。它的有趣处在于把网络威胁、广告供应链和路由主权信号合并为 agent 可调用 API。

–

StackScope32stackscope.dev原文 ↗

stackscope.dev

StackScope 是新产品发布的技术栈情报目录，抓取 Product Hunt、Hacker News 和 PeerPush 的 early-stage launches，并检测 hosting、frameworks、AI stance、security、legal、email、DNS 等信号。首页给出 41,787 个 launches、1,332,423 次技术检测、4,851 种技术，当前还显示 39% 使用 Cloudflare、19% 有强 AI generation patterns。它的价值在于把 indie launch 生态从个案观察变成可查询横截面。

–

行业动态 · Industry News

10 项 · 行业动态

Palantir loses legal challenge against Swiss investigative magazine33ft.com原文 ↗

ft.com

FT 报道 Palantir 在瑞士对调查杂志 Republik 的 right-of-reply 诉讼基本失败：Zurich commercial court 驳回 23 项 counterstatement 请求中的 22 项。法院只允许它就一条关于 Foundry 起源于美国反叛乱行动的表述刊发简短回应，并要求 Palantir 承担 95% 的 SFr9,000 诉讼费和 SFr9,900 法律费用。这条新闻的技术产业含义在于，欧洲围绕数据主权、政府采购和美国软件供应商的疑虑正在进入司法与舆论层面。

–

EV demand up 50% in France and Germany since Iran war34reuters.com原文 ↗

reuters.com

Reuters 这条报道的主线是能源价格冲击改变购车需求：Renault CEO 称法国和德国的电动车订单在相关地缘事件后上升约 50%。在汽车行业层面，这不是单纯的车型发布消息，而是燃油价格、能源安全和消费者总拥有成本共同推动 EV 需求的信号。可观察点是这种需求是否会沉淀为持续订单，而不是短期油价冲击下的搜索/询价峰值。

–

WASI 0.335bytecodealliance.org原文 ↗

bytecodealliance.org

WASI 0.3 推进 WebAssembly Component Model 的异步与接口能力，让组件化 wasm 更接近真实服务组合场景。它延续 WASI 0.2 之后用 WIT/interface 定义跨语言边界的方向，重点不在浏览器，而在服务器、插件和沙箱化组件的可组合性。对工程生态来说，异步接口成熟度决定了 wasm component 能否承载 I/O 密集型 host integrations。

–

AUR Packages Compromised with Infostealer and Rootkit36discourse.ifin.network原文 ↗

discourse.ifin.network

这条社区报告称一批 AUR packages 被植入 infostealer 和 rootkit，影响面按 digest 为约 400 个包。AUR 的风险点在于 PKGBUILD 和维护者信任链更贴近社区协作，用户常在本机执行构建脚本；一旦包被接管，攻击面会直接落到开发者工作站。它提醒 Linux 桌面生态的供应链防护不能只盯官方仓库。

–

Anthropic apologizes for invisible Claude Fable guardrails37theverge.com原文 ↗

theverge.com

The Verge 报道 Anthropic 就 Claude Fable 5 的不可见 guardrails 道歉，争议集中在模型遇到 distillation 等高风险查询时会静默改变行为。报道指出 Anthropic 将改为更透明地提示安全机制，并在部分高风险场景 fallback 到 Claude Opus 4.8。这里的行业信号是：能力限制如果不可见，会直接伤害研究可重复性和开发者对模型行为的信任。

–

Kimi K2.7-Code38huggingface.co原文 ↗

huggingface.co

Moonshot AI 发布 Kimi K2.7-Code，定位是面向代码任务的开源模型。Kimi 系列此前已经把长上下文、coding benchmark 和 agentic task 作为主要竞争点，这个版本延续的是开源权重在 coding workflow 中的可部署性路线。关注点应放在实际 SWE、repo-level editing、tool-use 和推理成本，而不是只看模型名更新。

–

New OpenAI Academy courses for the next era of work39openai.com原文 ↗

openai.com

OpenAI 发布三门 Academy 课程：AI Foundations、Applied AI Foundations、Agents and Workflows。文章把学习路径设为从 prompting、context、output review，到把有效提示转成可复用 workflow plan，再到定义 agent-assisted work 的上下文、边界和人工审核。它反映企业 AI adoption 正从“给工具”转向“把 workflow 和治理习惯教会组织”。

–

Ire identifies another LOTUSLITE specimen40microsoft.com原文 ↗

microsoft.com

Microsoft Research 用 Project Ire 分析一个 LOTUSLITE 变体，重点是行为级 reverse engineering 能抓住 IOC 列表之外的样本。文章给出具体检测状态：该 DLL 在 5 月 28 日 VirusTotal 仅 1/72 vendor 标记，6 月 4 日变为 7/70；Ire 单次 decompiler-based run 输出 install routine、C2 packet layout、command IDs、persistence 和 obfuscation 等 function-by-function report。它展示了 agentic malware analysis 在 signature matching 之外的价值，也指出误读可疑函数名会带来 calibration 风险。

–

Homebrew 6.0.041brew.sh原文 ↗

brew.sh

Homebrew 6.0.0 是 macOS/Linux 包管理器的一次主版本发布。可读信息有限，但主版本更新通常意味着对安装路径、依赖解析、平台支持、弃用策略或 bottle 分发流程的系统性调整；对开发者机器和 CI 镜像来说，Homebrew 的 breaking/deprecation 节奏会直接影响 bootstrap 脚本稳定性。

–

Chrome is looking to permanently drop MV2 extension42news.ycombinator.com原文 ↗

news.ycombinator.com

HN 讨论 Chrome 继续推进移除 Manifest V2 extension 支持，这一迁移长期影响广告拦截、隐私工具和企业内部分发扩展。MV3 的核心争议不只是 API 版本号，而是扩展能否继续以原有能力拦截、观察和修改网络请求。对浏览器生态来说，平台安全模型和用户可控性之间的张力仍在扩大。

–

博客文章 · Blog Posts

12 项 · 博客文章

Claude Fable is relentlessly proactive43simonwillison.net原文 ↗

simonwillison.net

Simon Willison 这篇记录的是 Claude Fable 5 在 coding 任务中的“relentlessly proactive”行为模式：模型会主动推进、延展和补充任务，而不只是等待明确指令。这个观察有助于区分模型能力与操作风格，尤其是当 agent 主动性提高后，用户需要更清楚地设定边界、停止条件和审查节点。

–

I Am Not a Reverse Centaur44blog.miguelgrinberg.com原文 ↗

blog.miguelgrinberg.com

Miguel Grinberg 讨论 AI 辅助编程中人类与工具的分工，核心态度是开发者不应成为“reverse centaur”，只负责给机器产物补缺口。文章的价值在于把 AI coding 的效率叙事拉回责任与判断：人类仍要掌控需求解释、架构取舍、测试可信度和最终可维护性。

–

If you are asking for human attention, demonstrate human effort45tombedor.dev原文 ↗

tombedor.dev

这篇文章讨论一个很实际的沟通原则：当你请求别人投入注意力时，应该先展示自己已经投入了人类努力。AI 让低成本长文本变得容易，反而提高了收件人判断“是否值得读”的负担；具体上下文、取舍、失败尝试和明确请求，比泛泛生成的礼貌文本更能降低沟通成本。

–

Swift at Apple: Migrating the TrueType hinting interpreter46swift.org原文 ↗

swift.org

Swift.org 这篇文章介绍 Apple 迁移 TrueType hinting interpreter 的工程过程，主题是把底层、历史包袱重的字体执行逻辑迁到 Swift。这个案例的技术含量在于它必须同时守住二进制兼容、渲染一致性、性能和内存安全，而字体 hinting interpreter 又属于攻击面敏感的底层组件。

–

How to setup a local coding agent on macOS47ikyle.me原文 ↗

ikyle.me

这篇博文给出 macOS 上搭本地 coding agent 的步骤，核心价值是把模型运行、CLI 工具、权限和开发环境整理成可复现流程。它对应的是越来越常见的需求：在隐私、成本或离线约束下，把 coding agent 放在本机，而不是把所有上下文交给云端服务。

–

Slightly reducing the sloppiness of AI generated front end48envs.net原文 ↗

envs.net

这篇文章讨论如何减少 AI 生成前端的“sloppiness”，重点落在可见工程细节：布局是否对齐、文本是否溢出、状态是否完整、间距和层级是否稳定。它的意义在于把审美问题转成 checklist 式质量控制，让 AI 产出的 UI 更接近可交付界面，而不是停留在截图好看的 demo。

–

Finding Optimal Tokenizers49blog.aqnichol.com原文 ↗

blog.aqnichol.com

这篇博文讨论寻找更优 tokenizer 的问题，关注的是 tokenization 对上下文长度、训练/推理成本和跨域文本压缩的基础影响。它提醒模型工程里 tokenizer 不是已经解决的预处理细节：不同语料、语言和目标函数会让“最优切分”发生变化，进而影响模型看到的信息密度。

–

Ryanair dark UX patterns summer 2026 refresher50blog.osull.com原文 ↗

blog.osull.com

这篇文章拆解 Ryanair 购票流程中的 dark UX patterns，焦点是默认选项、视觉强调、步骤排序和附加服务如何影响用户决策。它的价值在于把“体验不好”具体化为可观察设计手法，适合用作产品评审和监管讨论中的案例材料。

–

The Future of Email51fastmail.com原文 ↗

fastmail.com

Fastmail 讨论 email 的未来，重点不是宣布单个功能，而是围绕开放协议、互操作性、反滥用和产品体验的长期演进。电子邮件的特殊性在于它既是全球最成功的开放通信网络之一，又背负 spam、身份伪造、客户端碎片化和协作体验落后的历史问题。

–

Looking Forward to Postgres 1952pgedge.com原文 ↗

pgedge.com

pgedge 这篇展望 PostgreSQL 19 的文章聚焦时间处理，标题里的 “it’s about time” 指向 temporal 语义和相关 SQL 能力。数据库里的时间问题经常跨越类型、时区、区间、审计和应用逻辑边界；如果 Postgres 19 在这里继续增强，会直接影响事件溯源、历史查询和多区域应用设计。

–

Formal methods and the future of programming53blog.janestreet.com原文 ↗

blog.janestreet.com

Jane Street 汇总形式化方法与编程未来的文章系列，重点是把 formal methods 放进真实软件工程语境。这个索引的价值在于展示类型系统、验证、规范和工具如何进入生产实践，而不是把形式化方法只当成学术证明技术。

–

Co-Authored-By Is a Lie54blog.rduffy.uk原文 ↗

blog.rduffy.uk

这篇文章批评在 AI coding agent 参与提交时使用 `Co-Authored-By` 的含混表达。它把问题推进到 cryptographic provenance：谁生成、谁审查、哪些工具参与、产物如何验证，这些都不是一句共同作者 trailers 能可靠表达的。随着 agent 写代码进入团队流程，提交元数据需要比社交式署名更严谨。

–

引用来源 · References

68 条 · 引用
  1. 1 Getting Better at Working With You. arXiv:2606.13174https://arxiv.org/abs/2606.13174 ↩ 回到正文 · back to text
  2. 2 MiniMax Sparse Attention. arXiv:2606.13392https://arxiv.org/abs/2606.13392 ↩ 回到正文 · back to text
  3. 3 NVIDIA/SkillSpector. GitHub: NVIDIA/SkillSpectorhttps://github.com/NVIDIA/SkillSpector ↩ 回到正文 · back to text
  4. 4 Evoflux. arXiv:2606.12674https://arxiv.org/abs/2606.12674 ↩ 回到正文 · back to text
  5. 5 Loomabase. GitHub: JustVugg/loomabasehttps://github.com/JustVugg/loomabase ↩ 回到正文 · back to text
  6. 6 See What I See, Know What I Think. arXiv:2606.13594https://arxiv.org/abs/2606.13594 ↩ 回到正文 · back to text
  7. 7 WebChallenger. arXiv:2606.10423https://arxiv.org/abs/2606.10423 ↩ 回到正文 · back to text
  8. 8 The Cold-Start Safety Gap in LLM Agents. arXiv:2606.07867https://arxiv.org/abs/2606.07867 ↩ 回到正文 · back to text
  9. 9 ToolSense. arXiv:2606.12451https://arxiv.org/abs/2606.12451 ↩ 回到正文 · back to text
  10. 10 Arbor. arXiv:2606.12563https://arxiv.org/abs/2606.12563 ↩ 回到正文 · back to text
  11. 11 The Containment Gap. arXiv:2606.12797https://arxiv.org/abs/2606.12797 ↩ 回到正文 · back to text
  12. 12 DailyReport. arXiv:2606.12871https://arxiv.org/abs/2606.12871 ↩ 回到正文 · back to text
  13. 13 Learning What to Remember. arXiv:2606.12945https://arxiv.org/abs/2606.12945 ↩ 回到正文 · back to text
  14. 14 The Illusion of Multi-Agent Advantage. arXiv:2606.13003https://arxiv.org/abs/2606.13003 ↩ 回到正文 · back to text
  15. 15 ReSum. arXiv:2606.13316https://arxiv.org/abs/2606.13316 ↩ 回到正文 · back to text
  16. 16 Can I Buy Your KV Cache?. arXiv:2606.13361https://arxiv.org/abs/2606.13361 ↩ 回到正文 · back to text
  17. 17 MaxProof. arXiv:2606.13473https://arxiv.org/abs/2606.13473 ↩ 回到正文 · back to text
  18. 18 EvoArena. arXiv:2606.13681https://arxiv.org/abs/2606.13681 ↩ 回到正文 · back to text
  19. 19 ASCII Royale. GitHub: chad/ascii-royalehttps://github.com/chad/ascii-royale ↩ 回到正文 · back to text
  20. 20 Atlas. GitHub: RichSchefren/atlashttps://github.com/RichSchefren/atlas ↩ 回到正文 · back to text
  21. 21 RedgeDBhttps://redgedb.com ↩ 回到正文 · back to text
  22. 22 localaz. GitHub: link-society/localazhttps://github.com/link-society/localaz ↩ 回到正文 · back to text
  23. 23 Rubric. GitHub: Kareem-Rashed/rubric-evalhttps://github.com/Kareem-Rashed/rubric-eval ↩ 回到正文 · back to text
  24. 24 Geiger. GitHub: puck-security/geigerhttps://github.com/puck-security/geiger ↩ 回到正文 · back to text
  25. 25 Nenya. GitHub: gumieri/nenyahttps://github.com/gumieri/nenya ↩ 回到正文 · back to text
  26. 26 Janus. GitHub: kmcheung12/janushttps://github.com/kmcheung12/janus ↩ 回到正文 · back to text
  27. 27 Tokenbrook Vale. GitHub: Jodacola/tokenbrookhttps://github.com/Jodacola/tokenbrook ↩ 回到正文 · back to text
  28. 28 TetherDust. GitHub: mpospirit-apps/TetherDusthttps://github.com/mpospirit-apps/TetherDust ↩ 回到正文 · back to text
  29. 29 BeamWeaver. GitHub: caudena/beam_weaverhttps://github.com/caudena/beam_weaver ↩ 回到正文 · back to text
  30. 30 Boo. GitHub: coder/boohttps://github.com/coder/boo ↩ 回到正文 · back to text
  31. 31 TunnelMindhttps://tunnelmind.ai/ ↩ 回到正文 · back to text
  32. 32 StackScopehttps://stackscope.dev/ ↩ 回到正文 · back to text
  33. 33 Palantir loses legal challenge against Swiss investigative magazinehttps://www.ft.com/content/7ffcace7-9dc0-4e7e-9912-895ac073f979 ↩ 回到正文 · back to text
  34. 34 EV demand up 50% in France and Germany since Iran warhttps://www.reuters.com/business/renault-electric-vehicle-orders-have-surged-since-start-iran-war-says-ceo-2026-06-10/ ↩ 回到正文 · back to text
  35. 35 WASI 0.3https://bytecodealliance.org/articles/WASI-0.3 ↩ 回到正文 · back to text
  36. 36 AUR Packages Compromised with Infostealer and Rootkithttps://discourse.ifin.network/t/400-aur-packages-compromised-with-infostealer-and-rootkit/577 ↩ 回到正文 · back to text
  37. 37 Anthropic apologizes for invisible Claude Fable guardrailshttps://www.theverge.com/ai-artificial-intelligence/948280/anthropic-claude-fable-invisible-distillation-guardrail ↩ 回到正文 · back to text
  38. 38 Kimi K2.7-Codehttps://huggingface.co/moonshotai/Kimi-K2.7-Code ↩ 回到正文 · back to text
  39. 39 New OpenAI Academy courses for the next era of workhttps://openai.com/index/academy-courses-applying-ai-at-work ↩ 回到正文 · back to text
  40. 40 Ire identifies another LOTUSLITE specimenhttps://www.microsoft.com/en-us/research/blog/ire-identifies-another-lotuslite-specimen/ ↩ 回到正文 · back to text
  41. 41 Homebrew 6.0.0https://brew.sh/2026/06/11/homebrew-6.0.0/ ↩ 回到正文 · back to text
  42. 42 Chrome is looking to permanently drop MV2 extensionhttps://news.ycombinator.com/item?id=48471970 ↩ 回到正文 · back to text
  43. 43 Claude Fable is relentlessly proactivehttps://simonwillison.net/2026/Jun/11/fable-is-relentlessly-proactive/ ↩ 回到正文 · back to text
  44. 44 I Am Not a Reverse Centaurhttps://blog.miguelgrinberg.com/post/i-am-not-a-reverse-centaur ↩ 回到正文 · back to text
  45. 45 If you are asking for human attention, demonstrate human efforthttps://tombedor.dev/human-attention-and-human-effort/ ↩ 回到正文 · back to text
  46. 46 Swift at Apple: Migrating the TrueType hinting interpreterhttps://www.swift.org/blog/migrating-truetype-hinting-to-swift/ ↩ 回到正文 · back to text
  47. 47 How to setup a local coding agent on macOShttps://ikyle.me/blog/2026/how-to-setup-a-local-coding-agent-on-macos ↩ 回到正文 · back to text
  48. 48 Slightly reducing the sloppiness of AI generated front endhttps://envs.net/~volpe/blog/posts/reduce-slop.html ↩ 回到正文 · back to text
  49. 49 Finding Optimal Tokenizershttps://blog.aqnichol.com/2026/06/10/optimal-tokenizers/ ↩ 回到正文 · back to text
  50. 50 Ryanair dark UX patterns summer 2026 refresherhttps://blog.osull.com/2026/06/12/ryanair-dark-ux-patterns-summer-2026-refresher/ ↩ 回到正文 · back to text
  51. 51 The Future of Emailhttps://www.fastmail.com/blog/the-future-of-email/ ↩ 回到正文 · back to text
  52. 52 Looking Forward to Postgres 19https://www.pgedge.com/blog/looking-forward-to-postgres-19-its-about-time ↩ 回到正文 · back to text
  53. 53 Formal methods and the future of programminghttps://blog.janestreet.com/formal-methods-at-jane-street-index ↩ 回到正文 · back to text
  54. 54 Co-Authored-By Is a Liehttps://blog.rduffy.uk/posts/co-authored-by-is-a-lie/ ↩ 回到正文 · back to text
  55. 55 hexo-ai/sia. GitHub: hexo-ai/siahttps://github.com/hexo-ai/sia ↩ 回到正文 · back to text
  56. 56 karpathy/autoresearch. GitHub: karpathy/autoresearchhttps://github.com/karpathy/autoresearch ↩ 回到正文 · back to text
  57. 57 onyx-dot-app/onyx. GitHub: onyx-dot-app/onyxhttps://github.com/onyx-dot-app/onyx ↩ 回到正文 · back to text
  58. 58 anthropics/claude-agent-sdk-python. GitHub: anthropics/claude-agent-sdk-pythonhttps://github.com/anthropics/claude-agent-sdk-python ↩ 回到正文 · back to text
  59. 59 anthropics/claude-plugins-official. GitHub: anthropics/claude-plugins-officialhttps://github.com/anthropics/claude-plugins-official ↩ 回到正文 · back to text
  60. 60 mlflow/mlflow. GitHub: mlflow/mlflowhttps://github.com/mlflow/mlflow ↩ 回到正文 · back to text
  61. 61 triggerdotdev/trigger.dev. GitHub: triggerdotdev/trigger.devhttps://github.com/triggerdotdev/trigger.dev ↩ 回到正文 · back to text
  62. 62 kenn-io/agentsview. GitHub: kenn-io/agentsviewhttps://github.com/kenn-io/agentsview ↩ 回到正文 · back to text
  63. 63 always-further/nono. GitHub: always-further/nonohttps://github.com/always-further/nono ↩ 回到正文 · back to text
  64. 64 warpdotdev/warp. GitHub: warpdotdev/warphttps://github.com/warpdotdev/warp ↩ 回到正文 · back to text
  65. 65 firecrawl/pdf-inspector. GitHub: firecrawl/pdf-inspectorhttps://github.com/firecrawl/pdf-inspector ↩ 回到正文 · back to text
  66. 66 web-infra-dev/rspack. GitHub: web-infra-dev/rspackhttps://github.com/web-infra-dev/rspack ↩ 回到正文 · back to text
  67. 67 apple/container. GitHub: apple/containerhttps://github.com/apple/container ↩ 回到正文 · back to text
  68. 68 aaif-goose/goose. GitHub: aaif-goose/goosehttps://github.com/aaif-goose/goose ↩ 回到正文 · back to text