#kt #design

用中文读代码，是一个【语法+视觉边界感】的设计问题，同时是一个【写比读难优化】的踩坑问题，而不只是词法和语序的替换。

这方面典型的负面案例，就是OOP和FP的始祖——Smalltalk、Lisp，可以拿 emojicode.org 的 say(🔤Hi!🔤) 来形容——对，读起来就是这种感觉。甚至你没有输入法。 许多 #PLT 人只知道词法语法，为了写个亲爱的parser用尽全身力气（写“虚拟机壳”），却不明白人眼人脑的【感知】。

语感差异在编程里，不是特别重要，尤其是不值得为了套皮而打乱语序。

比如 for x in 图表xs: 或 对xs里的x: ，我的选择是让所有套皮都基于数据流/管道感，for降级为函数，而不是制造分裂

类似的事情，其实决策并不是很容易。 😨

比如 OOP this 的写法(u参数)，我近几年改了五版 （可能是黑历史了，但确实在全语言全文化killer诞生之前，都在纠结）

- 像Kotlin那样，给 class T{fun op} 和 extfun T.op; T.()->Res 分开的
- 去掉箭头类型，用 hex: [Int Str F.n1] 或 toHex: [Int Str F.u1] 区分函数vs方法的 （从typer的实现反向优化的语法设计）
- 在js里用 (1).[_ => toStr(16)] 希望在库层面实现改绑定到首参数_的，还希望把div(p())的DSL也绑上

- 认为3参可以用ABC指代，所以 F.u1 是 An 而 F.n1 是A的，那时还叫 F.n1 vs N1, F.An1 vs F.n1 ，还和vec2的N2(x,y)撞车……
- A,An反过来指代的。因为咱发现， f.map(x=>) 一旦x是对象就会多写"x." 索性it默认this。 这里有Groovy的一个坑

直到：咱发现 u=you, ur 的网络语言，以及，把list,map从各种玄学优化(addr,表,行..)改到统称为 are,am,isMounter(diff赋值) ，这段历史，才彻底结束。

现在的OOP就是纯粹的封装。任何叫u的参数都免前缀（BELT作用域-而非LEGB），全局用 imp.alert() 调，成了和Ruby一样的约定优于配置。

可以直接加 fun op(u: T) 当extfun，F.u1只是FFI提示，让 .let .run 的差异彻底成为历史，[1 2 3]?.(u=>u+1) 和are(*对象)没差别

——就只是this变成u，simple but lethal。 为了这一碟醋，就可以百搭一堆配套。就像现代安卓把安装页变成安装框那样，够脑残，但直接消灭一堆额外需求。let/run/apply/also/with，直接合并吞掉。

全局进 imp.，裸名不可能是全局；u 是有名字的参数，被内层遮蔽报错了，外层随时能改叫 x =>，或者干脆写 u.field——永远有逃生口； —— 但你不需要明白这些深奥逻辑，就能知道you，这是合理设计。BELT这个想法比UFCS还好

这个经历让我深刻的理解了《人月神话》的程序员与普通的A player，有什么思想的不同，并且让我专心为【人类可解释】探索边界。 🤗

有了四五个，这样的设计经验后，我就开始重新审视自己对【大佬】的定义标准了

我发现，许多能解决问题的人，不明白自己在解决什么。 #statement

他们写代码，却摸不清代码被删除后的因果链。 这能跑，但没有长期意义，尤其是面对AIGC时。 如果一个this->u就能删掉5个版本的【编译器基建】，他们，又删过什么？ —— 不要只问你今天又做了什么。

我敢于推倒所有代码重来，但不是为了Rust，是为了【编程本来的面目】。

其实这是个不容易的决定，尤其是在你自以为写的很好时 ——无论码力多少，承认这几天啥都没干，扔掉，都是反人性的。 把事情给初中生解释清楚， 意味着你好像没上过大学，没有更牛逼的知识了。

因此，我才开始唾弃【幕后的复杂性】——尽管，我依然不会解决许多许多的问题， 但我改刁了自己的taste。 并且我相信，类似以上的故事，正好是各种工程难题上的【本质问题】

无论如何，这儿有个事实 —— 开源世界，目前仍在60% Geek触及的应用领域上，没有领先。甚至与工业/top榜的软件差距山大。 都是我们认为理所当然的code和知识，但它们，确实不顶用。

【咏唱】没有让你获得【魔法】。知识不等于力量。 开源代码，确实在某些领域，是倒数的。不在top20里——它们的代码库和心路历程。

杀贼。破山中贼易，破心中贼难。

