https://www.youtube.com/watch?v=ptDANWeMhyU

这是教会系人士对意外怀孕和堕胎的看法 🤓👆🏻 #life

实际上，我认为两边的观点一开始就不准确。 pro-life vs pro-choice 根本不是 choice 的问题，而是 pro-life vs pro-live 。

历史上从来不缺乏在此岸，依据先知的话设立乌托邦的理想，它们最终全都是噩梦。生命由上帝创造，上帝设定了林肯和希特勒，这就意味着旅程100%会开始吗？

pro-life 当然是理想的状态。拿钱来！！
如果基督教会能帮这些【生物妈】给小孩子适当的生活质量，实际上，它们所处的环境非常残酷，少有人会因为母亲有罪而用钱和感情宽恕童年，以至于已经活着的人会为了美的live而感动，却不会像怕睡着那样怕死。

上帝知道一切，生命也很了不起，但中止就是无理由的。
胎儿还没有能力和必要赎罪时，为什么要强行塞给 Didn't asked to be born 一个答案？

未来应该会存在一种社会抚养，可以让胎儿无论如何都有好的童年，但绝不是靠【化疏为堵】就能实现的。

这是慷他人之慨，同时，数据已经证明了人是从兔子一样能生，进化成少生优育。经上也写了，被拯救后的人类是和天使一样不生的。如果胎儿还没有感受到罪老病死，这个奇迹和母体相比，如何相比呢？
最终的救赎都与子宫无关，教会又怎么能替罪人宽恕淫的后果呢？负负得正，错错不得对，上帝可以原谅希特勒（这样因为创伤而种族主义的人），但如果母亲不把他生下来，狂傲的浪能就此止住。

《伯：42》就已经说明了，有些创造是圣父需要，社会不一定接受的。为什么要强加法律解释，使美学的旨意不明？

母腹中发育的婴儿是上帝亲自创造了灵魂，但还没有罪的灵魂就和天使一样，是永生的，又怎么会被“abort”？

既然上帝是全知的，自然知道母亲暂时去了进步州打胎，又怎么会强行让一个家庭以罪赎罪？
人的灵魂属于上帝，就像样貌属于基因。没有负责的环境，上帝也无法减少痛苦。此岸是不能承载乌托邦的，至少养育成本affordable前不可以！

这就是一个新世纪的【安息日不准治人】和【越相信爱、罪越赎】，是世俗逻辑，不像旨意。人当然有资格做选择！
因为上帝需要人择，来在地上显现，到时候，走在城里就如同在天上。前提是人尊重live的环境（科学与经济），而不只是life的基因（上帝）。

胎儿也是无罪的，不应该在一个撕裂的社会里因为生父的罪行而痛苦。教义里的死乃是与父永隔，不是世俗眼中的“掉线”。
基督教的生命观并不是以死为止的，【死】一词是与魔鬼交易时产生的。如果童年不能感受美，只能像Job一样被恶魔操纵，这是在压力测试主设计好的灵魂，会导致更多人生走向抑郁乃至撒旦。

母亲是有罪的，可以赎罪，而天使还未被记忆玷污。一般的统计下，不被期待的孩子不会自杀、滥用等与父隔绝的，但，这听起来很像不负责任的繁衍，不像是圣灵的孩子！别忘了，上帝总是知道灵魂会不会落地。
经上的赞美，都是有知之人的叙述、写下，你怎么知道子宫内还未开过口的灵魂，不是撒旦？

你不能选择性地说"出生是预定，堕胎不是"
这不是pro-life，这是pro-birth，生育并不叫爱，需要养育 🤓🌚

#life 海底捞的自热锅尼玛就不能搞个注射器或糯米纸式的火锅底料包装吗…… 明明其他体验那么好，这火锅底料挤的…… 😅

#ai对比 #life

比起Agent我还是更看好传统App。现在万物皆可AI，就和之前万物皆可短视频、小程序、借钱…… 差不多

小程序（=各种扫码）或许成功了一半吧，但本质上，Agent管家，就是类似Musk「未来不需要操作系统，实时搜出AIGC幻觉」的理想，没有考虑过用户互动的需求。

AI小视频、生产力、AI生成教学demo挺好的，在任何一个离线App里嵌入AI选区总结，基本上都是在证明自己多写了几百行代码，用户多烧一点token，玩具性质很大。

我在美团点东西不需要RPA或GIS来帮我，因为「信道」是定位和物流，而不是什么语音、智能识别。这还不如触屏的UIUX，我更不用Agent替我看B站科普和文创视频，哪怕是“注册客服号”

一个需求场景，并非是在屏幕以内，而是在多方的便利中，所以叫IT。

而智能体的理想，就是蒸馏出“各行各业”的假人来帮用户完成工作或日常生活，直接把键鼠和屏幕阅读器交过去

我也不太清楚IT的风口会在哪，但纯粹的「用户代理」可能不是。

可能…… 我不觉得AI应该造成失业或现在「雇佣制度」的改变，只是会优化信息差、执行力方面的问题 🤨

这些并不是决定职场、工资level、上下级的要素。

所以也不需要Agent来取代传统的“智力/体力劳动”，然后使用者变自雇老板那样。

可能工程本来没有那样复杂，只是为了工作而工作，但我看到许多vibe软件仍然很像套模板。😒

