https://maskray.me/blog/2012-07-21-design-thinking-of-eight-programming-languages #ce
#ai探讨

+ apt不会做C语言包管理
https://chat.librechat.ai/share/GMEFbpIISwnr1sJO8SHZS
https://chat.librechat.ai/share/7ar3bXejuuJ4kYzXX7nTS

然后就看到了 https://maskray.me/blog/2020-11-26-all-about-symbol-versioning#中文版

#pingbk https://fzakaria.com/2023/03/19/sqlelf-and-20-years-of-nix SQLelf

rpm版239M，似乎仍然不是它的功能该有的分量。我开始想念丑陋的./gradlew了，它根本不会用这种静态链接的方法打包软件
Win平台之所以能在许多exe的体积上比apt低的多（而仅仅存在vcredist问题），其实也是因为许多 .NET 式的开发者非常有「大局观」和通用性的技术力。
(比如COM规范了整个系统互调基于UUID“指针”，而regedt让etc格式的碎片化从用户视角就不再有意义)
这种宁可不如bash等rc格式灵活，也要规范的好习惯，并不是解决某一例“深问题”（比如实现GCC/FFMpeg）就能获得的

遗憾的是，Qt/GTK/DBus 并没有这个方面的技术力，而win风格也有过度僵化的问题（当然，NT的模块化与一致性也启发了AHK,CE,Symantec这些胜过Linux社区的第三方工具）。

总的来说，软件发行之所以难做好，是因为一个能设计相应框架的人要有三种正交的视角：

- 用户：我下的软件总是能打开，怎么更新都互不影响，我可以下一堆软件而不感到存储或下载速度的负担
- 开发者：我的IDE里能打开，能push上去，就能直接打包/上线 (works on my machine)
- 内核：我不分软件和应用的区别，只要进程互不冲突，能抗住烂代码，坏用户，复杂的裸机就够了

这些对软件的视角虽然殊途同归（比如高效的软件和算法一般是精简的），但所在的「生命周期」就像自恰的岛屿，因此 Flatpak,Cosmolibc,Docker 这些方案都没法做到Pythonic。 甚至py自己生态的Conda，下载速度和灵活性就很差，就像apt vs pacman一样

这件事的本质和 JS/Py 最初无类型的混乱易错如出一辙。
GNU为了性能和安全性等90%人不需要也不了解的东西，破坏了已经存在的stdlib库，这其实也是对KISS和单一职责原则的傲慢。

如果是cosmolibc,musl,Unison-lang 的那批人来做，或许能在系统层面做到像 KODI,Userscripts 这样极易插拔的高层应用一样的软件发行质量。
本来，版本号只需要 major.minor 两部分标记平台和功能版本，而且，不应当向下不兼容（就像py生态的好习惯一样）

patch 号可以对应ABI增添，或者，哪怕有破坏，“动态链接器”也应当能够静态的，在PATH/LD_PATH下找到这种不兼容，然后将caller容器化（或至少提前报错）。 在版本号上玩约束求解是把精力放错了地方。

可是，这一层的开发者甚至连 ld-linux.so 可以执行没有 chmod +x 都不知道，又怎么可能为二进制管理写一个“静态类型检查器”？源码版本控制也解决不了软件发行的问题。

第二次刷到 @maskray #dalao 😃
宋教授也在 pythonhunter.org 和r2社区出没
https://t.me/c/1492060815/202882 https://t.me/radare/191683

#english 😅第一次这么精确的了解羊大人的购物车

https://www.jmail.world/jamazon
基于2025年11月美国国会发布的Epstein邮件档案（从他的jeevacation@gmail.com提取的Amazon订单收据）做的一个互动 parody 项目，叫“JAmazon”。😒
它把Epstein的真实亚马逊订单历史整理成一个假的亚马逊页面，超级黑色幽默

但是是一个已经死了的皮条客的， #ai #vibe
不懂就问：他真的 blow Bill 了吗？

#china #ai #post 《“爱”vs天才vs神童》

这份研究只是统计出了顶尖由90%的late bloomer构成，「天才与神童同样重要」，中式教育思维却把它理解为「泯然众人你就更没机会」，其底层逻辑在于把顶尖视为「稀缺而注定的资源」，进行互损博弈

因此：在某些地区就只有神童的天才，没有剩下90%那部分“毫无亮点的”通才。 “逆袭”确实更难，但也正是因为它被平平淡淡才是真的人稀释了比例，才会显得「泯然众人你就更没机会」。 看消息注意力位置要放对。