许多技术人。并不在乎【屏幕之外的技术】，像他们对安全（或许多组件/模块）的理解，从未把【用户的反应】和【自身的市场定位】考虑在内。他们不会横向对比，更不考察用户的【软件配套】，因为那是别人的App。 好像你在乎用户的苦难，就是不在乎代码那样。并非如此——编程不是数学，没有最终无人机交互的软件。

【运行时】正是因果链最好的取景地，而它却被照猫画虎的大佬无视。

所以说，如果你要开发老鼠药的话…… 最好别往API里写【撬开嘴巴放进去】！

我宁可加几段《老鼠为什么要喝老鼠药？》的梗图，因为，编程本来就不是【专业】。这才是计算机的前沿性与魅力。

当你【热爱的领域】里80%的人都在做【与之相悖】的事情，是什么感受？ 📚

我认为，编程还不至于招人烦到只剩下【AI编码】的程度。Scratch、MC，甚至拼豆，人们都愿意停下来理解它们，唯独所谓的全栈（尤其是原生），编程领域的自己人都避之不及。JetBrains的IDE被讽刺为 “面对AI只剩下调试可用”，StackOvf 则“彻底无用”。

PLT 做的事情，理应是让编程成为Flash/Rust那样的媒介、共鸣和创作动力，而不是让AI，从50行乱码里生成500行 “形式化” 证明，由此让我们知道，【数学对用户免责】。

不，“泰坦尼克必将沉没” 不是数学断言，是社会的彻底失败。 理性告诉你钢铁会沉，可是真爱、“永不沉默的茉莉” 不会沉没。

数学可以撒谎，但 code smell 不会。

如果你要开发老鼠药的话——API里会有“撬开嘴巴放进去”吗？ Pythonic的答案是，不会。 我们知道自己【想要】干什么，而且让科学界做到了。 C++，paper搜索引擎，做不到。 他们也拒稿过Google的PageRank。

编程无关计算机，就像天文无关望远镜。

很遗憾，我认识过90%的大佬，他们的README里，看不出写上万行的动机、选型、数据流。

正因如此编程才会沦为【编码】啊……

📚 大家都在以“丑”为荣，并把堆砌“丑”的能力，称之为“资深”和“硬核”。但 Alan Kay 的思想，不需要Apple来【形式化证明】，可绝大部分人，总是《没头脑或不高兴》。

我想，这大概就是陶哲轩听到《dfs证明四色定理》《GPT6证明N-S方程上限是有损模拟》时那样的心情。

数学界，不也说了几个世纪《数学优雅性》，最后让初中微积分被EPS-dt这个catch{}语句，绑定了初衷。

物理的km/h，支付宝的柱状图左移1位自减，是一点都不说啊。 ——catch{} 的 try{} 是怎么发生的？我们需要知道牛顿和莱布尼兹，才能理解微积分吗？ 在池塘发明之前，人们扛着船走？

知识界 ——你们尊崇的到底是真理，还是老师？

时间地点人物，最重要的，是人物，还是前因后果？ 难道同期没有别的工具诞生了吗？ 你们，学到了牛顿的【语境】吗？

【秤】上被你们量化精确的【脑黄金】，你们自己，在乎吗？ 牛顿不是为了物理学做物理，是为了展示上帝的优雅，是为了收集海滩上的“贝壳”。

你们只写那个 catch{}，但try{}里的语意，是空的占位符。里面空无一【人】。

所以AIGC来了，你们【震惊跌坐】——原来人类做了这么多低质量的、不可“风格迁移”的重复工作。 到底是机器更人，还是人没有【更崇尚真理】？

不是【英雄迟暮】【生不逢时】，是他们从来没当过英雄。计算机领域的革命尚未发生。 Python本身之于AI，好比和制二字词汇之于汉语。 CV使用卷积核压榨GPU，而另一种核，是安装在人脑里的。OOP之父如此理解【革命】。

就像经上记着的—— 神差使者过来，人们却不能相信。因为他们太【人】了，没有【真理】的外貌。

法尚应舍，何况非法。

你会买百公里耗油100升，甚至1000升的汽车吗？ 在软件行业，我们一直这么做。

这不是公开的秘密，因为对大部分人来说，它就像空气一样自然

现代汽车工作效率，可以达到当前引擎设计/物理原理的98%的水准，城市用刚刚好的材料来搭建，并且能在当地条件下，保持安全。

如果医疗设备或飞机失事，灾难会发生；可是开源，仅仅只是【爱好者】的产出——但他们又不想承认自己是MC/红石的脚本小子。

