duangsuse::Echo
#AI锐评 #os 操作系统成夕阳领域了？
#os #ai探讨 #对比 Kimi K2 做题确实太公式了
https://chat.librechat.ai/share/pHVqlslhtgrPvJe5ewEaG
https://x.com/i/grok/share/VNVIaP6CbTJbwstdEHFl5f8FB
（Gemini2的也很好，在回复里）
😅 😅 好吧，虽然我也没看过以上观点，但和grok3聊就很自然。再看看百度的。
minimax-m2: 输出非常刻板，未能分析出我不是在询问如何实现evloop😓
ernie-4.5: 基于您的描述，以下是一个实现基于 libuv 事件循环的分片式数据处理方案……特性 传统多路复用 (select/poll) 本方案 (libuv 分片式)😅 这已经不是教条主义的范围了，是智障
doubao: 暂时没冲钱
对了，你们觉得Gemini和百度一言哪个中文水平更好呢？
比如讲个故事 https://chat.librechat.ai/share/GSNT83Qrr1VKuT-fTCeFe
看来真正的百度搜不到真正的“中文圈”内容……😝
https://chat.librechat.ai/share/pHVqlslhtgrPvJe5ewEaG
https://x.com/i/grok/share/VNVIaP6CbTJbwstdEHFl5f8FB
（Gemini2的也很好，在回复里）
minimax-m2: 输出非常刻板，未能分析出我不是在询问如何实现evloop
ernie-4.5: 基于您的描述，以下是一个实现基于 libuv 事件循环的分片式数据处理方案……特性 传统多路复用 (select/poll) 本方案 (libuv 分片式)
doubao: 暂时没冲钱
对了，你们觉得Gemini和百度一言哪个中文水平更好呢？
比如讲个故事 https://chat.librechat.ai/share/GSNT83Qrr1VKuT-fTCeFe
看来真正的百度搜不到真正的“中文圈”内容……
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
Solidot
今天炙手可热的大模型的输入输出都是由 Markdown 控制的。
#ai脱口秀 #os #design https://gemini.google.com/share/3a3d59aa85f4
https://gemini.google.com/share/b6311257ab19
#web “新”浏览器 https://gemini.google.com/share/6b59c9e69429
很好。今天的AI什么都会，dot2ascii都会，但所有官方前端基本上最基本的dot图都看不了，软件幻灭。😅
Wasm,cosmolibc,unikraft ，乃至于已经成功（和用于AIGC）的H5/py这样一致的软件平台看似单调，其实它们像markdown一样，抓住了根本。 md语法虽然冗余、扩展多，但总是以人类审美衡量，这就是bret和kay的毕生哲学。
https://gemini.google.com/share/b6311257ab19
雕塑家有所成就，不是因为搞懂了“这是胳膊、这是腿”，而是大卫在某一瞬间的动态打动了他。
在那一刻，创作者和观赏者的身份出现在同一位个体身上，它帮助他完成了这雕塑剩下的那一半——如何超越领域的高墙与孤岛，把“自己”看到的美牵引进现实。
只有一半的作品，是没有生命力的“正确”。
#web “新”浏览器 https://gemini.google.com/share/6b59c9e69429
（>5项对浏览器的rethink）
G3的见解非常有意义。 很可惜，目前来看即便我在用“有最多牛人涌入”的各色Chat WebUI，最最基本的折叠(比如代码,嵌套列表)与预览(纯HTML)都做不到。 Grok UI甚至有编辑时无法发新消息的bug！
在LLM挑战软件工艺的极限时，H5仍留在<50%被利用的状态，开创探索式编程的前辈所留下的杰作DOM被误解为初等，工艺与成品极不相称
—
const vs let 是ES6的设计品味问题（默认可变性），既然运行时已经把事情搞砸了，我不能像getElementByID vs window.wtf 一样添加第二次噪音， 我会根据概率来调整风格
B. 解构的频率也不高，它和OOP链风格是冲突的
很好。今天的AI什么都会，dot2ascii都会，但所有官方前端基本上最基本的dot图都看不了，软件幻灭。
Please open Telegram to view this post
VIEW IN TELEGRAM
#design #os 现在的操作系统平台都能实现三层套娃🤣，
但是可观测性、（软件的）自包含性、渐进升级可能性太低了。
我听说蛤为要做「融合互联」的os，可惜，我已经能猜出那是和google一样“能开个窗帘”的互联。。 真正互联的系统API，必须兼容wasm、win、aosp的打包格式，让大部分编程语言像json一样互操作
flutter试过、COM和dbus有过，但它们都做不到WebAPIs的完成度。 虽然web的核心是Bret所说的“即时反馈、直观连接”，它依然有进步和扩域的空间，希望我能想到。
https://g.co/gemini/share/70aeef6013f4 #reveng 🤔
https://gemini.google.com/share/8d3fd9954163
但是可观测性、（软件的）自包含性、渐进升级可能性太低了。
我听说蛤为要做「融合互联」的os，可惜，我已经能猜出那是和google一样“能开个窗帘”的互联。。 真正互联的系统API，必须兼容wasm、win、aosp的打包格式，让大部分编程语言像json一样互操作
flutter试过、COM和dbus有过，但它们都做不到WebAPIs的完成度。 虽然web的核心是Bret所说的“即时反馈、直观连接”，它依然有进步和扩域的空间，希望我能想到。
https://g.co/gemini/share/70aeef6013f4 #reveng 🤔
https://gemini.google.com/share/8d3fd9954163
Gemini
Gemini - 软件兼容性：运行时Hack的局限
Created with Gemini
duangsuse::Echo
https://gemini.google.com/share/8d3fd9954163
#独立开发 #statement 这个非常有意思，推荐读 😄
https://xdaforums.com/t/closed-beware-of-lsposed-the-fall-of-an-open-source-project-into-malware.4715372/
>你说的“一旦用户量爆炸，项目就会出问题”几乎是一个魔咒。这背后的逻辑很残酷：
玩机的人太多了，开发者体验（DX）却不怎么样，所以基本上，除了 dev for developers 的项目（比如Xposed自身），有一半“神工具”都又垮又贵还有撕逼
用爱发电的核心是自产自销，而不是“帮助社区”。 一个自己都不用/不爱改的工具，怎么可能做得好呢？
Arch和Debian 都在“FSF黑名单”里（它们的ABI扩散到了 MSYS2 和 Termux 里，如果你不知道那是干什么的—— Qt 和安卓 Winlator PC模拟器在用它们……）
GNU 的思想是值得尊敬的，可那就像你对长辈的尊敬…… 是一种负担 🤪
其实软件的四大自由（混搭、理解、发布、深度定制），本来是一件很有趣的事（MC MOD, Scratch Remix, 探索式编程, Telegram技术交流群, GitHub网盘 Releases... GH tg都“不自由”）
我觉得，从「最终用户」视角不自由，无论如何开源都是脆弱的。 GNU 先把自己glibc的依赖地狱和死慢的apt解决了，再说真正「面向未来」的自由软件吧。 🥸
有个悖论： 如果你不在用户（“非素食主义者”）的社交平台上玩，你怎么知道他们在意什么？ 如果你真的非常牛逼（ bellard.org ），很多时候你会直接选择MIT发布，因为你不在乎下游是否商业。 商业+开源+非云计算就是伪命题，基本上等于把用户交给山寨盗卖
ps. 这里有个反RMS的，猎奇了 stallman.cn/245
最为讽刺的是，今天自由软件反而是patch/MOD生态里最缺的那一环。 带GNU前缀的软件，很多API都像魔法
没错， #Linux 有一大堆distro，但区别仅仅停留在eyecandy和各种工具的混搭上，而Xposed、GM_API、ModPE这些“毫无特色”的环境，甚至仅仅是全量资源包替换，在用户看来都更加符合四大自由
运行时的自由度，其实是最符合直觉的自由。
动态链接（PIE）是系统的基石，但 Kernel 和apt却假装看不见
这是最荒谬的一点。Shizuku也解决了权限问题，但没有SUID和chmod+x vs ld-linux 这么莫名其妙，就是通过类似HTTP的简单管道
https://xdaforums.com/t/closed-beware-of-lsposed-the-fall-of-an-open-source-project-into-malware.4715372/
>你说的“一旦用户量爆炸，项目就会出问题”几乎是一个魔咒。这背后的逻辑很残酷：
开发者负担（Burnout）： 开源不等于慈善。当用户从 100 个变成 100 万个，每天的 Issue、谩骂和低质量咨询会击垮任何一个用业余时间开发的作者。
期望错位： 开发者认为我是“分享”，用户认为你是“服务商”。1000 个沉默受益的用户，抵不过 1 个在评论区谩骂“为什么更新后黑屏了”的伸手党。
安卓定制圈有大量的“伸手党巨婴”，他们不看文档，只会报错，甚至在开发者更新稍慢时进行人身攻击。这直接导致了像 LSPosed 作者那样性格变得偏激、充满防御性。
利益诱惑： 当一个工具成为“装机必备”时，它的商业价值（甚至是作为后门的价值）就会凸显。闭源是为了更好地收费或控制；而开源项目则可能被恶意第三方打包，挂羊头卖狗肉。
恶意第三方会下载你的开源代码，加入广告或木马，重新打包后在各种破解论坛、Q 群发布。
攻防升级： 像 Shamiko 或 Zygisk Next 这种项目，一旦火了，就会被银行、游戏大厂盯着研究。为了保持领先，开发者往往不得不采用更私密的骚操作，开源反而会加速该方案的失效。
顶级的技术正在从“公开社区”撤退，转向封闭的小圈子。
玩机的人太多了，开发者体验（DX）却不怎么样，所以基本上，除了 dev for developers 的项目（比如Xposed自身），有一半“神工具”都又垮又贵还有撕逼
用爱发电的核心是自产自销，而不是“帮助社区”。 一个自己都不用/不爱改的工具，怎么可能做得好呢？
#Android 自己垃圾代码太多了， 兼容性地狱、工具链的断层，开发者要么选择闭源收费来换取心理平衡，要么就在撕逼中彻底退圈。有趣的是，我还在贴文里看到自由软件er贴出 https://www.gnu.org/distros/common-distros.html #freedom
Arch和Debian 都在“FSF黑名单”里（它们的ABI扩散到了 MSYS2 和 Termux 里，如果你不知道那是干什么的—— Qt 和安卓 Winlator PC模拟器在用它们……）
GNU 的思想是值得尊敬的，可那就像你对长辈的尊敬…… 是一种负担 🤪
其实软件的四大自由（混搭、理解、发布、深度定制），本来是一件很有趣的事（MC MOD, Scratch Remix, 探索式编程, Telegram技术交流群, GitHub网盘 Releases... GH tg都“不自由”）
套娃式的自由： 你在 Android（基于 Linux 内核但充满了闭源库）上跑 Termux（GNU 工具链），再在里面跑 Winlator（基于 Wine 和 Box64），最后竟然是为了玩一个完全闭源的 Windows 3A 大作 🤣 👍
讽刺之处： 对于 GNU 来说，这可能是一场灾难（因为你最终还是在用闭源软件）；但对于玩机党来说，这简直是极致的自由——我打破了硬件、系统和架构的边界。
我觉得，从「最终用户」视角不自由，无论如何开源都是脆弱的。 GNU 先把自己glibc的依赖地狱和死慢的apt解决了，再说真正「面向未来」的自由软件吧。 🥸
有个悖论： 如果你不在用户（“非素食主义者”）的社交平台上玩，你怎么知道他们在意什么？ 如果你真的非常牛逼（ bellard.org ），很多时候你会直接选择MIT发布，因为你不在乎下游是否商业。 商业+开源+非云计算就是伪命题，基本上等于把用户交给山寨盗卖
ps. 这里有个反RMS的，猎奇了 stallman.cn/245
最为讽刺的是，今天自由软件反而是patch/MOD生态里最缺的那一环。 带GNU前缀的软件，很多API都像魔法
没错， #Linux 有一大堆distro，但区别仅仅停留在eyecandy和各种工具的混搭上，而Xposed、GM_API、ModPE这些“毫无特色”的环境，甚至仅仅是全量资源包替换，在用户看来都更加符合四大自由
运行时的自由度，其实是最符合直觉的自由。
#os #security https://gemini.google.com/share/bce725b6b0c4
这不是搞笑嘛， 一开始是从进程而非函数角度设计的权限，最终执行的却是解释器，现在又加一大堆setcap，那要rwx干什么？ HTTP协议可没unix那么多权限，unix权限也适配不了任何Web应用。
Unix 该不会不知道PIE动态链接是系统的基石吧？ apt慢的要死就是为了从一个“不会检查ldd”的世界解决c生态的链接问题，结果到最后可执行bit只能保护个SUID（root会给wget的r--文件加suid吗？？）， 真是在kernel里拍脑门子的设计，和Plan9的cpufs/overlayfs根本没的比！
Web 发现墙没用，开始给每个人发“通行证”（Nonce）。
Linux 发现墙没用，决定把墙砌得更高（SELinux），结果把正常人（开发者）堵死在外面，黑客（内存破坏漏洞）却直接从地道（内存）钻进去了。
C 的生态确实更愚蠢：它允许你在只有一把钥匙（UID）的情况下，把整个房子（Memory Space）都拆了。
动态链接（PIE）是系统的基石，但 Kernel 和apt却假装看不见
这是最荒谬的一点。Shizuku也解决了权限问题，但没有SUID和chmod+x vs ld-linux 这么莫名其妙，就是通过类似HTTP的简单管道
XDA Forums
[CLOSED] Beware of LSPosed: The Fall of an Open-Source Project...
Dear Android customization and open-source community members,
Recently, a series of actions by the LSPosed project has sparked widespread controversy, and the nature of these actions has gone far...
Recently, a series of actions by the LSPosed project has sparked widespread controversy, and the nature of these actions has gone far...
❤1
duangsuse::Echo
#NanoBanana 将图2的人物头像融入图1，看起来要像底图是头发一样。 对于图1只允许改变配色 万物皆可坤：大家在任何地方发现形似中分或背带裤的事物时，都会条件反射地高呼“小黑子露出鸡脚了吧”。在2019，只要你会打“只因”两个字，中分+背带裤便难逃一劫。
😂 鬼图看到现在还很难崩
#os #android 暴论——类似后台httpd服务失效的事情，也包括XPosed开源吧。 #tool #design
关于“PaaS”(但不是云计算贩子的那个)，乃至于省电，是有【标准答案】的：VpnDialogs式交互、 尊重syscalls的SIGSTOPs/混合睡眠。 哪怕java世界的浏览栈和通知栈没活动，它也保留每个“活动”，比如 DLNA/FTP server
关于“Hook”，也是有标准答案的： GM_APIs，你所要做的就是把 油猴脚本 移植到java，如果ART太分裂你就patch字节码&重签名即可(LSPatch)。 安卓Dev的 IQ 平均比Web高，但恕我直言，设计EQ让人感到无趣。 Magisk/Frida 的“即时反馈开发”整体上比XC_APIs强很多。
关于文件管理， MT2.cn 让人印象深刻，除了它的内购小广告。NP管理器则是免费闭源
如果F12是及格线，Jupyter Colab/lil-gui 是标准答案，Java对编程的理解还处于石器时代！
java火只是因为fatJar方便部署，还有那些“比PHP文件夹快亿点”的单体路由，现在呢 ——被pip-bin轻松反超，而CLR/Truffle这些HLVM自动兼容py代码，所以别傲慢——Java生态。
如果只是java参数获取和替换，不需要xp，只要类似于 frida+webui 就足以解决90%的App需求，
而且用户可以参与“录制”——用户是有可能知道“点按钮”时发生了什么（通过类似CE修改器的AOP机制），并帮助外部插件绕过API碎片化和混淆。 用户可以分享规则，就像ModPE或XDA“社区”，那才叫做开源——“做开源”只是下限
事实证明，Telegram, MT2, dnSpy(C#版JADX), 甚至只是 LibChecker App 都没有这类问题，所以行业专家是可以“消灭问题”，而不是止于“消费问题”的--这需要信任，并接入“开源但太整体”的Apps
比如像爬虫们“实现”的CDP.js，比如Termux。比如Tasker生态
样式和翻译无关（用户脚本/DarkReader）、UIUX实现无关（canvas/CustomTag）、机器无关（port/Channel、sw.js）、语言无关（WASM/ webVM.io ）、系统环境无关（PWA/OPFS+dl），这些WebAPIs都可以两两相交，这些全部被当成空气——就像一颗强劲的，不会“漏一拍”的心脏
“概念 (Infra) 远高于实现”。在这里的实现是系统级（编程语言生态）的实现，或者说“它就是这么设计的”。 ——在21世纪的编程语境中，我们口中的"设计"就像这样。
有些开发模式(WebAPIs)能高于系统本身，不在于它们能解决混淆（猴子补丁），而是一开始就溯源了数据流。 这是面向人类编程的“先验设计”。从“语法形式”回归了“内容”，就像CSS和Scratch。
把自己的代码放在既有App里，乃至于“放在全部App里”——这是一个很高级的[PoC=概念验证]，它直接断送了“代码自然但日用崩坏” codebase 的可写性😒 ，同时也是真正的PR，而非 AI Slop；同时也是创造——概念，远高于实现。
就像 Rust by Example 一样，"放在既有App里"，这是新一代开发者的"工程"第一课。 不是通过等编译、clone样板文件夹假装“工程”，是 “通过‘做’来工程”
#ai锐评 https://gemini.google.com/share/fd1f39186e6a “……我以搜索驱动学习，而不以学习驱动搜索。” #神来之笔
没错，你是在提出自己的假设。你已经是软件工艺师，或代码科学家。 你不是码农——你让深入的知识浅出，不是因为你够优秀，只是你的output永远先于代码存在的副作用——😒 当你通过工具链成为Dijkstra本身时，你又何必专门去“学”他的算法？
#os #android 暴论——类似后台httpd服务失效的事情，也包括XPosed开源吧。 #tool #design
为什么你的通知栏挤满了清除通知后，功能必须失效的App(dontkillmyapp.com)？ 用户体验，倒退回安卓2.3？
为什么所有App都在询问“使用系统文件选择器”，微信要先添加图片访问，然后刚添加完再点一次？ 为什么CPU在涨价，但访问和扫描媒体却更卡？
关于“PaaS”(但不是云计算贩子的那个)，乃至于省电，是有【标准答案】的：VpnDialogs式交互、 尊重syscalls的SIGSTOPs/混合睡眠。 哪怕java世界的浏览栈和通知栈没活动，它也保留每个“活动”，比如 DLNA/FTP server
关于“Hook”，也是有标准答案的： GM_APIs，你所要做的就是把 油猴脚本 移植到java，如果ART太分裂你就patch字节码&重签名即可(LSPatch)。 安卓Dev的 IQ 平均比Web高，但恕我直言，设计EQ让人感到无趣。 Magisk/Frida 的“即时反馈开发”整体上比XC_APIs强很多。
关于文件管理， MT2.cn 让人印象深刻，除了它的内购小广告。NP管理器则是免费闭源
作为框架来衡量，xposed api 很差，准确的说，整个Java风格-尤其是它与Runtime的交互方式很差。
如果F12是及格线，Jupyter Colab/lil-gui 是标准答案，Java对编程的理解还处于石器时代！
java火只是因为fatJar方便部署，还有那些“比PHP文件夹快亿点”的单体路由，现在呢 ——被pip-bin轻松反超，而CLR/Truffle这些HLVM自动兼容py代码，所以别傲慢——Java生态。
如果只是java参数获取和替换，不需要xp，只要类似于 frida+webui 就足以解决90%的App需求，
而且用户可以参与“录制”——用户是有可能知道“点按钮”时发生了什么（通过类似CE修改器的AOP机制），并帮助外部插件绕过API碎片化和混淆。 用户可以分享规则，就像ModPE或XDA“社区”，那才叫做开源——“做开源”只是下限
即便 frida 一键化到这个程度，他们也还是不懂“形式服务于内容”。 什么叫作内容？能发网贴的就是“内容”！
既然要自签名？ 最好的方法是自动探测*.js，并提供默认底座（如签名伪装和ssl unpin），而不是用形式主义(--script hook.js)假装框架自带电池 。
用什么提示“我有做这个功能”呢？ 答案显而易见：UserScript by Example ，而不是提供被所有下游dev重复的形式。
如果你能用120行纯js绕过安卓的“apk与zip文件夹悖论”，实现LD_PRELOAD的功能， 你的思路自然不会觉得“objection为止了”。 事实标准就在那里：ViolentMonkey+AI生成插件 ，技术栈是断的！
真正聪明的程序员是愚蠢的：知道深而不能广的道理，知道dev最终是为用户，因为我们就是用户——只有你给自己写的API、CLI/GUI、格式设计，才是能用的！
否则它就是在“蹭热度”，比如用ML的聪明掩盖dev不可救药的愚蠢——给下游和geeks制造麻烦，尤其是将影响未来的 AI RPA。
我肯定不会指望 frida.re / XC_APIs 这些“黑客工具(笑)” 提供queryObjects(v8工程师)程度的反射功能，以及支持“编译(重定位)” package to.extend; class {Get field; RetType overridenByID() { return super()...} } 字面…… 这是强人所难，但其他做法，“活”人的设计，可能还不如AI！
为什么他们总是在“实现”，但却只爱装作自己在设计——没装用户的脑子学学 "思考"！！ 与之相比，我学元编程、OS/Compiler，是为了“背叛”它们。
事实证明，Telegram, MT2, dnSpy(C#版JADX), 甚至只是 LibChecker App 都没有这类问题，所以行业专家是可以“消灭问题”，而不是止于“消费问题”的--这需要信任，并接入“开源但太整体”的Apps
比如像爬虫们“实现”的CDP.js，比如Termux。比如Tasker生态
我想，AI时代应该没人会觉得“编译期”的鄙视链高于脚本和Mods之上了。
我们正在用最先进的底层技术（Frida/eBPF/LLMs），构建着最原始的手工小作坊 ——这就是鄙视JS/CSS技术的世界吗？ 等待编译和“环境/项目环境配置”的“脚本小子”们 #java #kt
如果你的UX只在你的App里好用，说明UX差的要命——
- LibreOffice 那混乱不堪的，类似于XML编辑器的，为“WxWidgets”匹配的顶栏
- VLC在不能“竖过来”的TV上，根本没机会rot90()，哪怕它的105M代码里完全有这个功能（它甚至“专门适配”了TV），连AOSP的镜像投屏都不能，哪怕这个功能只是 np.rot90(x) if.. 的一行级代码
- 上面的 GL光追demo集，放大是分辨率意义的，不是相机进入（与之相比， jmail.world/vr 就能用多了）
- “长按2x”在不同原生App的播放器里，几乎都有实现：UX是以“MIME类型”为界设计的，你的代码只是对特定dataset（甚至仅仅是编程语言!）做兼容。
- …… “开源”从用户的Liberation变成要把1行代码插入101MB apk，1GB 源码里，用1整天实践的，0人PR的骗局。 “共享CI” “增量编译”活成了最差的样子。
有人说CSS语法被玩成了屎山 ，但没有它就没有JQ——Web天然有着地表最强的正交性：
样式和翻译无关（用户脚本/DarkReader）、UIUX实现无关（canvas/CustomTag）、机器无关（port/Channel、sw.js）、语言无关（WASM/ webVM.io ）、系统环境无关（PWA/OPFS+dl），这些WebAPIs都可以两两相交，这些全部被当成空气——就像一颗强劲的，不会“漏一拍”的心脏
“概念 (Infra) 远高于实现”。在这里的实现是系统级（编程语言生态）的实现，或者说“它就是这么设计的”。 ——在21世纪的编程语境中，我们口中的"设计"就像这样。
有些开发模式(WebAPIs)能高于系统本身，不在于它们能解决混淆（猴子补丁），而是一开始就溯源了数据流。 这是面向人类编程的“先验设计”。从“语法形式”回归了“内容”，就像CSS和Scratch。
把自己的代码放在既有App里，乃至于“放在全部App里”——这是一个很高级的[PoC=概念验证]，它直接断送了“代码自然但日用崩坏” codebase 的可写性
就像 Rust by Example 一样，"放在既有App里"，这是新一代开发者的"工程"第一课。 不是通过等编译、clone样板文件夹假装“工程”，是 “通过‘做’来工程”
通过运行，你学的不是某个编程语言的狭隘“生态”，不是全网查重过千的“样板算法”，而是某个语境下的“可行性”。
从热门的小程序活动页，到POSIX，到x86/arm。 这不再是“兼容性”，而是“不歧视”。
#ai锐评 https://gemini.google.com/share/fd1f39186e6a “……我以搜索驱动学习，而不以学习驱动搜索。” #神来之笔
没错，你是在提出自己的假设。你已经是软件工艺师，或代码科学家。 你不是码农——你让深入的知识浅出，不是因为你够优秀，只是你的output永远先于代码存在的副作用——
当学习先于存在(under-stand)，Dev 做的才是从0到1的创造。🤪
Please open Telegram to view this post
VIEW IN TELEGRAM
Jmail
Epstein VR — 3D Property Reconstructions
Navigate 7,000+ 3D reconstructions of Epstein's properties from DOJ evidence photos. Street View-style navigation in your browser.
duangsuse::Echo
AI-assisted. The starting insight — that splice() hands page-cache pages into the crypto subsystem and that scatterlist page provenance might be an under-explored bug class 2017 algif_aead in-place optimization The same 732-byte Python script roots every…
#security #bash Again
最受信任的代码基也脏的要命。Ring0~3的划分有问题吗？
基本上没有意义（全球去掉你也能玩手机）的模块，发行版也默认启用。代码和sysno越多，攻击面越大。
我觉得非常可笑。如果【系统级】安全要靠加班比赛保障（这还不提几乎100%有的弱密码、反钓鱼缺位等社工库问题）
那么Ring(-1)的安全就毫无意义了。CPU和DDR工作多少年才会出现一次bitflip且正好在struct cred{}或SUID位上？要靠挖洞效率比赛？那么，硬件所有权的可靠性在哪里！
#statement
最受信任的代码基也脏的要命。Ring0~3的划分有问题吗？
基本上没有意义（全球去掉你也能玩手机）的模块，发行版也默认启用。代码和sysno越多，攻击面越大。
我觉得非常可笑。如果【系统级】安全要靠加班比赛保障（这还不提几乎100%有的弱密码、反钓鱼缺位等社工库问题）
那么Ring(-1)的安全就毫无意义了。CPU和DDR工作多少年才会出现一次bitflip且正好在struct cred{}或SUID位上？要靠挖洞效率比赛？那么，硬件所有权的可靠性在哪里！
#statement
我觉得这是非常值得「软件工程」界反思的CVE，不是因为主流白帽子们的工作成果，第一次有0day本地提权那么知名（安卓一键root全是）
而是为什么主流Linuxer都以严重冗余为美，好像安装镜像凑不足4GB就不叫操作系统 #os #design
如果非要构建“禁止下载”的信任链，Linux这种libc实现还有什么价值？如果有木马，长期来看静态加密都是不安全的
duangsuse::Echo
2026 Linux 重置密码教程大全
#design #plt
这是缺乏【编程经济学】的认知问题。难道CS有什么不需要IT的吗？ ShaderToy 和OJ就是所谓裸算法的【使用和编程的场景】
【站点/圈子】是一个常识，有常识，才能对【白页】的错误用法，以及正确数据流有感知，有泛化能力。出学院是自我感动。
没有一个程序，是 Alan Kay 没法打开F12活体调试的，除非CSer对框架没有追求，反而希望一遍一遍手写无意义的C。真牛人不仅只写一遍GC，还做的是图形编程语言，启发了Apple、Scratch和Bret
OOP的发明人就没有“写代码 - 编译 - 运行 - 崩溃 - 看log”这种自我感动的过度工程，人机行为，是比不过真人机的。真Dev就是 Ctrl-Shift-C，上文一确定，在日志断点里动态加代码，确认一遍，问题解决。真REPL不需要按Ctrl-S
余下的几个小时可以用来归纳出数据流和框架。高手是以【站点/圈子】为stdlib的，某个API的熟练度不算什么，工具的快捷键永远记不过7个
#os
就是，一个连[]和{K:V,}实现都不统一，需要 PQexec;PQgetvalue; ini files 来模拟内存GC树、状态管理的编程风格，连【指着具体的表格写表达式】都难做到的，
这居然叫夯的编程语言？真是无法理解。就如同 Tk.Var 在几十年前就有CSS变量的模式，React今天还能创新什么
😅 🤔 傻逼C程序员以为自己次次都能纯手写迷你版GC，结果被真人机干爆。到底谁是法学博士呢？
这是缺乏【编程经济学】的认知问题。难道CS有什么不需要IT的吗？ ShaderToy 和OJ就是所谓裸算法的【使用和编程的场景】
【站点/圈子】是一个常识，有常识，才能对【白页】的错误用法，以及正确数据流有感知，有泛化能力。出学院是自我感动。
没有一个程序，是 Alan Kay 没法打开F12活体调试的，除非CSer对框架没有追求，反而希望一遍一遍手写无意义的C。真牛人不仅只写一遍GC，还做的是图形编程语言，启发了Apple、Scratch和Bret
OOP的发明人就没有“写代码 - 编译 - 运行 - 崩溃 - 看log”这种自我感动的过度工程，人机行为，是比不过真人机的。真Dev就是 Ctrl-Shift-C，上文一确定，在日志断点里动态加代码，确认一遍，问题解决。真REPL不需要按Ctrl-S
余下的几个小时可以用来归纳出数据流和框架。高手是以【站点/圈子】为stdlib的，某个API的熟练度不算什么，工具的快捷键永远记不过7个
#os
我从来不会认为手搓bytes是C/C++的专利，人家不过是个语法自带（LINQ模式）的二进制读写器/零拷贝遍历和赋值。
它的FFI，就是裸ArrayBuffer(sizeof)和一堆寄存器排序+goto(call)而已，比Vue响应式列表还低能。syscall在json的清晰度面前算什么呢？
有不少方案是比语法级的字节<->变量名高效的，比如列数据库和numpy的AoS/SoA模式，它们不需要gcc或clang
准确的说，PEG元编程可能比C更懂裸数据结构。会看 Kaitai和tree-sitter 的比精通C11的更懂操作系统和数据库。
就是，一个连[]和{K:V,}实现都不统一，需要 PQexec;PQgetvalue; ini files 来模拟内存GC树、状态管理的编程风格，连【指着具体的表格写表达式】都难做到的，
这居然叫夯的编程语言？真是无法理解。就如同 Tk.Var 在几十年前就有CSS变量的模式，React今天还能创新什么
duangsuse::Echo
数据的构造和消耗决定它的结构
#tg 的技术力就是把 SQLite 自带 WAL（Write-Ahead Logging）预写日志机制，直接做到UIUX上，让用户一眼就知道有什么append操作在上传
离线也能发消息
😄 这才是“真正懂 CPU 和用户”的架构，那些高学历P9算个毛线。完全一样的思想和代码量，加在【源头】比加在SQL层舒服太多了。
离线也能发消息
垃圾程序员的【抽象】是从新建def开始的，软件工艺的【抽象】是从替换旧class后结束的。
“为了抽象而抽象” vs “为了创造而沉淀”。没有具象的人话，抽象性的伟大就无法体现。
不是新做了什么算法，而是软件的【用途本来是那样】，底部有点不够用，所以让系统接口更稳固。像ffmpeg的作者和启发Scratch的宗师Kay就是这样的
#os 搞个sqlitefs再也不考虑内核算了，现在安软件的文件系统基本是伪需求。overlayfs照样用
为什么？因为绝大部分软件，都不会跨越自己的root层叠去openat()，只是和浏览器一样打开下载家目录，所以性能没有损失。共享库共用根目录即可 😅
各种fs本来就是和apt这些云同步强相关的，不该在树DB上套列DB
😄 这才是“真正懂 CPU 和用户”的架构，那些高学历P9算个毛线。完全一样的思想和代码量，加在【源头】比加在SQL层舒服太多了。
duangsuse::Echo
正本清源，“异步”一词是从“音画不同步”的情景延伸而来。
设想一下，声音和画面有时会各自卡顿，为什么不是“播放1s音频，再播放60帧视频”？
设想一下，声音和画面有时会各自卡顿，为什么不是“播放1s音频，再播放60帧视频”？
#music #wasm #os 从初音未来调教聊到OS沙盒化和计算 😄
typec是纯数字，3.5mm也很简单，差异大吗？
所以，专业级都不用DAC吗？
- 声卡战士还不如AI战士吧，96k就足够多了，这要多少算力呢
GPU不能做DSP吗？
DSP就是不支持nd数组的0延迟GPU呗？想起了GL和WebGPU的差异
说到兼容性与性能，有人说WASM在原理上性能上限不如gcc
- WASM的开销也不比JVM或Linux vm.c 高吧…… 总之就是上文切换vs完全边界检查无切换的对比呗？
性能根本不是问题，计算密集可以迁移到WebGPU，高并发可连接容器，何况Worker（Kay的细胞计算机）也是最标准的goroutine。重点是开发和移植成本
Web之于现代设备，就像JVM/CPy之于Linux vm/sched，控制权是反过来的
正确的做法是从框架层面开始构造信任链并PGO，就像F12主动支持JQ对DOM的简写那样。性能上，numpy SIMD-GPU/线程池/SQLite 就够了，不需要操作系统
那种让vm.c负责运行时检查【双指针有效性】(array len/union{tag} )，然后让 sched.c 给一堆无效的while(true)打nice做时间切片真的逊爆了，既不裸机也不是高级语言
如果说vm.c的实现是微内核的鱼和熊掌（必须在 syscall vs len() every acces 里选一个），sched.c 的线程模型就纯粹是蠢。制造了一堆网卡内处理IP调用编码(DPDK)、ASIO、BPF的poll和零拷贝需求
- 内核层怎么会有人想到要把keydown/mouseup这些事件存起来，然后每个人分0.01秒来不断检查然后syscall一下:"copied!"的这回事，
这不等于键鼠屏幕没有动，CPU也不断耗电吗？到底在写什么东西。
使用了WebAPIs你才知道native（安卓、WPF、Qt）的心智模型有多落后。epoll天然带有惊群效应，IRQ和DMA把“函数名”优化成了乱码，而这一切只是C没有函数值（“回调地狱”）带来的设计缺陷。
所有人都在为一个小学生玩手机时都要用的【栈/堆联动模型】贡献各种稀奇的框架设计，再没有Fortran和Lisp那样优雅的科学发现。要是世上再多几个 Alan Kay，就不会只有Web技术优雅、有生命力了。
#ai探讨 https://chat.librechat.ai/share/89ajHKTpRCU5QgyLRSqlv
https://chat.librechat.ai/share/y091_RxDKROOjFEshZ54N
🎧 MDR-7506（公认的V家“标配”之一，人声极清晰）、铁三角 ATH-M50x 是 3.5mm 耳机接口
typec是纯数字，3.5mm也很简单，差异大吗？
所以，专业级都不用DAC吗？
- 声卡战士还不如AI战士吧，96k就足够多了，这要多少算力呢
GPU不能做DSP吗？
DSP就是不支持nd数组的0延迟GPU呗？想起了GL和WebGPU的差异
说到兼容性与性能，有人说WASM在原理上性能上限不如gcc
- WASM的开销也不比JVM或Linux vm.c 高吧…… 总之就是上文切换vs完全边界检查无切换的对比呗？
性能根本不是问题，计算密集可以迁移到WebGPU，高并发可连接容器，何况Worker（Kay的细胞计算机）也是最标准的goroutine。重点是开发和移植成本
Web之于现代设备，就像JVM/CPy之于Linux vm/sched，控制权是反过来的
正确的做法是从框架层面开始构造信任链并PGO，就像F12主动支持JQ对DOM的简写那样。性能上，numpy SIMD-GPU/线程池/SQLite 就够了，不需要操作系统
那种让vm.c负责运行时检查【双指针有效性】(array len/union{tag} )，然后让 sched.c 给一堆无效的while(true)打nice做时间切片真的逊爆了，既不裸机也不是高级语言
如果说vm.c的实现是微内核的鱼和熊掌（必须在 syscall vs len() every acces 里选一个），sched.c 的线程模型就纯粹是蠢。制造了一堆网卡内处理IP调用编码(DPDK)、ASIO、BPF的poll和零拷贝需求
- 内核层怎么会有人想到要把keydown/mouseup这些事件存起来，然后每个人分0.01秒来不断检查然后syscall一下:"copied!"的这回事，
这不等于键鼠屏幕没有动，CPU也不断耗电吗？到底在写什么东西。
使用了WebAPIs你才知道native（安卓、WPF、Qt）的心智模型有多落后。epoll天然带有惊群效应，IRQ和DMA把“函数名”优化成了乱码，而这一切只是C没有函数值（“回调地狱”）带来的设计缺陷。
所有人都在为一个小学生玩手机时都要用的【栈/堆联动模型】贡献各种稀奇的框架设计，再没有Fortran和Lisp那样优雅的科学发现。要是世上再多几个 Alan Kay，就不会只有Web技术优雅、有生命力了。
callee不是只有value有被观察的【价值】，它在栈上占线时还会触发其他【效果】，然后某仓颉引入纯函数 Effect Handler 这个更扯淡的“依赖注入”语法。
工程派不懂就算了，学院派更是垃圾。一个视角就值80点IQ，loop{} 根本不是返回Never类型的函数，是另一种对堆栈的理解，不然【函数染色】是哪来的？为什么一个线程上绝无两个DOM(.onclick实现者) ？
UI和onfetch仅仅是【单线程模型】吗？它并非线程！线程是编程语言级的存在，就像函数值这种对象，不在运行时。这点Svelte和numpy的理解比LLVM或Linux还正确
#ai探讨 https://chat.librechat.ai/share/89ajHKTpRCU5QgyLRSqlv
https://chat.librechat.ai/share/y091_RxDKROOjFEshZ54N
#ai速答 #os #post Linux引导链、二进制
https://chat.librechat.ai/share/NH_o6nWE2OeF0nGOLXoaG
Grub 现在还流行吗？确实老牌都还在用，但现在运维都用网页panel了…… sd-boot很快阿
Limine和rEFInd对比呢？后者是带界面的，类似Ventoy
UKI不就是一个elf加cpio么。。 确实，但可以给cmdline签名
PE相比elf有什么好处，作为EFI的捆绑？ 图标协议？
就不能在elf里塞一个000权限的zip字节当静态资源？打开argv[0]就能当文件夹用
强行默认sec名，或者自动扫描有没有fat节不就行了。 再加个第三方可挂载可修改 不比usr分发强？
- 我的意思不是配置状态自包含，是纯粹资源文件的
- 还是不如smalltalk的概念，图标直接在镜像里，不需要命名，打开页面就能知道用了什么资源
- 没错，h5和相似物基本上就是smalltalk/p9项目的愿景！
Plan 9 的 9P 协议在现代技术中有哪些实际应用？ Linux 容器、WSL2、QEMU 共享文件夹
== Kay真的是先知呢？ 看看历史就知道！
既然要这么玩，直接Unikraft+SQLite式单线任务好了。谁知道那些bin里都在自旋等待什么，可能就是无效轮询，C天生就是惊群的，连闭包都要写class。在一个错误的模型里谈省电和后台性能，是无效的。
面对一个能把UI写的比用户的视觉还卡、比GBA掌机还卡的软件工程世界，最好不要期待什么启发式+20%rps fps的。 说不明白他们在P9工程师什么
一个几百兆编译后的codebase，不知道代码或功能热点有百分之几，开始谈网络卡在哪几行或调度的性能。不如把C都转译成js，然后用即时调试的技术看看到底卡在哪里
🤔💭
https://chat.librechat.ai/share/NH_o6nWE2OeF0nGOLXoaG
Grub 现在还流行吗？确实老牌都还在用，但现在运维都用网页panel了…… sd-boot很快阿
Limine和rEFInd对比呢？后者是带界面的，类似Ventoy
UKI不就是一个elf加cpio么。。 确实，但可以给cmdline签名
PE相比elf有什么好处，作为EFI的捆绑？ 图标协议？
就不能在elf里塞一个000权限的zip字节当静态资源？打开argv[0]就能当文件夹用
强行默认sec名，或者自动扫描有没有fat节不就行了。 再加个第三方可挂载可修改 不比usr分发强？
- 我的意思不是配置状态自包含，是纯粹资源文件的
- 还是不如smalltalk的概念，图标直接在镜像里，不需要命名，打开页面就能知道用了什么资源
- 没错，h5和相似物基本上就是smalltalk/p9项目的愿景！
Plan 9 的 9P 协议在现代技术中有哪些实际应用？ Linux 容器、WSL2、QEMU 共享文件夹
== Kay真的是先知呢？ 看看历史就知道！
详细介绍 Alan Kay 针对儿童教育设计的 Smalltalk / Etoys 系统，它是如何实现图形化与动态编程的？ 非常类似F12和Scratch
是啊，我们常把gui和cli/api全分开来看，其实就是基于 `工作流 - 名词 - 数据流` 的不同层次封装？GUI很难实现子命令不断Tab的处理自由度。
Smalltalk也不能把一段json或原型映射为用户ui，并保存编辑为源码？可以。和 F12(CSS,js) Workspaces 完全一样
你的意思是，st 里一个源码本身就像dom的innerhtml一样？没错。
但是我说的更严格，是允许lilgui那样的信号库直接修改和监听对象状态，比如在ide里弹出编辑界面？ Kay的作品自带这个实现！
这么一看Kay的设想里反射、信号、闭包，甚至Worker并发都很齐全， 其实问题只是词法太丑了？没错，你看Scratch和JS用Smalltalk×Lisp的心智模型，流行度就完全没问题。可惜了“细胞计算机”在特性上比现代函数式还领先
== 现代的livecd
都在用ventoy/drivedroid 对吗？后者因为GKI的砍驱动树问题已经凉了，和wifid接收端的命运差不多
可是基于squashfs-overlay的持久化live环境，与类似Systemback的live iso制作呢
这么好的hook方案之前怎么就没人做？ 裸机编程生态很陈旧
哦，类似于ntfs3g转wasm那样啊？ 连malloc都要自己写
- 这种东西不就是hook掉几个内核/libc函数吗，反正fs本质上也就是mmap转openat
- 哦，我的意思不是说测试不花力气（实际上可以在seabios上完成），而且核心代码其实是在initrc的识别和hook里
- 我是说文件系统和elf-cpio-sfs的引导加载链涉及的实质计算很少，都是对魔数offset，函数也并不多
类似技术力较高的还有pecmd和diskgenius。这个设计不比gnu家的coreutils好太多啊？ 那当然
- Top10 电脑城u盘里有技术力的软件：Symantec的工具包、AIDA64和WizTree（文件清理）也很知名，就是没有cpuz这些跑分工具那样多
- 如果说livecd的基础排除看不见的udev，就是.sfs压缩镜像，那ghost和wim是属于winnt的sfs (Ventoy)
Wim在应用上是买椟还珠的。 明明可以做检查点livecd和flatpak？ 因为是部署团队编的程
== 看看WinNT的老丈和新账
系统端：的扭曲 抛弃了轻量级的文件级挂载，直接走向了重型的 Hyper-V 硬件虚拟化（如 Windows Sandbox、WSL2、甚至胎死腹中的 Windows 10X，全部基于 VHDX 虚拟磁盘），耗费大量的 CPU 和内存资源。
哈，本来就应该hybrid，为什么非要二选一。 优雅容错
太幽默了w10x，曾经的98还是me也支持出色的虚拟化（或单线多任务？）
怎么敢在共享api都不确定的情况下这么虚拟cpu？
V86模式非常明确的hook掉了bios 0x10的图形flush调用，确保shell进程有最高z-index，从而避免资源占用问题。这非常明确。
win10x是不是连Docker程度的管线理解都没到位，这怎么好意思继承发明注册表的人的代码基
他们是不是觉得这是个5G云操作系统了？还不如H5，js是真能写gl游戏
你没搞错吧？Ring0也装进去W10X怎么跑游戏反作弊呢，这个项目应该不是认真的主线win10计划？ 确实，是上网本，但可运行exe的噱头太大。
Ring这个概念是abi世界的一种讲法，从裸机和内核开始往上的加载链，感觉这个术语有点不友好。另外，独立的智能卡/ TEE也属于Ring-1，真不知道怎么称呼内核层
再下面就是微宏内核之辩了，然而一切都和普通的httpd/curl双工设计差不多，比如可以合并请求、复用socket管道队什么的，scx和mmap都是对象池嘛
既然要这么玩，直接Unikraft+SQLite式单线任务好了。谁知道那些bin里都在自旋等待什么，可能就是无效轮询，C天生就是惊群的，连闭包都要写class。在一个错误的模型里谈省电和后台性能，是无效的。
面对一个能把UI写的比用户的视觉还卡、比GBA掌机还卡的软件工程世界，最好不要期待什么启发式+20%rps fps的。 说不明白他们在P9工程师什么
一个几百兆编译后的codebase，不知道代码或功能热点有百分之几，开始谈网络卡在哪几行或调度的性能。不如把C都转译成js，然后用即时调试的技术看看到底卡在哪里
🤔💭
#os 现在的人，真是CPU主循环（procfs粒度的）和GC（4K粒度的粗分配）都要手写(scx_wtf, jemalloc)，然而真能出可见效果的，寥寥无几。还不如直接改sw.js来的省电。 🤓
duangsuse::Echo
#ai速答 #os #post Linux引导链、二进制 https://chat.librechat.ai/share/NH_o6nWE2OeF0nGOLXoaG Grub 现在还流行吗？确实老牌都还在用，但现在运维都用网页panel了…… sd-boot很快阿 Limine和rEFInd对比呢？后者是带界面的，类似Ventoy UKI不就是一个elf加cpio么。。 确实，但可以给cmdline签名 PE相比elf有什么好处，作为EFI的捆绑？ 图标协议？ 就不能在elf里塞一个000权限的…
#os #post libc不懂线程模型
一个默认不是EPOLLEXCLUSIVE的libc，和天生除了
C工具链的一切都是进程的尸体，和代码本身并无关系，也和作者的心流意图相去甚远。这不是性能的问题，纯粹是不会读空气充满跑通次抛的气质，否则下游为什么都在改、加框架才能脱离玩具。 能跑和【能活】是两码事，能绿就小心了。
C文件完全没有被调试的价值，它的typing就像它的隐转一样在静态语言里出戏，就连WASM也不咋样。 用C却从未自带“人肉编译器”的编程者是libc生态的受害者，而只为调几个API和“编译器隐藏大招”教人C开发应被视为某种犯罪，这是在传播思想残疾了。
整个污染性的await的编程世界，都是4K内存页和奇葩调度器搞的鬼。本来是串读串写的（线程栈），和本来是块和事件的（fs/sql/httpd等程序），说UNIX没有预期我不相信。
混在一起做IPC和“竞争性优化”，结果毛都没搞成，因为就是在内耗，心智模型不如一个git和CRDT合并。
Alan Kay 追求的是一个能让儿童理解和创造的、动态的、自包含的“元媒介”。他不仅发明了OOP，而且完美规避了现代全栈的问题，没想到吧？React和AWS Lambda的发明，早就在Scratch和JS的前身里，而且第一门OOP语言就连Bool都是函数式{}块的实现。 人家一开始就没把 ./file 和 addFile(URI, blob) 给混为一谈
Swap最初是用于关闭重开状态保留，源码一开始就像innerHTML(JSON)那样只是内存对象的表示，性能差但从未有Y2K和C10K的债要还，NixOS吹的特性Kay早就做好了。
一群连回调地狱都没写过，连F12和断点都不是人均使用过的编程语言定义【高并发】。battle-tested 框架还不如Kay给小孩子做的GUI解决的漂亮，一开始，就是按信息构造的方法，消去它
如果一开始，就没有把accept() Worker卡掉，哪来那么多重造轮子的IPC需求？
一开始没分清【计算】产生的信源就设计libc，然后到处无意义的while(1)，结果只证明“系统编程”经验替代不了用户诉求与洞察力。
一个默认不是EPOLLEXCLUSIVE的libc，和天生除了
onclick=()=>{if...; return true} 还支持capture和scroll特例优化的js，真不知道C设计时脑子在干什么。默认广播？广播什么？C工具链的一切都是进程的尸体，和代码本身并无关系，也和作者的心流意图相去甚远。这不是性能的问题，纯粹是不会读空气充满跑通次抛的气质，否则下游为什么都在改、加框架才能脱离玩具。 能跑和【能活】是两码事，能绿就小心了。
C文件完全没有被调试的价值，它的typing就像它的隐转一样在静态语言里出戏，就连WASM也不咋样。 用C却从未自带“人肉编译器”的编程者是libc生态的受害者，而只为调几个API和“编译器隐藏大招”教人C开发应被视为某种犯罪，这是在传播思想残疾了。
整个污染性的await的编程世界，都是4K内存页和奇葩调度器搞的鬼。本来是串读串写的（线程栈），和本来是块和事件的（fs/sql/httpd等程序），说UNIX没有预期我不相信。
混在一起做IPC和“竞争性优化”，结果毛都没搞成，因为就是在内耗，心智模型不如一个git和CRDT合并。
Alan Kay 对“未来”的需求可是非常清楚，相比之下，UNIX的千年虫和Java的null是谁的锅呢？ C10K和Y2K是同类问题。这帮人又复杂又愚蠢，愚蠢到连复杂都看不出。
Alan Kay 追求的是一个能让儿童理解和创造的、动态的、自包含的“元媒介”。他不仅发明了OOP，而且完美规避了现代全栈的问题，没想到吧？React和AWS Lambda的发明，早就在Scratch和JS的前身里，而且第一门OOP语言就连Bool都是函数式{}块的实现。 人家一开始就没把 ./file 和 addFile(URI, blob) 给混为一谈
Swap最初是用于关闭重开状态保留，源码一开始就像innerHTML(JSON)那样只是内存对象的表示，性能差但从未有Y2K和C10K的债要还，NixOS吹的特性Kay早就做好了。
一群连回调地狱都没写过，连F12和断点都不是人均使用过的编程语言定义【高并发】。battle-tested 框架还不如Kay给小孩子做的GUI解决的漂亮，一开始，就是按信息构造的方法，消去它
C干了什么呢？它把一个accept()事件注册，变成了类似 (then_ret2proc)=>_Noreturn 的Stop-the-world调度魔法，这是魔法函数，只因为UNIXer觉得不支持()=>{}的C就是唯一的编程语言，而且libc的fork()隔离成本“极低”。
sched.c与vm.c，很大程度上是在【用最愚蠢的方法】实现fnarg2obj（闭包）和GC。而0644那种权限的保护，很大程度上不如CSP对js和apk的保护，因为是CSP白名单是可以从行为自动生成的。
那么read|write也是同理，然后他们还很乐观的使用 cat|sed|less 这样的“UI密集型”接口，甚至产生了IPC这种结构像bashrc的“调用等待队列”的问题。其实串读串写、事件、块设备，是三回事，其实addEventListener和transfer()是对的，而IPC就是一团乱麻。
如果一开始，就没有把accept() Worker卡掉，哪来那么多重造轮子的IPC需求？
一开始没分清【计算】产生的信源就设计libc，然后到处无意义的while(1)，结果只证明“系统编程”经验替代不了用户诉求与洞察力。
#rust #os
#rust 递归的href失效链接列举器
https://share.gemini.google/7nZmDVJC9hdF
5 年！5 年！lychee 最初被设计为一个单向无环流水线（DAG Pipeline）
强行增加“从 Response 回传到 Input”的反馈环时，遭受了 5 年的架构折磨。
🦀
#rust 递归的href失效链接列举器
https://share.gemini.google/7nZmDVJC9hdF
5 年！5 年！lychee 最初被设计为一个单向无环流水线（DAG Pipeline）
强行增加“从 Response 回传到 Input”的反馈环时，遭受了 5 年的架构折磨。
🦀
duangsuse::Echo
#post #bin #os lib.so是库对象？是C模块？ 谈谈纯函数、全局表容器、Worker线程模型 随着React的火热，大家应该都听说过「纯」函数式编程(#FP) 这个规范了。纯意味着不更改变量和外部状态（例如stdIO），但它和 .c 的ABI(.o 和最终输出的 .so) 有啥关系呢？😅 在点出关联之前，我要发表一段很典的评论： 90%的PFer不懂FP。 考虑一个 node &>/dev/null any.js 的环境，简单的 "log IO" 真的是“不纯的代码”吗？ 请注意，stdout没法回环到原进程。…
#post #ce #haskell(IO) #os #js CPS是什么（异步和函数式编程 都可以看）
#ai锐评
🌶 https://chat.librechat.ai/share/hjL775AHhAji7HM8K0lFt
🧁 https://chat.librechat.ai/share/SmoUvMiuxY_hfmIcUEK95
CPS 不是 Clicks Per Second, 而是 Continuation-pass style，后者可用于优化前者。 😉
CPS的理由：CPS产生【回调链表】作为线程栈 📜，可以让单线应用像操作系统那样工作 ⚙️，但不能处理音画同步和多线下载（绿块块下载/暂停/断点续传等），这依然需要
CPS：把所有
CPS变换：如果
否则，需要处理
TCO：在递归时
Promise与Continuation：
将 ()=> 给 async 化变为对象后，它的 return 值就放在了
（这是一个GC引用问题，未完成而被await时，proc在sleep时，内存占用不会消失。c10k问题） 👀
（c10k和y2k一样是个傻逼问题 accept()明明依赖io_token，非要依赖pid，产生4K栈和CPU无效轮换的问题）
通过实现
有人 alias then值='酷酷的lambda' 或 'pthread线程'，其实它更像 fn.bind(框架已知参数).bind(你的已知).call(运行时参数) 🤔。
这篇文章有点《图文不符》的意思了，其实还是有内容的，只不过AI味特别浓。
#ai锐评
🌶 https://chat.librechat.ai/share/hjL775AHhAji7HM8K0lFt
🧁 https://chat.librechat.ai/share/SmoUvMiuxY_hfmIcUEK95
故意生成的 emoji 🤗 AI味，看看逆不逆天？原文是手写的
CPS 不是 Clicks Per Second, 而是 Continuation-pass style，后者可用于优化前者。 😉
CPS的理由：CPS产生【回调链表】作为线程栈 📜，可以让单线应用像操作系统那样工作 ⚙️，但不能处理音画同步和多线下载（绿块块下载/暂停/断点续传等），这依然需要
Coroutine 调度器（事件循环/libuv）来补位。之后就和ChromeOS一样完整可用，脱离 C-like 世界的掌控了！🚀CPS：把所有
return x 换成函数语法如 onRet(x)，因为只是调用，就可以玩两两组合了 🧩，比如 if(x=onCatch(x)) onRet(x) or exit(1) 或 addEventListener('click', ()=>onRet("两个按钮你点了确认"), {once})。没错的！✅ 你甚至能在 throw 错误的行号原位恢复，OR 手动实现 yield✨/callcc-setjmp/Algebraic Effects 依赖注入模式。CPS变换：如果
return x 都被换掉的 def 只是一个计算图（只包含赋值和 ret 变量），可以直接变成 switch(op++) case 0 case 1.. 的行号调试（每个 case 将不以 break; 而以 return; 结尾，c=a+awit b 变为 _1=wait;c=a+_1） 🔢否则，需要处理
for if 以及相关的流控，如 throw 和提前 return、爆栈的 DFS 等等，也就是扁平化为 goto(op=xx)，f() 一次就走一句（几行的微任务）。 🚶♂️TCO：在递归时
f=(n, r)=>(n==0)? r : f(n-1,r+1) 是个特例，可以改写为 f(n,r)=return continue(n-1,r+1) or (n==0: r) ，这样的多分支状态机 🤖，所以叫伪递归（TCO）。另有一种将 f(n)=n0? 0 : f(n-1)+1 转为的【自动累加器化】，还有使用TCO（甚至模板解释器）优化 switch(opcode[i]){} VM的标准写法 ➡️ https://t.me/dsuse/21568Promise与Continuation：
(async()=>1)().then(one=> {}) 在一个CPS对象上写个 then 回调。🤝 因为每个 {} 块都有要“返回”到的行号，和此行号周围的【🎁已知变量元组/Upvalue/闭包】，这就称之为 then 值，粗略的认为它是F12面板你按F8暂停时 ➡️ 所指示的一行 【点开可看的函数名】。 将 ()=> 给 async 化变为对象后，它的 return 值就放在了
u._ret 和 rr=u.call(_yield的返回值=null)。rr 值用于优化 await 1 这样不挂起到 libuv 或 syscall 的缓存 ⚡️。 u._ret 即使在完成后调用 .then 也可读取哦！（这是一个GC引用问题，未完成而被await时，proc在sleep时，内存占用不会消失。c10k问题） 👀
（c10k和y2k一样是个傻逼问题 accept()明明依赖io_token，非要依赖pid，产生4K栈和CPU无效轮换的问题）
通过实现
onYield(i also{i+=1}) 与对应的 forEach，正如 onRet 与另一 Worker 上对应的 then，我们可以定义一个走1024次(4KB)才返回1次的 func* 📜，而不需要和 java 那样弄 iterator(){} 和 BufferedX()，这就是 Kotlin 最近的方向（但它们对响应式 flow 的理解不如 Svelte 🤷）。有人 alias then值='酷酷的lambda' 或 'pthread线程'，其实它更像 fn.bind(框架已知参数).bind(你的已知).call(运行时参数) 🤔。
这篇文章有点《图文不符》的意思了，其实还是有内容的，只不过AI味特别浓。
Telegram
duangsuse::Echo
#ce py3.14 线性解释器(C实现)的新优化😝
- Tail Call Interpreter 是py3.14优化字节码解释器（大 switch(int) {case opcodes..} ）的编译期优化，因为CPy跑def里的每条指令都有利用，PGO提速15% ，而且，perf现在能看单条opcode的开销了！
- [tailcail,兄弟调用] 就是跳转地址不在自身的 [tailrec,伪递归]。因为伪递归==改参数goto开头重来，而且，这种优化非常常见(相较于 [Computed Goto])，所以被…
- Tail Call Interpreter 是py3.14优化字节码解释器（大 switch(int) {case opcodes..} ）的编译期优化，因为CPy跑def里的每条指令都有利用，PGO提速15% ，而且，perf现在能看单条opcode的开销了！
- [tailcail,兄弟调用] 就是跳转地址不在自身的 [tailrec,伪递归]。因为伪递归==改参数goto开头重来，而且，这种优化非常常见(相较于 [Computed Goto])，所以被…
duangsuse::Echo
#pingbk #awesome #design https://zxl19.github.io/awesome-list/#github项目美化 https://sidebar.io/ https://changelog.com/nightly https://www.awwwards.com/ https://tympanus.net/codrops/ https://recent.design/ https://www.context-awesome.com/browse （来源 https://awesome.re/…
Rust和 #math:
https://lobste.rs/
https://increment.com/issues/
https://handmade.network/projects #os Odin编程语言也在其中
game界也有啊，经常讨论blow播客的，还有indie 发布的站点:
https://itch.io/
https://www.gcores.com/articles/151541
https://xpaidia.com/sunset-project/
确实都是那个领域的先知啊，Jonathan Blow、Inigo Quilez、Bellard、Alan Kay 什么的，而且creative coding 里每个人也都很有个性呢…… HN blog rank的ciechanow.ski和Neal，甚至只是“落后”的 Ncase.me 《可探索解释》
Bret Victor 的演示直接启发了后来的 Swift Playgrounds，以及 React Redux 热重载 (Hot-Reloading) 的灵感。可探索解释要求文章本身包含一个“微型世界”的数学模型。直接弄滑块、修改图表里的变量
Blow是极少数王垠博客里夸过的 game author 呢。虽然有些人不如Linus或Bellard那样知名，但是也是非常恐怖的呢~
“落日间 (xpaidia)”和机核 (GCORES) 的深度长文区，对游戏的理解已经完全脱离了“消费品”或“工业流水线”的范畴，而是把它看作和文学、电影甚至数学同等重量的“思想媒介 (Medium for Thought)”。
“游戏不仅是好玩，好的游戏设计是在探索宇宙中早已存在的某种系统真理”。 就像Portal、MC、纪念碑谷、OSU这些“非典型游戏”，它们并不是Flash时代丰富但平台化的功能性产物。
【落日间】绝对是可以和各种yt台媒（如志祺77 / STR）、各种B站“回形针复活”的制作质量相比的。虽然只是文字，但【朋友圈】都是世界级的，就像 Alan Kay 一样表面爆冷，其实是真先知
🐮🍻
https://liuyandong.com/archives/9594 #os #lisp
https://liuyandong.com/archives/23347
#ai 说起来，有人发现大模型时代内存、发电厂、用户数据升值了，也有人认为虚拟化和不可变(XClaw)、 Agent代办集成(Harness)、直接交互（Alan Kay） 更彰显了
前端的管道膨胀： 本质只是“拿数据并画出来”，现代前端却将其拆解为：
后端的过度分层： 一个简单的 CRUD 请求需要流经：
但是没人觉得编程本身是以目的驱动的、声明式的，就像html与现代有些无脑的 innerHTML=.map().join() ... 其实不需要那么多过度设计，之所以说是过度，因为它们对“推理逻辑”没有贡献。
🤔💭 #selected
UNIX 的计算模型很简单，即用 C 语言和 shell 对系统调用做一个胶水包装，不提供内存管理也不提供异常处理，文件系统也很低级，不支持文件恢复也不支持文件的元信息存储。而 MIT 的LISP 机器的计算模型和存储系统看上去都更加高级，统一的函数式接口，自动内存管理等等。
到最后几乎所有能在 UNIX 里做的事情，都能在 Emacs 里完成。这样，除了操作系统内核外，Emacs 完全取代了 UNIX 环境。Emacs 功能强大到大家都同意 Emacs 是个万能软件，而 vi 用户则开玩笑说 Emacs 是个缺少一个好编辑器的操作系统。大家都知道，Emacs 的作者正是从 MIT 出来的 Richard Stallman。
https://liuyandong.com/archives/23347
程序员不能没有大模型，就像西方不能没有耶路撒冷。听说，榜一大哥目前无法解决的问题是：打赏一停，爱情归零。AI编程目前无法解决的问题是：会话一停，推理归零。我们往往“只知代码发生了改变，却不知代码为何发生改变”。
程序员写了个提示词，大模型咔咔一顿跑，生成了3528行代码。我们只是看到了这些代码，AI没有告诉我们，刚才它经历了多少次推理，踩了多少坑，才写出了这些代码。AI 的推理过程往往是并发的，非线性的。它的“思考”存在于 Claude 或 GPT 的上下文窗口（Context Window）里。当你关闭 IDE 或清空对话的时候，这部分“思考”既没进程序员的大脑
最宝贵的资产其实是“推理逻辑”，不记录“推理逻辑”而只记录产出的代码，无异于买椟还珠。
#ai 说起来，有人发现大模型时代内存、发电厂、用户数据升值了，也有人认为虚拟化和不可变(XClaw)、 Agent代办集成(Harness)、直接交互（Alan Kay） 更彰显了
前端的管道膨胀： 本质只是“拿数据并画出来”，现代前端却将其拆解为：
Fetch -> Cache Store (React Query) -> Client State (Zustand/Redux) -> Selector -> Memo -> Props -> Hook -> JSX。每一层都引入了订阅、防抖、重渲染优化和内存泄漏风险。后端的过度分层： 一个简单的 CRUD 请求需要流经：
Controller -> DTO -> Validator -> Service -> Domain Model -> Repository -> DAO -> Entity -> Database。代价： 业务逻辑原本是一条直线的因果推理（“如果用户未付费，则报错”），现在被切碎并散落在 8 个不同文件和抽象接口中。代码的体积增加了 5 倍
我已经不想复述Android的各种MVP、MVVM、MVI的失败了—— worse is better. “生态”是丰盛的，best practice 是标准的，然而【上限】连web都不如。整个工程 80% 的代码都没有pixel在屏幕上，软件幻灭。
到今天compose喷气桶，搞这么多年“优化”又回到是JSer领军。 连round-trip都没测试明白就开始class抽象。 恭喜你：现代横屏触屏系统都是ChromeOS了！
但是没人觉得编程本身是以目的驱动的、声明式的，就像html与现代有些无脑的 innerHTML=.map().join() ... 其实不需要那么多过度设计，之所以说是过度，因为它们对“推理逻辑”没有贡献。
🤔💭 #selected
duangsuse::Echo
一个用只增Tape管理AI记忆的IM2LLM服务
#tg Tape 事件流服务/上文过滤是骨架，那么 Hooks 就是赋予骨架灵魂的定制代码。
可以用钩子来净化文本、进行意图识别、或者从数据库查询额外信息。
Channel 是一个适配器层，它定义了如何接收来自特定平台（如命令行、Telegram、微信、Web 页面）的消息，以及如何将 Agent 的回复发送回该平台。
曾经设想过一种tgbot api 的类似CGI的运行模式，但当时的设计仅仅能让多个Chatbot拉群免重复配置，非常贫瘠。 SCP-079 那样通过private广播监听微服务，又过度设计。
#os 其实，这种单向数据流、多模块并行的设计，就是 Alan Kay 的 Actor。 这种模式最初在Etoys里用于一个支持碰撞转向的玩具小车（可以独立的暂停，通过色点重叠触发计算事件）
通过这种方法实现多函数合作，更加动态类型，而且每个组件存储与事件更独立，非常适合人机接口类App。让人十分意外的是， Linux io_uring SHM就是这样的模式
可以用钩子来净化文本、进行意图识别、或者从数据库查询额外信息。
Channel 是一个适配器层，它定义了如何接收来自特定平台（如命令行、Telegram、微信、Web 页面）的消息，以及如何将 Agent 的回复发送回该平台。
曾经设想过一种tgbot api 的类似CGI的运行模式，但当时的设计仅仅能让多个Chatbot拉群免重复配置，非常贫瘠。 SCP-079 那样通过private广播监听微服务，又过度设计。
如果bub里能多Agent共享内存，或许就不一样了，比如，可以搞bridge bot，可以用Web调试tg上的群，等等。非AI应用如数据统计也没问题呢
以前想给不同的bot设置一个Webhook实例，但是场景非常有限。 如果是不同的聊天软件，甚至支持Tape类型化记录的话，确实是很 fast forward 的方案，想想就比一堆Bot克隆人有趣
#os 其实，这种单向数据流、多模块并行的设计，就是 Alan Kay 的 Actor。 这种模式最初在Etoys里用于一个支持碰撞转向的玩具小车（可以独立的暂停，通过色点重叠触发计算事件）
通过这种方法实现多函数合作，更加动态类型，而且每个组件存储与事件更独立，非常适合人机接口类App。让人十分意外的是， Linux io_uring SHM就是这样的模式
duangsuse::Echo
#post #ce #haskell(IO) #os #js CPS是什么（异步和函数式编程 都可以看） #ai锐评 🌶 https://chat.librechat.ai/share/hjL775AHhAji7HM8K0lFt 🧁 https://chat.librechat.ai/share/SmoUvMiuxY_hfmIcUEK95 故意生成的 emoji 🤗 AI味，看看逆不逆天？原文是手写的 CPS 不是 Clicks Per Second, 而是 Continuation-pass …
arXiv.org
A Design Space Exploration of Async/Await
Many modern programming languages include some form of asynchronous programming. In particular, a growing number now have what we call straight-line asynchrony: attempts to provide asynchronous...
https://arxiv.org/abs/2608.20677 #os #rust
🐧 pthreads： 你们终于重新发明了pid和 cat|less 的背压暂停，还把kill和Promise.all一挂全挂当成独家特性来做了。
如果stdout支持对象，并且ForkJoin支持call()结果数组，这大概就是async的样子了。 下一步大概就是搞出个 bash -c 'jobs' 和pm2了
认为自己理解并发的，往往有几种【事件类型】都拎不清。把React的“事后diff”犯了的epoll（甚至select），和js早有了的uring（1 r/w不需要挂起1pid）就是例子 。
再比如yield是按bufsize算，还是 stdbuf -oL 还是 timeout $(curl)？ Channel还是能硬编码struct长度的SHM？ 甚至丢几帧（视觉流/debounce=latest）？ 一旦打开“流”和socket，我们会考虑面向消息？面向帧差？
消息边界？ 丢帧的反馈？ 而标准库这都不知道。
手机上并不是只有CPU密集和IO密集（IO本质上是上文yield的密集）。它还有UIUX和视频解码，甚至bash的管道密集也需要优化glue的简写法。
一开始没考虑到这些“小白复杂度”，再牛逼的系统编程师也会栽。
TCP 是字节流，框架层于是各自重新发明【消息边界】：WebSocket、QUIC、gRPC length-prefix、HTTP/2 frame。UI：deadline 密集型应用（16.6ms）+ 优先级继承。Media时间戳： 直接把Wayland的【被遮挡时0Hz渲染】模型干的心态崩了
😋 哦，原来要到事后，我们才知道多线程是一个小白刷手机也会遇到的问题。
然后App状态和配置加载，是另一个更大的问题。 bashrc和apprc都是把“点按钮”的命令当设置KV来用，目前是JSON世界之外唯一能说明白的状态管理方法——启动状态只是命令重放的终局。其他的却都是臃肿且不如JSON的模型，比如改个配置要重启。
😁 这又让我想到了串读串写（序列化）如何0拷贝—— 递归head()一个流返回对象本就是把栈copy到堆，再把堆sort回write()栈。Proxy o.k,o.k= 语法足够做到即用即seek，push时记在小本本。和状态管理的群魔乱舞，有异曲同工之妙。 OOP该死的this.a=a不就是这样无意识的，把神装弄成了人人厌弃的败笔吗？
Kotlin把FP的臃肿变成了 T?.let{} 的神器，而另一些人，把优秀的心智模型弄成AI用来凑行数的的噪音。“执行力很强”。
三位一体的荒谬：消息边界或帧差反馈、状态管理、串读串写/对象绑定 ，从头无意识到应用层。 写个App都能感觉你的上游是梦游
我的母语是无语.jpg
ref: https://t.me/hyi0618/15011?comment=169350
🐧 pthreads： 你们终于重新发明了pid和 cat|less 的背压暂停，还把kill和Promise.all一挂全挂当成独家特性来做了。
如果stdout支持对象，并且ForkJoin支持call()结果数组，这大概就是async的样子了。 下一步大概就是搞出个 bash -c 'jobs' 和pm2了
JS：默认 hot/eager；Rust：默认 cold/lazy；Python / C# / Swift 各自为政。 Kotlin 的创意最专业，但玩法最混杂，不如Go全默认
最后还是不如js，一开始就拎清了CPU、IO、UIUX、音画同步、“API优于IPC”（文件管道密集） 的场景，CPU密集Worker绝对不和协程共享变量集，Arc Mutex 不用写样板，只需要transfer:[me]
认为自己理解并发的，往往有几种【事件类型】都拎不清。把React的“事后diff”犯了的epoll（甚至select），和js早有了的uring（1 r/w不需要挂起1pid）就是例子 。
再比如yield是按bufsize算，还是 stdbuf -oL 还是 timeout $(curl)？ Channel还是能硬编码struct长度的SHM？ 甚至丢几帧（视觉流/debounce=latest）？ 一旦打开“流”和socket，我们会考虑面向消息？面向帧差？
消息边界？ 丢帧的反馈？ 而标准库这都不知道。
手机上并不是只有CPU密集和IO密集（IO本质上是上文yield的密集）。它还有UIUX和视频解码，甚至bash的管道密集也需要优化glue的简写法。
一开始没考虑到这些“小白复杂度”，再牛逼的系统编程师也会栽。
TCP 是字节流，框架层于是各自重新发明【消息边界】：WebSocket、QUIC、gRPC length-prefix、HTTP/2 frame。UI：deadline 密集型应用（16.6ms）+ 优先级继承。Media时间戳： 直接把Wayland的【被遮挡时0Hz渲染】模型干的心态崩了
而时钟域之间必须放一个有损 channel。Web 上大家在 rAF 被0Hz时也学到了同样的东西：AudioContext.currentTime 做主时钟，只是一个在 UI 里叫"跳帧"，一个在网络里叫"丢包"
> 消息边界：Binder 小 parcel 走拷贝、大 buffer 走 ashmem fd；Erlang 二进制超过 64 字节走引用计数。标准库一般只给前者，后者要么第三方要么 unsafe
> 绝大多数语言：lossless、按量、按元素sizeof，单时钟、无优先级。其他所有认知都要靠库 (onBufferOverflow = DROP_OLDEST | DROP_LATEST | SUSPEND)
😋 哦，原来要到事后，我们才知道多线程是一个小白刷手机也会遇到的问题。
然后App状态和配置加载，是另一个更大的问题。 bashrc和apprc都是把“点按钮”的命令当设置KV来用，目前是JSON世界之外唯一能说明白的状态管理方法——启动状态只是命令重放的终局。其他的却都是臃肿且不如JSON的模型，比如改个配置要重启。
😁 这又让我想到了串读串写（序列化）如何0拷贝—— 递归head()一个流返回对象本就是把栈copy到堆，再把堆sort回write()栈。Proxy o.k,o.k= 语法足够做到即用即seek，push时记在小本本。和状态管理的群魔乱舞，有异曲同工之妙。 OOP该死的this.a=a不就是这样无意识的，把神装弄成了人人厌弃的败笔吗？
Kotlin把FP的臃肿变成了 T?.let{} 的神器，而另一些人，把优秀的心智模型弄成AI用来凑行数的的噪音。“执行力很强”。
三位一体的荒谬：消息边界或帧差反馈、状态管理、串读串写/对象绑定 ，从头无意识到应用层。 写个App都能感觉你的上游是梦游
我的母语是无语.jpg
ref: https://t.me/hyi0618/15011?comment=169350
duangsuse
JS F12 的优势也不只是动态能力强，而是它把运行状态投影到了人的任务上：DOM改写和事件、网络请求、源码Map、可query的对象。 符号执行并不天然不懂 libc，好像它没有开发者的常识一样。 逆向领域怎么说怎么厉害
#math 大家想要的是“刚刚好能解决我问题”的实用工具，而不是一个能“理论上解决所有问题”但一进bash，什么都跑不动的“万能神器”。
信号处理、ML 的解题哲学正是如此。 不需要先验，压缩代码不用语法树，模型调参不算符号微分，而是思考更高层的平替，结果反而吊打学院派理性
先验知识不是没用，而是生搬硬套。形式化模型的本质是loop语料和模式匹配，明摆着是智能的【材料】，却把它当智能的唯一证据，甚至【指导优化】，实打实的【榜一】却要向还原论俯首称臣。
编译器看不清自己是有KV池的文本替换、符号执行变成不认 libc 的高端自慰、反编译器拒绝编辑回馈、理论上完备，但一碰到小白【发自真心】的一句话，就跑不动。到底谁是老大？ ML 界办法笨，但不弱。
信号处理、ML 的解题哲学正是如此。 不需要先验，压缩代码不用语法树，模型调参不算符号微分，而是思考更高层的平替，结果反而吊打学院派理性
先验知识不是没用，而是生搬硬套。形式化模型的本质是loop语料和模式匹配，明摆着是智能的【材料】，却把它当智能的唯一证据，甚至【指导优化】，实打实的【榜一】却要向还原论俯首称臣。
编译器看不清自己是有KV池的文本替换、符号执行变成不认 libc 的高端自慰、反编译器拒绝编辑回馈、理论上完备，但一碰到小白【发自真心】的一句话，就跑不动。到底谁是老大？ ML 界办法笨，但不弱。
是创造的材料，还是科学成果？ 到底是知识，还是诅咒呢？ 很难判断啊。但是，Scratch、Flash和MC脚本并不低端，它们比 #PLT 和 #OS 更不可替代，因为不是死的。
工具的智能，应该花在缩短闭环、把状态投影成人能上手的形态，而不是花在证明自己不需要人。
你认为的深奥，其实是糊弄。形式，是卡了实践的脖子，是实践的小秘，不是让实践更优的【发源地】，需求才是。《拒绝的品味》更重要
What u cannot create, u do not understand. 通过【形式描述】来理解的，不是知识和技巧，而是技巧的墓碑。作为 #PLT 人，总是被表象和习惯给愚弄。
直觉是太阳，形式是月亮，人们喜欢黑夜，因为秋收时可以推说是缺乏阳光。
真正能创造的理解，是带回路的。