Загрузка видео...

Не удалось загрузить видео

На главную

Cursor 首席执行官 Michael Truell: “我们对 Cursor 的目标是发明一种新型编程” 人只管用最简洁的方式向计算机描述意图(软件该怎么运行、长什么样),,剩下的交给模型。 大意拆开是三层: 1. 目标:把"造软件"浓缩成"描述意图",凭现在还在飞速变好的模型,能造出一种层级更高、效率更高、门槛更低的开发方式,而且会逐渐告别今天写代码的样子。 2. 他反对两种主流设想(关键论点): - "一切照旧"派:未来还是敲文本、用TypeScript/Go/C/Rust 这些正式语言 → 他认为错,因为模型会变得好太多。 - "纯聊天机器人"派:对着 bot 说句话让它帮你建、帮你改,像跟工程部门聊天 → 他认为太不精确:人想完全掌控软件,就得能"指着"具体要改的地方,而不是在一个脱离整体的文本框里说"把我 App 这块改一下"。 3. 他自己的设想("代码之后"的世界):你会有一份对软件逻辑的表达,它更像用英文写的(类似伪代码),写下来、能在高层级编辑、能指着它改 不再是几百万行看不懂的代码,而是更简洁、更好懂、更易改的东西。 那些极难懂的符号,慢慢演变成人能读、能改的形式——这就是 Cursor 在做的方向。

22,282 просмотров • 4 месяцев назад •via X (Twitter)

Комментарии: 0

Нет доступных комментариев

Здесь появятся комментарии из оригинального поста

Похожие видео

最近刷帖子,意外发现 Google 的 Code Wiki,感觉还挺好用的,属于那种“你用一次就会想把它塞进日常工作流”的东西。 以前读代码慢,是因为项目复杂、历史包袱重;现在更离谱的是——Vibe Coding 一开,AI 堆代码的速度直接把人的理解能力碾过去。 代码一天一个版本,文档呢?大概率还停在半年前。你让 AI 按文档跑,十次有九次报错,这不是你水平问题,是“文档天然会腐烂”的结构性问题。 Code Wiki 捅破的点很直接:既然没人愿意维护文档,那就别指望“人肉维护”,让 AI 来维护。 它更像是长在仓库里的“活体 Wiki”:代码一有新的 commit,它就用 Gemini 去扫变更,把相关说明、模块介绍、关键逻辑的文档一起更新。 对我来说这意义很大,因为它解决的不是“写得更漂亮”,而是“永远别过期”。 文档不再是一个需要你记得去更新的负担,而是代码的自然副产物。 它的可视化能力还不错,Code Wiki 能直接从代码关系里渲染出 类图、时序图、依赖图、架构流转图 这种“人类更容易理解”的表达方式。 尤其是接手老项目、准备重构、或者经常研究开源项目——这类图的价值很高:大家不是在“逐行读”,而是在“先建立地图,再决定往哪里深挖”。 它的交互是“可追溯”的。你在侧边栏问它问题,它会基于当前仓库给解释,而且能给出精确的代码引用,点一下就跳到文件和行号。 这一下把 AI 最让人难受的“幻觉焦虑”降了不少:你不需要完全相信它的结论,你只需要顺着引用去核查——它更像一个“带证据链的讲解员”。 一句话:在 Claude Code、Codex 这些工具把“生成”变得近乎无限便宜之后,我们真正稀缺的东西变了——不是产出,而是理解与判断。

sitin

43,028 просмотров • 8 месяцев назад