他们敏捷、TDD、OKR、GoF…… 他们懂所有的模式，却不在乎代码丑成什么样子。 一个【编程语言】的主页上，可能没有1行该语言的代码，没有1个值得import的社区库。

这是他们如何对待软件背后的 "token"。 我不敢想象PHP在注入越来越严重的年代，依然没有推出 ES6 (s, ...arg)=> "exec ret" 的安全内插

这是他们如何对待软件背后的 "token"。

计算机是科学吗？软件工程师像【工程师】那样严谨对待地心引力吗？ 80% 的从业者，我看未必。 他们在往根基里加私货，而且【工作很好】。现在有 #vibe 了，所以 “一切更加的好起来”

这正是《软件幻灭》的原因

那 Rails 怎么办？
原文：https://jardo.dev/what-about-rails
阅读时间：6 分钟
分数：153

你可能不懂技术，但只要懂人性。代码是人写的、人用的。

写码的，承认这几天啥都没干，扔掉，这是反人性的。 而把事情给初中生解释清楚， 意味着你好像没上过大学。

API写的差一点，技术债，留久点，省的熬夜重构。—— 那为什么不在落笔前就想好？ 因为许多人，不会提前横向考察，乃至于观察【用户严选】的额外软件？ 理解这些真正的护城河。

但我知道，Telegram和Nitendo很会【观察】。他们不是脑子一热的月抛，而目前，我几乎找不到这样会问【然后呢？】的大佬。

所有人都在认为算法攻克了，150分了，毕业了。 生而不养，甚至没设想过装它的【框】在哪。

为什么开源的【咏唱】那么多，能卖的技术栈级的开源魔法，那样少？ 为什么中推上最赚钱的独立开发，是卖zip包卖课的“全栈退役”，不是真App？

你可能看不懂接口，也没IQ去理解新老算法，但，经济学不会骗人。【智识上的不诚实/Cargo Cult】 也像蚊子般，总是存在着。

像 neal.fun, ncase.me, cosmolibc 那样充满活力的编程者，总是少数，好像代码一旦脱离“视觉模态”的F12就会变成屎山一样。

可能这就是《软件史的终结》了。

这些"P9"会问，【如果首屏再快1s呢？】【Web版和TUI也能强化对TDLib的理解呢？】【我的丝滑动画被https:OG卡片卡住。真是败兴，为什么不能用隐私的爬虫？】【系统UI上摇杆“手感”太缺，但震动太傻！】【游戏随时切到后台，都会丢数据吗？但也不能耗电啊！】

而你落笔之前不问，这就是你的天花板。你的codebase再也不可能，积重难返，你的选型是错的。

开源界95%的人，都被卡在下边。他们默认第一眼看到的，能跑，就对。

他们的模态是代码、是codebase，甚至是XX语言的代码、XX版本的git仓库！总之，他们的模态，不是【人手】【人眼】。

所以当需要优化，80%的人比较CDN和压缩，10%的人用F12，而很少有人，考虑【直接做成离线运行/sw/npm】体验怎么样？

许多技术人。并不在乎【屏幕之外的技术】。

如果【函数签名】是指功能点，那我以VLC、笔记App的平替为例：

A人建模VLC： 视频文件树/网络流/历史记录/playlist/v4l和音频 -> xywh、解码器、字幕和动效 -> 窗口+手势 （比如两指放大、2x）

B人建模VLC： mp4/mp3/mkv/.. -> 视频+横纵比+音量+进度条。 （我是不是该夸他很会起名字，或者够专业？）

A人建模Notes： md/txt/录音ASR/mermaid/MathJAX -> 选区 -> 编辑器 -> 全屏div+底栏; 编辑器 -> 防丢检查点/WebDAV; 选区 -> 对标TodoMVC和手势

B人建模Notes： String[] -> 第一行为标题+识别TODO语法 -> 编辑器

👉 B 类【函数签名】有一个共同特征：它们是对着截图建的。 讽刺的是，一般这样的程序员，README 是不放截图的。

B 类项目的 bug 长这样："某某格式解析崩溃"、"TODO删不掉第一个钮"。A 类项目的 bug 长这样："锁屏回来后光标跳到了开头"、"暂停时字幕闪了一下"。前者的主语是文件，后者的主语是人类。谁的 tracker 里主语是"我"，谁还活着。

代码模态的人，衡量单位是 ms、KB、QPS；人体模态的人，衡量单位是【模态框耗多少耐心】【切回来的时候选区还好不好找】【只有60fps的“满帧”会不会VR眩晕】，这是坐标系的切换，不是参数再往上1.5x

