Goal-Driven(目标驱动)是我的一个极其伟大、极其牛逼的发明,
以至于你可以闭着眼,随便用Goal-Driven+claude code,就能设计出极其伟大的产品,
比如微软发明的世界上最伟大的数学证明语言,全世界数学家推式子工具,Lean4,用goal-driven搭建,加上24小时的漫长等待,
轻轻松松,你就可以用TypeScript重新实现一个编译器,from scratch。
这样数学系的同学们就可以轻松糊一个前端lean4编译器,不用下载、配置、在本地再次运行了。
关键是lean4可能是世界上最艰难晦涩的小众语言之一,但同时lean4上面又承载着世界上所有数学家的证明和公式,
而只要用goal-driven,让master agent监督subagent,设置好goal,设置好criteria,你就可以把lean4移植到前端来,完整从头实现一遍。
这就是goal-driven的魔法。
显示更多
google drive 的接口,agent调用为啥总是接口失败,上传失败,503,有没有搞错???
谁去做一个给agent用的云盘,fxxk google drive 😓
Spec-Driven Development 如果把任务的颗粒度拆得过细,且没有控制好任务边界和不做什么的声明,在调度多 agents干活时,特别容易出现过度设计问题。
over engineering 更让人头疼,下面是一个很高频的 case。
原始目标只是:给后台系统增加一个文件上传能力。
结果因为没有明确约束:
* 一个 subagent 引入 repository pattern
* 一个 subagent 开始设计 storage provider abstraction
* 一个 subagent 顺手兼容 S3 / OSS / GCS
* 另一个开始补异步队列和事件系统
* 最后甚至拆出了 upload-sdk
硬生生干出了一套半成品云存储框架🥹,可真实需求只是:单机部署,上传到本地磁盘。
从局部看,哪哪儿都没毛病,还写的挺好,全都是最佳实践,但离原始目标已经十万八千里了。
最头疼的是,你的同事给你提了这样的代码 PR,你合还是不合?
显示更多
这波Capex Driven Bull Market其实已经在6月份Blow off the top,钱都给你们赚完了,还要什么自行车?
那就是顶,接下来的所有表演,都指向一个漫长的熊市
最可怕的是,Capex消耗了美国所有的信贷资源,AI也摧残了全美国所有的正常企业(这甚至包括Google自己)。这个熊市之后,很多年恐怕都不会再有新的故事了
这其实就和00-08,或者70年代中期的长期熊市非常接近。
最差情况横盘10-20年,好日子真的还在后面。
当然我希望不要那么久,基建大熊市搞到2028-2030年足够了
希望市场变化能快一点
显示更多