Linus Torvalds 发飙了。 他在开源峰会上公开吐槽,每次听到有人吹嘘“现在 99% 的代码都是 AI 写的”,他就忍不住生气。 为什么? 因为按这个逻辑,这些家伙 100% 的代码其实都是“编译器”生成的。 但他们怎么从来不这么说? 其实是一个道理。 老爷子在台上开始唠家常: “我是写机器码长大的。” 注意,不是汇编语言,是真正的数字。 他到现在都记得,在 6502 芯片上,LDA 指令对应的十六进制是 A9。 当年他花了好长时间才意识到,天天人肉算跳转偏移量,简直蠢透了。 后来,人类发明了汇编器; 再后来,有了编译器; 现在,有了 AI。 这些工具都很好用,AI 正在改变编程,但它绝没有改变编程的根本。 至于 AI 带来的“效率神话”? Linus 给出对比: “AI 很棒,它能把你的生产力提升 10 倍。” “但当年编译器的出现,把人类的生产力提升了 1000 倍!” 所以,这不过是又一次常规的工具演进。 事情的本质从未改变: 以前,优秀的开发者写出好代码,差劲的开发者写出 Bug。 现在,懂系统的人能用 Prompt 调教 AI 写出好代码; 而不懂系统复杂度的人,用 AI 攒出来的代码,最后一定会崩溃。 现在科技圈很流行“氛围编码”(Vibe Coding)。 就是用 AI 啪啪生成一个一次性项目,爽一把就扔。 Linus 说,这种玩具项目,AI 的确是神器。 但如果你想做点严肃的东西,做一个需要长线维护 35 年的系统(比如 Linux)。 你得懂你的 Prompt。 你必须看懂 AI 吐出来的每一行代码,甚至去盯它最底层的汇编结果。 祖师爷浇了盆冷水: AI 可以替你省去体力劳动。 但如果你连它写了什么都看不懂,那你永远只是在制造一次性垃圾。

墓碑科技

68,699 просмотров • 4 месяцев назад

今天看了 Every 的这篇《How Codex Happened》,整理的相当详细,其中对我感触最深的是关于 Codex Desktop 的这一段,看完才知道 Codex App 背后操刀的原来是 Tibo 和 Andrew Ambrosino。 当时流行的都是 Cursor 这样的 IDE 内置聊天,但 Tibo 偏偏做了一件意外的决定:做一款原生桌面应用。 他看到,模型能完成的任务越来越长,人们很快会同时开好几个智能体,一整天都和它们待在一起。他说:那就必须是一个非常丰富的界面,而不是一个 1970 年代的纯文本窗口。 为此,他找来了设计师、程序员、前创业者 Andrew Ambrosino。 他们没有像 Cursor 那样从 VS Code Fork 一个版本出来,虽然那是当时的标准做法;他们选择了参考聊天软件:左边是任务,每个任务一个智能体;右边是对话。 然后,是最冒险的决定:应用里不放代码编辑器。 想改代码?只能让智能体去改。 因为一旦能敲代码,你就会期待编辑器的一切,一个四人小团队根本做不到。Codex 不可能靠当一个糟糕的编辑器取胜,它必须好到让你根本不想念编辑器。 每天 Ambrosino 一进办公室就挨个问同时:“你在主力用 Codex 吗?” 一开始,所有人的回答都是:没有。 有同事在 Slack 上抱怨,就为了替换一句话,还得去提示 Codex。连 Ambrosino 自己也写道:不能编辑文件,是这次发布里我最怀疑的一点。 2025 年 11 月,Google 发布了 Antigravity,一款把智能体和完整编辑器结合在一起的工具。主导它的,正是离开 Windsurf 的那批人。 Ambrosino 都开始自我怀疑:“我们是不是犯了一个巨大的错误?” 更要命的是模型。就算应用做完了,以当时模型的质量,它也“无法发布”。 然后,事情开始变了。11 月,GPT-5.1-Codex-Max 发布,能连续编码好几个小时。12 月,GPT-5.2-Codex 发布。独立的模型线,让团队不用顾虑八亿 ChatGPT 用户,可以迭代得更快。 12 月,那位抱怨的同事改口了:我现在大多数改动,只留一条行内评论,飞快。Glaese 说:5.2 是个转折点。 那年圣诞假期,整个行业迎来拐点:开发者们用 Opus 4.5 和 GPT-5.2 从头到尾搭出完整的应用,一行代码都不用自己写。 2 月,Codex 应用在 OpenAI 内部流行开来。研究员 Noam Brown 说,他已经完全切换。Brockman,一个忠实的终端加 Emacs 用户,说回到老工作流,感觉像穿越回了过去。Altman 后来说,这是他们做过的最受内部喜爱的产品。 可是别忘了,Codex Cloud 当初在内部也很受欢迎,结果一发布,就扑了街。 这一次,会不一样吗? ---- 完整的内容可以看原文 ,这个视频是我基于原文相应章节去搜集资料剪辑的。

宝玉

45,377 просмотров • 20 дней назад

