duangsuse::Echo
Build in Public
Marc 的故事是——看明白了top3的前端/全栈框架，都是只管自己，没法开箱即用
然后拿比 TodoMVC.com 好一点的模板SaaS拉群卖别个，卖了三百万刀。 别看人家土，为啥你深耕十年做的东西七成人【用不了】呢？
真金白银的证明了，作为一个【整体出品】，框架编程圈并不理解自己想要做什么。 #tool #selected
用户认证 (Authentication)：单点登录、扫码、注册、忘记密码、社交登录...
邮件发送 (Emails)：邮件防钓鱼、营销邮件...
支付集成 (Payments)：Stripe, Lemon Squeezy...
Docker配置, SEO优化, 环境变量管理...
你用自建站时，这些functional一个不缺，但你开发时，开源世界像【软件失忆】了一样不吱声，提都不提，思路和数据流没有
🤥 It magically works ，这叫干工程，这叫【资深大佬】做的事情。
全靠AI。
把支付宝贴上去，自动回复激活码，这不需要什么【架构思路】，不需要【开发文档】【用户教育】，或者跳到浏览器里GH登录？很简单。
但是你换一种SaaS支付写法，莫名其妙的复杂度就来了。让用户只为了付费而注册、验邮箱…… 甚至不能用1Password。
不如我们换个flow，付费换二维码凭据存相册里。 然后你就会发现原来的SDK到底有多复杂，多反直觉。
🥱哦对了，这就是 Cookie 怎么变成JWT的，因为服务器群也像用户群一样，是【同理】的。 难道编程，不是一种思维方式吗？
感觉和最近B站喷宝妈创业的差不多，只是换成编程甚至vibe上架吸金
简单来说就是share开发逻辑时别带圈外人， 所以你能找到的教程只有框架教程而已
所以这人卖课能赚这么多，但实际上能做到出师的有几个？
duangsuse::Echo
而且拿围棋魔方和数学当 《人类智慧王冠》的事情本身就很奇怪。不明白他们在幻灭什么
对我而言，这就像崇拜用十进制和xyz实现的 “鸡头稳定器”，极少数人是鸡或机，但这说明不了鸡最聪明
对我而言，这就像崇拜用十进制和xyz实现的 “鸡头稳定器”，极少数人是鸡或机，但这说明不了鸡最聪明
#math 😁 急了，急了
对智力劳动的普遍威胁： 多年的学术训练不仅是为了得到最终答案，更是为了培养理解力以及提出新问题和新观点的能力。AI 直接产出结果的做法使这一初衷受到威胁。数学界面临的困境，正反映了全人类共同面临的挑战
我怎么没有听说数学世界的 base case 是让人类能理解问题和思路，并且翻译和服务于工程问题呢（这意味着数学要比工程模型要好，比如把wav2freq/FT的离散vs连续撕裂开看）？ 各种2026版罗马数字和形式主义才大行其道吧。
怎么我没见画画的（纯爱好or吃流量）因 “最终答案” 崩溃，反而刷到巨多优秀创作，就看到数学突然不数学了。 多项式和矩阵分不清的【数学表达】死了才好，化作春泥更护花嘛。
打个比方，TeX们比.docx好，那么和Colab、Typst、MathML比呢？…… 这就玄了。 所以【数学信仰】的救赎恐怕没那么容易。
流行文化(R&M) 对数学的【评语】，基本上就像Linus和大老师的微内核之辩一样尴尬了。 可能数学心智模型还不如9x9暴力破解和科普，在这方面更领先
AI在数学领域的对齐失准
原文：https://mathandai.org/
阅读时间：3 分钟
分数：761 🔥🔥
对智力劳动的普遍威胁： 多年的学术训练不仅是为了得到最终答案，更是为了培养理解力以及提出新问题和新观点的能力。AI 直接产出结果的做法使这一初衷受到威胁。数学界面临的困境，正反映了全人类共同面临的挑战
更是为了培养理解力以及提出新问题和新观点的能力.jpg
我怎么没有听说数学世界的 base case 是让人类能理解问题和思路，并且翻译和服务于工程问题呢（这意味着数学要比工程模型要好，比如把wav2freq/FT的离散vs连续撕裂开看）？ 各种2026版罗马数字和形式主义才大行其道吧。
怎么我没见画画的（纯爱好or吃流量）因 “最终答案” 崩溃，反而刷到巨多优秀创作，就看到数学突然不数学了。 多项式和矩阵分不清的【数学表达】死了才好，化作春泥更护花嘛。
😋 你很难在自然语言中看到XML那样，既严谨又含糊的讲法
真的不要搞笑了好吗？ 让钢琴窗/y轴热力图 能跑到课本里的是工程派，不是高斯。而Hann窗也是工程解，数学是跟在后面的小秘。 数学执着于连续是为了跳步，那自然界能让你降精度算出来了？ AIGC都要token量化，还连续 ∞ 时间 ∞ y轴，跳步对频繁演化的App没有意义，就像面对地震你不会去证明【桥不会塌】，面对卡死你懒得预判【程序不会不停机】。
一个连2倍速音高(WSOLA)都拉不回来、拉成吐痰声的数学模型还好意思写TeX呢，Colab和全英文 Py import 吊打形式主义好么？ 数学界整20多年搞出Markdown和HTML了？（AI能用还得拜这些“脑残”基座所赐）
- WSOLA就像1080p，足够用。Pro可能用数据集更多的方法，但无关消费级
- Hann窗是手写卷积核时代的事了，现在ML暴力找。注意是暴力。 那种数学还有用吗？
- 停机这类问题数学告诉你“此路不通”，不需要证明—— 我确实该找遍屋子才能声称【没有蟑螂】 O(N)。说点人话吧，求你了。
- 它不是被藏起来了，是被战胜了。 在历史上，它是恶龙，不是屠龙的勇士。
打个比方，TeX们比.docx好，那么和Colab、Typst、MathML比呢？…… 这就玄了。 所以【数学信仰】的救赎恐怕没那么容易。
流行文化(R&M) 对数学的【评语】，基本上就像Linus和大老师的微内核之辩一样尴尬了。 可能数学心智模型还不如9x9暴力破解和科普，在这方面更领先
如果 “迅雷下载” 像代数一样可以跳帧，我相信大部分dev就乐意复习《高中数学》了，很可惜这是物理瓶颈。
🥴 而工程瓶颈呢？ 比如，为什么锁30fps/60fps？VR帧率总是不跟手？ 增量同步、即用即下、省流量更新？
锁帧追溯到第一行代码，可能只是一个FixedUpdate()命名模糊的语义学问题，关乎未来的bug，只是表达的问题。
如果失去了 ∞ 和跳过N步的for预知【值】的能力，或者这种编程被【平民化】，数学就像鱼没了骨头。
数学思维方式、数学学习能力对此，毫无帮助，甚至要反过来摘掉【无视大局】的坏毛病。甚至对用户登录的“密码学依赖”也无帮助。相信我。
AI在数学领域的对齐失准
原文：https://mathandai.org/
阅读时间：3 分钟
分数：761 🔥🔥
Telegraph
AI在数学领域的对齐失准
原标题：A misalignment of AI in mathematics 这份名为《数学与人工智能》（Math and AI）的公开声明，主要探讨了人工智能（AI）在数学领域发展中存在的严重目标脱节（对齐失准）问题。声明由多位世界顶尖数学家发起并签署。 核心论点与背景 最近几个月，大语言模型（LLM）的数学能力有了显著提升，甚至达到了能够解决许多数学领域重大悬案的水平。然而，AI 公司将“解决数学难题”单纯当作基准测试来推进的做法，正在对数学学科和数学界造成损害。AI 公司的商业目标与数学界的核心…
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 的云计算也别搞了。 不都是字节流/换行流/音画串流么？ 谁去算，有什么分别呢？