正在加载视频...

视频加载失败

写程序时,代码本身根本不是最重要的东西。 Claude Code 创作者 Boris Cherny 直接点破了这个真相。 最重要的是类型签名。 为了说明这点,他给所有工程师推荐了一本书。 《Scala 函数式编程》。 但他紧接着就坦白了一个事实。 你日常工作大概率一辈子都用不上 Scala。 既然不用这门语言,为什么还要看它的书? 因为学校和普通项目里教的那套编程思路太局限了。 这本书直接颠覆你思考编码问题的方式。 看完之后,大脑会自动切换成“类型思维”。 你写下的类型签名,提前决定了程序的骨架和命运。 工具会不会冷门根本无所谓。 能彻底改变底层编码逻辑的系统,才是真正的降维打击。

81,488 次观看 • 5 个月前 •via X (Twitter)

16 条评论

何夕2077 (个板马版) 的头像
何夕2077 (个板马版)5 个月前

Boris Cherny 说的没毛病。类型签名就是代码的骨架,你骨架歪了后面写再多都是在糊墙。 不过有意思的是,他推荐的不是 Haskell 不是 OCaml,是 Scala 那本红皮书。说明他要的不是学术洁癖,是工程里能真用的函数式思维。 现在 AI 辅助写代码越来越猛,反而更需要人把类型想清楚——你 prompt 写得再花哨,类型约束没拉好,AI 照样给你编一堆类型不安全的垃圾。

AlanJade2 的头像
AlanJade25 个月前

这个有点马后炮了。没有很扎实的计算机理论和多年学习,人有个锤子类型思维。

加密魔导师 的头像
加密魔导师5 个月前

类型签名确实是“设计的浓缩版”:输入/输出/约束先想清楚,代码实现只是填空题;语言换成 TS/Rust/Haskell 也一样适用。

GUO 的头像
GUO5 个月前

无论你喜不喜欢.这家公司思维超前.能做好是有原因的

Max Lee 的头像
Max Lee5 个月前

不就是functional programing么,cs专业必修课啊

Fluxcat. 的头像
Fluxcat.5 个月前

@grok 여기서 추천하는 책 원서제목, 저자, 한국어 번역본 찾아줘

ᎷᎥᏦᏋ ᏁᎶ 的头像
ᎷᎥᏦᏋ ᏁᎶ5 个月前

類型思維學完了,回去上班 any 照樣飛,學了個寂寞

Winnerineast 的头像
Winnerineast5 个月前

这和你认得字多不等于你脑子清楚一样

区块链天才 🐧 的头像
区块链天才 🐧5 个月前

类型思维确实很关键

creativebiglee 的头像
creativebiglee5 个月前

타입 사고 ?? 무엇에 비유하면 이해하기 좋을까?

Jonny 的头像
Jonny5 个月前

有兴趣的点这里直读:

ender 的头像
ender5 个月前

这书我碰巧看过,看这书学FP学到monad完全云里雾里🤷

zerone 的头像
zerone5 个月前

哪怕只读了第一章节,就能获得一种完全不同的编程思维。

巴尼巴迪 的头像
巴尼巴迪5 个月前

现在有ai不是很简单🤣 让claude给你写scala就行了 一句话的事儿🤣

Kyle Geeks 的头像
Kyle Geeks5 个月前

挺不错的,有时间可以听一下 SCIP 这门课

xinli zhang 的头像
xinli zhang5 个月前

@xds2000 这本书买了多年都没有看,我回去找一下

相关视频

AI淘汰程序员? 想多了。 硅谷投资大佬Marc Andreessen点破了一个真相。 AI编程不会消灭程序员,它在重新定义这个职业。 程序员的工作不再是逐行敲代码。 现在的工作,是同时指挥10个AI编码机器人。 跟它们争论,调试它们的输出,修改需求,逼它们拿出正确结果。 但这里有个圈套。 如果你自己不懂怎么写代码,你根本无法判断AI给你的东西是对是错。 编程的下一个层次,不是写脚本。 是监督写脚本的AI。 今天最顶尖的程序员,整天在不同终端之间切换。 管理多个编码机器人,修复错误,优化指令。 讽刺吗? 你仍然需要极其扎实的基本功。 没有基本功,你连AI在犯傻都看不出来。 工作的本质变了。 现在是跟AI机器人辩论,调试AI生成的代码,理解为什么程序跑不起来,或者为什么不够快。 AI确实简化了工作。 但只有真正懂代码的人,才能判断这种简化是否正确。 程序员不会消失。 他们正在变得比以前强大10倍、100倍,甚至1000倍。 生产力的巨大提升,这才是真正的价值所在。 任务在变,工作性质在变。 但最终负责的,永远是人。 人类依然在监督过程,评估结果,纠正错误,并做出最终判断。 未来的程序员不是被AI取代。 他们被AI升级了。 所以,还是得老老实实学习怎么写代码,理解代码。 因为当AI搞砸的时候,只有人知道为什么。 这种能力的跃升,才是真正的革命。