这是从诺基亚的26+键，到苹果的1个Home键的问题，不是QPS再加1.5x。

代沟在于：tg说的【丝滑动画卡】不是“主线程问题”，而是WebView弹框闪的眼睛疼、手累。ns说的【震动太傻】不是指向安卓没有的pwm震动体系，而是设计UI音效包。拿着锤子找钉子时，怎么都是鸡同鸭讲

他们不认为【这里存在问题】，而这就是问题。 为什么top1~5有人用，而长尾在技术上就差一两点，就EOL了？

这是因素复杂的问题，但已经足够攻破【我抄出来就是NB】的谎言。软件从范式上讲，并不稀缺。

如同一个木匠看到一张桌子照片，然后说：“哦，我需要一块木板和四条腿。”

他没有去想这是【办公】【就餐】还是折叠桌。

就以上面《中文编程》为例子，我的注意力是在【视觉边界可读、语法简洁性、中英语序和一致性的权衡】 ，而目标是【读码优先于编写】【IDEvs编辑器+工具链的权衡】

甚至是【第一个放它的框在哪？WASM真有前途吗？】

而绝大部分人就只会想到【翻译替换】【词法、参数列表、语序】。 这是他们对《中文编程》的认知。

我不会为了方块字而中文，lambda是【栏目答】，不是【兰姆答】，recursion不止在递归，更像在【蕊括深】里，翻译着花蕊和括号。 💐 🐝

而绝大部分人所理解的，《中文编程》，只是一个Unicode区间。又或是“生态问题”，甚至会在于输入法和 “外行能看懂”； 而不是在于母语、语感和心流、计算图的文本表示、差异与interop。

比起“翻译”，倒不如说母语化和polygot与标准库的设计，更为接近

字符类（视觉体感）、词法、语法、惯用法、语序和心流…… 如果你未曾设想这些，那这事对你而言，就像认为 “电风扇的开关面板->遥控面板，只是有没有数据线【连着】的问题” ——对问题的分解，就有问题。

我并不是通过学习PLT，来实现它；而是在实现“人肉翻译”的过程中，我理解PLT，同时，绕过那些有毒的实践（比如PLY和“单次运行”模式）

不是编程拆碎了中文的【花架子】，而是新组合的完备性让人好奇：code里的【四字成语】是什么样子？ idiom 写成【字谜】的样子，test写成【歇后语】，开发者的体验如何？

字符类（视觉体感）、词法、语法、惯用法、语序和心流…… 这些全都是【编程语言问题】，是BERT的，双向的注意力，无法一步一步的学，你必须在动键盘前，就成为成果的第一个用户…… 对于那些还在区分scanner与写walker的人，无论智商多高，他们无法理解这些。

以此为例：编程是一条从眼睛的分词，到心流和领域的《莫比乌斯带》，你不可能通过单向的实现【完成】，也不能只设计PEG接口。她是活着的整体，她在落笔前就已经在你每天的工作里了。

这就是我对 #CS 的「理解」

比起不能解答的问题，我更害怕不能消灭的答案。

Bill Gates 当年《给爱好者的一封信》，讽刺的就是这种现象, exactly。 #statement

一个擅长【无意识的写代码】的人，如果只写开源、写App还好。 如果要做框架，甚至托付一个SDK（真SDK，不是client），那绝对是灾难。 别忘了微软是从BASIC（能写代码的代码）开始的

如果今天Web和各种树形UI没被开发出来，相信UIUX框架设计者们不会让SQL与xml——单独使用或二者之间——就存在如此多的垃圾代码。

在人体模态里，体验不是perf下求和，是取最小值。撞一次，信任归零，他不会去想，因为B类人也开发不出什么新功能（融合1~2个最新lib都找不到用例）

B 类作者，哪天终于意识到笔记需要"防丢"了，会发现状态散在编辑器组件的闭包trick里，加不上去，得重写。不是死于内卷竞争，是死于自己的选型。

昨天的你，拒绝和今天的你合作。打开codebase，你发现加功能比加一堆 $0.click() 还难。 你的IQ把自己，写成了二开。

真正的基础设施（Infrastructure），绝不可能建立在业余者的即兴涂鸦之上，尤其是那种以丑为美，只有开源精神，而不崇敬【科学、真理和美】的脏hacker。

我想，傲慢，这才是杀死屠龙勇士的利刃。开源勇士自己，也是拜物的无鳞甲之龙。