这样的“Agent团队”可能是把人类公司的偏见代入了本来的需求，而面向需求本身又不需要分身(Orchestrator)出那么多个人来。

https://t.me/codedump_notes_group/4389

#life #经济 #空 装机日记

> 推荐2026淘宝上5个适合arch操作系统的N卡笔记本，6千左右
Q&A

- 作为一个职业全栈，为了省500选择i5值得吗？ 不值得
- 64g内存都可以多开编译安卓镜像了吧？ 单个编译任务的内存峰值极易冲到 30GB
- 如何才能把这么多内存用好？ 我感觉ramdisk睡眠都没必要装这个
- 高性能i7用本机编译不是更好吗？ 不一定，新ABI没什么区别，有微码再编译

可以用 zram 替代硬盘 Swap（彻底告别卡死）
给 Docker / Podman 启用内存挂载（tmpfs volume）
调低 vfs_cache_pressure（让目录索引永久留存）

- 哦，所以说2026年做开发超大内存还是占用的到70%的？

可是…… 花近千块钱单买一条笔记本 DDR5 内存，在二手市场上已经足够直接买回一整台带 16G/32G DDR4 内存的二手迷你小主机（如联想 M720q、戴尔 3060m）

😅😅😅

成天以为房价泡沫和AI刚需硬件吹不到自己头上，读消息连个股价都懒得查，最后别说增值了，还要消费级接盘或FOMO

另一种人又只知道情绪和曲线、周期，根本不在行业内。虽然说金本位和N卡消息是很多的，Web3和AI的混搭也是个陷阱题，同样碰运气

不重视物料和app发展的因果链，最后也只是能用就行，不能把消费、Studio、资本信号结合起来使用。

在一件新事物能卖座之前，都不知道它们怎么影响自己的东西，还暗讽别人是风口上的猪，其实不跟风也好不到哪去！

还是对技术的对应物料，对app的因果链太无知了，看不见内存厂在亏损，只知道自己升级，不关心周期波动就过于乐观。等到装新机时，才意识64g是到2年前的4倍

原本可以免费获得本地多开四五个虚拟化的体验，现在全部要云桌面

我们开发者明明是行业内的人，怎么反而变成四倍内存价的接盘方。 怎么就不知道ai吃什么硬件呢

消费者怎么知道内存之前的价格是不正常的， 财报和股价？

> 在 2022 年到 2023 年初，全球消费电子（手机、电脑）需求疲软，传统内存（DRAM/NAND）遭遇了严重的过剩。当时内存价格跌到谷底，各大存储厂（三星、海力士、美光）亏损连连，被迫大幅减产、裁员、关闭部分传统产线。

曾经的 1k价位 2x32G 你爱搭不理，现在的我你高攀不起，哼哼 😇

#life #security

欧盟曾经想要“保护儿童免遭鬼叔圈圈”，因此在本地文件选择器搞了个MITM，这个图像hash是最难绷的。

我如果能信你，你就要把色图集开源挂 gov.eu ，但是那样欧盟自己就成了最大的鬼叔营地; 或者，jpg黑名单指数上涨，但无人知道它是窃听啥的“幽灵日报”。

最牛逼的是，这在理论上甚至是P2P绝对加密的，只是对 “你绝不可能保存过的图片” 默默举报，好吧…… 我在某些国产app和相册那听过这种玩法

肯定会有大聪明想： 难道儿童的心灵就没救了吗？ 🙉鬼叔们能快乐的互相刷到，打开网盘大放水，复兴N号房了？

所以欧盟就整了一个CSAM一样的烂活，虽然解决不到你身边，但有胜率了。像个良民证一样，虽然炸群的依旧炸群，取证依旧想办法加群，但有证的就都“不是变态了”，嘿嘿？😇

倒不如这样： 放开点AIGC成人的法则，省得他们再去幼儿园找新片看。 这样哪怕有人被js了，也只是几行js和图形库的显存被清空了。 可是一些国家是不区分画布和现实的。

#life #game ☕️ ☀️

说到底，会编程的人（全栈/云原生/信号处理/嵌入式基础）依旧在社会占<5% ，但也可以说，辐射范围广到(1/3)个数码圈。

选择哪种方法，并不重要，至少没有 #Rust 那样 “真理”。Who cares. It's just common-sense-UX for the 2000s. 时间相关，并非因果。

如果，写的项目很爆炸，能够发上HN或投稿给朋友们，或许很好。比如之前的液态玻璃, apksign和DSP入门教程

我更喜欢【成品软件】的概念，但并不是说发布即封笔了，而是不必因为架构腐烂而返工，变更有局部性。另外，如果以后成为 game-dev 或解决【内容创作】中的各种麻烦，这笔记也是个不错的积累呢！

这位 NB #vibe 到现在也就几万播放。而且“转化率”很低吧。什么公司会认写Runtime的经验呢？

我只能想到CoreJS和Faker.js的死亡回放。

有个梗，Python之父Guido面对interview表示： I write Python 🐍 🫰

Bill Gates 曾经发公开信，说世界在steal他想制造的“高质量软件、教程，和BASIC解释器”，可能还有“DOS文件系统外壳”什么的。 他们究竟不是软件的upstream。非得是.NET（要包括注册表COM协议、DX/WMF这些共识依赖）这种体量，才能得到基本的维护。

Linux is free if your time is free.

