#statement #ce
GCC脆弱的像它logo上的蛋，LLVM就是《龙书》上的复杂性恶龙本身。

你以为【编译器大佬】很聪明，其实他们早就做了“背叛祖宗的决定”，后果是没人知道近100个Pass，你白嫖到了百分之几。 或许Linux/咕狗白嫖了很多，但60%是样板代码白给、瞎猫死耗子的 -O3 呢？

你可以写CSE,ADCE的图重构并期待它们在合适的 “z-index”，但别指望了。游戏界还知道AoS/SoA列存储呢，这优化可不是玄学

像那种位运算优化boy（拿一些众所周知、宏替换级的素材）当然是会被IR模式匹配吊打的，但是像这种APX指令集覆盖率，就不得不让写FPGA模拟器的大牛写千字文来抓虫了。

因为耗子（优化机会）实在太多，总能碰上一两只死的（c/cpp还债式优化点），让你觉得这只猫很厉害。但它的工具链是黑箱，你没法宏观的、轻松的完整利用几千位贡献者的经验和劳动。

作为对比 import astroid, ast 这个库使用【不严谨】的brains做分析，虽然也黑箱，但它至少有suite。

比起设计那么多无脑优化的投入，我会考虑设计API转译生态然后具体专案跑分，供应链高度自动优化。给语言引入的【条件式糖化】脱壳，是一个非策略的堆砌性工作，结果可能还不如不去重造GCC

一个gcc的黑箱，加上libc基本上也就剩免费API+免捆绑打包而已，其实给这些Kit做错的空间并不多。比如可复现构建/跨发行版bin，到现在也没啥人强调，那就是没做，理论上更正确（否则和全AIGC一样次次惊吓你）。

这方面 #Rust 也曾表达过MIR->IR的【技术债务】问题。C++的内存模型是mmap，几乎你能起名字的地方都有副作用，rs的干净到可以在内核堆跑，但还是要一样的链。

打个比方，写 for(i=0;i<len(a);i++) 你会考虑a莫名递减吗？90%的编译器真会考虑这个问题，但把1%的case换filter{}就够了，它TM的要改几千行。 &mut 防别名不止是为了函数式处理链零拷贝，所以基本上编译派极端维护这些烧脑的语法。

#bash 许多人滚挂/-Syu后打不开 都是拜毫无兼容的GLIBC_ver所赐

说编译器大佬【背叛编译器的初衷】，简直再准确不过了。 PL首先是人机接口，其次才是任务工具

godbolt.org 在可视化上很优秀且该死的通用，但它和@birdseye.eye有同样的问题，就是只能优化短的文件。 %timeit 也很像了。理解一个算法比实现它难很多，因为没法照抄。

#statement 【录屏文件夹】

翻译一下： 都这么爱往API加私货，思路乱的跟屎山和收费接口似的，那就不用了，看你还能把UIUX也写成破坏性面条是不。

敢往repo乱传不Pythonic的废物声明，敢欺负用户的“肉眼凡胎”吗？抽象没有意义，秒破。

请想象一下：如果所有端，真的和拖拽编辑器那样简单（虽然因响应式/UX/社区库而不现实）…… 那么API套再多设计模式和玄学堆砌，谁需要理技术债务呢？

现在虽然声明式设计不现实（有外形无精神），但包一层录几段脚本套个壳，还是做的到的，只是没有bash那么开箱即用。

这本质上就是把那个看似动态、不知所谓的Web/原生应用，强行“录制”成了一个个ABI稳定且不用查的【录屏文件夹】。 只是很少有人意识到AOP二开可以达到单独发布的质量（只有灰产），也自然不会做A11y和必要的反射框架。

他们宁可重造轮子，也不愿意在【我按快捷键/加两块WebUI iframe能做到】的基础上【继续设计】，因为编程世界的目标，从一开始就不真正是为了运行

为了智力上的挑战和满足感。为了部落归属感和职业身份。为了膜拜复杂性本身（作为一种权力）。为了工作职业和仪式感

所以微软这样的“罪恶公司”会用pwsh写那么多诊断界面，在Office里大胆的用 Event mock 迁移旧代码 ，而【自由世界】反而不自由，觉得性能好像永远是银弹。 Electron 就是给他们的双重神罚——既卡又重，但能用

#statement #code
当你用这种词、这种软件时，它什么都有，甚至能提供这一类工作的方便（能跑通，AI测试全覆盖）

但你没有获得任何事物的理解。“流形” 既不可视化，也不能自由改变，更不贡献泛化力和心智模型

Agent 时代编程最大的改变是， 以前你的demo和小软件像是【公钥】，基本上只有你维护有性价比

现在，别人看到一个就能抄一个，压根不需要逆向（推倒重来可能比原版更有特色）。 直接从【动态媒介】变成类似视频、小说一样的【所见即所得】