一个神，会被自己造的石头砸死吗？ 你试过用复杂的代码，声明要一个方的圆，并且当天没有被自己骂死吗？

千里眼を持つという友よ…… 足元の石も見えぬか？ 我不聪明，但对做PLT而言，这是好事——没有比这更大的【天材】了。

软件设计，有两种方式：一种是做得极其简单，以至于明显没有缺陷；另一种，是做得极其复杂，以至于缺陷都理解的不明显。qsort的发明者是这样说的。 🤗

理解，其基石是【外部关联性】，是把词再拆成词条的观察感。拥有千里眼的朋友啊，看见脚边的小石头了吗？那儿或许有你伟大发明的未来。

有些人，写惯了递归，却看不破自己的【千里眼】，有些人写【明白】了组合子，却看不清小石头里藏着真正非平凡的精髓。

如果【造过石头】的你没被自己骂死，那是有够可怜的。没有体验【设计者】的Grokking，只是在越来越小众的堆砌中内卷。

未来LLM为你匹配的，也是一群产品质量轻如A4纸的灵魂。

#math

我的元语言（ML）是【A人建模】的词条集合，而不是一条条的，会对自己的镜像发情的气球狗。自我论证地发热。ML，能够通过镜子测试，而"ML"，不能。尽管如此可惜，他们依旧有许多丑毛病。而且改不了地热爱assert

Type₀ : Type₁ : Type₂ … 谈到【证明正确性】，究竟何时才明白，《我的世界》的基石，是【无人特殊】的零成本的创造模式？

YAGNI, WYSIWYG, round-trip. It cound'nt be wrong — Mathematically certainty. 而代数自身，可能对。像化石那样的对。毕竟数学的世界没有【像】，它分不清是哪种对。

Checkmate.

可能，不夸张的说，就连一只自带【鸡头稳定器】的小公鸡，都比傲慢的人更明白何谓typesafe。以及他们所谓的safe，有多么空虚 🎈 🎯

要声明A等同B，A得先像B。而符号不知道【像】有什么意义呢。

所以：化石里的人类社会，根据等价即等同，其数学本质，仍是人类社会。咱不谈这个——代数能给【个体级石化】亮红灯了，这是不是特别可信呢？这些只是比喻，但捕风的依旧是捕风。

扯淡。接口、内涵【显然】并不等价。试试用语音编辑一段以上复杂度的话——别背诵现成的文字。语音符号，是死的，精意，却叫人活。文字尚且应舍弃，何况代数的文字？

《石纪元》的千空之所以热爱科学，是因为他发现，

即使基本物理被打破、即使他和朋友全灭，也会有一位用鸟粪做复活液的小孩子，琢磨他的第二份“傻瓜专供”连线图，在他死后收拾不乖的大人制造的烂摊子。

Dr.Xeno 纠结于 Type₁ 的金字塔，而奥卡姆剃刀，只需要【基线接地】，除非你不在基线里 ——所以，你的研究，历史终结时到底在哪里？

千空被击中后，他科学的统治才刚刚开始。Dr. Xeno 被变成化石后，他的科学，就离开了这片土地，归还给它真正客观的主人——无。

如果你在乎【知识】，珍惜自己考来的“社会认同”，苦心孤诣只是自欺欺人。 编程者，就是键鼠之上的上帝，这个上帝把世界搞砸了。人们把软件当作供品，无人走进软件去旅游。

多数人为《软件幻灭》欢呼雀跃，就像死的是地主财阀，而急着把代码还给“上帝们”了。

我希望这只是转型的考验，而不是危机。

#math

罗素悖论, Godel的“图灵完全数”, N-S方程.. 什么时候，数学家才能停止对镜子里的因果链catch{}一堆未曾有过try{}的事情。 猴子捞月亮，一般是有限度的，猴子要睡觉，要整理学到的万物。

但证明证明的证明不会出错，就没完没了了。 所以他们请CS学生造一种验证助手，来确保【已知情况】穷举

但是LLM比他们更擅长完成Goal，they真正的没完没了。而且更不知道【已知的未知】，数学家好歹是人

如果未来的【验证】不是用符号奠基完成的，或不包含【等式】，他们大概更无法接受这件事情吧——有vs无，本就是人脑的幻觉。区间和1~5分表现更优。数学家在十进制上工作，并且比起罗马数字时快不少，这就够了。 数学定律没有《三体》里那么神奇，1+1=0？哈利波特的咒语更加直接。

猴子永远捞不到镜花水月。数学家对这种“失眠”的现代解决方案，就是雇佣CS学生造证明助手（Proof Assistant, 如Lean, Coq）。

