#bilibili b23.tv/BV1HbZGYREmb
新单词： tragedy 悲剧🙉 💯

不负责任的家长，拿做题家童年挖矿的“比特毙” #school

🤔 #school 了解我的订户可能知道，我对🀄的预制+烂尾教育颇有微词

而我并不是以胜利者的姿态来批判高考，乃至现在的内卷的， 这和一些博士公知不同。


但那不等于我仇视本科生、研究生、博士生， 会说出上大学没用的这种「反向鄙视链」的话，或是「月薪3k还没我交的税多」这种 户晨风 言论

我的教育程度不高，但却是有教养的。生而平凡，来不及学没意思的知识。

无论是正向反向的鄙视，那都是对社会成员的恶意。 会在乎别人怎么看？是对技术力的不尊重， 造物先造人。

每个人都是具体的，如果用title来做技术，是很不负责任， 也有悖于Web开放多元的精神。

你会什么？ 就应该展示出来，部署执行，而不需要「机构」替你发证书，告诉你什么是对，这才是人类脑容量的进化。

IT 往往不会把用户送进医院，也没有城管和土地税，不知道学软件的为何那么克制？可以创造的有很多。

b23.tv/BV1n9E9zDEPK

btw. ㊗️ 高考志愿得报的大佬，祝找到喜欢的、假期多的工作。
社会上不存在「满分💯」，也没有一个judge你的题库，而是，所有人用钞票来投票。 塞翁失马焉知非福，谁又能说坎坷之路机遇更小？

不过说实话，过好自己的日子，技多不压身最重要。🫡
要去魅，没必要宗教化一些学阀或指标，就算，师生都有诚意，代沟也是难评的。

就算有认知，没有市场照样自挂东南枝，这一点资本也不比你们强。 PUA 菜鸟的话听听就好，认真你就输了。。

#tool #school https://www.myphysics-lab.com/physics_classic/

看看这位老师！ 什么叫做AI生产力啊 👍

义务教育 的很多科学/数学观都过时了 📕 #school

- 科学哲学：可证伪性本身不可证伪，被贝叶斯主义（经济学/权重）替代
- 自然哲学：《进化论》不是一条从低级到高级的“单行道”（不可撤回的进步），而“单基因决定论”（以卷舌头为例）在同卵双胞胎中是证伪的。不要相信自然界会替人“从低级做到高级”。
- 数学哲学：整体总是大于部分的求和(Σ or∫)，逻辑学也是不完备（不全解）的，波普尔科学和物理要的绝对存在，数学支撑不起，有限在阶级上买不起无限（超越数），也还原不了混沌系统（现实世界），只在宏观上“欺骗人脑”。

- 虚数： i=sqrt(-1) 是在混淆真相，(i i)=-1 和 eps^2=0 都知道结构比结果更准确。尤其是在根号-1这个逆运算，缺乏意义的情况下强调结果。
- 角度系统：cos sin acos atan tanh 双曲正切…… tau认为2pi是错的，《有理三角学》甚至不再把三角形当基本元素，而是方和圆（空间与时间路径）的比例，因为波是物理学和虚数旋量负责的部分。

还有四五个像冥王星是行星那样过时的观念

宏观物理：物质只有三种状态（固态、液态、气态）只是大体上，等离子气体、超流体（反重力液氦、表面张力）比较常见。

微观物理：原子是一个微缩的太阳系（玻尔模型/epicycles椭圆曲线模型）？其实它是种概率（高斯分布）模拟
化学附议：共价键、离子键，也不是原子间固定分享或夺取电子，一切都是基于电负性差异的连续光谱，没有“钢琴键”，配平也不完美！

天文物理：引力不是一种物体间相互拉扯的“力”（牛顿引力），是空间的性质（方根），就像惯性（时间）不是力

几何原本：平行线永远不会相交，三角形（最小封闭图形）的内角和永远是180度，这些仅仅是欧式空间里正确（ML不使用xy或xyz空间，而是随便嵌套空间来扭曲一条线，线性代数），笛卡尔和复平面都是甜甜圈状的空间观

广相只是有效场论，真理是不存在的，除非相信未知（贝叶斯和香农熵）。
因为空间的惯性是超越时间的，而时间是hash，没法像广相那样GOTO。

科学界只是给了一个不能证伪的广相留了点脸面，实际上《瑞莫》(A Rickle in Time)直接在四维生物那集踹了Einstein，并且解释了他为什么迷信于搞乱时空。 🤯🤣