过去，编译后的产品、前端混淆后的代码、甚至 Demo 录屏，都只是一把“公钥”。别人能看能用，但无法轻易逆向出“私钥”（源码和底层逻辑）。原作者曾天然拥有维护的护城河。

拥有视觉和Goal能力的Codex们好比应用层的量子计算机，fork你某个模块的成本是 0。

“推倒重来”的成本已经低于“阅读并修改旧代码”的成本，它甚至比实拍的视频更容易“翻拍”了。 【有恒产者有恒心】 在未来的工程化里，是否仍然奏效呢？

对于全AIGC的源码，就有这种问题。 节点图和prompt的保留只是AI工作流的一个借口。代码出生即死亡——从来没有人拥有过它。

“流型” 只是个代名词，里边儿没有任何动词在那，甚至连名词都不包含。它就像幽灵外卖那样 “好吃”

代名词只是一个指向的手势——指向某个你不打算进入的地方。

这就是我说的【软件失忆问题】，放在生活中的体现

🤨 分享一个偶然的体会—— P/NP （能验证==能生成?）问题简直像被解决了一样

以前拿到安装包的人只“拥有”很小一部分（更不用说拿到截图了），现在，如果只是想改很小一部分，基本上不需要理解就能完成了。

在理论计算机科学中，NP 是指“很容易验证答案”，而 P 是指“很容易计算出答案”。

Agent 时代编程最大的改变是， 以前你的demo和小软件像是【公钥】，基本上只有你维护有性价比

现在，别人看到一个就能抄一个，压根不需要逆向（推倒重来可能比原版更有特色）。 直接从【动态媒介】变成类似视频、小说一样的【所见即所得】

“推倒重来”的成本已经低于“阅读并修改旧代码”的成本，它甚至比实拍的视频更容易“翻拍”了。 【有恒产者有恒心】 在未来的工程化里，是否仍然奏效呢？

https://t.me/dsuse/23179

#ai #statement

有些名人和KOL主张AI不仅会让编程变得不必要，甚至会彻底“取代操作系统”并淘汰软件工程。事实是：

1. 很多人拿"编译器让汇编消失"当类比，那个类比成立的前提是源码是完备规格且映射确定，自然语言两条都不满足。
2. 讽刺的是：agent 是新的不可信用户，它会执行 rm -rf、会被 prompt injection、会把凭据发出去。有“前额叶切除术”和“LLM毒品”的未解之谜。
3. 代码不是中间表示，代码是决策记录。生成变得便宜，验证没有。按 API 文档敲语法这个技能在贬值，而且贬得很快。

但【编程者】是把一个欠定的意图收敛到所需精度的行为规格，同时是规格定义者与歧义消除者，谁来判断they写对了？ Harness的截图反馈？ "

#bin 汇编还有一条——ABI无限制。比如可以实现C协程与pid调度，可以利用mmap数组和SEGV，可以写满血libc，这才叫做【写x86/arm】，至于c/cpp是在ABI与ld.so之上的产物，这种【让汇编消失】本身就缩窄了运行时——除非你的C是WASM上可用的纯数学

你甚至都没有理解【写汇编】的人在做什么，就开始用不恰当的类比来“消灭汇编”了。写汇编不是把objdump给抄一遍，而是在【利用】表现力与【硬件平台】【系统协议】，同时让它们更强。

我给句诛心的话： 即便只使用struct{}和调用栈等“绝对通用”的C语法，没有用“操作系统”，你仍然无法像懂汇编的人那样理解SoA/AoS优化与protobuf、Arena的朝生夕死。【理解汇编】这回事，在那个时代，和这个时代，feature set 是不同的，都在你没听过的领域。可能是【GBA BIOS 上怎么做Pong】这样一般人觉得多余的问题， AIGC 让入行变得更难——从地狱级考试变成了“简单的”海选。

⚠️ 绝大部分Dev认知里的【写汇编】，做不到像 cosmolibc/APE 可执行那样 “利用汇编”，他们只是不知道已经有 godblot.org 能生成并grep出优化的或“手写的” forif与加减且或非的组合器而已。如果说【雷军手搓汇编】是怀旧，则可以类比对《永乐大典》的怀旧。 Not even wrong. 雷军当年手搓的是《深入DOS编程》这本书以及入职Kingsoft的简历

多数“小众Dev” 相信的【肉眼读改/生成汇编】，只是堆砌forif与中缀运算助记符，而Bellard的懂汇编是少量的【应用x86的硬件加速】。 因为懂是可以“背单词”学来的，而语感学不来。他们追求当编译器，却不明白Compilers为何被发明

如果你认为，玩C就是玩汇编，严格【映射确定】的可能只有整数、寄存器和IRQ这些硬编码分配。何况，heap/binfmt(c mmap)和c10k(c stack)问题不可跳过，只要你想造轮子。