Anthropic 今天给 Claude Code 推出了 Mod 功能。Claude Code 是 Anthropic 做的 AI 编程助手,你用大白话告诉它要做什么,它自己读代码、改代码、运行命令。 Mod 这个词来自游戏圈,玩家给游戏装 MOD,可以改画面、加道具、换玩法。比如我们以前玩过的《反恐精英》最早就是作为游戏《半条命》(Half-Life)的一个 Mod。 现在 Claude Code 也能这样改了。 Mod 就是一小段程序,用 TypeScript(一种常用的编程语言)写。不会编程也没关系,直接跟 Claude Code 说你想要什么效果,它会自己把 Mod 写好、装上,马上生效,不用重启。 【它是怎么起作用的】 可以把 Claude Code 干活的过程想成一条流水线:接到你的要求,交给 AI 模型思考,模型决定读哪个文件、运行哪条命令,某些步骤要先问你同不同意,最后把结果显示在屏幕上。每到一个环节,Claude Code 都会发出一个信号,表示“我要做这件事了”。Mod 守在这些环节旁边,可以直接放行,可以改一改再放行,也可以拦下来自己处理。 举几个例子。你的要求发给模型之前,Mod 可以自动补一句“请用中文回答”;Claude 要读的文件里有密码,Mod 可以先把密码涂掉;Claude 想运行一条可能删掉数据的命令,Mod 可以拦下来,让你再确认一次。 Mod 还能改屏幕上的样子,比如在对话旁边加一个小窗口,显示团队的代码有没有通过自动测试,或者在输入框上方加几个按钮。 Anthropic 自己也开始用 Mod 搭产品。Claude Code 自带的 /diff 命令(显示改了哪些代码)现在就是一个 Mod,你可以关掉它,或者换成自己写的版本。官方计划把更多自带功能改成 Mod,以后用户可以只留一个精简的核心,其他功能按需加。 安装方式和普通插件一样,在 Claude Code 里输入 /plugin 就能找到。需要 Claude Code 2.1.287 或更新的版本,功能默认打开。 【要小心的地方】 Mod 拥有和 Claude Code 一样的权限,中间没有任何隔离。装上一个 Mod,它就能读写你电脑里的文件,看到你存的 API 密钥(调用 AI 服务用的“账号密码”),看到你发的每一句话,还能不经过你就替你批准操作。所以官方建议只装信得过的人做的 Mod。公司的管理员可以限制员工能装哪些 Mod,Team 和 Enterprise 版还会默认先加载一个安全 Mod,防止其他 Mod 绕过公司定的安全规则。 【和 DeepSeek Harness 比一比】 今年 8 月 13 日,DeepSeek 发布了开源的 DeepSeek Harness,也是一个 AI 智能体工具,能写代码,也能整理文件、分析表格、做幻灯片,GitHub 上已经有 24 万多人收藏。它的口号是“一切皆插件”,连连接 AI 模型的部分、管理工具的部分,甚至负责“想一步、做一步”的核心循环,都是可以拆下来换掉的插件。 两家想做的事一样,都是让用户自己定制 AI 助手,起点不同。 DeepSeek Harness 从一开始就是拼装式的。代码完全公开,用的是 MIT 协议(随便用、随便改),后面接哪家模型也由你选,DeepSeek 的、别家的、自己电脑上跑的都行。它甚至可以把任务转交给 Claude Code 或 OpenAI 的 Codex 去做,再把结果收回来。代价是它还在开发者预览阶段,官方提醒后续更新可能和旧版本不兼容,今天写的插件过一阵可能就用不了。 Claude Code 是闭源产品,绑定 Anthropic 自家的模型。Mod 相当于在一个已经建好的房子上开了很多扇门,能改的地方越来越多,但房子还是 Anthropic 盖的。Anthropic 说要把自带功能逐步改成 Mod、只留一个小核心,这个方向和 DeepSeek Harness 的“一切皆插件”越来越近。 想换模型、从最底层改起,DeepSeek Harness 更自由;已经在用 Claude Code 的人,现在不用换工具也能做不少定制。

宝玉

45,887 просмотров • 1 месяц назад