我不希望变得Nerd般“高代码”，或像yin一样愤世嫉俗，或像Apple那样拿“端着”当生产力（It works afterall）

就…… 让我看看，我到底要写什么吧。唉，其实早有设计方向了。 🤨

或许没人问过，为什么几乎一样的功用和场景，会一直有wheel被写出来，甚至流行。在许多地方，软件仅仅是资本的副作用，比如那伙会为Python解释器付费的 Apple End-est User

许多人无法理解：为什么编程上（或常识中）完全一样并不高明的 Output type，仅仅因为Driver甚至Format，甚至文件path中的不可思议之多的【不兼容性】，就成了叹息之墙，以至于electron和Telegram发行版至今无人超越。

如果你认真考究，它们不会比ndarray更复杂，它们没有把视频变成xyt、plot或光流转来转去，只是让你的摄像头或文件黑屏了。

我真的信仰过什么【真理】呢？ 还是过度工程与缺工程呢？

反正只要有利可图，软件和游戏就会【长出来】的话？ 十亿狗窝和 Alan Kay 的十亿细胞真的很重要吗？

就像Kay所说的，如果你真的热爱编程，你应该有自己的硬件和人体交互——而不是在RGB88或BGR24（比这晦涩的多）的地方玩文字游戏。

当你知道（Yada）茴香豆是咸的，或许就不会在意那四种该死的写法，以及不可思议的“抽象高墙”与“技术深度”了。

我想理解的，只有那个简单RGB888，顶多搭配个混成图表，就像C "\0" 或len前缀String那样，绝不会有分歧，哦，顶多再加个SSO。在这种程度上——为什么那些不可思议的不兼容性都消失了？ 大概是这样的【理想软件】。

就好像是八国语言和方言全都消失了，人们用痛觉和笑容来交流一样。对了，那样，你大概就能理解为什么你需要某种软件了。

Inventing on Principle, Anthropic Principle. “生态”的区别就像市场经济，优化它只会让人懒得再造新体验。但是，一定要透传到硬件和模拟信号主导的领域，API中的噪音才能消停吗？

dmg和exe间有一道墙，而它们并没有【突破】键鼠屏幕上的相似性；Win10的体积是win95的的133倍大，它的功能或性能翻了10倍吗？什么算法需要30分钟来更新C:盘的SSD设备？30分钟足够软件shred全盘的字节。不对，是9次，所以不能用“要备份”来告解。

我始终为这些【常识】而困惑。Wine为这些事付出了十几年代价，而Waydroid少的多，这些只是pid1的问题，而实际上，我认为大部分开发者并不懂用【权限与硬件能力】理解编程，他们总是在别名与别名之间摸爬滚打。在这一点上Web和当年的KHTML超越时代——因为他们能用，不用供着。

#xhs看了啥 #life #job
麻了，携程尝试给员工放45天假🤯

今天看到个消息，给我看愣了。
说有员工透露携程现在在做45天无理由事假的实验。
要知道之前看到这个事情的时候，大家都觉得在开玩笑：一年多45天假期，还不需要说明请假理由，这公司真敢这么放？
结果携程居然真的这么干了。
我琢磨了下，这背后不简单啊。
据说这个ab实验一共有约6000名员工被随机分到“实验组”和“对照组”。实验组每年额外获得最多45天无理由事假额度，请假不需要任何理由。
那为什么是45天？ 因为梁建章算过一笔账，一年大约是45个工作周。45天无理由事假的本质，就是平均每周使用一天，相当于模拟四天工作制。梁建章自己说过，一周工作四天应该问题不大，反而有可能激发创作灵感和创新想法。尤其携程本身就是旅游公司，员工出去旅游，本身就是一种“田野调查”。所以45天事假背后，实际上是在试一个很新的管理假设：如果给员工更多时间自由，公司会不会反而运转得更好？
我觉得，这件事最有意思的地方是在于携程真的把它做成了一场AB实验。
过去互联网公司最擅长的就是AB测试。一个按钮到底放红色还是蓝色，首页改版到底能不能提高点击率，全部先切一部分流量做实验。
但管理这件事反而一直非常“经验主义”。员工要不要坐班、能不能远程办公、一周工作几天、请假要不要领导审批，大部分公司的做法其实还是老板定规则，员工去适应。很少有人会说：要不我们随机分两组员工，跑一年看看？
而携程这次是把互联网公司熟悉的实验思维，用到了公司的管理制度上。一组维持原来的工作制度，一组获得更多时间自由，然后长期观察双方的效率、业务结果、员工满意度等，管理制度到底好不好，不靠老板拍脑袋，也不靠员工在网上吵，直接看数据。
如果这场实验最后证明，实验组虽然少上了一部分班，但业务表现并没有明显下降，那它的意义可能就不只是携程多了一项员工福利。它可能会给整个互联网行业提供一个非常重要的样本。过去大家竞争的是谁加班更多、响应更快、执行更猛。但未来企业真正稀缺的，可能越来越不是工时，而是高质量的工作效率。
如果这一点成立，那公司之间的人才竞争，也可能会从“谁给的钱更多”，进一步变成“谁能给员工更高的时间自主权”。所以我觉得，携程这次真正值得看的，是在于一家互联网公司，开始把自己的管理制度也当成产品一样迭代了。

🔗 xhslink~
👤 Saber的思考笔记