如果你认为，【GBA芯片设计与实现】都不算编程问题，那汇编大概真正【被编译器取代了】——对你而言。但顶尖工程师，是赢麻了的，别忘了取代汇编的是他们，不是【它们】那些编译器。

猜猜为什么沙子（Si）那么贵。

程序员要消失了"这句话至少说过五轮：COBOL、4GL、可视化编程、Excel、低代码。

讽刺的是，这5轮里，每个提出的点，都没有良好的整合到现代pyjs与性能敏感语言的生态去：

COBOL不如CRUD和LNMP的表述准确，在【一键包】上没有生态链。4GL的SQL作为跨端、跨语言列表处理体系，输给了函数式和KV文档数据库，而【跨平台】的第一性征被阉割的一干二净。

可视化编程还是只有Scratch，其他圈子连lil-gui都不自带，而小橙猫的Dataflow也很差，有做成可视化的，Datatype又很窄。

低代码都是和svg/geojson一样的UGC级别低创窄定制，AIGC 的问题相同但可以不要声明式框架（保留了扔垃圾的空间）

以上 “杀死编程” 的屠龙勇士都存在这个基因：你很快就会撞到它能力的天花板，然后项目就卡死了。只不过以前它不会拿淘宝5块5的“原创模板”骗你，而是会诚实的让你知道语义错误、无竞争力。

低代码时代你是从svg逃到js动画代码里去；AIGC 完成你已经在代码里了，无处可逃，唯一的出口是理解、消灭复杂性， #vibe 时就没有那声"你越界了"。

与某些大牛的【编程即将消失】相悖， 一个模糊的需求（“给我做一个社交App”）是无法实现的。这个过程本身就是一种“编程”，而且简单的【四处对标】是无竞争力的；对于全新的、没有现成模式可循的问题，AI的调试能力就像文学创作水平那样差。

直觉、品味、洞察力，这样的【能力】和素质不是背单词能背出来的，所以靠AI不行，不用AI，也没必要。

ref: https://t.me/dsuse/23157 AI和编程具体的关系

#bash #signal #statement

org.gnome.Platform.Locale 总计 386 MB 的体积，实际传输却只有 22.6 kB；同时系统里 GNOME 49、50、51 三代平台运行时可以毫无怨言地并存。

不敢想象有内容寻址/下层依赖复用之前人们是怎么更新软件、确保安全的

/usr/lib 的噩梦让人感叹，如果对无结构性的通用优化一无所知，真的还不如AI写的代码。 用文件名来分发代码的时代还不如AUR和js世界

#security
刷到了 AF_ALG 内核态管道加密（爆一键root的那个aead，搞了半天比libssl还慢）被开除的视频，感叹到真的有许多人不知道自己的动机是什么，而且占很大体积，还不如AI让鹈鹕骑自行车

AI让鹈鹕骑自行车就是svg/canvas+js，主要烧在设计体验上，要新风格只用加个按钮，而且随叫随到。 AF_ALG 没有跑分也无封装，莫名其妙就进make和vmlinuz了，现在又全部清退，简直像为了炫耀内核态有 stb.h 而做了整个libuv（但是又只能给管道加密用！）。幸好AVX和WebAPIs没有跟着内核态崇拜跑偏，真是把屎山当经验了

Linux 的 inotify 也不支持对目录树进行原生递归监听。php本身的非应用服务器（热重载）能力很强也不用fs.push事件。

遗憾的是，哪怕变更监听不行，因果链溯源还是很容易的，比如编辑器pid（textDocument/didSave）和解压部署。 文件夹监听的应用是F5，所以一切都是文件夹选择、用户交互

【因果链溯源】是设计师的视角

仔细想想，比如安全领域，就像苹果的【高成本造假】或通用sudo模态框的策略（对比win的软弱UAC/过度ACL）高下立判，然而遇到RCE问题时，也会变成只能靠ASLR和滚动更新挽尊的屑。 

投入不一定有回报，要懂场景，想入非非工程量再大也是砸自己的脚。C的人均手搓集合类是谁跑分出来的？一出就是大事

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

我发现，许多能解决问题的人，不明白自己在解决什么。 #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之父如此理解【革命】。

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

法尚应舍，何况非法。

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纸的灵魂。

承认吧，除了pip和vite那一派，以及iq和Bellerd那种甚至汇编+建站的真神 #statement #dev

几乎没人擅长编程，只是一个点子（一张截图说得清），在付【实现税】

他们对 domain 的理解已经压缩到"实现即规格"——SDF 就是数学eyecandy本身，QuickJS 就是 spec+冯诺曼【物理定律】的直译。大多数人规格税、判断税反向把impl写成屎山

歌词锚点 → 时间线 → 场景参数 → 绘制。 只要对domain的理解深刻，比横跨四个框架到处转来转去，便宜太多