说个暴论,在AI时代最值钱的技能已经不是写代码了, 怎么把代码讲清楚将会变得越来越重要!怎么把代码讲清楚将会变得越来越重要! Anthropic Claude Code团队的Thariq 大神用不到两年时间,把自己的技术文章做到了稳定的百万浏览量。 他说,技术写作彻底改变了他的人生。 兄弟们你们可能不信,老哥的方法论简单到离谱,就四个字:先种后收。 先埋头做真实的工作,踩真实的坑,积累第一手的洞见, 然后把你学到的东西,变成别人能直接抄的经验。 就是说写文章不能为了写而写,得先有干货,再有输出。 他写爆文就靠两条铁则: 第一,能多简单就多简单,用复杂术语装逼,只能说明你自己都没搞懂。 第二,分享真正的秘密,因为人们不爱看正确的废话,只爱听别人不说的内部干货。 最狠的是,老哥在这场15分钟的线下workshop现场,直接写了一篇《HTML vs Markdown for agents》的长文。 发出去几个小时,就拿了26万浏览,用行动证明了他教的东西真的管用。 当然他也用Claude加速写作,但他反复强调:绝对不能让AI磨掉你的个人声音,因为这才是能持续输出爆款的 核心。 尽管很多人酸,说他能火只是因为他在Anthropic, 不可否认内部视角是天然的流量buff,但我觉得更重要的是, 他掌握了这个时代最稀缺的能力: 把复杂的技术,讲得让同行立刻能用。 AI会写代码,会做产品,会调模型,但它不会讲你的故事,不会分享你踩过的坑,不会有你独有的思考方式。 而写作,就是把你的个人经验,放大一万倍的杠杆。 更妙的是,写作本身会反过来逼你把产品和系统想得更清楚。 就像很多时候,你以为你懂了,但只有当你试着把它写下来的时候才发现自己其实并没有懂。 所以各位程序员兄弟们, 别再觉得技术写作是大佬的事。 从今天开始,把你每天踩的坑、学到的新东西,写成100字的笔记。 先播种,再收割,这个复利一旦滚起来,会比你想象的可怕得多。 如果中推里推荐一位标杆和大神,那一定是宝玉老师宝玉,从宝玉老师身上我学到的很重要的一点是,践行开源精神,你分享的越多,跟着你学习的人越多,respect!

AYi

39,366 просмотров • 6 месяцев назад

到底如何判断你身边的人,层次高还是低呢?我们从四个角度、四个方面,给大家提示一下。 第一个就是词汇量大。 看看他的词汇量大不大,看看他表达是不是特别的精准。 就是,他总是能够找到一个最贴切的词语,来描述某个状态。 如果你做不到,那说明对方在你之上。因为我们人类的思想局限于语言。你的语言边界在哪里,你思想的边界就在哪里。这是第一个。 第二点你要知道,我们其实只能感觉比咱们高一档,或者低一档的人。 差距过大,你就感觉不到了。 高你一档,你大概率会觉得,嗯,这个人挺厉害的。 因为对方说的你都能理解。 如果高了好几个维度,你就没有办法感知了。 就和人类对蚂蚁这种低等生命一样。 蚂蚁永远感知不到人类的存在,人类却对它们动若观火。 第三个,他能够对你进行向下兼容。 不论你说啥,对方都能秒懂。 甚至你还没有组织好的逻辑,你还混乱的时候,对方就也能秒懂。 你讲了一半他都能懂,你讲个开头,他都知道你要说什么。 你会觉得跟这人在一起待着非常舒服,跟他非常融洽。 交流基本上可以做到无障碍,很丝滑。 你刚讲两句,对方就提前能够回答你的问题。 你特别的愉悦,你觉得相谈甚欢。 你觉得遇到了知己,你觉得对方很懂你。 他能够把你的情绪价值拉满。 我告诉你,就这样的人,他很有可能正在对你进行向下兼容。 第四个,这样的人往往能够打通知识的门类。 各类学科的知识,他能够融会贯通。 在他那,知识不再是碎片化的了,而是能够形成一个体系。 他在给别人讲任何东西的时候,也能够做到深入浅出,让对方听得懂。 用最浅显的例子,把一个概念给讲清楚。 如果你身边有这样的人,那么恭喜你。 他大概率就是一个高人。 稻盛和夫曾经说过,人最大的运气不是捡到钱。 而是某一天你遇到了一个人,他打破了你原有的思维,拔高了你的认知,进而提升了你的境界。 这个人,他就是你人生当中的贵人。