#post #life #ai锐评 https://chat.librechat.ai/share/2lI34gdgXmllNERfSfFAw

#school 曾经也想过，如果能在类似邮电或南大的 #PLT 或编译原理、操作系统相关进修，是否能创造的更好。

但现在认为，即便是科班又如何呢。还是只有MIT、BSD那样的学院派能干点活，然而，他们缺乏灵感。Vue是从室内设计，拉窗帘的人搞出来的，在此之前，PLT人做了什么？“更像A的B”？“IDE支持为零的语法糖”？

JQ的时代只有css的语法糖没有Tk.var那样古老的数据流，函数式又做了什么？IO Monad或Promise的异步-回调链表吗？

tokenizer 和 token eater(parse dfs) 的逻辑冗余怎么解决。 为什么，会者不难，然后就让复杂性继续干扰以后的人。

HiBLIP+TagENum 是我的视角，我让它打穿整个lifecycle，直通常量池和函数值热替换，再以逐函数逆波兰/单遍或重放实现AST (Tag:e×Eval:n×Num)，这是一个所见即所得的DOM选区式的算法，不产生不闭合的字面量，同名变量共享FnHo。然而，top 10%的parser连解析即高亮，和跳空格不干扰PEG描述都难以处理好。

(Hilight-included BigBrace & Literals Incremental Parsing)

空格注释与优先级不是罕见需求，各种工具，很丑。
如果你又问前沿怎么增量解析一个csv2tsv，他们大概会给出数百行丢了魂一般缺乏数据流的“实现”，实现和理论，理论和常识，永远做不到知行合一。

我那号称拥有千里眼的友人啊…… 连路边的小石头都看不见吗？ 龙书虎书？CSAPP？TaPL？ 你们在听浏览器和触摸屏（远远不止）的世界吗？

千里眼を持つという友よ足元の石も見えぬか？ 对因果链的理解，是像F12那样细致入微，又和 Bret Victor 的魔法墨水和 Rob Pike 的utf8一样完全的自由吗？像iq或Bellard那样可称为神吗？ 还是…… 一个更加耗时的str2str的C预处理器呢

所以说没劲透了啊，绝大部分【编程语言实现】
它们本来如 json.org 的树状图那样，加上编译时运行时的原型链KV、tuple、zip(list)处理……
像Lua那样用一个指令兼容if(and or)短路goto，而不是纯goto的巧思，像TDOP和Dijkstra版逆波兰算符重排序，像Py那样够用的import和pip格式，或QML那样的自洽即繁荣？都并不多见，但你很容易看到手写状态机和lex/yacc魔法那样能跑的脏代码。

范式革新？自举的兴趣？为了demo实现的语言特性？learn by example 的std API？C'mon，你都是供应链的真正上游了，好歹有DHH(ruby RoR)那样的“主厨严选”吧？ 或许像Svelte那样完全扔掉parse呢？

Less but Better vs More but Worse. 但也有的……

只是更像Py的Lua或更JS的Scala？killer feature 是某个IDE支持为零的“新”语法糖？只是为了支持你的母语的方言，去读写“堆外”API吗？为了性能和0依赖，PGO过吗？自己从0部署过吗？

为了证明你聪明到能把forif转为goto，把enum tuple查成offset，把call demangle成虚函数签名，甚至只是防注入的预处理字面str和“卫生宏”？这些PoW不需要新语言。stb和khash不会绑定某种DSL。

typer和变量树的Any/T/转换与infer提取/..或许是吧，但它们真不如json和grpc自知。 语言级实现的 cat|less 线程和缓冲分页yield、await？少数的少数。

为什么充满了刚从C-like照搬的塑料味，和让人害怕试错的Pure FP，那种冷冰冰的、不简洁的简短？

你知道“多态”和&引用的最好范例是 printf, file<<val 以及 Visitor<R> 的DSL吗？“序列化”就是关闭打开globals()[k].下的变量树，以及让post(),onmsg的往返深拷贝般一致？

在一个不能clone任何引用的编程语言里，值和引用实际上无法分别，无论T|None和freeze(ref)有多像它的区别。位宽=64被当作 value type 的本质，但【值】到底为何与引用有别？真正的value是 Box(0).toInt() 和 f(struct{r1,r2} inline_regs) 的内存管理特例吗？

是 deref operator=，就像王垠所说。可是不少教条主义者仍然认为，规范写了就是有。

如果你不实现printf，你如何分辨值和引用？ 如果你不为AST计算器做lib，你如何验证【自己的编程语言】有正确的多态实现？？ 哪怕是一个py,js,rb式的原型链链表就近？

哪怕是丑如Perl也有规范，AWK也有人用 C vibe 了一个实现。我今天用它们仅仅是因为logcat的Event没有强类型甚至无格式——没有常识，再多知识和限制也只是死肌肉。

哪怕不是基于LLVM,WASM或gccjit等轮子又怎么样呢？

Lisp的圆括号又如何呢？ HTML和JSON都是它的变体，GC的dfs剪枝让程序员终于能摆脱BASIC甚至C的无效视角，但是简洁的'()终究不如[]{}""的硬编码，连宏也比eval低效。

如果谈到JQ和后来者的割裂，Knockout.js甚至并不是先行者。 “Tcl脚本大战”时期的Tk和苹果NEXT早就有单个StrVar作为值的信号槽概念了。 KVO和trace命令只是缺少 innerHTML=arr.join() 这样的魔法来实现UI的forif reflow流控。