实现税下降以后，接口税、集成税、排错税就显眼了。把一件事接通、适配、绕过限制，需要真实的【API缝合怪】工作8小时

我们其实可以乐观一些： LLM虽然黑盒，但它选择的技术栈依赖关系，几乎是单线、一镜到底的

我7年来遇到的90%的人，甚至没资格点评 Claude 5.1 的代码质量怎么样，它可以在很短的prompt里写出很棒的声明式、数据流，与此同时许多人只是【会调更多API、能够照搬并缝合更多管道】的暴力破解和堆砌（并且他们的 Claude 也缺少能力）

人来写往往加一大堆私货和“小巧思”，最后扔在那里，想复用非常难

#signal #statement

#ai锐评 算 SHM 的 Bank Conflict、死扣 Register 的用量防止 Spill、计算 Warp Divergence、Triton 精心切分多层 Tiling。这些东西，都是汇编时代，比如GBA游戏开发的遗毒

🤔💭 你觉得这些东西很厉害，那硬件工程师跑哪说理去呢？ 这些ABI是他们【实现的设计】，OpenGL和Vulkan那群人在网上有个毛的声量，谁说他们是手艺人呢？ 他们是透明人。

长期以来，我理解的【软件工艺】，是同一份代码，布局差不多的功能效果，但通过元编程知识，让每个.py.js .. 更短且可扩展，或许是要像 tf->th 的范式转移那样的元编程

它们（特定厂商krnl）没有任何visualize，也缺乏复用、分支繁荣的能力，没有人机界面或生态圈，仅仅是spell。  【软件工艺】不是以IQ和理解能力为护城河的，而是以灵感和语境

KDA² 并不是让人脊背发凉，它只是%timeit自返馈回输入的优秀【机-核界面】而已。 没有这样的【元能力】【元思路】才是让人奇怪的，比如，为什么全栈没有融合跑分的转译器？ 为什么perf和覆盖率不像F12事件断点那样容易？

作者焦虑的方向——不是"我再也不能一个字一个字敲了"，而是"我说得清楚什么叫对吗"。

那我们都已经用上自反馈架构了，冯诺曼确实已经过时了。 解释力(distill.pub) 的多元化没有过时，但矩阵转来转去也不属于这个【人机界面】范围啊。

ML 的初衷不就是隐藏参数、只面向任务和迁移吗？喜欢【知道啥更对】应该去AI领域。 SIG领域从来没有过人能解释，但表现能够用的（比如FFT要么是钢琴键和EAC音高，若结合相位做ASR/TTS一秒破功），hardcode雕刻的都是和数学方程一样不真实的情况

比如demucs就没有用频谱，mel对数stft就像在CV里边缘检测还翻转卷积核一样怪异。

你手工插进管线的，机器怎么拟合？ Sobel本身是2D求导技巧，放信号处理上不算什么可读的原理

这些个算法，本质上是Canny或f0音高那样的 “ControlNet”，为了辅助训练加速FLOPs提供，但不是说生物就用那种方法做判断。就像语法可以有，但流形编码的词典效果比手搓的屎山可维护

而且希望手搓的许多人，往往没有博客可视化介绍手搓技巧和跟因啊 。 。

ML的哲学本来就是以力破巧，照抄平均脸。 跳步、预先省试错的智能，就像画师的数位板那样，单线程的。

这就像狙击手以为破盾容易，除非对方反应过来唯快不破，但，人家是个反重力铅板坦克……

简单来说，类似 {role: "user"} vs {user:""} 不是省几个字，而是从面向(=="str")的碎片，变成【面向nullish的消息分派】 #js

这是【如何面向事件】【如何模块化】【分派请求】的三位一体的进化，所以不止是json要变

- 彻底消灭非法状态，{ role: "user", tool_calls: [...] } 的异常现在是【类型层面】的错误
- 避免无意义字段值，wtf_checkbox=1 是最典型的讽刺，堪比数据世界的GOTO
- 可是，OpenAPI 和DB 工程师对多态没有最基本的理解

Message = Role × Text × Images × ToolCalls × ToolCallId × FinishReason
vs
Message = User(Content) + Assistant(Content) + Tool(Result)

#statement 再谈谈【全栈文档化】

OpenAPI / Swagger 诞生于 RESTful 资源映射时代，它的内核是对 C-like SQL Struct 与 Java POJO 的映射