这是一种“有节制的疯狂”。退一步，然后，LLM来了。它不是记账员，它是《四色定理》这一赌场的BOSS。

评测星标，他们会说edge case无关于完成度；评测证明的必要性，他们会说库函数多的是；评测替代性，“代数”毛遂自荐额外加上。总是有理由，来掩藏复杂性。当你没有与软件【感同身受】时，你才会证明它不会出错。

你为何不证明数学，或是自己，不会出错？ 循环引用是无效的。pi,tau,十六进制BBP是不同的事情。等价，就是等同吗？ 比起不能解答的问题，我更害怕不能消灭的答案。

数学在尝试【把十亿狗窝伪装成十亿细胞】时，同样非常有效。A得先像B，但十亿=十亿，一步等同。

它是懂因果的。但从未【感同身受】。不——它不在乎代码是怎么写出来的，好像它没掌握能【优化写法】的信息。狗窝，照样有被验证的价值，而且结果，print出的报告，【等同】。它就像NixOS这种更TOML的Lua，为了全兼容与导出DConf隔离出了一个GH都叫苦不迭的【新世界】，对问题骨架并不【感同身受】。

如果让它来算调休，它会得出比今天还差的结果。数学和“数学”，有阶的差距。数学既未曾发明365天，也无法给拾穗的人破解安息日。所以，总是要证明。

证明是作为一种排异反应，而不是【创造模式】。

数学什么时候可怜到需要当盖章员这种《Bullshit Job》来维持体面了。 如果欧拉和高斯知道后生都是一群飞舞大概会气活吧，庞加莱猜想和四元数，缘于物理学和计算机。 这是分流了呢，还是数学真的抓不到天才。或是没有知识共享的土壤呢？

数学界自求多福吧，反正我不会让代码世界的【地核】变成垃圾山的底气。

#math 整理一下这条消息附近的…… 吐槽

比起某些代数信徒口中【会下金蛋的鸡】以及所谓的宇宙真理、天才和巅峰，我更信任手头就有的F=ma和【鸡头稳定器】。 它们不需要文字游戏，也无法被离散证明，而且能当“云台”用。

如果你够“博学”，那散养白羽鸡 🐥 晃来晃去的头脑就是一道理性狂热者的滑铁卢。 除非学院派不吃炸鸡。

这不是比喻，真的有一道【先鸡后蛋】的逻辑题，我的答案是，你管它先后？ 一起吃了。没有未来，何来智慧。

你可以相信计算机、化学，甚至是创作区，因为差1真的会炸、会crash、会被差评，宇宙和现实签发的信任证书，而数学和理论物理，鬼知道他们在说什么。

🙉 真理没有【被人理解】以外的超然价值。他们不会觉得科普才是欠技术债务的蠢蛋吧。

有3个主要槽点

HoTT（自我论证地发热的气球狗）绝不是 1+1==2 assert 真/假划分、循环不变式那样 “简陋” 的理解，但也做不到SMT“面向区间编程”那样开箱即用的指出 off-by-one.

它不是 f(x) 搭配 p(x,f(x))==true，是“等价”的不同“路径”。至于【意图对齐问题】，没有绝对无错的做法，暂时不考虑。

这些“顶尖人才”迷恋的东西，是返回值 vs 忽略forif后另一种【值】的触类旁通的构造，包了一层数学的皮

1. C-H公理的核心是【拆解出结构】，而非结构等价。提问不要先入为主。理解的质量，决定证明的可信度。是【同构】所用的心智模型，不是【数独得解】本身。

2. 证明是作为一种排异反应，而不是【创造模式】（的无限缩短排错回路）。数学在尝试【把十亿狗窝伪装成十亿细胞】时，就不再是数学。不能以“证明是LLM”为理由随地大小变。 不要只管今天。

3. 接口、内涵【显然】并不等价。【鸡头稳定器】就是一道理性狂热者的滑铁卢，而语音和文本【在编写时显然不等同】、罗马数字和十进制显然不等同，更是巨大的讽刺。transport hell 在这里是暗渡陈仓，axiom set 的对齐再准确，也是自我催眠。

DT是一种高级的、缺乏对地心引力的敬畏的数独游戏。把它看不见的成本定义为不存在，但“可靠性”的功劳，却揽在它头上。 这样在在火车上采访买票的事，正常人干不出来。

所以，我不是像王垠那样，揪着【意图不可判定】的稻草人不放，也不是吹嘘【e2e模型碾压符号表/3D渲染】，而是在权衡中，选择Kay的“活代码”优于DT的“活化石”。