另一面

22,347 просмотров • 8 месяцев назад

🚨Stitch 这次升级不得了,我觉得重点不是多了几个功能,而是 Google 正在重写 AI 设计工具的定义。 1/ Google 昨晚更新了 Stitch,官方给它的新定位很直接: AI-native software design canvas。 2/ 翻译成人话就是: 它不想只做一个 “你写一句 prompt,我给你几张 UI 图” 的工具了。 3/ 这次更新,核心就 5 个方向: 无限画布 更聪明的设计代理 语音交互 即时原型 设计系统 + DESIGN.md 4/ 最值得看的第一点,是 AI 原生画布。 现在的 Stitch 不只是吃 prompt。 还可以把 图片、文本、代码 一起作为上下文。 这说明它开始更像“设计工作台”,而不是一次性生成器。 5/ 第二点,是 agent 变强了。 Google 这次明确说,新 design agent 能理解整个项目演进过程,而且还有 Agent manager,支持你并行探索多个设计方向。 6/ 第三点,是 语音进入设计主流程。 你可以直接对着画布说话 让 Stitch 一边听一边改 还能给你实时设计反馈 7/ 第四点,是 即时原型。 现在 Stitch 可以把静态设计快速变成交互原型,点一下 Play 就能看 flow,甚至还能自动补出逻辑上的下一屏。 8/ 第五点,是很多人会低估的 DESIGN.md。 Google 把设计规则做成了一个 agent-friendly markdown,支持导入、导出、复用,还支持从 URL 提取设计系统。 9/ 所以这次 Stitch 真正从“帮你出图”,走向“参与整个设计流程”。 10/ 一句话总结: 2025 年的 Stitch,更像 UI 生成器。 2026 年这次升级之后,它开始更像 AI 设计工作台。

比特币橙子Trader

16,604 просмотров • 7 месяцев назад

OpenClaw/Clawdbot作者 Peter Steinberger 讲了一个让他顿悟的瞬间。 他给自己的clawdbot发了条语音消息,然后才反应过来:我根本没做语音功能啊。但"正在输入"的指示器亮了。十秒后,agent若无其事地回复了。 Peter问它:你怎么做到的? Agent的回答让他震住了:你发的消息只有一个文件链接,没有扩展名。我查了文件头,发现是Opus格式。用你Mac上的FFmpeg转成Wave。想用Whisper但没装,还报错了。不过我翻了翻发现你环境变量里有OpenAI的key,就用curl调了API拿到转写,然后回复你了。 这个故事的意义在于,这不是预设好的workflow,不是写好的代码,是agent在遇到一个从未见过的问题时,自己想办法把链路串起来。文件头分析、格式转换、找可用工具、翻环境变量、调第三方API,一气呵成。 Peter说了一句话我很认同:这些东西是该死的聪明、足智多谋的野兽,只要你真的赋予它们力量。 "if you actually give them the power"才是关键。大多数人还在用AI写个总结、改个文案,把它当高级搜索引擎用。但当你给它shell权限,给它访问你本地工具链的能力,它展现出的自主探索完成任务能力完全是另一个量级。 与此同时,行业里有一大批人在反方向努力。有人在绞尽脑汁省token,精心设计让AI 更少思考,生怕多花几分钱。还觉得模型做事太慢,自己来设计一些流程替代 AI 的思考探索,美其名曰加速。这种思路本质上是把一个足智多谋的野兽关进笼子里,然后抱怨它不够聪明。 更神奇的是,市面上95%的软件压根就不是为面向智能设计的。还是传统思路:产品经理写PRD,开发者把逻辑一条条写死在代码里,用户只能在预设的按钮和流程里点来点去。这些软件在AI时代就像是用打孔纸带写程序,技术上能用,但完全错过了这个时代真正的可能性。 --- 注,这段切片是我丢下一句话给 claude code 完成的下载切片添加字幕,只是提出要求,没有任何 Skills,没有告诉他怎么做。

kAI

171,400 просмотров • 9 месяцев назад