墓碑科技

59,000 次观看 • 7 个月前

OpenAI刚刚开源的这个东西,感觉要把程序员的工作方式给整个改写了。 现在大家都在卷模型写代码有多强,但其实真正的瓶颈早就不是生成了。 一个人每天最多同时有效监督3-5个编码Agent,再多就会注意力崩溃,生产力直接归零。 有了Symphony,直接把这个上限干到了几十个。 它把你的Linear、GitHub Issues直接变成了永远在线的Agent调度器。 你开一个任务,它自动启动一个独立隔离的Codex Agent。 自己写代码,自己跑测试,自己做交叉Review,damn! 全部搞定之后,会给你提交一个完整的证据包。 CI全绿,安全和性能专项审查通过,改了UI就自动录好操作视频。 所有验证全过了,才会出现在你的Human Review队列里。 以后人类的角色可能会被彻底颠覆了。 以前你是监工,盯着Agent一步一步写代码,上下文切到吐。 现在你是老板,只需要看最终的结果。 满意就点合并,不满意就去仓库里补规则补文档补Guardrails。 记住兄弟们,永远不要手把手指挥Agent,永远不要替它干活。 这可不是啥实验室概念,OpenAI自己已经这么干了。 三个工程师,五个月,写了一百万行代码,0行人工写的。 产品已经有几百个内部用户,每天都在迭代。 我觉得他们最厉害的不是模型,是他们把整个仓库变成了Agent能看懂能自主工作的乐园。 现在很多人都搞错了Agent时代的核心竞争力。未来不是谁的模型更聪明,而是看谁能设计出让Agent可靠自主工作的环境。 我觉得未来最好的工程师,再也不是写代码最快的人,而是那些最会写规则,最会设计反馈回路,最会给Agent搭舞台的人。 现在Symphony已经开源了,它甚至不是一个成品。 是一个17k token的完整SPEC。 你把这个SPEC喂给任何一个编码Agent,十分钟就能生成你自己定制版的Symphony。 GitHub地址评论区自取👇

AYi

63,210 次观看 • 5 个月前

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,343 次观看 • 3 个月前

埃隆·马斯克断言: 编码将在今年彻底死亡。不是“进化”。是死亡。 到今年12月,AI 将不再需要任何编程语言。它直接吐出机器码——那种二进制优化程度,远超人类逻辑所能触及的极限,没有翻译层,没有编译步骤,只有纯粹的、赤裸的执行。 马斯克原话:“你甚至都不用再费心去写代码。”代码从来就不是目的。它只是摩擦,是我们被迫支付的“人类税”——因为机器不懂人话。现在,AI 已经学会了流利的人类语言,这笔税,彻底取消了。再把这一切接入 Neuralink:没有语法,没有键盘,没有屏幕。 马斯克:“从想象直接到软件。”一个念头,就能变成可执行代码。你脑海中浮现一个结果,系统瞬间为你架构、优化、编译成现实。我们不是在“自动化编程”。我们是在把编程这个概念从宇宙中抹除。整个职业瞬间坍塌成一个念头。几十年的训练、无数行代码、无数个通宵——瞬间变得毫无意义。从“idea”到“成品”的距离,归零。你不再“构建”。你只需“想象”,它就具现。这不是渐进式进步。这是彻底的相变。人类一万年来“创造”的方式,在这一刻过时了。欢迎来到新世界。在这里,限制你的不再是技能、资源、时间…… 而是你能不能足够清晰地“看见”你想要的东西——然后让机器把它生出来。 我认为事情实际上可能会在今年年底之前就发生转变,到时候你甚至都不用再费心去写代码了。AI 会直接生成二进制代码,而且它生成的二进制会比任何现有编译器优化得更高效。所以你只需要说:“针对这个特定结果,生成最优化的二进制代码。”——这样就直接绕过了传统编码流程。 没错,这其实只是一个中间步骤,但我估计到今年年底,这个步骤很可能就彻底不需要了。

🌹MIDNIGHT🌹ROSE🌹

99,266 次观看 • 7 个月前