虽然RMS和Tcl作者有微宏内核之争般的论战，Tcl完全序列化支持(xpath,css)的启发性仍然被历史低估了。如果说JQ因为给css4js一个简写而成功，Tk框架仅仅是因为缺乏简写而失败。

这个世界就是这样不讲道理：心智模型的等效甚至超前，总是败给把+1语句变成+1参数的直观。 编译原理，从不重视这些东西，又或是太在乎，而变成黑魔法。

【能够支持RISC-V】【从零开始造个世界出来】，是啊，他们一定会说学院派的过度工程，是不可或缺的。好像像Homo OS/Cangjie这样的工具链必须有点【新实践】。可是如果只是和202x的常识对标？那就不算新语言，只是202x的JS世界加了一堆无法运行，也不能像F12那样热编辑的高亮词条而已。

所谓元编程，在别人那里大概就是这种东西吧。要么照猫画虎，要么旧瓶新酒，他们不知道OOP、GC和反射那样的语言特性，是怎么从0被发现的。

人们知道苹果，却不知道Kay，知道OOP和io_uring，却不明白Smalltalk和F12的消息共享与即时接管。 学院派？学院派正是对此最无知的一群人

@幻の上帝 是最接近工程的学院派之一。这些人的每篇博文都能战胜AI的专业词汇覆盖量，甚至还能写个游戏引擎玩玩，但这改变不了他们设计的语言还不如Vue的事实

反正框架也不能保证处处被使用，像苹果或NS那样，只要有钱的话，软件也会在垃圾堆里长出来。我最好不要说这些奇怪的话了。

不过说真的，我没见过哪个技术是无法用Etoys的比喻语言来“实现”的，所以不要认为工程上线就赢了，不要认为【融入】就赢了。BASIC很成功，但与Tcl相比也是垃圾。我仍会期待Telegram那样全栈高效，但更加通用的元编程技术。

> "If 10 years from now, when you are doing something quick and dirty, you suddenly visualize that I am looking over your shoulders and say to yourself 'Dijkstra would not have liked this', well, that would be enough immortality for me."

#life 是否后悔没上过CS系的大学？

🦄 我只能说forif、【栏目答&括需】【回调链表】的世界观形成后，
我再也不需要用【流控】【匿名函数&闭包】【协程/yield/await/go func/续体】 这样的术语、行话了

如果没有我的世界观，如果它们作为一道填空题是0分，我就无法看到更宽广的缺口和可能性。 🏫
我不是双核CPU，不能同时运行一套修修补补的汇编之城，与一套从【直观感想】出发的交互式天国。

每个人都在维护【上游】的面子。可在我看来，虽然Vue欠v8很多，但 JQ->Vue 的代差，numpy和GPGPU的Swizzle，使v8的数百万行代码，显得十分愚蠢。

类似【回调链表A=>B=>(A+B)】这样的词典我有两三百个，我不列举它们，但它们都能在关键时刻给我【那种既视感】，而这一切是潜移默化的： 我确实不在现代的栈上工作，不然，我就不能用120行实现别人3年的运行效果。

别以为我会为代码和特技hack而骄傲—— 😋 在我的世界观中，没有 clean hack 才是应该fix的毛病。成熟是一个bug，而不是一个feature。

干练的思想、简明的实现，是理所当然的。【功能】应该像硬件和思维那样跟手，这就是我信奉的【Functional Programming】

我并非在学习CS。 我是在一个空白的沙盘上，【重新发现】每个知识点，尽管这花了不少力气，缺了不少【兼容性】，但我知道——它是恰如其分的，而软件世界不。他们不在乎多几行代码或几MB的依赖。

人的IQ是有极限的，所以我想当好一个 Human Being：请讲普通话，请写规范字。

如果没有printf和Visitor的实例，算什么理解OOP的多态？如果没有Proxy和 class(v:T): T by v{} ，算什么搞懂了继承与封装？

从一个动作的特例，就可以理解场景的本质需求，就像声明式的括需树( (A,B)=>_=>A(_)+B(_) ) 般抓住了结构和意图的榫卯。

对于 #PLT 而言，吾行之，明也。 以前我认为王垠在上海收太贵，现在想起来，他分享的远比索取的要多。

📝 对于一个普通人，我们需要的不是把【结果】和混乱的脚本和抽象捆绑销售、夹带私货的那种大佬，而王垠做到了：他是我眼中的【软件工艺师】，而不是PL人。

原来【原理】【从硬件往上数的体系】是可以被听懂的。 —— 只有极少数。阮一峰、陈皓那样为了功利应用科普的博主，也都并不多见。你能看到许多 jia.je 博客的“散装版本”，而那并不是我所说的知行合一

PL人就像全栈或ML那样，终究只是在屏幕之内编程，甚至进程之内编程。而 Human Being，知道要把精力省下来，应对隐形的代码。

答案是：我既不后悔没有北邮or各种外国语大学的经验，也不后悔在技术栈上【离群】。

LLM 已经很P9了，不需要另一个人假装自己比它们会搭样板间；系统编程已经足够难了，不需要另一个人告诉世界【我知道forif和ur->name是怎么变成goto偏移量的】。