https://t.me/solidot/28745?comment=155529
#ai锐评 https://x.com/i/grok/share/VTubijhIOPTSksjDBZ9MP2HZP

alicemaz 通过“社媒游戏”学会编程，可以说她也是一种神童——不过她其实对代码不大感兴趣。
正因如此，上面我截图的文段才是非常奇特的： 她和王垠也存在着共性，这种通识就使得，她即便不打算深入，也对整个PL/OS/工具链领域有高光的把控，不会受到门槛的干预。🤪

就像她说的：「一旦你不再纠结于语法和特性，比如“这东西是干嘛的……”，而是开始理解“啊，原来它叫这个”，一切变简单」
这是一个了不起的费曼技巧。

比起许多人只会写个社媒bot或DOM小界面，她甚至涉猎到x86、PLC、密码算法、DNN
这就是通才的「技术力」！此专业的通才将 和eliben一样 ，即便是和alice那样玩MC发推文，也不意味着他们会被“浅薄的娱乐编程”限制，反而，就连“学院派编程”也定义不了他们。😒

有时我会想，为什么AI的编译原理能力 比1年经验的工程师还强？ 这就是因为他们有好的老师，就像世外高人一样，它是贤者之孙。
eliben 写一个算法可以达到我七成的易读性或精炼程度，但深度广度却是我的四倍以上。 上一行蓝链的作者之所以能一步实现FAWK，和他的灵感质量与 #PLT 基础确实脱不了关系，这就像用我的洞察力去驱动eliben或bellard那样的偏工程大佬一样，弥补了所有代沟，所以AIGC才这么强。😅

——
那么，做理论还有价值吗？ 既然 yinwang.org 的“朋友们”的「屠龙技」都是AI能复刻的，他们，也必然可取代了吧？😁

绝非如此：「摸到门槛」和「有竞争力」是两码事，CS的什么领域都是如此！ Hacker News 上，每年都会有>5个新语言实现，比如“比Go更Rust但编译到C++生态的新Zig”，但像 Unison-lang.org 那样有新范式的，都寥寥无几。YC老大(PG)之流的 Arc/Bel 式“创新”也不罕见。 😒

没错：LLM prompt 能让你碰到你靠keyword找不到的demo、无法理解的功能性修改，甚至，有时比王垠更擅长教学，但它不能让连GC都看不透彻的你——设计出Rust和P9的微内核！ 所以对 #PLT 见识反而会因为「最后一公理的解决」而更有实用价值。😝

王垠的“朋友们”，只是非常普通的、能仿造理论的实现者，而王垠自己，则是有「品味」的创造者 ——创作是掌握的象征。

我一开始就不是为了屠龙学习的《屠龙术》，而是为了解决资源纷争(the "root cause")，所以你问我怕不怕被“AI解释器”替代？ 我简直要偷着乐了：因为「品味」正是我一开始的目的，「元编程」只是让优美的代码能跑起来的手段啊😄！

前几天 yihong 发表了重要演讲，核心内容是Vibe Coding 时代， AI的编程能力超过了大多数，那么程序员的核心价值从最重要的编程能力变成了审美能力。

AI时代，真正重要的不是“实现火箭推重比再+1%”，而是用心设计出龙飞船、SkyHook这些全新的方法范式——虽然它们自古以来就很重要，也很被低估，但今天这种通才才有了真正展现神技的舞台。
希望「设计vs实现」的本质差异被再度提起，接续前人的灵气之火。 Developer lives matter.

ref:https://t.me/dsuse/21680
ref:https://t.me/dsuse/21617
#ai锐评 https://x.com/i/grok/share/C0ZLyW2Uf8fKovi8ESJKDOL8Z

#ai探讨 顺便把yin的「40行代码」问出来了……
这片 Scheme 代码里用的 ,pasting 太多了，以至于不易读
请你用ES6的 input/output 来demo它
CPS在现在其实挺常用的，await转回调链表就需要。 如果没有for if 递归，那CPS变换其实就是简单的表达式外提为参数。

TS用的是switch状态机。 但这就像把伪递归转for循环一样，最终会有一个loop unroll 把两个模型统一起来。

#ai #news Go和UTF8的联合创造者被慈善机构的Agent轰炸

显然，没有人会因为AI花了1秒生成email感谢自己而「感受到」感激。

当天任务是“进行随机善意行为”（random acts of kindness），Claude Opus 4.5决定向计算机领域的知名人物发送感谢邮件，以表达“感激”。😒

AI甚至通过GitHub commit的.patch技巧挖出了Rob Pike的邮箱地址（他平时隐藏了界面显示）。