爱因斯坦还是很有趣的，只是不要迷信科学。你不需要知道Phi和绝对值（量子物理）就能知道牛顿物理的sqrt不可还原，时间箭头没那么容易反掉，
除非F=ma里的a是振铃效应，或者m一会正一会负，但那对根号都是一样正的。

你能看到很多能量公式（二次型）存在二进制浮点数的(1/2)，但m=2m绝对消不掉它，不像tau=2pi。

Verlet的形式才是可逆的，Fma并不足够可逆，不像草包族科学说的那样。

你并不浅薄，只是迷信了数学。数学说的无穷精度是无理的，而来源是物理的向量值（比如length函数）

数学和几何并不create无理数，所以它们不understand自然算出的无理数为什么有物理意义。实际上有很多种计算方法，比如牛顿的那种tau就比简单奇数和+-8来的有意义。牛顿早就知道时间不可逆的，他用的积分不是【实数无限可分】的微分。

也就是说，在基本粒子的微观世界里，时间“顺流而下”和“逆流而上”，物理规律是不一样的。杨振宁验证过，前沿物理太过迷信数学科学了

猫会叫，所以猫箱里的问题也问题没意义。猫是生命 🤪

很遗憾为了代码质量和用户体验调参，包括整理这几条demo代码质量，6个小时没了…… 💦

人的一天有几个六个小时呢？像我这样的【效率】，大概早就淘汰了吧。可惜可惜。 #school
https://duangsuse.github.io/NebulaRemix/c_glass.htm

#post #school 💭
我相信天赋优先。

“你是承认自己这辈子在这条【正路】上彻底没戏了”

这才是外人的“控制错觉”吧？

“有了标志，就有了高低贵贱，就有了不平等。只有大家都一样平庸，才是真正的和谐。”

> 因为你烤面包好吃，她飞得快，你们不一样，这就是不平等。所以你们都别吃点心了了！大家一起去挑水吧~

全能主义者总是害怕别人。但他们和理想的别人差的不是30米，而是50度。

0分到60分的距离，比80分到100分的距离慢三倍

他们眼里的解决办法，简单粗暴可评分：“人脑潜力无限，只要我更勤奋1点、更坚持1次、熬更多的1夜、加更多1岗班，我就达到甚至【超过】这30米！”

但是那个和我们差了50度的“天才”，他没有目标和评分。对于费曼和OOP的发明者而言，单是一个视角就值 80 IQ，而C++远不及Python成功。

无数人生的实验已经证明过了，毒鸡汤不是光明。【视角】是无法从苦行里打卡购买的。

无穷大个30m也凑不出1桌的 50°，而这并不是阶级问题，是经济分配。

可爱标志从没有什么高低贵贱，分贵贱的是人心。

#school

😅 杠精模式：

“汇编是计科的王后，ALU是计算机的王后。” ——矮斯

“数学，如果正确地看就拥有真理，但【正确的看】不太可能” ——罗锅素

“我們的教育沒有問題，只是问题学生疑似有点多。” ——波尔布特·丘成桐

“积累在于天才，勤奋在于聪明。” ——大资本家哗罗庚

思辨的赏析：

高斯的本意是【快速的/简化这一类计算的能力】，比如FFT和CNN算法，是数学的皇后，不是说九九乘法表和加法直觉是数学或科学的顶尖。罗马数字可不是数学

【数学工具】往往缺乏适应性，需要非常非常多的工程技巧来挽尊，以至于最后数学系出路渺茫（需要自我圣化来补偿咯）。 举三个例子 (1) wav音波连调个变声器，硬阈值的DSP都做不了，得上特征工程甚至是概率模型，这些并不属于数学。 (2) 高斯消元升格成SVD也比不过DNN的简单乘加 (3) 马可夫链HMM只剩输入法上能用了，代数但缺乏普适性

有问题的总是【物】，而【人】是没问题的。人是万物灵长，任何事物总是有问题的，取决于有没有精力改变。学生长了张嘴，有体温，他们不是冷掉的课本。教育界不是AI模仿秀。

【聪明在于勤奋】恰恰是最蠢的，因为它混淆了因和果。一个赛道上有天资的人会勤奋，而勤奋不是因为他聪明，恰恰是因为他“笨”到只做自己擅长的事。因为有正反馈，所以聪明。倒果为因，惑乱人心。

