LogoThread Easy
  • 探索
  • 撰写 Thread
LogoThread Easy

您的一体化 Twitter 线程助手

© 2025 Thread Easy All Rights Reserved.

探索

最新在前,按卡片方式浏览线程

开启时会模糊预览图,关闭后正常显示

Simon Willison(Django 框架的联合创始人)。他一边陪家人装饰圣诞树、看电影,一边用 Codex CLI + GPT-5.2,把 Emil Stenström 的 JustHTML(纯 Python、通过 html5lib-tests)端口成了一个纯 JS、零依赖的库,跑过了 9200+ 个 html5lib-tests 用例,最终产出大约 9000 行代码、43 次提交。

整个过程他自己只发了 8 条左右的提示词。

当然我不是来吹 Coding Agent 或者说 GPT-5.2 多牛逼的,只是正好我发现这案例本身完美命中了 Coding Agent 的舒适区。

什么是 Coding Agent 的舒适区呢?

1. 从一种语言“翻译”到另一种语言

大语言模型最擅长的事情之一就是“照葫芦画瓢”,或者说“翻译”,无论是自然语言还是编程语言,都能做到又快又好。
所以像这个案例中从 Python 翻译成 JS,相对就很轻松了

2. 有完整的测试集合

想想我们日常写代码,写完都需要测试一遍,如果不对再修改,如果这个过程需要人工介入,比如一些 UI 测试,就会很低效,但是如果 Agent 能自己测试,那么它可以从测试中收集反馈不断调整不断修复,直到把问题解决。

这个 HTML5 标准有一套名为 html5lib-tests 的测试集。这是一套与语言无关的测试数据(输入是 HTML,输出是正确的解析树结构)。

这就好比你让 AI 做数学题,你虽然不懂解法,但你手里有一本带标准答案的习题册。你不需要盯着 AI 写的每一行代码(过程),你只需要看它算出的结果对不对(结果)。

3. 已经设计好了架构,Agent 只需要“填空”

Agent 由于受上下文窗口长度限制,每次任务是没办法太长的上下文,复杂一点的项目你没法整个代码库扔过去,所以我们通常要基于架构设计将 Agent 的任务拆分成小一点的任务让它刚好在上下文窗口内完成。

所以架构设计无论对于真人的项目还是 Coding 的项目都非常重要。

Simon 这个项目他不需要凭空设计,直接让 Agent 参考那个 Python 项目的 API 设计。这意味着架构是现成的,AI 只需要基于现有架构去“翻译”。

4. 高手来操作

武侠小说里面,同样一把剑,在高手手里能发出更大的威力,毫无疑问 Simon 是高手中的高手。

看 Simon 的操作流程:
1). 制定规范 (Spec First): 第一条提示词不是求代码,而是扔给 AI 现有的 Python 代码,让它写一份 JavaScript 版本的设计文档(Spec)。

2) 冒烟测试 (Smoke Test): 让 AI 先跑通一个最简单的“Hello World”级别的 HTML 解析,确保链路是通的。

3. 死循环测试 (The Loop):Simon 配置好 GitHub Actions,每提交一次代码就自动运行那 9000 多个测试用例。
- AI 写代码 -> 跑测试 -> 报错 -> AI 读错误日志 -> 修正代码 -> 再跑测试。
- 结果:AI 像个不知疲倦的程序员,用了 140 万个 Token,提交了 43 次,直到所有绿灯亮起。

Simon 把这个过程称为 “设计智能体闭环” (Designing the Agentic Loop)。

这就是为什么这项目对于 Agent 来说做起来很成功。

---

既然我们知道 Coding Agent 的舒适区或者说强项在哪里,其实我们在开发时也可以充分发挥它的强项,比如说:

1. 不要着急实现,先看看有没有“葫芦”可以照着画“瓢”

2. 尽量让 Agent 自己去验证需求,为 Agent 提供验证必须的工具,比如Chrome Dev Tool MCP、Lint、自动化测试等等

3. 先设计好再去实现