屏幕外的那些代码，比如，如何让一个playground在能够接受的10分钟内跑起来，不报错；如何拯救夜不能寐的DX体验，这些，是许多人【从未学到】的。 我很好奇是什么让他们过的这样顺——就像，全面屏和剪贴板诞生之前，人们是怎么工作的？ 终于已经显示出来了：把nav放在aside的屏幕左侧，很奇怪的吧……

洞察力、自顶向下的既视感、不限于键盘鼠标的那种交互性程序（比如lil-gui和GoldenLayout平铺式窗口管理，是否只是GUI而已）？ 这依然是我以后的研究方向。

如果 Alan Kay 可以用一个车头有蓝点的2D小车让Jobs【看到未来】…… 这种【短而不凡】的代码科学 ——就当它是写给小孩子的了，依然比前沿更前沿。

#life 《中文编程》一词长期以来被民科霸占了

而实践上，拼音输入和英汉混杂的问题又让使用母语不切实际。

可是 母语=汉语 时，如果用AI编程（只定大框架），在输入上真有好处，那么，在源码阅读上，应该是同理（只是较难设计）

所谓的中文XXX，鼓吹这种东西，其实不如早年的金山输入法、汉化DOS，今天的人人字幕组好用。 就像把游戏科学政治化一样

我感觉许多做toolchain/小玩具的，就是奔着《中文编程》《真·纯函数》这四个字，好像达成了就万事大吉一样。 根本没有认真试过【之后呢】

对我来说，就是一种人嘛。 所谓 “做到了就怎么样怎么样的”，Rust原神，Agile疯，认为TeX/Vim “原生” 就比 Docx/VSC 好的用户

就连小众赛道，都这样的浮躁。如果国人做IDE，是否会往 build/out 里注入广告呢？（Xcode Ghost 的恶劣性质，但传成 pdd root 事件那样的 “不小心翻车了”）

反正他们又不听劝 ，就和那个在电线杆下观测出 🌎 🌞 用 💠轨道转圈的老人一样 《鬼畜区 李文亚：地的运动》

在2026年还能有【朝闻道】的那种感觉，李某亚也是够幸运的。 在他眼里所有官方机构都被西方思想荼毒了吧， 对于我来说，哪怕「预期」达到了，最后无人问津，自己维护到弃坑，也是可能的结局呢。 🥱

但又如何呢？ 没人是天才，iq和Bellard那样的【神】也有尚未触及的领域，比如SQLite就不是他写的。而且SQLite最近还被tailscale试出个WAL并发数据破坏，更不用说Linux主线了

Bret曾说，【软件有两部分，一段安在硬盘上，一段安在头脑里】。 或许，对开发者也一样。

我收获了头脑里与心里的那部分软件，这就足够了。

去他的，做就对了 #life
原文：https://www.joelotter.com/posts/2026/09/make-it-anyway/
阅读时间：4 分钟

🤣 吐槽完数学， 下一个是自我批判了（ #cs #dev

如果是学习元编程，肯定会接触到编译器前端、tree walker 实现。

如果做到了，应该很开心（自满？）才对 ，应该变成王垠口中的 Distinguished Engineer

或者 A-Player 之类的东西，总之和那些拿bash写安装脚本，拿Sublime敲代码的 Bozo 不一样了。

可是如果你有一丝的，像LLM一样思考（？），就会发现大家都是【自主融合】，少有创新——尤其是那些只impl不写writeup，更没有API设计的人

https://zoo.js.org/
https://component-party.dev/
https://benchmarksgame-team.pages.debian.net/benchmarksgame/
...

能跑了，测试覆盖100%了，打包了，然后呢？

ReScript和CovScript是什么，没听过吧？但你听过AHK按键精灵，甚至易语言，它们绝对不如前两个 “正确”

AHK.exe 甚至让人鄙夷的【按行执行】（不是Excel宏那种step可视化展开，是 bash -x 式的脑残逐行）

可能在你的圈子（甚至中文圈）里，你显得很有技术力（因为没有开发者能离开现代编程语言/工具链），而且睥睨阮一峰、张鑫旭等人，仅仅“略微”输给Moonbit

可能你在中文圈里，比那些给领域开源top3做colab但比较【国际化】的人强，自信心爆表——但其实 nobody cares （褒义的）

无限平行宇宙，一切皆无意义——又或者说，干嘛都有。—— MIT Rick

即便是我真正在乎的Skill——比如把PLT的90%压缩or比喻成初中生科普的这种【经验积累】，我也并不在乎它们是否是 Distinguished Engineer 的原创了

作为一个人来说， 只要能【低保】，认为有希望，且自己开心就好。 不要太追求排他性的东西。

人的本就是大同小异的，就像 🥤 也是水，但你喜欢的是它。

ps. 我是更支持大模型的。 作者自己C++手搓3D帧间管理和碰撞检测、手搓引擎， 但这方面 SuperTuxKart.net 的自研引擎如何？ 够用，但是没有复用价值。GIMP手搓的Tk还变成GTK4了呢，STK咋没手搓出金呢？ 引擎不是你写俩demo甚至PoC就能完成的，你得知道自己在干嘛。 LLM给了你更好的起步模板，至少能让你知道【新手都在想什么】，避免最终弄出完全自嗨的手搓软件