#post #life #ai锐评 https://chat.librechat.ai/share/2lI34gdgXmllNERfSfFAw

#school 曾经也想过，如果能在类似邮电或南大的 #PLT 或编译原理、操作系统相关进修，是否能创造的更好。

但现在认为，即便是科班又如何呢。还是只有MIT、BSD那样的学院派能干点活，然而，他们缺乏灵感。Vue是从室内设计，拉窗帘的人搞出来的，在此之前，PLT人做了什么？“更像A的B”？“IDE支持为零的语法糖”？

JQ的时代只有css的语法糖没有Tk.var那样古老的数据流，函数式又做了什么？IO Monad或Promise的异步-回调链表吗？

tokenizer 和 token eater(parse dfs) 的逻辑冗余怎么解决。 为什么，会者不难，然后就让复杂性继续干扰以后的人。

HiBLIP+TagENum 是我的视角，我让它打穿整个lifecycle，直通常量池和函数值热替换，再以逐函数逆波兰/单遍或重放实现AST (Tag:e×Eval:n×Num)，这是一个所见即所得的DOM选区式的算法，不产生不闭合的字面量，同名变量共享FnHo。然而，top 10%的parser连解析即高亮，和跳空格不干扰PEG描述都难以处理好。

(Hilight-included BigBrace & Literals Incremental Parsing)

空格注释与优先级不是罕见需求，各种工具，很丑。
如果你又问前沿怎么增量解析一个csv2tsv，他们大概会给出数百行丢了魂一般缺乏数据流的“实现”，实现和理论，理论和常识，永远做不到知行合一。

我那号称拥有千里眼的友人啊…… 连路边的小石头都看不见吗？ 龙书虎书？CSAPP？TaPL？ 你们在听浏览器和触摸屏（远远不止）的世界吗？

千里眼を持つという友よ足元の石も見えぬか？ 对因果链的理解，是像F12那样细致入微，又和 Bret Victor 的魔法墨水和 Rob Pike 的utf8一样完全的自由吗？像iq或Bellard那样可称为神吗？ 还是…… 一个更加耗时的str2str的C预处理器呢

所以说没劲透了啊，绝大部分【编程语言实现】
它们本来如 json.org 的树状图那样，加上编译时运行时的原型链KV、tuple、zip(list)处理……
像Lua那样用一个指令兼容if(and or)短路goto，而不是纯goto的巧思，像TDOP和Dijkstra版逆波兰算符重排序，像Py那样够用的import和pip格式，或QML那样的自洽即繁荣？都并不多见，但你很容易看到手写状态机和lex/yacc魔法那样能跑的脏代码。

范式革新？自举的兴趣？为了demo实现的语言特性？learn by example 的std API？C'mon，你都是供应链的真正上游了，好歹有DHH(ruby RoR)那样的“主厨严选”吧？ 或许像Svelte那样完全扔掉parse呢？

Less but Better vs More but Worse. 但也有的……

只是更像Py的Lua或更JS的Scala？killer feature 是某个IDE支持为零的“新”语法糖？只是为了支持你的母语的方言，去读写“堆外”API吗？为了性能和0依赖，PGO过吗？自己从0部署过吗？

为了证明你聪明到能把forif转为goto，把enum tuple查成offset，把call demangle成虚函数签名，甚至只是防注入的预处理字面str和“卫生宏”？这些PoW不需要新语言。stb和khash不会绑定某种DSL。

typer和变量树的Any/T/转换与infer提取/..或许是吧，但它们真不如json和grpc自知。 语言级实现的 cat|less 线程和缓冲分页yield、await？少数的少数。

为什么充满了刚从C-like照搬的塑料味，和让人害怕试错的Pure FP，那种冷冰冰的、不简洁的简短？

你知道“多态”和&引用的最好范例是 printf, file<<val 以及 Visitor<R> 的DSL吗？“序列化”就是关闭打开globals()[k].下的变量树，以及让post(),onmsg的往返深拷贝般一致？

在一个不能clone任何引用的编程语言里，值和引用实际上无法分别，无论T|None和freeze(ref)有多像它的区别。位宽=64被当作 value type 的本质，但【值】到底为何与引用有别？真正的value是 Box(0).toInt() 和 f(struct{r1,r2} inline_regs) 的内存管理特例吗？

是 deref operator=，就像王垠所说。可是不少教条主义者仍然认为，规范写了就是有。

