注册并分享邀请链接,可获得视频播放与邀请奖励。

搜索结果 Drive
Drive 贴吧
一个关键词就是一个贴吧,路径全站唯一。
创建贴吧
用户
未找到
包含 Drive 的推特
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的魔法。
显示更多
0
11
166
21
转发到社区
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,你合还是不合?
显示更多
0
29
44
4
转发到社区
这波Capex Driven Bull Market其实已经在6月份Blow off the top,钱都给你们赚完了,还要什么自行车? 那就是顶,接下来的所有表演,都指向一个漫长的熊市 最可怕的是,Capex消耗了美国所有的信贷资源,AI也摧残了全美国所有的正常企业(这甚至包括Google自己)。这个熊市之后,很多年恐怕都不会再有新的故事了 这其实就和00-08,或者70年代中期的长期熊市非常接近。 最差情况横盘10-20年,好日子真的还在后面。 当然我希望不要那么久,基建大熊市搞到2028-2030年足够了 希望市场变化能快一点
显示更多