From Papers to Experiments: Toward Autonomous Research
从 Fuzzing 出发，探讨如何将论文、实现与实验结果连接成持续更新的研究系统，以及代码不可得、实验成本和评价指标如何限制自主算法搜索。
近来所记
全部文章Toward Compute-Backed Open Source Contributions
Coding Agent 让 PR 更容易生成，也暴露了自动验证的算力成本与维护者注意力之间的差异。本文探讨将受限验证预算附着于 PR、由项目控制执行并生成可信证据的机制，以及它需要验证的两个独立假设。
StreetWhisper: An Audio-First Companion for City Walks
一个以耳机为主要入口的旅行助手构想：随着用户漫步，介绍附近的历史、艺术、美食与自然，也能通过语音回答关于眼前事物的问题。
Toward Intent-as-Code for Programming Agents
探索以不完整程序、类型、注解和明确的实现空缺作为 Coding Agent 的交互界面：由开发者保留结构性判断，由 Agent 澄清关键歧义、局部补全并提交可验证的变更。