如果你不实现printf，你如何分辨值和引用？ 如果你不为AST计算器做lib，你如何验证【自己的编程语言】有正确的多态实现？？ 哪怕是一个py,js,rb式的原型链链表就近？

哪怕是丑如Perl也有规范，AWK也有人用 C vibe 了一个实现。我今天用它们仅仅是因为logcat的Event没有强类型甚至无格式——没有常识，再多知识和限制也只是死肌肉。

哪怕不是基于LLVM,WASM或gccjit等轮子又怎么样呢？

Lisp的圆括号又如何呢？ HTML和JSON都是它的变体，GC的dfs剪枝让程序员终于能摆脱BASIC甚至C的无效视角，但是简洁的'()终究不如[]{}""的硬编码，连宏也比eval低效。

如果谈到JQ和后来者的割裂，Knockout.js甚至并不是先行者。 “Tcl脚本大战”时期的Tk和苹果NEXT早就有单个StrVar作为值的信号槽概念了。 KVO和trace命令只是缺少 innerHTML=arr.join() 这样的魔法来实现UI的forif reflow流控。

虽然RMS和Tcl作者有微宏内核之争般的论战，Tcl完全序列化支持(xpath,css)的启发性仍然被历史低估了。如果说JQ因为给css4js一个简写而成功，Tk框架仅仅是因为缺乏简写而失败。

这个世界就是这样不讲道理：心智模型的等效甚至超前，总是败给把+1语句变成+1参数的直观。 编译原理，从不重视这些东西，又或是太在乎，而变成黑魔法。

【能够支持RISC-V】【从零开始造个世界出来】，是啊，他们一定会说学院派的过度工程，是不可或缺的。好像像Homo OS/Cangjie这样的工具链必须有点【新实践】。可是如果只是和202x的常识对标？那就不算新语言，只是202x的JS世界加了一堆无法运行，也不能像F12那样热编辑的高亮词条而已。

所谓元编程，在别人那里大概就是这种东西吧。要么照猫画虎，要么旧瓶新酒，他们不知道OOP、GC和反射那样的语言特性，是怎么从0被发现的。

人们知道苹果，却不知道Kay，知道OOP和io_uring，却不明白Smalltalk和F12的消息共享与即时接管。 学院派？学院派正是对此最无知的一群人

@幻の上帝 是最接近工程的学院派之一。这些人的每篇博文都能战胜AI的专业词汇覆盖量，甚至还能写个游戏引擎玩玩，但这改变不了他们设计的语言还不如Vue的事实

反正框架也不能保证处处被使用，像苹果或NS那样，只要有钱的话，软件也会在垃圾堆里长出来。我最好不要说这些奇怪的话了。

不过说真的，我没见过哪个技术是无法用Etoys的比喻语言来“实现”的，所以不要认为工程上线就赢了，不要认为【融入】就赢了。BASIC很成功，但与Tcl相比也是垃圾。我仍会期待Telegram那样全栈高效，但更加通用的元编程技术。

> "If 10 years from now, when you are doing something quick and dirty, you suddenly visualize that I am looking over your shoulders and say to yourself 'Dijkstra would not have liked this', well, that would be enough immortality for me."

dnaugsuz, [9/5/26 12:01?PM]
一波人因为AI接管越来越多工作而emo了
一波人因为AI能“替他学习”而疯狂了

但其实没有变化，内行依然是内行

https://t.me/dsuse/22439

就比如，现在我也能写一些WebGL，但是我不会一直写

之前写了起码20个类似P5的demo，现在看来没有改变什么

实现一些玩具不会让你有归属感，也不会积累见识或提升灵感

但是认真这样做又没有动力，毕竟任何领域都是有些个人文件和收藏夹积累的，这些AI模板给不了，但念起来就像spell一样。《魔法禁书目录》属实超前了

你的见识是在那20个demo之前成立的，崇拜或Follow某些信源并不需要【实现】任何概念。这就是IT一词的本意

预制人终究是预制人，没有自我，只是一面镜子

所谓的Agent并不是“人造人”，不是白嫖熟练工的工资了，只是让智能能在codebase上刷测试而已。搞不明白在没有下层语境，一摸黑的情况下，如何真正【继续设计】。

这听起来就像【屏幕以内全自动翻译】，就对等于学会了外语的人，实际上，根本不一样。

只是不【写】只【套】的人体会不到自己不会，他们可能以为prompt的少，自己就能抄过来完成，但真打开WebUI就会感到迷茫，也没有【泛化能力】