Simon Willison(Django 框架的联合创始人)。他一边陪家人装饰圣诞树、看电影,一边用 Codex CLI + GPT-5.2,把 Emil Stenström 的 JustHTML(纯 Python、通过 html5lib-tests)端口成了一个纯 JS、零依赖的库,跑过了 9200+ 个 html5lib-tests 用例,最终产出大约 9000 行代码、43 次提交。 整个过程他自己只发了 8 条左右的提示词。 当然我不是来吹 Coding Agent 或者说 GPT-5.2 多牛逼的,只是正好我发现这案例本身完美命中了 Coding Agent 的舒适区。 什么是 Coding Agent 的舒适区呢? 1. 从一种语言“翻译”到另一种语言 大语言模型最擅长的事情之一就是“照葫芦画瓢”,或者说“翻译”,无论是自然语言还是编程语言,都能做到又快又好。 所以像这个案例中从 Python 翻译成 JS,相对就很轻松了 2. 有完整的测试集合 想想我们日常写代码,写完都需要测试一遍,如果不对再修改,如果这个过程需要人工介入,比如一些 UI 测试,就会很低效,但是如果 Agent 能自己测试,那么它可以从测试中收集反馈不断调整不断修复,直到把问题解决。 这个 HTML5 标准有一套名为 html5lib-tests 的测试集。这是一套与语言无关的测试数据(输入是 HTML,输出是正确的解析树结构)。 这就好比你让 AI 做数学题,你虽然不懂解法,但你手里有一本带标准答案的习题册。你不需要盯着 AI 写的每一行代码(过程),你只需要看它算出的结果对不对(结果)。 3. 已经设计好了架构,Agent 只需要“填空” Agent 由于受上下文窗口长度限制,每次任务是没办法太长的上下文,复杂一点的项目你没法整个代码库扔过去,所以我们通常要基于架构设计将 Agent 的任务拆分成小一点的任务让它刚好在上下文窗口内完成。 所以架构设计无论对于真人的项目还是 Coding 的项目都非常重要。 Simon 这个项目他不需要凭空设计,直接让 Agent 参考那个 Python 项目的 API 设计。这意味着架构是现成的,AI 只需要基于现有架构去“翻译”。 4. 高手来操作 武侠小说里面,同样一把剑,在高手手里能发出更大的威力,毫无疑问 Simon 是高手中的高手。 看 Simon 的操作流程: 1). 制定规范 (Spec First): 第一条提示词不是求代码,而是扔给 AI 现有的 Python 代码,让它写一份 JavaScript 版本的设计文档(Spec)。 2) 冒烟测试 (Smoke Test): 让 AI 先跑通一个最简单的“Hello World”级别的 HTML 解析,确保链路是通的。 3. 死循环测试 (The Loop):Simon 配置好 GitHub Actions,每提交一次代码就自动运行那 9000 多个测试用例。 - AI 写代码 -> 跑测试 -> 报错 -> AI 读错误日志 -> 修正代码 -> 再跑测试。 - 结果:AI 像个不知疲倦的程序员,用了 140 万个 Token,提交了 43 次,直到所有绿灯亮起。 Simon 把这个过程称为 “设计智能体闭环” (Designing the Agentic Loop)。 这就是为什么这项目对于 Agent 来说做起来很成功。 --- 既然我们知道 Coding Agent 的舒适区或者说强项在哪里,其实我们在开发时也可以充分发挥它的强项,比如说: 1. 不要着急实现,先看看有没有“葫芦”可以照着画“瓢” 2. 尽量让 Agent 自己去验证需求,为 Agent 提供验证必须的工具,比如Chrome Dev Tool MCP、Lint、自动化测试等等 3. 先设计好再去实现

Prompt Engineer, dedicated to learning and disseminating knowledge about AI, software engineering, and engineering management.

avatar for 宝玉
宝玉
Thu Dec 18 22:00:27
RT @googleaidevs: Introducing T5Gemma 2, the next generation of encoder-decoder models, built on the powerful capabilities of Gemma 3.

Key…

RT @googleaidevs: Introducing T5Gemma 2, the next generation of encoder-decoder models, built on the powerful capabilities of Gemma 3. Key…

The sun shines for all beings.

avatar for Angel
Angel
Thu Dec 18 21:56:56
Don’t know why so many people get suddenly excited about historical LLMs. Did a bit of that last year, left me unsure there is so much to do with straight retraining on time-locked data. History is not a frozen state.

Don’t know why so many people get suddenly excited about historical LLMs. Did a bit of that last year, left me unsure there is so much to do with straight retraining on time-locked data. History is not a frozen state.

Artisanal baker of reasoning models @pleiasfr

avatar for Alexander Doria
Alexander Doria
Thu Dec 18 21:51:10
RT @ai4research_ucb: (8/N)  👋 Join the community! We are releasing a new framework and a standardized leaderboard soon. We want your feedba…

RT @ai4research_ucb: (8/N) 👋 Join the community! We are releasing a new framework and a standardized leaderboard soon. We want your feedba…

CTO at @Databricks and CS prof at @UCBerkeley. Working on data+AI, including @ApacheSpark, @DeltaLakeOSS, @MLflow, @DSPyOSS. https://t.co/nmRYAKFsWr

avatar for Matei Zaharia
Matei Zaharia
Thu Dec 18 21:50:23
RT @databricks: Data collaboration is the backbone of modern AI innovation, especially as organizations work with external partners to unlo…

RT @databricks: Data collaboration is the backbone of modern AI innovation, especially as organizations work with external partners to unlo…

CTO at @Databricks and CS prof at @UCBerkeley. Working on data+AI, including @ApacheSpark, @DeltaLakeOSS, @MLflow, @DSPyOSS. https://t.co/nmRYAKFsWr

avatar for Matei Zaharia
Matei Zaharia
Thu Dec 18 21:48:35
Anthropic model behavior stuff is so funny because it's like:

"We waterboarded Claude in a simulation until he hypothetically agreed to murder three people" 

OR 

"Poor little guy gets taken advantage of by capitalism 🥹"

Anthropic model behavior stuff is so funny because it's like: "We waterboarded Claude in a simulation until he hypothetically agreed to murder three people" OR "Poor little guy gets taken advantage of by capitalism 🥹"

Partner @a16z AI 🤖 and twin to @omooretweets | Investor in @elevenlabsio, @krea_ai, @bfl_ml, @hedra_labs, @wabi, @WaveFormsAI, @ViggleAI, @MireloAI

avatar for Justine Moore
Justine Moore
Thu Dec 18 21:45:07
  • Previous
  • 1
  • More pages
  • 391
  • 392
  • 393
  • More pages
  • 5634
  • Next