手搓MC，如果是rand出一张扁地图就叫体素“游戏”-而不是“3D看图王”，那Hedgewars用的算法也差不多了。AI可以直接把人家3k行版本简化一下，甚至免费clone

vLLM恰恰是在算法上硬堆图层(1.6MB ts..)能堆好的。但会不会影响加功能呢？多一分代码，就积重难返一点，最后已经离刚开始的【落空的设想】很远了，优化和操作还是很垃圾。

我见过PWA级的工作写出“未来上GTK/WinUI3”的路线图的，也见过 manaflow-ai/cmux 多标签带通知终端写出 BrowserDesignModeController ，真的是匪夷所思的能用

说句实在话：写 CSS/JS SFC，和用DBeaver刷Excel的数据流难度，是一样高，但是游戏尽管有小脑加成（本该像动捕那样免手K），却因为类型繁多暂时没有JS世界那么简单如SQL的事情

浏览器内核、编译器、VibeOS、MC游戏、数学证明通通沦陷

你甚至不愿意叫我一声教父——Claude5/GPT6 CLIs 😄

#cs P=NP 验证vs找到？你没区分是什么领域的问题。 NP和N-S是同病相怜——如果宇宙真的像数学那样简单，可以被无限的抽象掉，我们就拿到权柄了？还是要工程。那个常数项和侧信道，比NPC有趣的多，它知道密码或根本需求。

你怎么知道图灵机是最好的模型。Lambda和纸带循环是一回事，但GPGPU和关系逻辑式不是，另一些特殊且足够通用的下层（同态加密等）也不是。 我能在只看过 Python PEG 的情况下写出torch并白嫖算力吗？ 模型等效，就能把CPU算法给GPU化？

等价只保证存在一个正确的翻译，不保证存在快的翻译。 可是现实世界里，快和安全是决定code是否存在的因素——就像零食涨的比套餐贵，你还会买零食？？ 你不能用P=NP跳过地心引力，重虚拟总是输给必要虚拟。

N-S Lean找到反例比跳帧解出来省力，但这不能让流体模拟更有价值（它里面能塞计算机/就像Godel数），只是让这些人清醒一些算力不可跳过

🤨 乱敲键盘≠语音≠打字≠写作。 等价—并非等同，你每天都在证明。

或许这才是理论：图灵机连图形API都没有。而API，足以决定性能的瓶颈，就像已经造成伤害的async红蓝函数和funarg问题。 性能和兼容性，决定你的翻译是否有意义，图灵机，活在一个没有眼睛的国家里，暗示自己有宇宙真理。

但是让我清醒不需要数学证明——我知道GPU算法被拍扁、拓扑排序到CPU，SHM被套壳socket时的鼠标手感，也知道零食涨的比套餐贵，没人会买零食。 我证明了生物都要氧气（->纸带和=>状态号词典两个箭头），然后把破伤风菌开除出领域？不能这样。

所谓计算理论，不能用P=NP跳过地心引力。P=Harry Porter 吗？或许魔法不存在？ 或许，【问题领域】不能被降维成一行行的GOTO流。

复杂度不能研究给定问题的计算代价。它没有【接地】，对数据流无知，更不知道替代品可以有多廉价。 Don't fall in love with ur model，图灵机像bash的${}替换集一样简单，但别忘了，玩具只是玩具，没有锚定牢不可破的东西。

🐮 比如你数 "000" 里有几个零是否能比O(N)更省的例子，这也是《算法》里一切优化的根基，充分说明了数据流和 round-trip 比所谓的可计算性和“多项式”更值得思考。比起数值，你问的为什么不是【真值】—— 剪掉算了，别问了。best code is NO CODE.

你不可以用语音输入的GOTO，跳过打字的“性能瓶颈”。这是魔法墨水的、一目十行的问题，不是【输入问题】。就像P2P不是下载问题，是文件分享。编程语法不是PEG问题，是创造力问题。

图灵机，只知道下载，不知道它就是那 “比套餐还贵的零食”——正如Feynman所说，不创造，不真懂。

理论需要知行如一。 工程化常被评判 ——你在敲的门，里面有人。

呵呵，里面有人吗？如果有 round-trip 作为值这回事，async和uring不会割裂成这个样子，Signal也不会只是taskmgr上挂的atexit脚本，fmap不会只用于冻结的世界——它们都可以React。理论家都喜欢吹牛逼，但是什么问题都不能解决，他们没种把下游的工作自己完成，也没种让简明的事物变简明。

首次提出并非发明（让问题回归本来的简明才是），而且他也不是首次。1997的那篇 Signal.fmap？ Tcl的 var trace 在1988就有了，无论PF还是Tcl都没有被记住。 infer之后要么你批PF是小松鼠或摘了记不住果子，要么你批FP是盐碱地供不了大佛，要么你承认FP没有Clojure之类的群说的那么有货。

我说的 round-trip 是一种【在屏幕外编程】的flow层级的理念，是治未病，不是庸俗的 loads(dumps(str))。Bellard比GHC更理论，ff和lavfi清晰的模型不需要用“模式匹配”或纯函数的tag去贴金