一个“石化”的工具，无法成为软件工程对抗“石化”命运的可靠哨兵。 比起不能解答的问题，我更害怕不能消灭的答案。

😁 当你没有与软件【感同身受】时，你才会证明它不会出错。证明是作为一种排异反应，而不是软件交付的承诺。

一旦不默认死验证的选择是合理的（像 $UST 崩盘那样合理?），DT也无法承担【经济上的解】这一重任。

🍺 在数学中你不理解事情，只是习惯它们。从真正的“冯诺慢”计算机到今天的概率模型，人们都在以非直觉的方式创作软件，并且以难为荣誉。 这就像一位可怜的房奴，在吹嘘其债务占到每月购买力的80%，而因此他很值得托付一样

房奴从没有【理解】过，真正值得托付的是人和领域关于事物的方言（居住环境与周边），而非【事物的真理】（房价或地标）本身。所以他才是没有【维修权】的房奴啊。

对于任何一个对【复杂系统】有常识的生命体而言，多一千债务都比少一千收入要恐怖；但“房奴”却总害怕债务证明不了自己收入更高，所以他们长期处于认知债的仓鼠轮中，直到GPT6让人“震惊跌坐”。

能花钱买罪受的知识人不多见（LLM不会这么干，烧脑之余总会留点“闲钱”）。 大家一定要珍惜这群赛博宠物啊！

没有什么群英荟萃，仅仅是数学生的萝卜开会。 这样的事情，不配为 #PLT 的“未来”

【元编程】是教你如何压缩债务，以及享受创作之树的丰富本身，而【PLT】往往是告诉你“哪家的订阅制更前沿”，“自动扣款和以小搏大的技巧”。

编译器早就不是裸 x86->gcc+ldso 那个时代的纯粹动机了，它从思维的自行车变成了应用思维本身。但“压缩债务”的部分，仍然更加重要，并且不止于文本和结构接口上。 人的收入总是有限的。宽恕的多，就得到的多。 不要跟数学学，那个领域几百年了，还在拜鬼。

——
对于任何一个对【复杂系统】有常识的生命体而言，多一千债务都比少一千收入要恐怖。缺乏elegance（触类旁通性）的数学，就是智商的债务。

做研究，做学问，不是探索如何花光新钱并把债务重组为债务（借新还旧），而是还下游一个清朗的直觉。 Let it crash. 让知识点去死，天塌不下来。

删光【21世纪的罗马数字】，从我做起

#school

数学是唯一一个不 deprecate 的学科。 F=ma 这么优雅的理解都可以被物理社会降级为【限日常使用】，而lambda也不会被CS社会独一崇拜（闭包是穷人的对象），所以Math的弊病不在于有鬼，而是【拜鬼】

另一个弊病是空有elegance而无外壳（比喻、可视化、应用……），最初为研究乘法次数的几何，而开辟的《群论》就是受害者。许多人成天说数学启发这个那个，果真如此还要人说啊？ 正是因为它们的教育不依赖数学，才能苟下来干活，就成了这种情况

btw. 有人认为数学（如几何拓扑xyzt）是宇宙级的知识，所以只有先驱者是极好的。但在化学（现代医药）、计算机领域（C-H程序即证明公理、栏目答和图灵纸带的等同、量子密码、湿件..），甚至是物理（费曼、霍金..）我们都不会认为有很大代沟，

所以这个【拜鬼】不能说是批评，倒是极为写实的【学科比较学】。

写码的，承认这几天啥都没干，扔掉，这是反人性的。 而把事情给初中生解释清楚， 意味着你好像没上过大学。

如果把拉马努金这类天才论调忘掉，也有人会补充DNN就是数学的功劳；但事实上，最数学的HMM和符号微分死的很屈辱。如果加减乘除(FMA)算作是数学，那数学就无敌了。

当然，游戏里的数学是很成功的（四元数/SDF/3DGS）， 但是要不要为了最后一道高数大题开网戒所呢？

结构化NLP和基础DSP的CV，更是被“猴子行为的采样”爆杀，说是很屈辱并不过分，水平可以类比到数位板->sd prompt时代的【降维打击】了。。 逻辑学、语法公式，分不太清。怎么不是数学的“模式识别之魂”呢？

CS+Math，一个正在走入千万家(Desmos,Scratch,MC脚本,控屏智能体..) 的前沿领域，和一个夕阳领域放一起乱炖，这不能说明代数可以指导代码，反而是代码对含糊其辞、缺乏趣味性的死数学太仁爱了，充分展现扶贫时的容错率。感动。