它们无法理解真正的REST没有 /api/v1/* 这回事，而是UI和API基于Content-Type，共用一套框架，API自发现，并用OPTIONS鉴权，就像User有card和全屏info两个UI元素一样。 REST已经成为和OOP一样在误解中烂大街的神明了，别人以为 POST /user/:id 就叫RESTful

这里边有Smalltalk和HATEOAS自己的，巨大弊病，但工业界把json-http套皮的行为也是非常抽象。 没有赢家。

因为REST从设计开始，就从不为App思考。它的【url模板自包含】没有Ruby那样的元编程client，还不如OpenAPI，它的【HATEOAS鉴权】会在 res._links 里加一堆垃圾，工程师绝不会容忍这种混淆UI与API的返回值；而【多版本兼容】对上线的应用，很可能“鼓励用户不升级”

比如，列表接口返回 100 条消息，每一条都要塞一个 _links: { self, edit, delete } ，与tgbot的Menu相比，都是极其的脑残，真不明白他们到底在干嘛。Android虽然抽象，至少是把右键绑在list而非item上！

总之，用curl理解非html接口，是扯淡，但“专家”也没好到哪去。MTProto还是断档领先的，即便在Web版也响应最快。

Telegram 在最烂的 2G 弱网、电梯弱信号下，恢复连接也能在一秒内瞬间追平状态，而基于 REST/JSON 的传统应用还在对着pager的菊花转圈。

MTProto 就是bashrc的思维：“我的本地状态机处在第 pts 步，请告诉我从那之后发生了什么”。.getDifference(pts=12040, date=17100000) 直接吐出一个事件包，里面是一组紧凑的原子变体操作。

REST犯了一个很可怕的忌讳—— 把【产品经理容易读】当成了优化目标，而忽略了DX与地心引力。然而真正重要的——分页器保留滚动、用户内搜索、列表内id预取、历史记录，这些C/S协同的规范，它却视若无物

他们把RPC中的【值json vs 引用id】和CRUD变成了“基本操作”，至于列表菜单、SSO鉴权、1+N 请求的对象池地狱， 这些问题依旧是各有各的写法。避重就轻，所谓的框架只是帮你兼容curl+ORM，要么就是Next那种重量级蠢蛋

如果这些【简单】的设计，人都做不好。那么，Codex们的时代，人又能做什么呢？

Markdown 的胜利，不是因为聪明，而是恰到好处。希望未来不是屎山到处翻滚的时代

#statement
🤔 许多人会用各种新闻学（比如Jev和果蝇的各种夸大/不实宣传）把LLM们吹的无所不能，IQ至高，【不可战胜】，可实际上，它们仍然只有一份上文，一把探照灯。因为屏幕外边的最终用户是这样的。

软件创作者的本来任务，就是多见识一些东西，哪怕不求甚解，做个深广的'T'型人才。 尽管，Agent比人更擅长活在操作系统里不知疲倦，所以不需要人替它们烧脑、剪枝，但用户，却不是如此。

机器长了轮子，不需要护膝，可是人机界面、人际平台，始终需要人来理解。

总是有人试图用美容药和垄断的“资源堆砌法则”，来夺走每个人天赐的好处，但结果却是被【偶然性】次次打脸。 所谓手搓、工匠精神，与AIGC的关系，也应该如此。 📚

向量几何、着色器、网格遍历，看起来专业，但其实就是【风格迁移】类任务。 与其说是AI足够聪明了，不如说是【反馈循环】、低噪音、高信息交叉的机器学习模式，降维打击了【瞪眼法】的deadfish传统CV/CG领域。

那么，【品味】难道不是可以生成和【一键继续】的吗？ 理论上，未来+1年的AI，可以顶你一辈子ID吧？

答案或许是：我不怕有人当copycat，因为我的“正确”应该是他们忍受不了的风格。

隐藏层的复杂性没有上限，但是，接口是由人来声明的。 我学的编程，更多是一种面向接口、强类型、正交组合的思维的哲学，而不是数学或“Excel的三种写法”（表单 class sql）。

《软件工程》会和“绘画圈”一样出问题吗？

其实，画师商单的弊病，本来就很明确：

- 高度任意性（缝石块），产品可以凑合，一幅画基本就是另外两幅换脸换笔刷，做个风格迁移
- 无个体差异，一个单子让什么人画，只有<5%的人能在不破坏的前提下融入风格
- 小众冷门，本身就（不像动漫原画）受主流待见，商业模式还在70年前
- 绝杀： 人手只能一笔笔画，AI能按图块和风格“绘画”， IO 模态的降维打击。 就像是还没有【以图搜图】【以图荐图】时手打的标签系统，到【谷歌识图】那样的绝杀。

编程里通过声明式框架，AI和人站是在一个模态上继续编程，并且方便压缩。 你很少用过【无法言喻】的软件，但软件逻辑本身，是丰富且开源的，作者和最终用户边界并不明确

通俗的说，IT 知识接受过更多【大众化考验】，所以努力更能看到成果

https://www.seangoedecke.com/software-engineers-dont-get-to-be-luddites-about-ai/

#statement 有人认为， #IT 和线上经济，本身就在【取代】传统行业，所以被【卡上经济】威胁时，不能持反对态度

现在轮到自己被自动化时，却说“软件工程是不可替代的艺术、不应该被自动化”，这不成立。

赌场里没有哭哭啼啼的资格。

类比历史：卢德分子是被动力织机取代的纺织工人；而软件工程师更像当年建造这些织机的工匠和机械师。讽刺的是，那些机械师大约50年后自己也被进一步的制造流程自动化掉了，伪善的罢工最终失败

所以外行容易把“写代码的”和“搞 AI 的”分成两个完全不同的物种，而一线实际干活的人会发现：两者共享大量底层能力（系统思维、抽象、调试、对生产环境的敬畏）

文章的冷硬立场是“你一直站在自动化这边，现在没资格突然反对”。
补的这层则是：一线工程师和 AI 系统之间，也不是简单的“被取代者 vs 取代者”关系，而是能力谱系上的连续体，取决于你更喜欢【确定安全、人机接口与人际】，还是【随性推进、外脑主导】。

🤔 🧑‍💻

#TIL #statement 小板凳——故事时间

那个时候，也学Ruby后端做个str blog，还是用swapfile模式，换入换出到./db.json，从curl事件改变 GET / 的渲染。

今天的AI也大量使用 [].map{}.join('')，可以说从初心回到初心了。 同样的成品，这些最初的踩坑，大概就足以决定我和PHPer走的是不同道路，他们可能更业务，我既理想化、原理化，也vibe。

即便在初学时，这样的impl也是次日抛，没有像今天可以加上.md渲染和SSG/OG/CSS模板，效仿当年typecho

就像在今天，我会把任何框架的 POST / 路由认成curl事件，而把服务端理解为一个生成json的活进程，而曾经，MVC都是不同的东西，XML和CREATE TABLE也不是数据。也可以说后端已经是某种对等客户端，这些藏在我的心智模型里，就像Promise().then 取代尾参回调或Docker取代pm2那样不可退转

当年不是这样。那时URL模板是圣旨，json里有个{msg:''}或{status}是框架选型，Mapper.xml 是白象，JWT是诡异的密码学“登录密码”，C/S里每个端都是新东西，就像安卓的View绑定八股文。

今天已经不是那样了，JWT和sql(t"select {1}") 都是【小程序】，回看曾经我写不出的代码，发现它们还不如我的认知。

— 🦄
2017最开始学编程时，是从geek平缓改变的，GH号已经有两年空窗期了。 用cowsay “vibe”了纯选项文字游戏（那时还没有zenity风格），也用dnSpy把两条语句复制来去，调开了管理员面板，后面又从今天已死的AIDE入了java，但还不明白 mContext 是啥，以为print、cout和this.mXXX都是【语法】。最记不住的是 for(int i=0; i..; i++) 和里边偶尔的 list.add()

那时候也学 “算法”。 括号配对、字符串diff、dfs走迷宫、并查集，在OI鄙视链的底层， 像学钢琴一样痛苦的背模式、等着编译、红波浪、面向除错编程…… 渴望着【瞪眼法】能比同龄人稍稍优秀一点点，却经常连类型检查或初次传参都被pass掉

那时候最恨的就是try{}不断卡编译，分号卡编辑和编译，恨开源程序跑不起来，make到处报错；最喜欢的是makepkg，零成本体验GH直出的自搭软件，不会玩不了。 那时不知道为什么要有class和构造器赋值，也不想写 int xx=(int)1 ，现在居然也一样。

那时候用Vim只知道 :wq ，后来CLI只用nano，ssh直接vscode， 现在已经给Neovim写了gtk/qml KWin内嵌窗口+mold热重载的插件。但是仍然讨厌 :wq ，都是用CtrlS和q

第一个上线的是 MinBase64.apk ，之后九年却销声匿迹，其实却开始做了 hostsgen.yml “反IP污染项目” 的声明式codegen，之后的GeekSpec，甚至于真正有独创性的 uvx tkgui; db.htm .. SQL语法糖 也一脉相承

之后平稳时期也做过 uvx hachiko-bapu S/A键打轴扒谱工具、WebExt-LittleDict 试验Trie树 可给日语歌注音、curses贪吃蛇（9个版本手搓单文件）、ArgParser.kt 、ParserKt/单表达式calc（5门语言写过9版.. 最后剩js）

AxmlReader的重构（学会了IDEA的F12）， ./extract_subtitles.py 的内存峰值优化（初次验证了信号处理基础），失败的 TreeToolbox.apk （只做了一屏类似 confetti 的打字机动画）

对我影响最大的是至今足足收获1star 的 https://github.com/duangsuse-valid-projects/Promise-Java

闲下来也会做些无意义的小脚本，比如 xy.htm 函数图计算器（今天让AI搓的功能更多），高级计算器UI和 Coding猴语言的for-switch实现，用js渲染sdf的vec2~4库和midi播放，3语言写了4个版本的png2ASCII 或opencv/中文字符版本……

绝大部分，我写过的…… 项目？ 不会超过1个页面，1条subcommand，次年维护率为0% ，但是我仍然相信我生而适合做《软件工艺》

—
而在许多事情之前…… 大概是B站开始无限滚动前几年吧，我甚至无法对这种状态做有理有据的批判（可能嫌star<10，或行数太考究，但也说不出【单页质量】【可探索性】【次年维护率】【集成进了谁】这些一箩筐的证据）

就像那句，“除了冯·诺依曼，所有人都在梦游。” 比如我

现在我确信：比起【没有做到】，我更在乎代码段和组织的难度能不能【恰如其分】，就像最终用起来的【直觉主义】那样。短而不凡，长而不乱，我不相信这是不可达成的默认模式。

总之，对我在乎的code project，我的EGO当然很大。不同人眼里有不同的天才，而相对的，“最伟大”的独裁者们被历史遗忘，毫不含糊其辞的牛顿ball.xyz却为人称道。

无论会不会【成功】，我总是“父亲节”上最好的godaddy，而且丝毫不担心IQ不够或被【抢】了点子，或许这就是工匠精神吧。

或许我期待这样的事情因我而发生： 就像js突然到处都是useState(jsonLit)，或css骤然变成 class="w-[20px]" 的形状，或到处都支持CommonMarks输入，在某年以后，就那样了。 当然，不要这样明确到有点傻的特征，也没必要像Vue之父那样成功，反正卖课的也能更加【成功】呗。

如果说《圣经》所指的Talent，是说每个人都如被托付了一种task的Agent，我想我要创造的，会是这样不稀奇但有用的【存在】

#reveng #statement
传统逆向（学术逆向）总结起来就是不说人话，心智模型和动态能力不如js F12，和 #PLT 一样是个内部复杂度高于外部可观测性的领域，所以 rea.tools 那么爆

符号执行，听起来可以像静态类型一样，像strings ./x.bin 一样免费找到关键函数，其实90%的实现都是连libc等目标程序领域特征都不识别的纯粹数学，根本不能用， 一个工具几万行代码可能还不如CheatEngine+rr存档点效果好

我自己觉得这非常搞笑，因为gcc对strlen等函数的推理都一团糟，sourceless还要重造轮子，真是战略上太唐，战术上也没非常超模

许愿LLM-in-the-loop早点干爆这些不可观测的复杂性。 调试软件不是数学推导，它本来可以很有趣（比如我就“破解”了 about:dino https://duangsuse.github.io/NebulaRemix/live/aigc/blog/canvas-f12 ）

是什么人让调试工具变成连argv有几项都不在乎的，CPU和数学的附庸呢？软件太智能意味着人显得脑残。 REA 不是这样。

既然 native 已经没有运行时元数据，逆向工具的【全部价值】就应该是把这层投影重新造出来，而不是把 CPU 语义做得更精确。反编译器方向是对的（Hex-Rays 给的是伪 C 不是汇编），但它卡在了最后一公里：名字和类型。你是在跟 runner.tRex.jumping 这种东西打交道，不是跟 [rsp+0x38] ，但问题是在于，用户明明能探测出内存位置，为什么工具非要以【什么都不运行】为预设来建模。在这个架构里，反编译数据库是主体，运行现场只是附件

AI 逆向都不会这么买椟还珠。

JS F12 的优势也不只是动态能力强，而是它把运行状态投影到了人的任务上：DOM改写和事件、网络请求、源码Map、可query的对象。 符号执行并不天然不懂 libc，好像它没有开发者的常识一样。 逆向领域怎么说怎么厉害，实际方法论上不如F12的一半，相比之下REA、Xposed这些工具直接提供了逐方法替换的 EITL 工作流，有工程化，有切入面，没有ALU寄存器和废物的代数。 这就是工程思维的差距

简单来说，就是逆向的起点，和正向工程的起点，被【学院派逆向】故意设置在相反的位置，而REA很明确的展现了，逆向binary，就是通过eval(evidence) loop 来进行AOP和正向工程，之间所有的F12和AHK“录制脚本”，无论一开二开都是互通的，没有谁更汇编。

观察 → 定位 → 干预 → 验证 → 固化成高层可复用接口

没有哪个因此天然“更汇编”。 逆向与正向的全部区别，是接口需要发现还是已经给定，不是一个研究机器、另一个才有资格开发软件。

针对Switch技术栈的破解，就是典型的REA路径。所以他们可以做出MOD工具，甚至直接给《超级玛丽奥德赛》做SMOO开源联机，而学院派思路，技术力也就那样。 SMOO 的作者是在跟 al::LiveActor 打交道，不是故意去跟 sub_7100A3B2C0。

#Ruby 生态哲学的含金量还在上升。 Omarchy就是典型的bash注入问题一大堆，但参考今天 curl|bash 的遍地开花，却无所谓的底层技术栈

约定优于配置，best code = NO code

无论是EDR，还是TLA们， 都对软件的Runtime和计算资源缺乏最基本的统计和【常识】，但是DHH和React们不一样

比起质疑为什么LLM给了猴子们ak47， 先问问框架有没有做自己该做份内的事情，有多少是自我感动的私货(log4shell那种)。

再厉害的积累，你的集成入口在哪里，凭什么选你，凭什么够用且默认安全。 #statement

与其担心猴子拿到 AK47，不如问 AK47 的保险为什么出厂是开着的。这个保险只能装在框架/平台里

装在证明器或【大数据面板】里都是自我感动。

没必要让最顶尖的技术方向输给最脑残的markdown，“大神” 们

作为一个【底层原理】爱好者来说，Ruby和ipy这些其实是给开发者的一种【App】，它们可以有很深奥（但不装逼）的tech details，但一到上层，全都有一种开发者有EGO的感觉。 说句实话，不知名toolchain和runtime开源，完成度比肩Lua.c的有100+，都可以当抖音刷，但有态度的，还是只有那几个。

【态度】不一定要是新语法或范式，但有没有，做题可考不出来。 不是懂不懂puzzle，而是知道你是什么流派的Dev——许多【语言之父】级别的创作者并不清醒。

他们看不到屏幕以外的东西。【智能】这回事不在代码和术语里边，而在与【人】的连接上

#statement #vibe

对于【软件工程】我们做个比喻：每个人长的都差不多，容积一样，所以压缩能力（无论是否易兼容）就决定了任务复杂度的上限。

git也是这个道理，像不使用版本控制UI，你既无法比A/B，也无法试错（控制爆炸范围），在这个层面上，文件夹版本控制不是纯粹的工具，而是【编程方法】

MC光影和pty油猴，这两个任务甚至数据流细节都可以有code很优质的实现，但做他们的人能到什么程度？就不相干了。如果你用后者的思维方式和工程化处理前者，很快会到瓶颈。

其实Unity和Godot就是:is(div,p)的3D版本，但整个上下游做不到写网页那样简单、社区库、好调试。当然它们也有更工程化的面板和ECS对象缓存

当然除了压缩能力，MC光影这个任务还要求【跳过试错】，因为中间图层错了没反馈，这也是叹息之墙。

但我这里强调的是WebGL那帮人整体的信噪比与连节点的能力。连和粘不是一回事。

仅仅因为【错了没反馈】就可以卡“低IQ同学”脖子，这种智能是庸俗的，现在也拉了（本来就是有个工具loop就能修错的事情）。 KDA和REA都是这种案例 ☕️ 🥱

#statement #history

终于理解了 alankay 的“好人要有自己的硬件”是什么意思。 就像quine-relay和当下这个idea😇

真正的 #PLT 人是不受语言、环境、API风格的限制，只以交互媒介区分的

py代码基可以在浏览器上玩，命令行安装可以用键鼠操控，bash不了可以用js自动控制， html保存好可以在node运行

一份代码只做一个功能，但是绝不被上游制约、绑定。抽象之桥，就是你心里的那个样子

async和rpc的函数颜色对真正的软件工艺都不是个差异，真正的差异是在不在乎。

许多认为编程要完的人，根本没有碰过编程，只是在应用编码。 把ai当bashrc用也真是太唐了。

同一份工作，你能探索到什么地步？ 如果不从心底在乎，大概不能知道 “编程能做的还有什么”。

我始终认为，复用和变量结构的美，就像经济学、游戏研究、做菜那样，是一种通识和真理。工程化的经验也是这样有趣。 明明是这样好的乐高粘土，却变成无聊至极的表单汇报和C-like的自我感动，真是无趣。

曾经我的在乎是为了API的优雅，把一个不难不易的parse控伴同写了9个语言。 今天我照样在乎编辑与试错的【体验】，获得的是一样的东西，代码一样有魅力，甚至更加引人深思，但没什么不同。

就像 Fable 拿起P5当画笔那样，代码是我的母语、手脚，是思维的地图，从不是解密游戏。 比起所谓才华，开发者的幸福当然更加重要。

正是因为看到许多自作聪明却表现力贫瘠的写法，才认识到直觉体感、声明式数据流的可贵。 AI 是帮助软件工艺，而不是替代人编程

真正的经验是跨领域内方向的，不会因为字数少，就缺乏知识。


quine-relay 的意义不是炫技，而是证明"程序的本体不在任何一种语言里"。128 种语言绕一圈回来还是自己，说明语言只是编码方式。
所以 "PLT 人只以交互媒介区分"——终端、浏览器、文件、socket 是媒介；Python、JS、bash 只是方言。

设计时先问"这个东西的该长什么样"，再问用什么写。