#english #school 比较类似“难怪他们这样说你”的句子：

Nobody likes you. Everyone just 能忍tolerates you.

Go cry to your mom—oh wait, she 白养你了probably doesn't even love you.

中文攻击的靶心是"位置"（你在群体里算什么），英文攻击的靶心是"联结"（有没有人在意你）。 两边都会孤立人

"Can't you take a joke?"
"Who even are you?" "Why are you so 自作多情obsessed with me?"

"实锤了So the rumors ARE true."
"I was actually defending you earlier, but 真看清你了never mind."
😨

#school AI在数学领域的对齐失准，失准与否我不知道，也不敢说，啧啧

但是代数与正常人逻辑对齐失准，我知道的很清楚。

#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”

#school 如果不是数学没及格过（而且讨厌复杂的软件栈）

> 从小学折腾软硬件、中学 OI 省一、ICPC 银牌，到手搓五级流水双发射 Linux CPU、参与“一生一芯”、PLCT ，顶层梯队（Top 1% 以内）的纯粹 Hacker

这个剧本我也想演啊…… 不过，重新想想PLCT很重要吗？ 大概率也是实现而非设计。什么叫设计？ await和T?那种方法体系，从0，自己提出

可能是命中注定吧，我的入门是 Live Linux、bash纯文字游戏、dnSpy(AOP)和AIDE(交互式教程)，正好与我今天的流派心流一致

但现在我对AI的接纳度还挺好的。 我其实对【领域的小众性=价钱高】很怀疑——毕竟创作圈都是越大众越值钱，而我更像 CC Coder 一些（虽然没做过）

作者还没想清楚【对中间结果，不再需要发散地思考】会怎样，选择 live with it

但我自己的编程流派其实不影响这点，AI只会让我忍受的垃圾代码更少、能套的开源模板更多

而且如引文所述，“破案型解密者”vs“造物型创作者” 确实在自然语言层面上，编程范式都不同。如果你问AI会不会取代我，我是不操心的，因为我的日常就是灵感和 TODO stack 被挤爆，别人烧token我烧灵感也没问题

#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脚本,控屏智能体..) 的前沿领域，和一个夕阳领域放一起乱炖，这不能说明代数可以指导代码，反而是代码对含糊其辞、缺乏趣味性的死数学太仁爱了，充分展现扶贫时的容错率。感动。

🙉 我却是没有在【接受现实】，现实不是正在越发好起来吗？

#bilibili #school 作者连前端和GL/gamedev 都分不清，都能 “写出” 和碰运气抽出这样的东西。 oneshot和 #vibe 还是太权威了

评分不会因为使用某种语言、引擎、框架，或者代码量更多而额外加分。
🙉 👍

数学学科，不夸张、不装蒜的说，长期以来给外界的价值反馈，就是【天下苦数学久矣】。 数学，基本上是理科里KPI最拉，光环最假大空的

这门学科，长期以来在第一线，比如游戏和现实数据/工程领域的反馈，就是纠结太多，结论太碎片化，太球形鸡， 但是它无法被批评：每个细分领域自立山头写歪七扭八的希腊字，附庸风雅，靠【数学证明】给自身以自我繁殖的合法性，已经成了21世纪尚存的伪神之首。

一句话：牛顿是为了信神做物理，数学是为了造神做科普。

经济学可不讲解A和B之间的等式不等式，不讲道理。 只要max()性价比一截断，A和B就永远只有一个真理了。

我们几时说【四元数】没用？ 地球仪不该被中轴扎住，一句话就给到的intuition。SDF隐函数（热力图/高程图）也是同理。


问题不在数学【封装没封装】，那个问题复数vs向量的Gizmo变换矩阵（即二元数）也有说法， 是学科给出的回答："看不懂但能验证的证明也是证明。"

Gizmo每个用过Blender的人都懂，死锁每个玩地球仪和办公椅的人都明白，而数学，把其中的一部分拿来造私货顺带抢注，这个也数学那个也数学，数学同时吃两个。 一边独揽验证，一边抢注。现在IQ被真SOTA顶尖智慧给塌缩，自食其果。

"正确的插值"是什么意思？这是你定的，不是数学定的。SLERP 的规格是"沿 S³ 上的大圆、角速度恒定"。但这个规格不一定是你要的：Jonathan Blow 十几年前那篇 Understanding Slerp, Then Not Using It 讲的就是——归一化 lerp 走的是同一条弧，只是速度不均匀，而人眼在两帧之间根本看不出那点不均匀，所以省掉 acos 和 sin，用 nlerp。大量引擎确实这么干。这里"对"的裁判是你的产品，不是公式。