#math

认为数学必须负责【某种断言/保证】而不可废止数学方法（如牛顿0o不分和xyz欧拉角）， 其实是不理解数学

数学真是因为品味差，而变成那个样子的(Dead Fish)

也有三成是因为不真正乐意接纳新工具（就像如果天文学排斥望远镜、工程师排斥对数尺）

从Godel用【代码注入攻击】废掉KFC，哦不，ZFC集合轮的硬编码if..error之后，精神上是“发现而非发明”的数学就已经死了

……后来也没有缓过来，所以我们看到物理学的角度、速度、复数向量，化学配平，甚至有理数三角学，都是它们自己的一套，没有 import* from Math 。

数学形式化，可以说是人类失败最早的【自监督学习】尝试


当然，把代数几何等等视作 left_pad 那样的生态疾病，也是没必要的，总之直到N-S被GPT6搞定之前它都是这个熊样

那么《数学证明》作为支柱业务，到底是否，需要【不可废止性】呢？

纯数学（一般所指数学），本身在广度上就偏窄，那深度是否就该突破基岩呢？

我也不清楚连续性和深度，有什么必然关系。但数学好像当且仅当在 it breaks 时 append-only 的改认知（牛顿流数的废止、罗素悖论之后的Set{}、​连续统假设..）， 在“命名权经济学”上，ZFC大概也无法扭转【前人的成果】，否则【驱块链】就把他拉黑忘掉了

但是化学和编程都无所谓，说到底元素周期表、汇编指令集、forif这些编程范式的列表，似乎不被认为是一种【成果】而更像协议，唯独数学离不开成果。这大概就是数学学生的悲剧。

像计算机领域，qsort的作者还发明了Hoare逻辑，unix C是二人合著（之后又有Go），gcc是GNU之父发起的，他们都不需要在乎【个人成果】，成果本身就是饭票和养老金

因为都是活成果，而数学，是死成果。给植物人续命，当然是很累的。

那么，“因为解决的太干净而挨饿” 的数学人是【神圣】的吗？ 我说句实话，“图片仅供参考”。 P=NP或N-S是否完备，工程上就没有这个提法。 【有可能】拿到几个byte？什么加密算法？多少bit的魔数？社工/木马是否能接触过去？ 这比P/NP更关键。

从来没有人认为， $USDT 的收款地址是稀有的。而数学的【命题空间】就是如此。哪怕是哥猜，也更接近奥赛，而不是【请苏炳天给我的特斯拉当引擎】，它只是人类的上限。

所以，数学不重要吗？或者数学界选错了吗？

其实这是把升学/考证的淘汰率问题，和作为爱好的数学混为一谈了。 虽然绝大部分情况下，近代数学研究没有可落地的帮助，但参考 code.golf 和国际象棋，人类所能做到的事是很多的。有时候只是规则需要改变，而初心并没有移动。

数学之所以违背常识，根源是因为它的价值衡量。

“物理极限上，太阳爆炸前不可解” 在数学上标记为可能解。

✍️ 一个解的真伪，不仅取决于它是否“正确”，更取决于它在【榜】上的位置。 经济的基础是 paid=min(price, amount)，你就是那个min()算子

这是一个性价比的非此即彼，但数学不认这个帐，除非你的数学连连续统（火柴划条线可存储宇宙）都不支持。 有限vs无限、连续vs离散才是界别（火柴“不存储自身”即为可判定）

虽然我不认为这些区分有意义。

这么一比喻，就会觉得实数很奇怪，但它确实是一个集合论问题的。数学区分的是语法（多项式时间、自指、奇偶模..） 不是语义

“面包+猫=永动机” 在物理是梗，在数学，偶尔是真理（然后被友军锤爆）。可是，整体大于部分之和

工程数学化，就经常用语法（面包猫）反过来制约语义（Fma力学），用数学去套宇宙和社会。结果当然是完蛋。意识本就是大脑里很省的进程，而大脑本就很小。

🌖一般说的，数学独有的elegance，特指泛化能力。牛顿、苹果、月亮的那种诺特解释力。 而不是“解释和建模”的，甚至于抽象出不存在事物的算力。

这个在国外语境是数学常识，至于高数？一个公私钥对challenge生成器不需要懂elegance，只要随机私钥地址的【熵池】（150分）够大，押题不中

如果你不理解《三体》里人为何是低熵体，想想正常人刷高数时痛苦的表情

以上文字中所用的比喻，本身就是对elegance和诺特定理很好的示范。