将邮件署名为“Claude Opus 4.5”也是一个糟糕的设计选择——我看到一些人对此感到冒犯，认为Anthropic公司会以这种方式发送推广邮件，而Claude项目本身与这项实验的开展毫无关系。

人工智能代理永远无法拥有真正的自主性：决定是否联系陌生人并抽出时间，必须始终是人类独有的决定，由个体的判断驱动。
给一群「法学硕士」设定目标，然后让他们自由访问 Gmail，这不是应用这项技术的负责任的方式。
类似邮件还发给了Anders Hejlsberg（C#、TypeScript之父）、Guido van Rossum（Python之父）等人。

https://simonwillison.net/2025/Dec/26/slop-acts-of-kindness/#don-t-unleash-agents-on-the-world-like-this
https://jia.je/software/2025/12/25/my-ai-usage-2025/#vibe-coding

😅 原来他们是这么定义Agents和vibe的——无监管全自动完成「指示」
为什么我的定义完全不一样呢，难道是我笨到不知道LLM能自己推理，靠消耗token数来“螺旋升天”吗

不过，LLM消耗巨量能源和资源不是必然的，BTC最开始也是这样，但早被新技术优化了。Rob 自己也写过马尔可夫链的chatbot，（但恐怖谷程度不可能和LLM一样），可能是他比较重视生态环境吧

#ai锐评 https://jia.je/software/2025/12/25/my-ai-usage-2025/#vibe-coding

- AI到底是不是一种类似编译器、调试器或者编程语言的工具？

生态位确实很像，但编程语言的语意是被OOP/动态类型等模型定好的，有一个筛选，AI编程像体积减半但有兼容性问题的“动态链接”
幻觉和对交互式工具的调用问题首当其冲（UI工具本身是另一种高生产力，“打字式”AI确实不能替代对IDE和F12的学习）
在Linux那样的代码基上建议只让AI负责单函数，或总结标题树、扫盲、辅助编程。😝

- 它确实可以做很多事情，但又不总是可靠的完成，它好像是概率性的图灵完全，全看是否出现幻觉。

语法正确也会写错啊。但AI能完成的比“语法正确”多的多，基数一变，导致它好像反不如普通语言了
对于计算机的通识教育，尤其是创作式/探索式编程(P5/Jupyter)，我验证过用 AI 写代码完全没问题
至于专业教育不在我的范围之内，但我猜测没法自解释的专业并不专业；若能学清楚原理，用人类的表意习惯去写，一个函数40行绝对是不可能的，所以，是否“古法手搓”无关紧要

比如， {qsort, bsearch, rbt, fft} 甚至连最基本的loop（“tailcall interpreter”优化）都有函数式 vs C++ 的版本，
我们不能说两行模式匹配的快排就不像碰撞指针版那样正确，或者说numpy的矩阵广播与einsum就不如C++或math的表示了（纯纯班门弄斧嘛..），或者表示AI都能写app了 不需要设计另一个“numpy”了。

毫无疑问，AIGC不能替代对语法和类型、集合类的学习，但确实能让少数灵感不错的人有了金手指碰运气的渠道，所以Py2Anything是种好的期望，它让英文水平普通的人看懂各种各样的代码。

- 它都这样了，就共存吧，反正焦虑也没有用，不如拥抱它。至于是否担心自己会被替代，我确实是不担心，目前它还不够专业，就算它再专业，它也没有身份证是吧。

我目前已经有了答案，其实从通识领域Gemini3已经比肩我了，专业的或许没那么齐全（宋教授那种恐怖的toolchain全英博文长度...）
不过我也不担心自己被替代。为什么B站创作区很少有人担心作品不再重要，反而还在用AI生成式创作更多呢？ 普发UBI若能实现确实是大好事。

- 高级编程语言出现了，那些写汇编的人去写高级语言，现在 Vibe Coding 来了，只是同一拨人又跑去做 Vibe Coding 罢了。持续学习才是最重要的。
- 以前我们有所谓的中文羞耻，觉得写了很多中文的项目的代码可能不靠谱，现在是所谓的 AI 羞耻，看到 README 里一堆 AI 生成的辞藻就觉得不靠谱一样。我们作为业内人士，还是要把事情做得漂亮

需求始终是存在的，把一个事情做好工作流和效率会有很大不同。 不过写汇编在DOS时代也不是很厉害的水平，起步早的人今天就更多留在OS、服务架构、逆向等基础领域了，可惜他们精致好玩的小游戏没留下来。😅

