#vibe #statement

一般我们认为Agents来做是最不可能【做不出来】的。这取决于你对完成的定义。

手搓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的事情

架构债务不会因为你 “擅长用无头模式操作3D像素图+录成脚本” 就消失，这种高度耦合的角色扮演终会付出代价

看上去，你能像堆前端UIUX那样随便就【叠加】出一个比 Terasology 和 Veloren 成熟的MC，实际上如果HITL没有把握，vLLM自己调试也有上限（偏科的那种上限）。 前端其实是高度样板化的体系，比如有后退栈和nav, fetch.json forif, Signal 这些常识，但这是“喂大象的领域”，“不喂大象的领域” 多更多。

🥱 codebase就是错的，数据流是糊的。你不能在垃圾堆里找到客户不想扔的东西

过时的 HTML 代码片段与历史遗物
原文：https://vale.rocks/posts/html-relics
阅读时间：9 分钟
分数：224

智能体使用测试与验证技术的效果究竟如何？
原文：https://danluu.com/agentic-testing/
阅读时间：22 分钟
分数：174

#math #news

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

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

Astra 证明了N-S流体模拟不完备， 即便在最优的初始盆子内也会卡住（所以后续需要分子级的粒度了，这此彻底断绝了人类白嫖自然流体的念想）

正好是《千禧年七大难题》之一，但OpenAI无意领奖。 七大还包括P=NP这样无意义的问题 （锁没坏 == 我能破解出密码？SAT 可以优化到光速吗？ uv pip: 喵喵喵）， 但之前AI形式化的费马定理（比如高次数能否用二维面积随便拆-3D旋转是否只是仨面各转），七大里写不下

#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去贴金

消耗：智能体在启动后约88小时（9月5日）得出了最终解，随后由 GPT-6 Astra 耗时17小时完成了 Lean 形式化与验证。整个项目期间，智能体共发送490万条消息并消耗约3000亿输

数学奖金——不够烧Token #post

关于纳维-斯托克斯千禧年大奖难题
原文：https://openai.com/index/navier-stokes-solution/
阅读时间：4 分钟
分数：1109 🔥🔥🔥

#post #science «谈人的智慧 — CS / Math / Kill Math»

没错（最近越来越喜欢写小作文了，怪癖呢）

元编程教给我们的是—— repr() 相等，并非value等同。

智能只是表现，但是背后的历史、【存在】的环境，它们的用处，完全不一样。

问计算机会不会思考（而得出这种成绩），就像问潜水艇能否【游泳】一样笨呢。

譬如整个Parquet，都建立在[{x:1}]和 {x:[1]} 性能不同的基础上。它们完全是 “图灵等效” 的，一堆抽象、刷屏的print((x,y))和直观、PPT的图表是等效的——因为没听到音乐的人，会觉得跳舞的圈子疯了。 （各种高性能计算/图形库同理）

性能是一个客观考量，但推广到宇宙的真理上，难道一群猴子就敲不出眼下的你包含的所有分子吗？（庞加莱回归, Bogo sort）

🐒 甚至，只要你是超高校运气，不做Bogo排序才是Bozo！空不是无，它包含了一切可能性，包含那个愚蠢的 “有志(verify) 者事竟成”，这个验证函数正是佛教的【苦】。 你相信LLM【吃苦】吗？

他们在数十亿年的故事中，只是【学习】了很短的一段，却被认为那是一切。就像连地面-地心这段窄路，都未走到10%的科学界，大胆论证宇宙的终极，仿佛【人的身份】从未被赐福，这实在可惜。

为什么json(repr)不能直接拿来当对象(value)用？ 其实，它可以。

但是不在它该在的地方，所以【无值】。比如App每次打开，都和打包时一样去算？那截图录屏加任务就够了。 repr被怎样使用，就会有怎样的值：Token的响应是，评论版数据是，杂乱的dump也是。

人们喜欢的并非json的形式，而是Token里的内容

人的智慧也是这样。用智慧去支持聪明，则有学问。

认同、负责、共识，也包括我需要的【人机接口】学问，这些是无法替换的原子 ——代码本来可以生成，但【读代码】和用顺手、自主的方法改它却不一样

🏁 甚至理性都应该证伪自己的价值。 足够聪明的人，能够意识到自己只是模式识别，是某种非常有广度和层次的N-gram，那么，他们就不会相信【绝对理性】，因为历史终结时，生而为人的理性就像对着老虎吹体能，不是最好的。

🐺 奥林匹克从来不是让老弱被尾随的狼叼走的【强大节日】，而是Aesthetics和文化。 人们不会因为壮士打不赢大象甚至汽车就讨厌这种精神。如果人变得体格非人没有极限，反而是猎奇的。 如果极限不是【10根手指】的秒数，它反而会少很多内涵。

既然如此，为什么急着评判个人的智力？ 

龙卷风吹过垃圾场，落下的沙砾却组成了F22猛禽，这本就值得保护。 鸟儿不种不收，天尚且养着它们。

🤔 说句实话——现代前端云原生的选择让我非常失望。像Signal这样依赖庞大（自带看图/定时器/各种picker）的App可以用独立容器，怎么随便一个打开频率1周没两次的工具，都这样敏捷开发了

浏览器确实没法“安全”的执行shell或按键精灵功能，但和Electron等效的方法，可能只是 POST /?sh=bash -d 'ur cmd' 那样包一层而已。对70%的低频应用，这样独立服务是足够的，甚至可以免安装像curl|bash那样运行

为随便一个插件/UserScript体量的App打包，实在有些太奢侈了。你通过剪贴板来处理文件读写的问题，反而比下载安装容易不少

ps. 作者的keycraft，做成 FSAA+PWA 单网页会更好，既然是两种rc格式的编辑器
electron 只支持单平台么…… 唉
当然， tmux 需要exec权限 https://github.com/laixintao/keycraft/blob/main/desktop/import.cjs#L66

可是生成一个脚本去source然后监听单文件也没问题…… 好吧，看起来我的技术栈已经和mainstream差太多了

只是很失望Linux上不能用H5原生，UNIX哲学终究是失效了。

#js 拜托AI给了我一个授权1次的版本
https://codepen.io/duangsuz/full/EaWyjxz

自己托管就能在线访问本地命令，开发机就行，等同于 curl|bash

CORS: null 表示将网页作为本地App鉴权，有安全问题
CORS: * 有安全问题。
Access-Control-Allow-Private-Network + origin + hash 可以

AI的意思是从命令行打开 .htm#token 也行，而且和Jupyter一样安全，给CLI送个WebUI （虽然原理上安全度没差..）
chrome --app=http://127.0.0.1:3999#token=XYZ 这个比PWA穿透力好

如何制作一台打印机
原文：https://nishantjosh.dev/blogs/how-to-build-a-fking-printer/
阅读时间：3 分钟
分数：418 🔥