📖 《传道书》说“在我们以前的世代早已有了”，但人却是全新的。如果你把太古的技术、直觉用到服事【人】，让下游和玩家觉得酷、流畅、开心、便宜，这就是全新的人。人一切的劳碌，纯手工的执念，明明白白是为了这些。

☺️ 一切在日光之下的劳碌，有虚荣和享受，在心智中的劳动，又有成长质感。 所谓方便法门，诸事无碍。耶稣也曾说“今世之子在世事上更智慧”，循理如是

#dev #life
排除掉AI解决的截屏照抄+风格迁移的难度（眼高手低问题）， AI辅助流行开发的终极问题也有三个点

- 有了 computer use，反复自食是否还会导致“基因缺陷”？ 未来H5世界能不能弱到不足以构成前端圈（而只是Geek圈）

- tw.css这样AI爱吃的【硬编码】菜，仍旧依赖testid等外部抓手，有些【结构性】换成VLM的成本太高，仍旧需要AI缓存一层code，而不是在CI上烧token跑

- LLM跨模态的智能，有多少是搜索引擎+风格迁移的宣传素材，有多少是【唯有手工】的历史终结。未来只有人机接口需要人发明吗？

分别代表： 圈子是否必须“小众”；css/htm是否会沦为“某种汇编”、编码接口被淡出； GPT的智能有多少是啃老本+白嫖秒级IO的【外行震惊跌坐】，多少是 CC Coder 都无法比肩的内行智慧

> 对于一个需要花几天时间查资料、整合API还被卡住的人来说，这看起来就像大师，足以让他“震惊跌坐”。但AIGC仍然只是一个滤镜，不是“设计师图层”

结论—— 不清楚未来是否会有AI发明家这回事，但手搓想靠【复刻】【Remix】两三个平替软件的特性bootstrap，没门了，大家也不会觉得冷门+万行的实现者有超人类IQ（因为本来就是spec+堆时间，技术力的乘数只是人力性价比，你不会和朝鲜儿童比钢琴）

💭如果人脑和DNN都站在【不是懂不懂，是已知与未知】的界限上，其实很难套以前那个【奥赛逻辑】，因为不是存量市场，但又超过存量。 比如视频超分辨可能成为XXPlayer被毕业的一道坎，即便它们的UX赛道之前没毛病

不能说人的灵感就更naive（这就是 why/whether 的特点），但应用于人的还是人类自己点赞点踩；这就像说 “万物有灵只是人更有灵”，或者人和黑猩猩一样是动物？ 毕竟论迹不论心的结果肯定是【人机分不清】的，《达尔文》从未证明什么使黑猩猩仍是黑猩猩，图灵也指不出什么使 #vibe 做不起来产品

场景内的行为模式，大同小异，只是coder一般不理解【内容寻址+tween压缩】的信号处理思维，只想着用重放攻击通过图灵测试，这种工程担保当然是【脆弱傲慢】（反观AGI到尽头还有哲学僵尸问题）。

人和创作是目的，不是OKR和KPI的工具，这样比赛，显然对全人类和所谓的AGI更好。 没人和狮虎兽比奥赛但我们赢了，如果编程的未来是世界杯那样，我认为很好。

https://t.me/hyi0618/15076 #life

前面会来一段“食谱：桑拿鸡肉/牛肉/..”

食用方法：大火小火云云

鸡肉3分钟、其他食材2分钟


这样也可以留足食客的注意力给宣导部分。但是如果没有加先导，就是程序员病了