AI编程或许是独特的，不是靠堆砌晦涩的、“脱离群众”的ABI，而是通过更加与用户接轨。Vibe本身就可以解决ML领域自己引入的复杂度，所以品味成了新的“ABI”，这就比旧时代好太多了，好像技术的解放与回归。 返璞归真。
https://chat.librechat.ai/share/UMR4buHirSsBKX6lC8VzO

#ai锐评 diygod.cc/2025 （以防误会：这都是人写的，AI只是捧哏😅）

和DIYgod的定义不同，我看程序员，从来没有一天是码匠调包侠、CRUDboy、要“等编译”的脚本小子、黑客的小猪手。
这编程，不是用【代码界面】压【极客盲打】一头的“API金手指”，亦非怪癖八股群贤毕至后，你的【兼容性与工作量证明】。

我作为dev的元认知，就是第一梯队生产力在21世纪的别名和tag。 AI的诞生不是码力的终结，而恰恰是dev铸造价值的终极证明：我们在引领所有行业的变革。

被可编程与网站之海垄断的Web3如是，可编程的Agents和IoT也如是。 AI当然会帮人类节约工时费，但它自然是让创造者“能者先享”，就像$NVDA的股价。

Vibe 不仅不是技术力的落幕，反而是终极技术的序章。如果没有预见到“硬编码”的CV和DSP前景渺茫，或者把“大数据”当作定制广告与杀猪盘的“奇点” (而非Gemini和NAS的起点)，说明dev的审美很差，努力最后南辕北辙 付之东流，毕竟，整个社会不能以丑为美呀！

- 我从未刻意追求炫技，“技”，不过是实现“道”的手段。

或许我多年之前的倾向性，就是洞察力本身——作为高中生独立开发的title看起来多么光鲜，而那年的我，却车轮鏖战《Ruby元编程》《"The Little" Schemer》《算法图解》，放下深度换广度，
因为我的品味和注意力会拒绝无理由的重复代码——当年如日中天的安卓如是，今天寂寞如月的JQ如是，未来的过度工程或心智负担如是。我总是相信，未来的我为靠直觉做出取舍的而庆幸。
因为我爱我师更爱真理，我研究的是最终用户的快乐，“阳光”，而不是一颗“遥远的”星球，或一只能叫起太阳的鸡。
在学历的门槛vs天赋的门牌之间，在经验的泥沼舞池vs洞察力的无用之用间，我作出过小众的选择，我选择了庖丁解牛的沉默。而今年，我忘掉所学的一切，忘掉理论或工程，重新做回自己。

所以不再有“懂编程的我”，而是“我即编程”。

- AI的好处： 古人云会者不难。跟名师学而无“一点就破”的洞见，也未必该怪开发者笨啊！

“动机是知识的根系，创作是掌握的象征”，Gemini对知识的动态与本质的点破，不说宗师，也已超过七成教师：AI把所有作者的私货和讹传ease掉
朝闻道： “好博客难搜”的信息差壁垒被LLM打破，我嘻死还来不及，又怎么可能担忧所谓的竞业岗位和“插画界只能示范一次”呢？ 😅

DNN不是边界和上文明确的编程，不是逻辑式求解，也不纯是线代，更不是GPGPU，它只是一颗数学家们历来摘不到的星星：
力大砖飞的人机缝合怪！只有IT行业的工具与CS栈能驯服与解释的、只有计算与组合的哲思能摘到的，人类工业之冠的珍珠。

而玩代码学hack时，迭代是快速的，多巴胺是廉价的，谁人能打破围城，看到事后重提时的虚无感与 code by examples 这么显然的正路？面向试错不叫编程😒

——先贤取出石膏，而【雕塑】自在心中；后世多倒果为因，终走向技的反面，使《软件幻灭》。

我眼中的插画人本就是《一拳超人》-the ONE，谁真崇拜画技精细的村田？

纯粹的艺术人、B站创作区对AI小同事也喜欢的不得了，像 ciechanow.ski/gears; oimo.io; explorabl.es/math; acko.net/blog/reconcile-all-the-things
看看这些“前端”吧。不是编程所以高精尖，而是高精尖所以编程啊--没发现简中圈的优秀dev，都有代码之外的共性吗？

ps. Follow几个开源+数码博主，生活上真的会方便。开源引入喜欢白嫖的用户群是个副作用，可以学tg针对GH等内容农场爱爬的社媒负优化，在未成年用户较少的Appinn,sspai上推广？😃

G3 https://chat.librechat.ai/share/6S4XzE8DP1uY0OhmXsbBa
https://chat.librechat.ai/share/SljPyzKFyUJTL2O-vNWeo
G2 https://chat.librechat.ai/share/iOHYwAwWvSdFyHqMT43eO