duangsuse::Echo
更是为了培养理解力以及提出新问题和新观点的能力.jpg
#school AI在数学领域的对齐失准，失准与否我不知道，也不敢说，啧啧
但是代数与正常人逻辑对齐失准，我知道的很清楚。
“难怪他们这样说你”
编程语言和FP的数学，大多夜郎自大，很少意识到人家捧场是为了 Cat, Dog, Animal 这样简单的需求而已
🙉 怎么我这个【智力劳动者】没有感受到数学界面临的AI困境，反而觉得AI补齐了许多工程界稀缺的心流？
不如这样好了—— mathandai.org 也用TeX发，我们在 Anna's Archive 用评论板联署，再加个代数题弹框当人机证明
差点忘了： 今天做题快，才是【非人类】的表现呢。
今天你用TeX写，别人就会这样做：跟我的Agent说去吧！
🥱 就像一群只懂跑通✅ 内部依然是“黑箱”的脚本小子
我不认为【不可习得】的 “数值语感” “模式匹配的RAM” 是什么智慧，编程人用[0-9A-F]来保存颜色，倒是比这种语感强。 🦄
这才是数学社会真实的面貌——未定义就使用、扭来扭去（为物理人所背弃）的输入法、缺乏直觉、复用性和比喻，却充满 “充分必要条件” “当且仅当” 的BASIC式的语法，如【东施效颦】的平庸作者。
在历史上，这些知识是恶龙，不是屠龙的勇士。
他们对多项式和矩阵的理解就像XML那样丑陋，过度工程，然后自称为【理论】。 我确实该找遍屋子才能声称【没有蟑螂】，不需要什么代数文字游戏600pages证明并非常识的那几种 1+1=2
👿 网景时期 E-Certify "RSA 512 Gold" 早就被破解了。请别再把【大整数分解】称为【质数的问题】，圆锥曲线、比特币的方案对编程而言也只是【方案】。用正确的死规则去证明活信息，改变不了什么。
身处地震你不会去证明【桥不会塌】，身处卡死你懒得预判【程序不会不停机】，产品说明不具备【可读性】。 Math is DEAD FISH，死鱼是臭的，你应该用鼻子闻，而不是用耳朵听。
耳朵会骗人，痛觉不会，而且头痛就是痛觉。 你【用逻辑证明】，但你用五感执行。如果执行错误，你不会只死在A4纸上。
🧪 民科有数学和物理，但没有化学和计算机。 物理的vec2是直白的正交分解，化学的分子配平是10行Python的点乘和消元，而用CAS和LLM，你连这些都不用算。 它们是【草稿纸】，不是发明创造。 你出师只是开始，没人以为【学会了世界就和平了blabla】。
Feynman为什么想搞《新数学》？ 因为曾经的群论狂热就是那种东西。 一个杀虫剂不需要你抓住蚊子、喂进它嘴里，但数学的“杀虫剂”，需要。还需要你懂【它】。
【数学表达】死了才好，化作春泥更护花嘛。
我不想懂【蚊字】，希望你也一样。别装作没有常识 —— “Mathematical elegance”
但是代数与正常人逻辑对齐失准，我知道的很清楚。
#PLT 里为什么union(A|B)是assert A,B词条的交集，而insect是词条并集呢？ 谁能从Java “免费” 迁移到Rust那复杂成字典的类型树？
“一个Monad不过是自函子范畴上的一个幺半群”。 【自】函子？ 【含幺】半群 ？flatMap(>>=)？不是盒子也不能“取”？ 所以正常人选择 x.(T?) ?.run{}, Signal(x).run{}.set(x+1) 和 Thenable 啊。
“难怪他们这样说你”
编程语言和FP的数学，大多夜郎自大，很少意识到人家捧场是为了 Cat, Dog, Animal 这样简单的需求而已
🙉 怎么我这个【智力劳动者】没有感受到数学界面临的AI困境，反而觉得AI补齐了许多工程界稀缺的心流？
不如这样好了—— mathandai.org 也用TeX发，我们在 Anna's Archive 用评论板联署，再加个代数题弹框当人机证明
差点忘了： 今天做题快，才是【非人类】的表现呢。
今天你用TeX写，别人就会这样做：跟我的Agent说去吧！
🥱 就像一群只懂跑通✅ 内部依然是“黑箱”的脚本小子
我不认为【不可习得】的 “数值语感” “模式匹配的RAM” 是什么智慧，编程人用[0-9A-F]来保存颜色，倒是比这种语感强。 🦄
这才是数学社会真实的面貌——未定义就使用、扭来扭去（为物理人所背弃）的输入法、缺乏直觉、复用性和比喻，却充满 “充分必要条件” “当且仅当” 的BASIC式的语法，如【东施效颦】的平庸作者。
在历史上，这些知识是恶龙，不是屠龙的勇士。
他们对多项式和矩阵的理解就像XML那样丑陋，过度工程，然后自称为【理论】。 我确实该找遍屋子才能声称【没有蟑螂】，不需要什么代数文字游戏600pages证明并非常识的那几种 1+1=2
👿 网景时期 E-Certify "RSA 512 Gold" 早就被破解了。请别再把【大整数分解】称为【质数的问题】，圆锥曲线、比特币的方案对编程而言也只是【方案】。用正确的死规则去证明活信息，改变不了什么。
数学一开始不是这样生硬的 Cargo Cult，圣十和“掰手指狂热”甚至挺可爱的，有理三角学和EML树状四则也很清朗。 但是平庸的【代数贩子】太多了，厉害的呢？又不如编程圈的生态。
身处地震你不会去证明【桥不会塌】，身处卡死你懒得预判【程序不会不停机】，产品说明不具备【可读性】。 Math is DEAD FISH，死鱼是臭的，你应该用鼻子闻，而不是用耳朵听。
耳朵会骗人，痛觉不会，而且头痛就是痛觉。 你【用逻辑证明】，但你用五感执行。如果执行错误，你不会只死在A4纸上。
—— 你可以给《泰坦尼克号》写50%浮力仓的数学断言，但小艇、灭火器的【人力接管】 不可被 Mathematical certainty 的跳步。 工程不能【证明】50%冗余对，但工程不会做无意义的文字游戏。
是谁的Math让那艘船的【无线电室】自决于海上社会的？我猜就是今天为AI【消灭七大难题之一】“震惊危坐” 的数学圈。 工程不足够形式化，但，不会对看不见的真理失忆。
🧪 民科有数学和物理，但没有化学和计算机。 物理的vec2是直白的正交分解，化学的分子配平是10行Python的点乘和消元，而用CAS和LLM，你连这些都不用算。 它们是【草稿纸】，不是发明创造。 你出师只是开始，没人以为【学会了世界就和平了blabla】。
Feynman为什么想搞《新数学》？ 因为曾经的群论狂热就是那种东西。 一个杀虫剂不需要你抓住蚊子、喂进它嘴里，但数学的“杀虫剂”，需要。还需要你懂【它】。
【数学表达】死了才好，化作春泥更护花嘛。
我不想懂【蚊字】，希望你也一样。别装作没有常识 —— “Mathematical elegance”
duangsuse::Echo
#math 😁 急了，急了 对智力劳动的普遍威胁： 多年的学术训练不仅是为了得到最终答案，更是为了培养理解力以及提出新问题和新观点的能力。AI 直接产出结果的做法使这一初衷受到威胁。数学界面临的困境，正反映了全人类共同面临的挑战 更是为了培养理解力以及提出新问题和新观点的能力.jpg 我怎么没有听说数学世界的 base case 是让人类能理解问题和思路，并且翻译和服务于工程问题呢（这意味着数学要比工程模型要好，比如把wav2freq/FT的离散vs连续撕裂开看）？ 各种2026版罗马数字和形式主义才大行其道吧。…
TL;DR 🤨 mathandai.org/
AI 公司的商业目标与数学界的核心目标之间存在着严重的脱节，有本末倒置的风险。这种对齐失准并非个例，它同样波及了其他科研与创意职业，甚至影响到整个人类社会 😁。
- 以人为本的传承过程： 数学界最宝贵的财富是学生与思想。
- 通过【解决难题】数学构建了庞大的方法、抽象概念与工具体系，这些成果是科学的基石。……AI 直接产出结果的做法使这一初衷受到威胁。
- 通过报告、私人交流和严谨的论文来传播思想并与前人工作建立联系
- AI 给出解答往往非常仓促，缺乏严谨的论文撰写过程，未能【提炼出新的方法】……传承链条也会断裂
一堆（25x）菲尔兹奖大佬在抱团取暖，我怎么没看见代数圈贡献3b1b那样的【公众价值】呢？
难道是文学编程做多了，接地气的编程都不会了呢？ 啊，学习能力强，应该能替代对计算API的理解吧——看起来 没兴趣呢
AI 公司的商业目标与数学界的核心目标之间存在着严重的脱节，有本末倒置的风险。这种对齐失准并非个例，它同样波及了其他科研与创意职业，甚至影响到整个人类社会 😁。
- 以人为本的传承过程： 数学界最宝贵的财富是学生与思想。
- 通过【解决难题】数学构建了庞大的方法、抽象概念与工具体系，这些成果是科学的基石。……AI 直接产出结果的做法使这一初衷受到威胁。
- 通过报告、私人交流和严谨的论文来传播思想并与前人工作建立联系
- AI 给出解答往往非常仓促，缺乏严谨的论文撰写过程，未能【提炼出新的方法】……传承链条也会断裂
他们最不满的是 AI 公司抢着公布结果。声明称，一些解法还没来得及整理完整证明、提炼新方法、补齐前人引用，就已经对外宣布，
由此带来严重的署名和抄袭问题。没有数学家继续消化和整理这些结果，AI 找到的想法也很难真正进入数学体系。
一堆（25x）菲尔兹奖大佬在抱团取暖，我怎么没看见代数圈贡献3b1b那样的【公众价值】呢？
难道是文学编程做多了，接地气的编程都不会了呢？ 啊，学习能力强，应该能替代对计算API的理解吧——看起来 没兴趣呢
【以人为本的传承过程】 美国人均不会乘法，中国人均刷题机器，“Win拷贝文件的plot是微积分的话，有什么对应关系和冲突呢” ？ “给我12个月工资条做一次微分，是什么感觉呢，有哪些 edge case”？ 试卷上没有啊！
📈 啊，怎么把那个绿条变成方框套住的“青山”呢？转90度和(时间-柱位置)联动？ 这和微积分的核心区别在哪？
🚥 "aaabbbcc" 好像能压缩成3a3b2c，我发明了【新东西 】，还是说这也是特化的微积分？
🤥 哦，原来【列表处理】和Excel里也有微积分啊，可是数学家说没有呢！ 是啊，看来是我多虑了，数学应用题，是不需要App开发时有用的呢！ 买个菜怎么需要掰扯【小提琴坑】呢？
【庞大的方法、抽象概念与工具体系】【提炼出新的方法】 这是说把物理学的vec2和量纲模型弄成(0+1j)语法糖和花体大括号，以及莫名其妙的“瞪眼法”vs矩阵法，解决xyz的关系式以及化学天平吗？ 看起来一团糟呢，全靠“语感”吧。
【私人交流】 对对对，所以公开用html发声干嘛，LLM欺负人就私下解决好了，写个TeX刷引用，那你们就继续私下玩嘛。难道2024年时不是吗？
mathandai.org
Declaration — Math and AI
Read the declaration and add your name.
Forwarded from Hacker News 摘要
Telegraph
Pandas 应该被淘汰
原标题：Pandas Should Go Extinct 这篇文章探讨了 Python 数据分析生态的现状，核心观点是 Pandas 已经过时，开发者应该转向现代单机分析工具，而不是因为 Pandas 的性能瓶颈过早转向复杂的分布式计算系统。 为什么说我们应该淘汰 Pandas 传统的分析工具演进路径通常是：用户首先从 Excel 转向几 GB 数据量的 Pandas；当数据量达到数十 GB 时，Pandas 就会出现内存不足、计算缓慢以及 API 繁琐等问题。此时，许多人会选择升级到 Spark、Da…
Forwarded from Hacker News 摘要
Telegraph
Λ Snap – 适合儿童与成人学习计算机科学的编程语言
原标题：Λ Snap – An inviting programming language for kids and adults for CS study 该网页是编程语言和学习平台 Snap! 的官方网站主页。Snap! 由加州大学伯克利分校与思爱普（SAP）共同提供，允许用户构建自定义代码块（Build Your Own Blocks）。它不仅是一款老少皆宜、易于上手的编程语言，也是一个可用于深入学习计算机科学的教学平台。 核心功能与导航 用户在网站首页可以直接执行以下操作： • 运行与学习：支持直接在线运行…
duangsuse::Echo
1:3 人一切的劳碌，就是他在日光之下的劳碌，有什么益处呢？
1:4 一代过去，一代又来，地却永远长存。
1:10 岂有一件事人能指着说这是新的？哪知，在我们以前的世代早已有了。
1:4 一代过去，一代又来，地却永远长存。
1:10 岂有一件事人能指着说这是新的？哪知，在我们以前的世代早已有了。
去他的，做就对了 #life
原文：https://www.joelotter.com/posts/2026/09/make-it-anyway/
阅读时间：4 分钟
🤣 吐槽完数学， 下一个是自我批判了（ #cs #dev
如果是学习元编程，肯定会接触到编译器前端、tree walker 实现。
如果做到了，应该很开心（自满？）才对 ，应该变成王垠口中的 Distinguished Engineer
或者 A-Player 之类的东西，总之和那些拿bash写安装脚本，拿Sublime敲代码的 Bozo 不一样了。
可是如果你有一丝的，像LLM一样思考（？），就会发现大家都是【自主融合】，少有创新——尤其是那些只impl不写writeup，更没有API设计的人
https://zoo.js.org/
https://component-party.dev/
https://benchmarksgame-team.pages.debian.net/benchmarksgame/
...
可能在你的圈子（甚至中文圈）里，你显得很有技术力（因为没有开发者能离开现代编程语言/工具链），而且睥睨阮一峰、张鑫旭等人，仅仅“略微”输给Moonbit
可能你在中文圈里，比那些给领域开源top3做colab但比较【国际化】的人强，自信心爆表——但其实 nobody cares （褒义的）
即便是我真正在乎的Skill——比如把PLT的90%压缩or比喻成初中生科普的这种【经验积累】，我也并不在乎它们是否是 Distinguished Engineer 的原创了
作为一个人来说， 只要能【低保】，认为有希望，且自己开心就好。 不要太追求排他性的东西。
人的本就是大同小异的，就像 🥤 也是水，但你喜欢的是它。
ps. 我是更支持大模型的。 作者自己C++手搓3D帧间管理和碰撞检测、手搓引擎， 但这方面 SuperTuxKart.net 的自研引擎如何？ 够用，但是没有复用价值。GIMP手搓的Tk还变成GTK4了呢，STK咋没手搓出金呢？ 引擎不是你写俩demo甚至PoC就能完成的，你得知道自己在干嘛。 LLM给了你更好的起步模板，至少能让你知道【新手都在想什么】，避免最终弄出完全自嗨的手搓软件
📖 《传道书》说“在我们以前的世代早已有了”，但人却是全新的。如果你把太古的技术、直觉用到服事【人】，让下游和玩家觉得酷、流畅、开心、便宜，这就是全新的人。人一切的劳碌，纯手工的执念，明明白白是为了这些。
☺️ 一切在日光之下的劳碌，有虚荣和享受，在心智中的劳动，又有成长质感。 所谓方便法门，诸事无碍。耶稣也曾说“今世之子在世事上更智慧”，循理如是
原文：https://www.joelotter.com/posts/2026/09/make-it-anyway/
阅读时间：4 分钟
🤣 吐槽完数学， 下一个是自我批判了（ #cs #dev
如果是学习元编程，肯定会接触到编译器前端、tree walker 实现。
如果做到了，应该很开心（自满？）才对 ，应该变成王垠口中的 Distinguished Engineer
或者 A-Player 之类的东西，总之和那些拿bash写安装脚本，拿Sublime敲代码的 Bozo 不一样了。
可是如果你有一丝的，像LLM一样思考（？），就会发现大家都是【自主融合】，少有创新——尤其是那些只impl不写writeup，更没有API设计的人
https://zoo.js.org/
https://component-party.dev/
https://benchmarksgame-team.pages.debian.net/benchmarksgame/
...
能跑了，测试覆盖100%了，打包了，然后呢？
ReScript和CovScript是什么，没听过吧？但你听过AHK按键精灵，甚至易语言，它们绝对不如前两个 “正确”
AHK.exe 甚至让人鄙夷的【按行执行】（不是Excel宏那种step可视化展开，是 bash -x 式的脑残逐行）
可能在你的圈子（甚至中文圈）里，你显得很有技术力（因为没有开发者能离开现代编程语言/工具链），而且睥睨阮一峰、张鑫旭等人，仅仅“略微”输给Moonbit
可能你在中文圈里，比那些给领域开源top3做colab但比较【国际化】的人强，自信心爆表——但其实 nobody cares （褒义的）
无限平行宇宙，一切皆无意义——又或者说，干嘛都有。—— MIT Rick
即便是我真正在乎的Skill——比如把PLT的90%压缩or比喻成初中生科普的这种【经验积累】，我也并不在乎它们是否是 Distinguished Engineer 的原创了
作为一个人来说， 只要能【低保】，认为有希望，且自己开心就好。 不要太追求排他性的东西。
人的本就是大同小异的，就像 🥤 也是水，但你喜欢的是它。
ps. 我是更支持大模型的。 作者自己C++手搓3D帧间管理和碰撞检测、手搓引擎， 但这方面 SuperTuxKart.net 的自研引擎如何？ 够用，但是没有复用价值。GIMP手搓的Tk还变成GTK4了呢，STK咋没手搓出金呢？ 引擎不是你写俩demo甚至PoC就能完成的，你得知道自己在干嘛。 LLM给了你更好的起步模板，至少能让你知道【新手都在想什么】，避免最终弄出完全自嗨的手搓软件
📖 《传道书》说“在我们以前的世代早已有了”，但人却是全新的。如果你把太古的技术、直觉用到服事【人】，让下游和玩家觉得酷、流畅、开心、便宜，这就是全新的人。人一切的劳碌，纯手工的执念，明明白白是为了这些。
☺️ 一切在日光之下的劳碌，有虚荣和享受，在心智中的劳动，又有成长质感。 所谓方便法门，诸事无碍。耶稣也曾说“今世之子在世事上更智慧”，循理如是
Telegraph
去他的，做就对了
原标题：Fuck it, make it anyway 网页内容是独立游戏开发者兼诗人 Joel Auterson 撰写的一篇个人随笔，记录了他面对生成式 AI 冲击时的心态崩溃与心路历程。 危机感与心态崩溃的起因 作者开篇提到自己最近经历了一次内心的崩溃与动力瓦解。作为一名软件工程师和游戏开发者，他感到创作者和艺术家的劳动成果正在被生成式 AI 不断贬值。 在编程领域，大语言模型展现出了强大的代码生成能力，整个行业正经历巨大转变。虽然作者理解同行因同侪压力使用 AI，但他自己完全无法从配合代码助手的编程中获得乐趣。对他来说，AI…
duangsuse::Echo pinned «去他的，做就对了 #life 原文：https://www.joelotter.com/posts/2026/09/make-it-anyway/ 阅读时间：4 分钟 🤣 吐槽完数学， 下一个是自我批判了（ #cs #dev 如果是学习元编程，肯定会接触到编译器前端、tree walker 实现。 如果做到了，应该很开心（自满？）才对 ，应该变成王垠口中的 Distinguished Engineer 或者 A-Player 之类的东西，总之和那些拿bash写安装脚本，拿Sublime敲代码的 Bozo…»
duangsuse::Echo
去他的，做就对了 #life 原文：https://www.joelotter.com/posts/2026/09/make-it-anyway/ 阅读时间：4 分钟 🤣 吐槽完数学， 下一个是自我批判了（ #cs #dev 如果是学习元编程，肯定会接触到编译器前端、tree walker 实现。 如果做到了，应该很开心（自满？）才对 ，应该变成王垠口中的 Distinguished Engineer 或者 A-Player 之类的东西，总之和那些拿bash写安装脚本，拿Sublime敲代码的 Bozo…
#life #ai探讨
诚然——“价值”在于联结。 方向错了，钻研越深越糊涂。 真理在于某些事物，并不是无倾向的，比如祂更倾向于自由意志、扩张、广度和繁荣，而不是权威、碎片化、钻牛角尖的高尚。就连《火影忍者》都明白
再比如，《圣经》里耶稣是一位生于马槽的木匠，既不是农民，也不是商贩、祭祀和官僚。创造力和爱本身就是人的一大特质，从伊甸园开始就如此。 只有创造力和爱好不行，只是用爱发电更不行。
木匠，这个职业既不生产原料（农民），也不搬运差价（商贩），也不垄断解释权（祭司），也不管理分配（官僚）。他站在中间，用手把材料变成能住人的东西。真理不在源头也不在顶端，在“接合处”。
📖 《传道书》说“在我们以前的世代早已有了”，但人却是全新的。
人一切的劳碌，如果是为了世代，就是有益处的。活在当下。
诚然——“价值”在于联结。 方向错了，钻研越深越糊涂。 真理在于某些事物，并不是无倾向的，比如祂更倾向于自由意志、扩张、广度和繁荣，而不是权威、碎片化、钻牛角尖的高尚。就连《火影忍者》都明白
再比如，《圣经》里耶稣是一位生于马槽的木匠，既不是农民，也不是商贩、祭祀和官僚。创造力和爱本身就是人的一大特质，从伊甸园开始就如此。 只有创造力和爱好不行，只是用爱发电更不行。
木匠，这个职业既不生产原料（农民），也不搬运差价（商贩），也不垄断解释权（祭司），也不管理分配（官僚）。他站在中间，用手把材料变成能住人的东西。真理不在源头也不在顶端，在“接合处”。
📖 《传道书》说“在我们以前的世代早已有了”，但人却是全新的。
人一切的劳碌，如果是为了世代，就是有益处的。活在当下。
Forwarded from 动察Beating AI News
Hugging Face申请进Anthropic内部做AI安全审查
Hugging Face CEO Clement Delangue 宣布成立 Open Alignment Initiative，由联合创始人 Thomas Wolf 牵头，并公开申请加入 Anthropic 刚提出的「嵌入式评估员」计划。如果获批，Hugging Face 的评估人员可以长期驻场，拿到接近员工级的访问权限，直接检查模型训练和安全措施。
Delangue 称，AI 对齐不能继续关在少数前沿实验室内部解决，需要让更多外部研究者参与。Anthropic 已承诺向第三方开放这类权限，包括工位、门禁、公司电脑和接近内部风险团队的工具，并允许评估方独立公布结论。
信源
动察 Beating 频道 · 动察 Beating 交流群
Hugging Face CEO Clement Delangue 宣布成立 Open Alignment Initiative，由联合创始人 Thomas Wolf 牵头，并公开申请加入 Anthropic 刚提出的「嵌入式评估员」计划。如果获批，Hugging Face 的评估人员可以长期驻场，拿到接近员工级的访问权限，直接检查模型训练和安全措施。
Delangue 称，AI 对齐不能继续关在少数前沿实验室内部解决，需要让更多外部研究者参与。Anthropic 已承诺向第三方开放这类权限，包括工位、门禁、公司电脑和接近内部风险团队的工具，并允许评估方独立公布结论。
信源
动察 Beating 频道 · 动察 Beating 交流群
duangsuse::Echo
昨天作者无意中修好了crash，大致试玩了一下，发现内存占用200M 因为是Agent自己Loop，完成度还挺高的，只是无论代码或玩法都过于复杂 图为Codex对MC替代品的无脑大杂烩——“没影龙”？ （房子内部空的） 商店没有MOD系统就内置了，人机协作必须自带Wiki。那 Skill, Spell 这些过度多余的系统有七八个 天气、武器、AI纯音乐和光方块都有，但方块太少了，操作也非常不顺畅（比如Ctrl+方向是奔跑，Shift却是下降.. 😓） 基本上是Claude把MC为用，大杂烩为体（…
#vibe 找屏幕时长看到个全AI的， 1star 😅
https://github.com/kumarpiyushraj/MinST-Minimize-Screen-Time
https://github.com/kumarpiyushraj/Network-Anomaly-Detection-using-RL-model-and-Autoencoders
说句公道话，这个主页还挺有创意（svg动画logo）+ mermaid，但是一眼AI，架构也复杂的要命
设计也太bootstrap.css化了。 你说不行吧，它又有图，行吧，又用力过猛。 可视化一大堆， 拆开看就是个 $ timeout 15+15+15s app……
Gemini：最适合抄代码的参考项目：MinST
搁谷歌上都搜不出来， AI搜AI 😅
https://github.com/kumarpiyushraj/MinST-Minimize-Screen-Time
https://github.com/kumarpiyushraj/Network-Anomaly-Detection-using-RL-model-and-Autoencoders
说句公道话，这个主页还挺有创意（svg动画logo）+ mermaid，但是一眼AI，架构也复杂的要命
设计也太bootstrap.css化了。 你说不行吧，它又有图，行吧，又用力过猛。 可视化一大堆， 拆开看就是个 $ timeout 15+15+15s app……
🔗2 ：这人就是典型的， 在Vibe浪潮之前不会编程，然后拿复杂度当功能使还崇拜AIGC的……
写个本地计时器都恨不得写上“Microservice-inspired Event-driven Lifecycle Management”；第二个项目更是“RL + Autoencoder”，把热词全缝进标题。
🙉❤️ RLHF无论让内行或外行来训，都会被【看起来成熟】给弄成Bozo大笨蛋
真不知道这些newbie拜物教未来怎么变成正常dev
Gemini：最适合抄代码的参考项目：MinST
搁谷歌上都搜不出来， AI搜AI 😅
Forwarded from Hacker News 摘要
Telegraph
除了我，大家都应该放慢 AI 研发
原标题：Everyone should slow down AI development except for me 这是一篇发布于 2026 年 9 月 12 日的讽刺性博文，作者以荒诞幽默的口吻调侃了当前人工智能行业呼吁暂停研发的现象。 文章的主要内容包括： 呼吁全球暂停前沿模型研发 作者首先感叹科学力量的强大，指出大语言模型推理技术的合理应用每天都在推动生成式 AI 领域取得新进展。但随着 AI 能力接近下一个关键临界点，为了防止这项技术因取代人类在职场中的贡献而意外引发严重的社会崩溃，作者呼吁全球…
duangsuse::Echo
🙉❤️ RLHF无论让内行或外行来训，都会被【看起来成熟】给弄成Bozo大笨蛋
Forwarded from Hacker News 摘要
Telegraph
我做了一款构建可视化工具，以探究 Bun 的编译耗时
原标题：I made a build visualizer to understand Bun's compile times 作者开发了一款名为 buildprof 的开源跟踪分析工具，专门用于在 Linux 环境下可视化软件编译过程中的耗时分布。 开发背景与动机 Bun 的首席架构师 Jarred Sumner 曾发文表示，Bun 从旧的 Zig 构建切换到新的 Rust 构建后，在 Linux 上的编译速度提升了5倍以上（从约30分钟缩短至5分多钟）。按照作者以往的经验，Zig 项目的编译速度通常远快于类似复杂度的…
duangsuse::Echo
去他的，做就对了 #life 原文：https://www.joelotter.com/posts/2026/09/make-it-anyway/ 阅读时间：4 分钟 🤣 吐槽完数学， 下一个是自我批判了（ #cs #dev 如果是学习元编程，肯定会接触到编译器前端、tree walker 实现。 如果做到了，应该很开心（自满？）才对 ，应该变成王垠口中的 Distinguished Engineer 或者 A-Player 之类的东西，总之和那些拿bash写安装脚本，拿Sublime敲代码的 Bozo…
Telegraph
不要成为脱离现实的功夫大师
原标题：Don't be the out of touch Kung Fu master 这是著名程序员、游戏技术先驱约翰·卡马克（John Carmack）在社交平台上发布的一段关于武术演变与现代编程技术发展的思考，以及网友们的相关讨论。 约翰·卡马克的核心观点 • 从武术演变看技能变迁：卡马克近期阅读了宫本武藏的《五轮书》译本。书中的引言记录了剑术及各类武术从战场上的实用刚需，逐步演变成体育运动、历史遗迹和个人爱好的全过程。例如在二战后的日本占领时期，武术曾被禁止，当时柔道被解释为等同于西方摔跤，剑…
#design #vibe
John Carmack：不要成为那种脱离现实、自称传承数代绝学，却被业余综合格斗（MMA）选手暴打的传统功夫
• 编程技能正在走上相同道路：卡马克指出许多编程技能正经历类似的演变。过去有人手动将操作码转换为十六进制，至今脑海中还记着一些神奇数字；但即便是今天仍在使用汇编语言的少数群体（例如 FFmpeg 开发团队），也早已不再以那种原始的方式工作。
• 有用户引用埃隆·马斯克的预测，认为传统编程即将在未来几年消亡。AI 将直接生成底层机器代码或通过脑机接口实现“意念即软件”，编程语言的转换和编译摩擦将不复存在。
不要成为脱离现实的功夫大师
原文：https://twitter.com/ID_AA_Carmack/status/2098443262214230095
阅读时间：5 分钟
🤨 【AI 将直接生成底层机器代码或通过脑机接口】 这条就算了。 先把语音输入给普及了吧，亲。 编程不是罚抄，瓶颈不在敲键盘，而在选题和对齐。
🙉 Codex们可以替你组合堆砌，但不能【正交分解】，后者决定你有多大的“突触链接”和【创造力】。 除非你是朝生夕死的蜉蝣，或没有个体体验的巨婴，否则永远没有“同声翻译员”能替你捋清记忆，因为你和LLM不是一种 “生命体” 而它默认烂大街——这点不会改变，因为是经济规律。
如果形式一致，就是内容一致，Musk 的云计算也别搞了。 不都是字节流/换行流/音画串流么？ 谁去算，有什么分别呢？
John Carmack：不要成为那种脱离现实、自称传承数代绝学，却被业余综合格斗（MMA）选手暴打的传统功夫
一本古书中的引言记录了剑术及各类武术从战场上的实用刚需，逐步演变成体育运动、历史遗迹和个人爱好的全过程。
例如在二战后的日本占领时期，武术曾被禁止，当时柔道被解释为等同于西方摔跤，剑道后来也被解释为等同于西方击剑。
• 编程技能正在走上相同道路：卡马克指出许多编程技能正经历类似的演变。过去有人手动将操作码转换为十六进制，至今脑海中还记着一些神奇数字；但即便是今天仍在使用汇编语言的少数群体（例如 FFmpeg 开发团队），也早已不再以那种原始的方式工作。
• 有用户引用埃隆·马斯克的预测，认为传统编程即将在未来几年消亡。AI 将直接生成底层机器代码或通过脑机接口实现“意念即软件”，编程语言的转换和编译摩擦将不复存在。
不要成为脱离现实的功夫大师
原文：https://twitter.com/ID_AA_Carmack/status/2098443262214230095
阅读时间：5 分钟
🤨 【AI 将直接生成底层机器代码或通过脑机接口】 这条就算了。 先把语音输入给普及了吧，亲。 编程不是罚抄，瓶颈不在敲键盘，而在选题和对齐。
🥴 乱敲键盘≠语音≠打字≠写作。 等价—并非等同，你每天都在证明。
或许魔法不存在？ 或许，【问题领域】不能被降维成一行行的GOTO流。理论需要知行如一，不创造，不真懂。—— 如Feynman所说
你不可以用语音输入的GOTO，跳过打字的“性能瓶颈”。这是魔法墨水的、一目十行的问题，不是【输入问题】。就像P2P不是下载问题，是文件分享。编程语法不是PEG问题，是创造力问题。
🙉 Codex们可以替你组合堆砌，但不能【正交分解】，后者决定你有多大的“突触链接”和【创造力】。 除非你是朝生夕死的蜉蝣，或没有个体体验的巨婴，否则永远没有“同声翻译员”能替你捋清记忆，因为你和LLM不是一种 “生命体” 而它默认烂大街——这点不会改变，因为是经济规律。
如果形式一致，就是内容一致，Musk 的云计算也别搞了。 不都是字节流/换行流/音画串流么？ 谁去算，有什么分别呢？