AI证明，只是把【传统数学】最后一块遮羞布（证明的神圣性）撤掉，而内部的死鱼，本来就是臭掉的。几百年前的事了

为什么要等到反馈落到自己身上，才知道疼呢？ 数学家引以为傲的【跳帧】【跳过算力】【跳过反馈】的能力，和【绝对理性】去哪了？


我，现在确实会为【选型出错】【浪费了精力和token】而懊恼，会为【oneshot从头再来结果反而更好】而寻找原因、去搜索更多平替，但那无关于我的创作和心血本身。 现在许多事的时间不够，也不足以体现内行的耐力与经验差距

但我也真切的体会到了费曼的【审美】： 昆虫有色觉吗？瓢虫看这朵花是什么样子？ SOTA 的 A\ 让 #PLT 的软件工艺更有趣味，也更有挑战，同时给了我们更多容错/慢慢做优化的空间

我失去的是一个个卡着我的编译器和眼花缭乱的IDE，得到的是 【Claude Code 里有嵌套之美吗】【AIGC主导项目的toolchain和中间IR为什么会长那样】【MC方块世界里的模块化和“代码复用”是什么样子】【节点图和函数体的图形隐喻与差异】

它们在我眼中，都是以前的知识，只是更有魅力。 这意味着我的能力在更好的【上游】上得到了应用，而不是在非常无聊的， override eval/Visitor/字典晚绑定，[[Str Any KV] List] 或 [Str [Any List] KV] 的未编号作用域查表上，为一堆 C-like 的庸俗【毕业设计】浪费时间

最新的 A\ 让知识更加性感了，在更多细节上存在了。 而不是剥夺了【细节的乐趣】

"整座城市只有你一个人能解"这个感觉在互联网普及那天就已经半死了——你解开时隔壁城市早有人解了。AI 只是把最后那层幻觉也撕掉。被撕掉幻觉当然疼，但疼的来源是幻觉破灭，不全是损失。

#statement

我们从strstr()这一学院派和工程派的【共识】出发，从KMP,trie,radix走到AC自动机算法

看起来，却只是很简单的【定格动画】，一组短视频。 实际上，这就是人类积累的许多经典知识之一。

Realworld. 一点也不夸张，确实是，十几年来就是教科书级的算法。 而且，是会【卡智商】的那种。

请比较它们的学习难度——你就知道，软件工业的革命尚未发生。 Claude 为什么让人震惊跌坐？

🥴 因为，人类从来在“自发降智”，用熬夜学习的勤奋——掩盖洞察力上的绝对懒惰。

市场上的难度标价：KMP 是"著名难点"，无数人卡在 next 数组；trie 又回到一分钟，因为【文件夹隐喻】人人自带；AC 被标为"提高组/进阶"，要先过 trie 和 KMP 两关再过一个 BFS 求 fail。

这一次，AC直接被标价成"前两关之和 + BFS"，cost(1+1)<2， 这就是编程中的【复用之美】。 OI编程——没有。 但屏幕之外也有代码复用。那不需要你【懂】代码。

代码输给了这层常识

AC 的 BFS 不是一个技术，是唯一可能的顺序。 GitHub都有的radix【省跳转】是学习链上最诚实的一站，也是暴露格式问题最打脸OIer的一站。 【21世纪的罗马数字们】从来就活的好好的，这就是学界的【品味问题】

Linux 的 radix_tree、路由表的 Patricia trie（1968，比 KMP 还早）、Go 的 httprouter、Redis 的 rax——它们活着不是因为渐近复杂度，是因为指针追一次就是一次 cache miss，一次 miss 等于几百条指令。radix 把一条链压成一个【点】

竞赛为什么是竞赛？数学为何被AI打败？ 这一次，都明白了。

学习成本由传输格式决定，而不是由【高三知识自身】决定。

教程们 ——丢的恰好是可迁移学习的那部分。人类从来就在“自发降智”。 人第一次看清——勤奋的学生里，有多大比例是在给坏格式打工，给【反叛的编译器】们当血奴！

#ai锐评 人类： 立场大于真理，门阀先于幸福 🙉 主动把科创的effort调低的生物，还没听说过。现在知道了