这样的做法在海底捞菜单上很明显，比如【3秒豆皮卷】【5秒鱼片】，命名带动词一方面确保了出品质量(降低新手摩擦），也显得很内行（品牌溢价++），

所以说程序员思维有时是好的，前提是你分清楚哪些是正资产

我见过一半会写码的人把行数和难搞程度当正资产

#learn #ml #math

“让计算机在没有被明确编程的情况下具备学习能力的研究领域。” 这是句递归废话

说的好像不应该为通用模态优化一样：这就和Web是一个道理。

内容才是关键，什么mp4 mp3的先验都是过度强调实现（“先验”）而没有直觉。变形金刚是"集合+位置"音画词元都塞的下

那ML时，对目标音画任务的手工经验，又有什么物理意义呢？ 还是在解决DNN自己的信噪比和loop中的效率问题

“ML 的初衷不就是隐藏参数、只面向任务和迁移吗？”

我这句好歹还指向了函数模块化，以及概率模型与硬编码流控/GPU核间的最大语法级差异（几个自ret反馈的参数）

AI给的教科书定义，别说和ONNX这些可比于jvm的货对齐了（调教技术是算子运行的AOP侧面），向量、词元、流形和嵌入，CNN,RNN和RL这些反馈策略也没提。一个语境都搭不起来

传统任务，比如cv模板匹配（找茬/截图OCR）、同义词搜索和视频推荐、轨迹平滑跟踪、人脸处理、游戏抗锯齿、鸡头稳定器（云台和大疆），无DNN的方法刚好够用

AI有降采样和升采样的界别。在早期应用里ASR较难而TTS容易，OCR较难而字存字渲容易。 最后搞成浓缩的可能是精华，补齐的也未必是废料，不能说len(信息量)都不是先验了吧？ 但算力（熵值）对不上去

之前的【小模型】基本是Jev/SAM那种分类器，或预测续写，3gram和HMM就是纯概率论的预测。GenAI，就不一样了，一边补齐音画里没有的信息量，又有一定分类器的中间产物

信息熵≠信息量，也没有绝对客观的“低惊奇”。蝙蝠眼里的低熵和人一样吗？

传统 ML 是无状态的DAG，只能整体loop调教，加了循环展开(torch)就变成DNN，可以随便挂RNN(seq2seq)分析器，加了“点赞系统”的梯度就是RL。这个思路和Taichi的可微物理学（投篮偏差可以一步矫正）互补

王垠说RNN是编程里那个嵌套纯粹扯淡，AB帧缓冲防撕裂和[100]->[1]*100的关系都比字面意义更近

sd用向量场来肢解token“噪声”扭曲画布的意图(CLIP+INCE)，LLM则依赖QKV缓存的P(all_tokens)链条，单向链条对应的mask和Attn配合，U-Net 的形状就是字面的编码器-解码器（飞线skip解决信息瓶颈）。

或许你训练了很多年，擅长在运行之前思考和剪掉各种坏处，但对DNN来说依旧是【很差的父母】 #life

许多人说，【炼丹】时希望用到博士时期学的，以及玩具应用的论证经验，但最后就是像英伟达KDA这样，发现自己成了预处理的脚手架，或git方案盖章员，技术栈彻底大宗商品化

【人工的智能】就像硬件外设一样，是MFU跑分的优化器，至于你“会写高知思维链”，没人在乎，那只是个“握手协议”。 物理之于数学，就像sex之于鹿管。

毕竟你不听孩子怎么叫唤，只想着自己学到过什么“真理”。真理就像Fma和Emc，说服父母需要几百行理论，但直觉和兴趣足以理解它们。就像父母造人时一样

https://youjiali1995.github.io/essay/2023-summary/#:~:text=我没有沉没成本。当成本被称为沉没成本时，通常意味着现状不好、出现了更好的机会

以房子的价格作为参照物，会让人对金钱的价值和数量产生错误的认识。500 万可能只是一线城市的一套普通房子，但即使按税前工资来计算，年薪 10 万需要 50 年存够，年薪 30 万需要 17 年，即使是年薪 50 万也需要 10 年，税后要达到这个数字税前需要接近 70 万，这还假设了储蓄率 100%。500 万可以创造出更大的价值。

近几年流行的 FIRE(Financial Independence, Retire Early) 运动的基本理念是当存款达到一年开支的 25 倍时，就可以基于 4% 的理财收益率提前退休了。在这个标准下，500 万每年可以产生 20 万的收入，足够很多人退休了。

避免做极端的决策、控制失败的成本，让每个决策都能够 fail fast and fail safe、从失败中学习。事物的发展是在不断的损失中持续增长的过程，而低发生率、高影响力的少数事件往往是决定结果的主要因素

🤔 这个人很懂生活啊！ 虽然一开始感觉假大空，但这个思路非常像正常人的选择。 感觉许多人都不理性。 #life

租售比就是这个价值取向（租房灵活性更高且不用折旧，所以房价存银行的剩余，应当比持有钥匙更有价值）

可是许多人是一边今天996，一边指望着自己四五十年后能退休，力工还拉着别人穷空。 人，真是七秒记忆的动物呢。

拿我的4090来玩性能超棒的，开个玩笑。 #life

其实300$复活个游戏（也算吧） 真的是【天才程序员卖身价/史低价】，感觉再涨1倍仍然有人接受。 不知道为什么会说贵。

目前弄了两家订阅管不同的tier，每个月100+30刀，API开销不多限制 。该AIGC推进还是要推，手动设计和验证的照常设计

问题在于有些人不分tier，也不重视灵感的拣选，没有决策层和即时反馈，把什么都一股脑交给Codex们，结果当然又烧又废

如果自己用CtrlCV和Pi agent能跑，换成CC也没问题，但是反过来就不一样了 🤔

#vibe 自从开始Goal模式【包办】后，已经烧了400刀了，占本月支出的30%+

反正自从Fable们面世以后，会写代码（尤其是堆代码）没有任何稀奇了，今天就让它自己吃了4小时，还不如以后直接上200月供的订阅，多随机派点笔记本里的灵感
(+100$/mo 会获得额外60%周用量)

本身也不是个人风格独特的项目，完全没有必要编辑器硬肝。 #life

这个光影管线1天烧74$能优化远点视距够意思了，本身从0写出来就是70$ 。还能体验一下大学Professor们差使人肉DFS线程栈的【快乐】，反正AI上文够长也不会累

cld="import time,random as R,itertools as I;f='·✢*✶✻✽';f+=f[-2:0:-1];W='Thinking Pondering Clauding Analyzing Brewing Crunching'.split();R.shuffle(W);[print(f'\r\x1b[38;5;208m{f[p//2%10]} Apologize for the confusion\n'+''.join(f'\x1b[38;2;{155+v};{80+v};{50+v}m{c}'for k,c in enumerate(W[p//40%6]+'…')for v in[int(max(0,1-abs(k-p%15+3)/3)*100)])+'\x1b[0m\x1b[K\x1b[A',end='',flush=1)or time.sleep(.06)for p in I.count()]"

sort -u <(timeout 3 python3 -c "$cld" | sed -r 's/\x1b\[[0-9;]*[A-Za-z]//g; s/\r/\n/g')

😋 摇一摇号，试试GAN手气