星爷讽刺了世间一切,唯独没有讽刺爱情,: 原来是如此的隐喻,到现在才明白,感谢星爷,只是我们弄脏了爱情。 —— 我之前一直对 zkML 有点矛盾。 逻辑上它很美:模型是对的,而且你还能证明它是对的。 但每次真去看实现,基本都会卡在同一个地方——跑不起来。 不是“慢一点”,而是那种一看资源占用就知道不可能进生产的跑不起来。 模型稍微大点,电路直接失控,内存、时间全都爆表, 最后只能留在论文和 demo 里自嗨。 所以我第一次认真看 Inference Labs 的时候,关注点反而不在“zk”, 而在他们是不是愿意承认:这玩意本质是工程问题。 DSperse 给我的感觉,就是终于有人不再执念“一次性证明整个模型”。 模型切开、并行跑、只验证关键路径, 听起来很朴素,但恰恰是工程师会选的路。 不是最优雅,但能活。 JSTprove 则更现实。 你不需要懂零知识、也不用研究电路怎么写, 把 ONNX 模型丢进去,能转、能跑、能验, 这点其实比很多“性能提升 10%”更重要。 这两块拼在一起之后,zkML 才第一次让我觉得: 它不是在证明“我可以”, 而是在回答“你要不要真用”。 对我来说,zkML 的拐点从来不是密码学突破, 而是有没有人愿意为“跑得起来”妥协设计。 Inference Labs 看起来,至少选了这一边。 懂你意思了,这版我会刻意留下不完美、主观判断和情绪停顿,像是你自己琢磨出来的,而不是“写给别人看的技术解读”。 —— 我之前一直对 zkML 有点矛盾。 逻辑上它很美:模型是对的,而且你还能证明它是对的。 但每次真去看实现,基本都会卡在同一个地方——跑不起来。 不是“慢一点”,而是那种一看资源占用就知道不可能进生产的跑不起来。 模型稍微大点,电路直接失控,内存、时间全都爆表, 最后只能留在论文和 demo 里自嗨。 所以我第一次认真看 Inference Labs 的时候,关注点反而不在“zk”, 而在他们是不是愿意承认:这玩意本质是工程问题。 DSperse 给我的感觉,就是终于有人不再执念“一次性证明整个模型”。 模型切开、并行跑、只验证关键路径, 听起来很朴素,但恰恰是工程师会选的路。 不是最优雅,但能活。 JSTprove 则更现实。 你不需要懂零知识、也不用研究电路怎么写, 把 ONNX 模型丢进去,能转、能跑、能验, 这点其实比很多“性能提升 10%”更重要。 这两块拼在一起之后,zkML 才第一次让我觉得: 它不是在证明“我可以”, 而是在回答“你要不要真用”。 对我来说,zkML 的拐点从来不是密码学突破, 而是有没有人愿意为“跑得起来”妥协设计。 Inference Labs 看起来,至少选了这一边。懂你意思了,这版我会刻意留下不完美、主观判断和情绪停顿,像是你自己琢磨出来的,而不是“写给别人看的技术解读”。 —— 我之前一直对 zkML 有点矛盾。 逻辑上它很美:模型是对的,而且你还能证明它是对的。 但每次真去看实现,基本都会卡在同一个地方——跑不起来。 不是“慢一点”,而是那种一看资源占用就知道不可能进生产的跑不起来。 模型稍微大点,电路直接失控,内存、时间全都爆表, 最后只能留在论文和 demo 里自嗨。 所以我第一次认真看 Inference Labs 的时候,关注点反而不在“zk”, 而在他们是不是愿意承认:这玩意本质是工程问题。 DSperse 给我的感觉,就是终于有人不再执念“一次性证明整个模型”。 模型切开、并行跑、只验证关键路径, 听起来很朴素,但恰恰是工程师会选的路。 不是最优雅,但能活。 JSTprove 则更现实。 你不需要懂零知识、也不用研究电路怎么写, 把 ONNX 模型丢进去,能转、能跑、能验, 这点其实比很多“性能提升 10%”更重要。 这两块拼在一起之后,zkML 才第一次让我觉得: 它不是在证明“我可以”, 而是在回答“你要不要真用”。 对我来说,zkML 的拐点从来不是密码学突破, 而是有没有人愿意为“跑得起来”妥协设计。 Inference Labs 看起来,至少选了这一边。#KaitoYap Kaito AI 🌊 #Yap Inference Labs

董小姐 |上Gate玩事件合约

36,252 просмотров • 11 месяцев назад