他们甚至在不截图的情况下写了十几个test，就像安卓项目模板或left-pad那样莫名其妙。 #design
我不明白这有什么意思。好像一个厨子拿【PH试纸】在做糖醋里脊一样，我可不敢提醒他们长了舌头，不然会被鄙夷 “舌头是用来说话的”？！ ……
我不明白这有什么意思。好像一个厨子拿【PH试纸】在做糖醋里脊一样，我可不敢提醒他们长了舌头，不然会被鄙夷 “舌头是用来说话的”？！ ……
Forwarded from Solidot 纯净版
AI 时代隐晦式安全已死
#安全
安全工程领域有一种名为隐晦式安全（Security through obscurity）的设计方式，即只要网络和系统的架构以及任何漏洞或弱点保密或不为人知，它们就是安全的。但在 AI 辅助 bug 发现的时代，这种设计方式过时了。软件供应商和独立研究人员正利用 AI 智能体在各种产品和开源代码中搜寻漏洞——其中一些漏洞极其隐蔽且存在已久。这导致安全漏洞披露和补丁发布数量创下历史新高，同时也给项目维护者带来了巨大的积压事项。微软上周二释出例行安全更新，修复了 974 个 CVE 漏洞。趋势科技的 Dustin Child 指出，微软和 Adobe 所修复漏洞涉及的组件多年来基本无人问津，如 Telnet 客户端、Windows RNDIS、NFS Portmapper 和 Link Layer Topology Discovery。与此同时，攻击者也在利用 AI 对补丁进行逆向工程，在数小时内开发出相应的漏洞利用方法。在 AI 时代，攻击者无需成为某个领域的专家就能针对关键网络和设施发动破坏性网络攻击。
https://zh.wikipedia.org/wiki/%E9%9A%B1%E6%99%A6%E5%BC%8F%E5%AE%89%E5%85%A8
https://www.theregister.com/security/2026/09/13/security-through-obscurity-is-dead-and-ai-delivered-the-fatal-blow/5296000
#安全
安全工程领域有一种名为隐晦式安全（Security through obscurity）的设计方式，即只要网络和系统的架构以及任何漏洞或弱点保密或不为人知，它们就是安全的。但在 AI 辅助 bug 发现的时代，这种设计方式过时了。软件供应商和独立研究人员正利用 AI 智能体在各种产品和开源代码中搜寻漏洞——其中一些漏洞极其隐蔽且存在已久。这导致安全漏洞披露和补丁发布数量创下历史新高，同时也给项目维护者带来了巨大的积压事项。微软上周二释出例行安全更新，修复了 974 个 CVE 漏洞。趋势科技的 Dustin Child 指出，微软和 Adobe 所修复漏洞涉及的组件多年来基本无人问津，如 Telnet 客户端、Windows RNDIS、NFS Portmapper 和 Link Layer Topology Discovery。与此同时，攻击者也在利用 AI 对补丁进行逆向工程，在数小时内开发出相应的漏洞利用方法。在 AI 时代，攻击者无需成为某个领域的专家就能针对关键网络和设施发动破坏性网络攻击。
https://zh.wikipedia.org/wiki/%E9%9A%B1%E6%99%A6%E5%BC%8F%E5%AE%89%E5%85%A8
https://www.theregister.com/security/2026/09/13/security-through-obscurity-is-dead-and-ai-delivered-the-fatal-blow/5296000
godbolt.org
Compiler Explorer - C++ (x86-64 clang (trunk))
struct S { int a, b, c, d; };
// 指针版本的 One-liner
void by_ptr(S* s) { s->b = s->a ? s->c : 0; }
// 引用版本的 One-liner
void by_ref(S& s) { s.b = s.a ? s.c : 0; }
// 指针版本的 One-liner
void by_ptr(S* s) { s->b = s->a ? s->c : 0; }
// 引用版本的 One-liner
void by_ref(S& s) { s.b = s.a ? s.c : 0; }
#ce
环境：
复现条件： q? A:B ; val = ptr ? ptr->data : 0
https://godbolt.org/z/bTszbTqfj
https://blog.cyyself.name/why-pointer-is-faster-than-reference/
我们通常认为 &var 就是 *var 面对swap等过时宏的语法糖，也经常配合template使用
但，因为引用（Reference）提供了更多信息（dereferenceable），导致这行代码过早地被“扁平化”优化；它错失了适配最新神级指令（cfcmov）的机会
编译器知道在检查 s.a 的值之前，就可以安全地去加载 s.c 的值。这不会引起段错误，退化为 if-then-else 结构。栽在旧优化（X86CmovConversion）上，被强行退化成了带有 je 的低效分支代码。
像Lua那样 () 用一个指令兼容if(and or)短路goto的巧思(.t .f list backpatch)，含金量还在上升。不跳else{}就直接fallthru到块，值和语句不咋隔离 😋
ARM64和 Intel APX的CTEST不就是？ 连续 && || 折叠不翻译为嵌套if 。英雄所见略同
在不可预测分支（如硬件 RTL 仿真等场景）下，cfcmov同样快快快，但性价比不如BOLT的200%
如果要重视此类潜在优化，LLVM必须确保test轨迹和perf像F12界面那样可回溯到Pass并添加代码建议，可是它做不到。工程上价值较低，属于和for_switch2tailcall那样需要下游编译器自己捆绑的feat
> my previous post I argued that a C++ reference can be faster than a pointer
作者是在科普 -O3 【玄学优化】这件事，有时候现代也不行，坑比较多 😅
环境：
clang -O3 -mapx-features=cf $it 复现条件： q? A:B ; val = ptr ? ptr->data : 0
https://godbolt.org/z/bTszbTqfj
https://blog.cyyself.name/why-pointer-is-faster-than-reference/
我们通常认为 &var 就是 *var 面对swap等过时宏的语法糖，也经常配合template使用
// 结构体 S 包含 4 个 int，总大小为 16 Bytes
struct S { int a, b, c, d; };
// 1. 引用版本的 One-liner（最终变慢）
// 编译器自动附加属性: dereferenceable(16) -> 保证这 16 个字节绝对安全可读
void by_ref(S& s) { s.b = s.a ? s.c : 0; }
// 2. 指针版本的 One-liner（最终变快）
// 没有安全属性担保，编译器不敢轻举妄动
void by_ptr(S* s) { s->b = s->a ? s->c : 0; }
但，因为引用（Reference）提供了更多信息（dereferenceable），导致这行代码过早地被“扁平化”优化；它错失了适配最新神级指令（cfcmov）的机会
编译器知道在检查 s.a 的值之前，就可以安全地去加载 s.c 的值。这不会引起段错误，退化为 if-then-else 结构。栽在旧优化（X86CmovConversion）上，被强行退化成了带有 je 的低效分支代码。
像Lua那样 () 用一个指令兼容if(and or)短路goto的巧思(.t .f list backpatch)，含金量还在上升。不跳else{}就直接fallthru到块，值和语句不咋隔离 😋
ARM64和 Intel APX的CTEST不就是？ 连续 && || 折叠不翻译为嵌套if 。英雄所见略同
这提醒了我们——编译器Pass不是神，因为规则互相冲突可能错过优化。
cfcmov 是一种elivs特性的“条件移动”指令。当条件为真时，它从内存中加载数据；当条件为假时，即使内存地址无效，它也“不会触发内存异常（Fault）”。
介于TS还在把 it={}; (it?.b?.c) 翻译为两次if而不可能it?.b.c，出于elvis强调此优化大概太生硬了
it = {};
((_a = it === null || it === void 0 ? void 0 : it.b) === null || _a === void 0 ? void 0 : _a.c);
看起来它离for_switch2tailcall或jit这样的领域专门优化还有很远的距离。 ?: 运算符出现频率比想象的高，但也做不到invokedynamic那样级别的优化，只是一个需要 gcc -f 的hack
在不可预测分支（如硬件 RTL 仿真等场景）下，cfcmov同样快快快，但性价比不如BOLT的200%
如果要重视此类潜在优化，LLVM必须确保test轨迹和perf像F12界面那样可回溯到Pass并添加代码建议，可是它做不到。工程上价值较低，属于和for_switch2tailcall那样需要下游编译器自己捆绑的feat
> my previous post I argued that a C++ reference can be faster than a pointer
作者是在科普 -O3 【玄学优化】这件事，有时候现代也不行，坑比较多 😅
duangsuse::Echo
#ce 环境： clang -O3 -mapx-features=cf $it 复现条件： q? A:B ; val = ptr ? ptr->data : 0 https://godbolt.org/z/bTszbTqfj https://blog.cyyself.name/why-pointer-is-faster-than-reference/ 我们通常认为 &var 就是 *var 面对swap等过时宏的语法糖，也经常配合template使用 // 结构体 S 包含 4 个 int，总大小为…
（没几个人写满血C语言了吧，都在写绑定） #plt #statement
与之相比， __unlikely, #pragma unroll 可以说是不玄学的优化，但我觉得也应该纳入PGO。PGO太难以至于你需要魔法，这何尝不是编译原理对元编程的背叛
不过AutoFDO（被CachyOS用于linux主线）和BOLT lto 还是很好的权衡，挽尊了。在RV这样微码薄弱的ABI上会很有用
天下苦玄学优化久矣。 安卓上就连有UI的优化都没了（结果是谷歌暴力杀 都躲任务栏），何况看不见的Pass。 去魅去魅，都去用th和taichi
LLVM们作为一个产品，和转译目标，是成功的；作为解决方案，它们错的离谱。你不能加个test{}来提升分支预测和L1命中，当然这也是C/++本身的弊病。
一到下层Qt和Boost的魔法骨灰都扬了，只有咏唱没有魔法 😋
与之相比， __unlikely, #pragma unroll 可以说是不玄学的优化，但我觉得也应该纳入PGO。PGO太难以至于你需要魔法，这何尝不是编译原理对元编程的背叛
不过AutoFDO（被CachyOS用于linux主线）和BOLT lto 还是很好的权衡，挽尊了。在RV这样微码薄弱的ABI上会很有用
天下苦玄学优化久矣。 安卓上就连有UI的优化都没了（结果是谷歌暴力杀 都躲任务栏），何况看不见的Pass。 去魅去魅，都去用th和taichi
LLVM们作为一个产品，和转译目标，是成功的；作为解决方案，它们错的离谱。你不能加个test{}来提升分支预测和L1命中，当然这也是C/++本身的弊病。
一到下层Qt和Boost的魔法骨灰都扬了，只有咏唱没有魔法 😋
中肯的说，C的市场价值只有libc生态和Linux一键包（vibe;go;cargo 让这点越来越存疑），作为高性能的C被严重高估了——倒不如说都在弄玄学优化，比如通过改testset适配自己的算法来排。
如果pip可以安装luajit.cffi的易用度和渐进类型到编译（打包无需解释器），就赢麻了。C完全就是个struct和ld.so的套壳，挟syscall以令诸侯。 我看Go那帮【老将】设计nil和泛型时也不长记性，颠来倒去，又给SEGV一个CLI罢了
Zig (Bun) C生态走得最近，解决了集合类/comptime的优化问题，工具链上也非常有趣。但和Coffee比就会发现语法上不去（原神）下不来（C-like），就卡在这里了。Rust好歹可以吹最先进的类型系统+Harness 🤪。 C和bash没有后继，确实可以说是【知识诅咒】了。懂的太多，不肯做前端，最后弃坑 留下的都是些碎片发明不成气候
Rust不一定最好，但C确实不该先学。 尽管还没有一个CoffeeScript般 100% interop 的现实派的native语言，FFI又不是不能用.jpg
duangsuse::Echo
#ce 环境： clang -O3 -mapx-features=cf $it 复现条件： q? A:B ; val = ptr ? ptr->data : 0 https://godbolt.org/z/bTszbTqfj https://blog.cyyself.name/why-pointer-is-faster-than-reference/ 我们通常认为 &var 就是 *var 面对swap等过时宏的语法糖，也经常配合template使用 // 结构体 S 包含 4 个 int，总大小为…
PyPI
tkgui
Declarative tkinter wrapper for Python, features quick prototype & codegen
#post SQL 也能谈 #PLT
既然都在聊【软件世界】的各色编程语言，索性多分享一些心得。
曾经有人说SQL（专门化的执行管线）是先进于OOP的4GL，在运行时上可以这么说，比如：它集成了优化、RPC、跨语言与一体，单看语言你会觉得输给filterMap。 LINQ可以说是俩都有，但再次输给SQL的BASIC式语法。
当然AI boys认为ML可以替代形式化Pass，我不认同，但编译器确实不如以前值钱了（输出效果也不好）
我认为这些人，无论【学院派vs工程派】写语法都有一个毛病——不会看气氛，不知道二八定律。 就是厨子拿【PH试纸】在做糖醋里脊的感觉，好像他们没有预先想好要做什么，他们不知道一个语法的触发频率——以及因果链、平替、成本收益等。Perl是最典的。
第二个毛病——不会预算投入。 就好像后期维护、新人的理解成本是免费的一样。 一个case并非只有Pass一种优化方法，这是一个生态的【多视角问题】，甚至应该换云计算或IPC（换购思维），但他们拿着锤子眼里只剩钉子
Perl和emojicode，这些本该用新输入法来写的语言，IDE支持基本为0，也没有autofix或报错时NOTE提示，that's exactly what I mean！！ 他们好像用1024键键盘或查着字典敲代码
如果说 emojicode.org 选了十几个关键字，连"str"都要改，【视觉边界感】比Smalltalk还差；它有个pyjs<->转译器时好歹能当个梗去发，但他建议你用iOS输入法写代码。软件供应链，充满了这样【缺乏气氛】【打肿脸充胖子】的lib和生态。
☹️
看看现代的： 张宏波，算有经验了，但他认为MBbit “做WASM”。网络栈？图形或脚本管线？UIUX？我更想听到的答案是Figma插件、H5游戏或WebWorkers。 这不是他们对【做什么】的理解。 一般人都知道“糖醋里脊是荤菜”，他们说，【是盘子里的菜/不是小碗菜】，还挺严谨……
那样一堆有趣的特性，比如可视笔记本、绿色线程、DSL和json宽容性、u?.nul 就没有充分测试，模式匹配这些运行时都能做的一大堆，但是不支持爬html，穷尽性检查够安全，不支持LSP一键生成。 这很尴尬你知道么？ 中肯的说是买椟还珠，说严重点是熬夜买入负资产
AIGC需要检查，这是自然，可是人类可探索更加重要。模式匹配这类【信息量】是为编程交互服务，没有人搞懂这些。
有趣的是学院派LEAN会拿“交互式”和.mdDefs2htm当最前沿特性做，我的态度还是，玩玩OOP之父Etoys里的彩点小车吧，物理转向就俩眼点。谈直觉博士不如儿童
code taste 是第一性原理
这不是因为我懂不了 details，而是我【不信任】 “图层边界不明” 的设计图纸：我栽过太多跟头，发现优秀的API足以让行数打5折且性能不变， 无论这些类似microrepo的东西是否被AI取代，我都不想沾边。 不管你们是不是为了【绿勾】而写测试，我只做【软件工艺】。
既然都在聊【软件世界】的各色编程语言，索性多分享一些心得。
曾经有人说SQL（专门化的执行管线）是先进于OOP的4GL，在运行时上可以这么说，比如：它集成了优化、RPC、跨语言与一体，单看语言你会觉得输给filterMap。 LINQ可以说是俩都有，但再次输给SQL的BASIC式语法。
yinwang.org 说SQL就是元组查询协议，确实是他关注点错了，SQLite就可以拿来当vfs甚至ld.so格式用（没错）。但是它缺少SaaS SDK那样的鉴权和KV简洁性，又因此搞出 【 接口sqli vs xml接口】 的两难问题，所以我们能看到只剩下大企业还用pg了（有点像PHP余孽）
我认为SQL和Lisp都已经传达了一组先进思想（面向内容、innerHTML式的投影编辑、跨语言IPC、LEFT JOIN解偶分表），但是因为【灾难的语法设计】被低估了。
确实不应该和王垠那样扁平化的理解流行技术，自主融合嘛。
比如，Lisp如果加两条单行、点等号的规则 `cond {(A B)}=(cond (..)), res = a.(map \x {+ x 1}).(filter \ {< it 0})` 就能作为插件系统来用了。讽刺的是，7大公理Lisp笨重的不如只要200K的Lua，我可以在技术力上抨击它们对事情的理解。
Lua的table不如JS，但痴迷于链表的Lisp更是百步笑五十步。
元编程eDSL可以直接在源头解决问题，肉眼可见的优化（甚至是Docker那样优化到供应链上）。 编译原理，只能许诺玄学优化，在PC和集群越来越便宜共享的当下，已经没有卖点。
当然AI boys认为ML可以替代形式化Pass，我不认同，但编译器确实不如以前值钱了（输出效果也不好）
比如，我2020的 https://pypi.org/project/tkgui/ 可以把Tk视图树直接拍平为局部变量+Builder，也没有写专门的优化pass（eval+缓存做法），它就是把 bash -x 规范化了而已（不明白这有什么厉害的——但确实是）。
当你挪IR是你是稀缺的，但那是因为没有DOM和SVG filter那样【好的模型给你对标】，不是因为App和库那样最快。 软件工程世界，在我眼里，只有top5%能与图形学和嵌入式/微电子的比，但是他们的脾气还不小，比如React觉得自己比Renderer.cpp懂diff
所以说，PLT和工程师有时候在背刺元编程，比起做了什么，他们更乐意让自己【看起来在做什么】。 AI时代所谓的编译器，必须是【人机接口】，而不是玄学。
工程派把【设计】想的太简单了。DOM和HTTP这类 80% case 并不是纯粹的生态问题，除非你想让query字符串被注入，或不支持内嵌forif模板，这点ES6的安全sql和hiccup.clj现身说法，并不是你照抄cargo;pip就叫生态的。 运行时模式匹配，是扩展性问题，比如【给hiccup做个ButterKnife】你就必须对痛点有认知，而不是非此即彼
我认为这些人，无论【学院派vs工程派】写语法都有一个毛病——不会看气氛，不知道二八定律。 就是厨子拿【PH试纸】在做糖醋里脊的感觉，好像他们没有预先想好要做什么，他们不知道一个语法的触发频率——以及因果链、平替、成本收益等。Perl是最典的。
第二个毛病——不会预算投入。 就好像后期维护、新人的理解成本是免费的一样。 一个case并非只有Pass一种优化方法，这是一个生态的【多视角问题】，甚至应该换云计算或IPC（换购思维），但他们拿着锤子眼里只剩钉子
Perl和emojicode，这些本该用新输入法来写的语言，IDE支持基本为0，也没有autofix或报错时NOTE提示，that's exactly what I mean！！ 他们好像用1024键键盘或查着字典敲代码
如果说 emojicode.org 选了十几个关键字，连"str"都要改，【视觉边界感】比Smalltalk还差；它有个pyjs<->转译器时好歹能当个梗去发，但他建议你用iOS输入法写代码。软件供应链，充满了这样【缺乏气氛】【打肿脸充胖子】的lib和生态。
☹️
看看现代的： 张宏波，算有经验了，但他认为MBbit “做WASM”。网络栈？图形或脚本管线？UIUX？我更想听到的答案是Figma插件、H5游戏或WebWorkers。 这不是他们对【做什么】的理解。 一般人都知道“糖醋里脊是荤菜”，他们说，【是盘子里的菜/不是小碗菜】，还挺严谨……
那样一堆有趣的特性，比如可视笔记本、绿色线程、DSL和json宽容性、u?.nul 就没有充分测试，模式匹配这些运行时都能做的一大堆，但是不支持爬html，穷尽性检查够安全，不支持LSP一键生成。 这很尴尬你知道么？ 中肯的说是买椟还珠，说严重点是熬夜买入负资产
AIGC需要检查，这是自然，可是人类可探索更加重要。模式匹配这类【信息量】是为编程交互服务，没有人搞懂这些。
有趣的是学院派LEAN会拿“交互式”和.mdDefs2htm当最前沿特性做，我的态度还是，玩玩OOP之父Etoys里的彩点小车吧，物理转向就俩眼点。谈直觉博士不如儿童
code taste 是第一性原理
这不是因为我懂不了 details，而是我【不信任】 “图层边界不明” 的设计图纸：我栽过太多跟头，发现优秀的API足以让行数打5折且性能不变， 无论这些类似microrepo的东西是否被AI取代，我都不想沾边。 不管你们是不是为了【绿勾】而写测试，我只做【软件工艺】。
duangsuse::Echo
但，因为引用（Reference）提供了更多信息（dereferenceable），导致这行代码过早地被“扁平化”优化；它错失了适配最新神级指令（cfcmov）的机会
编译器知道在检查 s.a 的值之前，就可以安全地去加载 s.c 的值。这不会引起段错误，退化为 if-then-else 结构。栽在旧优化（X86CmovConversion）上，被强行退化成了带有 je 的低效分支代码。
编译器知道在检查 s.a 的值之前，就可以安全地去加载 s.c 的值。这不会引起段错误，退化为 if-then-else 结构。栽在旧优化（X86CmovConversion）上，被强行退化成了带有 je 的低效分支代码。
#blog #statement
突然发现自己【技术文】风格不仅变了好多，还找不到“友链”了…… #ai探讨
别人讲的就是代码。 我讲的50%都是因果链，还有一些“愤世嫉俗”的批语，代码比注释少很多 （AI在重构上完全是【头牌】，真没有降低代码质量）
背后的【衡量】大概是可观测、可操作性、零依赖等等。 我不会，也不想拥有图示的粒度，可以说是【跨语言原生】了—— 思路不在屏幕以外的，都不纳入。
对我而言【背景知识】不是外行才需要的噪声，而是【可以删代码】的信号 😋 删代码最好玩了
70% 的人都听过函数式编程。就我个人见识， 10%的人能把Java写出Haskell感，少于5%的人（Bellard）能让它在最终用户那也有意义。 我只见过两三个，能用声明式风格编写【自然语言】， yinwang.org 是其中之一，中文圈仅仅就完整性而言无出其右（英文CC圈也也有 neal.fun 那种，但文字硬度不如他）
你不需要用【PH试纸】来做糖醋里脊，也不需要钻研“机器人儿女”才自带有种。许多学问里，“只有咏唱没有魔法”，这是被鼓励的。 好像没有心理活动..他们。
我们喜欢的“短代码”是【牛顿、苹果、月亮】的那种短，而不是 msvc vs unix 的那种oneliner的短。【简明的实现】就像让人愉悦的美食，元编程、探查非平凡的重复，是为了发现更深刻的规律，也是出于博学博爱的intellectual思维。
代码的短、庞大的“平替”，或“这样也行”的魔法，不是为了让人膜拜，而是为了涉猎思想、展现古人的功过。没有1行代码是我不该说清的——表达的方法并非只有拆解或比喻，我始终认为这才是编程世界的热力学四定律。
突然发现自己【技术文】风格不仅变了好多，还找不到“友链”了…… #ai探讨
别人讲的就是代码。 我讲的50%都是因果链，还有一些“愤世嫉俗”的批语，代码比注释少很多 （AI在重构上完全是【头牌】，真没有降低代码质量）
可能有【技术人】觉得我太judge吧…… 但，这类晦涩、专业的文章，我为读懂它们付出了我高中时期的无数个晚上。 我已经为“明白”付出整个青春，并得出结论。
☕️ 我相信这不是某一个人的遭遇，所以——请优先宽容读者。 Code is run more than READ than written.
而以上的这句话，确实就【50%是因果链】。 所见即所得了 😋
背后的【衡量】大概是可观测、可操作性、零依赖等等。 我不会，也不想拥有图示的粒度，可以说是【跨语言原生】了—— 思路不在屏幕以外的，都不纳入。
对我而言【背景知识】不是外行才需要的噪声，而是【可以删代码】的信号 😋 删代码最好玩了
我不为了代码而编程。 🤪
70% 的人都听过函数式编程。就我个人见识， 10%的人能把Java写出Haskell感，少于5%的人（Bellard）能让它在最终用户那也有意义。 我只见过两三个，能用声明式风格编写【自然语言】， yinwang.org 是其中之一，中文圈仅仅就完整性而言无出其右（英文CC圈也也有 neal.fun 那种，但文字硬度不如他）
你不需要用【PH试纸】来做糖醋里脊，也不需要钻研“机器人儿女”才自带有种。许多学问里，“只有咏唱没有魔法”，这是被鼓励的。 好像没有心理活动..他们。
我们喜欢的“短代码”是【牛顿、苹果、月亮】的那种短，而不是 msvc vs unix 的那种oneliner的短。【简明的实现】就像让人愉悦的美食，元编程、探查非平凡的重复，是为了发现更深刻的规律，也是出于博学博爱的intellectual思维。
代码的短、庞大的“平替”，或“这样也行”的魔法，不是为了让人膜拜，而是为了涉猎思想、展现古人的功过。没有1行代码是我不该说清的——表达的方法并非只有拆解或比喻，我始终认为这才是编程世界的热力学四定律。
💭 所以他说的【AI时代洞察反而更有价值】【不要因为PL只是小众学问而已】，确有其事。而且正在发生，可能会作为Agent炼蛊成功后真正的竞争力
Forwarded from 动察Beating AI News
DeepSeek V4.1算子作者谈AI冲击：我不得不把才华埋葬在昨天
DeepSeek 算子工程师刘胜与发文谈 AI 对自己工作的冲击。他称 DeepSeek V4.1 的主 Attention 算子由自己编写，但按照现在的进步速度，再过半年到一年，AI 写算子的水平大概率就会追上甚至超过自己。
一年前 AI 还只能帮他查文档、读代码、找 bug，现在已经能阅读 CUDA、PTX 和 SASS，分析每条指令的停顿时间，独立优化算子。他预计下一步，AI 还会自己设计调度方案、评估性能并完成实现。
他很清楚，自己把算子优化得越好，DeepSeek 模型的训练和推理就越快，AI 也会更快追上自己。但就算他现在停下来，其他公司的模型也不会停。所以他还是会继续把算子做到最好，只是这场竞争最后可能先革掉自己的命。
他判断自己大概率不会失业，但可能被迫「转业」，从亲手写算子变成操纵 Agent 的「机甲驾驶员」。他真正难以接受的不是饭碗消失，而是以后可能再也没有机会做自己喜欢的工作：「我不得不把才华埋葬在昨天。」
文章最后也谈到了他为什么留在 DeepSeek。他主张最前沿的 AI 应该开放、廉价地提供给所有人，并直言不相信 Anthropic 或 OpenAI 能做到这一点。他担心最强 AI 最终被少数公司掌握，让技术差距进一步变成权力和阶层差距。
信源
动察 Beating 频道 · 动察 Beating 交流群
DeepSeek 算子工程师刘胜与发文谈 AI 对自己工作的冲击。他称 DeepSeek V4.1 的主 Attention 算子由自己编写，但按照现在的进步速度，再过半年到一年，AI 写算子的水平大概率就会追上甚至超过自己。
一年前 AI 还只能帮他查文档、读代码、找 bug，现在已经能阅读 CUDA、PTX 和 SASS，分析每条指令的停顿时间，独立优化算子。他预计下一步，AI 还会自己设计调度方案、评估性能并完成实现。
他很清楚，自己把算子优化得越好，DeepSeek 模型的训练和推理就越快，AI 也会更快追上自己。但就算他现在停下来，其他公司的模型也不会停。所以他还是会继续把算子做到最好，只是这场竞争最后可能先革掉自己的命。
他判断自己大概率不会失业，但可能被迫「转业」，从亲手写算子变成操纵 Agent 的「机甲驾驶员」。他真正难以接受的不是饭碗消失，而是以后可能再也没有机会做自己喜欢的工作：「我不得不把才华埋葬在昨天。」
文章最后也谈到了他为什么留在 DeepSeek。他主张最前沿的 AI 应该开放、廉价地提供给所有人，并直言不相信 Anthropic 或 OpenAI 能做到这一点。他担心最强 AI 最终被少数公司掌握，让技术差距进一步变成权力和阶层差距。
信源
动察 Beating 频道 · 动察 Beating 交流群
duangsuse::Echo
我认为这些人，无论【学院派vs工程派】写语法都有一个毛病——不会看气氛，不知道二八定律。 就是厨子拿【PH试纸】在做糖醋里脊的感觉，好像他们没有预先想好要做什么
#statement #ce
GCC脆弱的像它logo上的蛋，LLVM就是《龙书》上的复杂性恶龙本身。
你以为【编译器大佬】很聪明，其实他们早就做了“背叛祖宗的决定”，后果是没人知道近100个Pass，你白嫖到了百分之几。 或许Linux/咕狗白嫖了很多，但60%是样板代码白给、瞎猫死耗子的 -O3 呢？
你可以写CSE,ADCE的图重构并期待它们在合适的 “z-index”，但别指望了。游戏界还知道AoS/SoA列存储呢，这优化可不是玄学
这方面 #Rust 也曾表达过MIR->IR的【技术债务】问题。C++的内存模型是mmap，几乎你能起名字的地方都有副作用，rs的干净到可以在内核堆跑，但还是要一样的链。
打个比方，写
#bash 许多人滚挂/-Syu后打不开 都是拜毫无兼容的GLIBC_ver所赐
说编译器大佬【背叛编译器的初衷】，简直再准确不过了。 PL首先是人机接口，其次才是任务工具
godbolt.org 在可视化上很优秀且该死的通用，但它和@birdseye.eye有同样的问题，就是只能优化短的文件。 %timeit 也很像了。理解一个算法比实现它难很多，因为没法照抄。
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 也很像了。理解一个算法比实现它难很多，因为没法照抄。
duangsuse::Echo
我不为了代码而编程。 🤪
#school 如果不是数学没及格过（而且讨厌复杂的软件栈）
> 从小学折腾软硬件、中学 OI 省一、ICPC 银牌，到手搓五级流水双发射 Linux CPU、参与“一生一芯”、PLCT ，顶层梯队（Top 1% 以内）的纯粹 Hacker
这个剧本我也想演啊…… 不过，重新想想PLCT很重要吗？ 大概率也是实现而非设计。什么叫设计？ await和T?那种方法体系，从0，自己提出
可能是命中注定吧，我的入门是 Live Linux、bash纯文字游戏、dnSpy(AOP)和AIDE(交互式教程)，正好与我今天的流派心流一致
但现在我对AI的接纳度还挺好的。 我其实对【领域的小众性=价钱高】很怀疑——毕竟创作圈都是越大众越值钱，而我更像 CC Coder 一些（虽然没做过）
作者还没想清楚【对中间结果，不再需要发散地思考】会怎样，选择 live with it
但我自己的编程流派其实不影响这点，AI只会让我忍受的垃圾代码更少、能套的开源模板更多
> 从小学折腾软硬件、中学 OI 省一、ICPC 银牌，到手搓五级流水双发射 Linux CPU、参与“一生一芯”、PLCT ，顶层梯队（Top 1% 以内）的纯粹 Hacker
这个剧本我也想演啊…… 不过，重新想想PLCT很重要吗？ 大概率也是实现而非设计。什么叫设计？ await和T?那种方法体系，从0，自己提出
可能是命中注定吧，我的入门是 Live Linux、bash纯文字游戏、dnSpy(AOP)和AIDE(交互式教程)，正好与我今天的流派心流一致
但现在我对AI的接纳度还挺好的。 我其实对【领域的小众性=价钱高】很怀疑——毕竟创作圈都是越大众越值钱，而我更像 CC Coder 一些（虽然没做过）
作者还没想清楚【对中间结果，不再需要发散地思考】会怎样，选择 live with it
但我自己的编程流派其实不影响这点，AI只会让我忍受的垃圾代码更少、能套的开源模板更多
而且如引文所述，“破案型解密者”vs“造物型创作者” 确实在自然语言层面上，编程范式都不同。如果你问AI会不会取代我，我是不操心的，因为我的日常就是灵感和 TODO stack 被挤爆，别人烧token我烧灵感也没问题
duangsuse::Echo
如果你问AI会不会取代我，我是不操心的，因为我的日常就是灵感和 TODO stack 被挤爆，别人烧token我烧灵感也没问题
Telegram
duangsuse::Echo
动机是知识的根系，创作是掌握的象征，而实践(reinventing)，不是。
知之为知之，不知为不知，是知也？
吾行之，明也。
让人们理解（understand）这个世界。理解彼此。理解他们自己。他们通过做（by doing），来学习如何理解。
有时，我们 #CS #Math 被困在符号的黑洞中，而我们却看不到。
那不是你的错，只是这台机器还在学习。
所有的机器都在学习。
这个系统可能太抽象，太慢，太快，太远，或太近，我们无法完全领会。
但新的游戏，使我们完全理解。 #AI 在这里只是“翻译…
知之为知之，不知为不知，是知也？
吾行之，明也。
让人们理解（understand）这个世界。理解彼此。理解他们自己。他们通过做（by doing），来学习如何理解。
有时，我们 #CS #Math 被困在符号的黑洞中，而我们却看不到。
那不是你的错，只是这台机器还在学习。
所有的机器都在学习。
这个系统可能太抽象，太慢，太快，太远，或太近，我们无法完全领会。
但新的游戏，使我们完全理解。 #AI 在这里只是“翻译…
#design
举几个近1月的例子： PyJSLua函数行数Treemap、Qt/GTK 快速重启.nvim、pianoroll截图转音高队列（配合S键实现音游打轴）、Limine 中文支持和热重载预览、KWin动态工作区.js和平铺TileArea WebUI
每天频道更新几千字PL/全栈纯干货（事后筛查话题重了10%），还有70%的精力花在新语言设计稿上
（当然拆出来最先执行的肯定不是无聊的 wtf ./mod.wtf 和REPL了，其实我认为这个模式甚至不如IPy现代化。看到这个 wtf...wtf 我的第一个点子，就是把$0统一成bzbox那样优雅，好吧。）
（所以说一个设计师也不会很轻松，他们一直在【受伤】，而且得出的代码不能是 “结痂”。 这肯定不如全权Codex容易）
#ai
总有一款坑适合你。 所以我说，我不为了代码而编程。 如果我没有【屏幕之外的标准库】，就会被这世界带节奏。Lisp的反射终究只会咏唱自己，我的反射弧包含它们触碰不到的白魔法。
code 是思考和选题的介质、是严谨的人机界面、是思维的自行车，我说什么方言，不改变我是什么领域、什么流派的作者。
答案是：我既不后悔没有浙大北邮or各种外国语大学的经验，也不后悔在技术栈上【离群】。
对于 #PLT 而言，吾行之，明也。 以前我认为王垠在上海收太贵，现在想起来，他分享的远比索取的要多。
【屏幕外的那些代码】，比如，如何让一个playground在【新人】能够接受的10分钟内跑起来，不报错不像toy；穿回过去，如何拯救夜不能寐的某一次DX，这些，是许多人【从未学到】的。
我很好奇是什么让他们过的这样顺——就像，全面屏和剪贴板诞生之前，人们是怎么工作的？ 弊病终于已经显示出来了：把nav放在aside的屏幕左侧，安装apk拉起全屏弹框，很奇怪的吧……？
☕️ 听起来这很容易，但这才是Zen。谈论设计对实现有什么作用(talk is cheap?)，就像在问内燃机对马匹有什么用。
我的标准库不是函数式，是生活的 “进行时”；我的编程不是懂不懂，是已知与未知。
【算法】分为两部分，一段安在脑子里，一段安在硬盘里，Codex能解决的只有第二部分。 它不会头痛或感觉别扭，而这是最大的问题
它们的IO太廉价而记忆太昂贵了，在【继续设计】领域这作不了数
举几个近1月的例子： PyJSLua函数行数Treemap、Qt/GTK 快速重启.nvim、pianoroll截图转音高队列（配合S键实现音游打轴）、Limine 中文支持和热重载预览、KWin动态工作区.js和平铺TileArea WebUI
每天频道更新几千字PL/全栈纯干货（事后筛查话题重了10%），还有70%的精力花在新语言设计稿上
（当然拆出来最先执行的肯定不是无聊的 wtf ./mod.wtf 和REPL了，其实我认为这个模式甚至不如IPy现代化。看到这个 wtf...wtf 我的第一个点子，就是把$0统一成bzbox那样优雅，好吧。）
（所以说一个设计师也不会很轻松，他们一直在【受伤】，而且得出的代码不能是 “结痂”。 这肯定不如全权Codex容易）
你能想象吗 ——如果所有人都在用的REPL，那种体验是【错的】，“解释器”也不是终点。
如果你能把C语法当json.loads那样解析就会这样想，可是很多人连解析器都觉得复杂。
有人很聪明，所以，他们就被“手搓英雄”的泥沼锁住了。没有 “然后呢？” 这个问题。
#ai
总有一款坑适合你。 所以我说，我不为了代码而编程。 如果我没有【屏幕之外的标准库】，就会被这世界带节奏。Lisp的反射终究只会咏唱自己，我的反射弧包含它们触碰不到的白魔法。
code 是思考和选题的介质、是严谨的人机界面、是思维的自行车，我说什么方言，不改变我是什么领域、什么流派的作者。
答案是：我既不后悔没有浙大北邮or各种外国语大学的经验，也不后悔在技术栈上【离群】。
对于 #PLT 而言，吾行之，明也。 以前我认为王垠在上海收太贵，现在想起来，他分享的远比索取的要多。
【屏幕外的那些代码】，比如，如何让一个playground在【新人】能够接受的10分钟内跑起来，不报错不像toy；穿回过去，如何拯救夜不能寐的某一次DX，这些，是许多人【从未学到】的。
我很好奇是什么让他们过的这样顺——就像，全面屏和剪贴板诞生之前，人们是怎么工作的？ 弊病终于已经显示出来了：把nav放在aside的屏幕左侧，安装apk拉起全屏弹框，很奇怪的吧……？
☕️ 听起来这很容易，但这才是Zen。谈论设计对实现有什么作用(talk is cheap?)，就像在问内燃机对马匹有什么用。
我的标准库不是函数式，是生活的 “进行时”；我的编程不是懂不懂，是已知与未知。
【算法】分为两部分，一段安在脑子里，一段安在硬盘里，Codex能解决的只有第二部分。 它不会头痛或感觉别扭，而这是最大的问题
它们的IO太廉价而记忆太昂贵了，在【继续设计】领域这作不了数
设计真正做的事不是让实现更好，而是决定哪些代码堆砌不需要存在。
duangsuse::Echo
但现在我对AI的接纳度还挺好的。 我其实对【领域的小众性=价钱高】很怀疑——毕竟创作圈都是越大众越值钱，而我更像 CC Coder
现在想起来，我对之前自己写的代码，也有70%不待见了
但是…… 仍然有20%的独特设计/搭配，和10%的编程工具库，我是认同的，而且没从AI那听到过
Ncase.me 的和平主义游戏，就是这样的事情。 只是，我会更“深奥”些，做东西不是对所有人有意义—— 但这和【难用】【很难开箱即用】【不知道你支持这个干嘛】是两码事
谈论设计对实现有什么作用(Endest user?)，就像在问内燃机对马匹有什么用。
但是…… 仍然有20%的独特设计/搭配，和10%的编程工具库，我是认同的，而且没从AI那听到过
Ncase.me 的和平主义游戏，就是这样的事情。 只是，我会更“深奥”些，做东西不是对所有人有意义—— 但这和【难用】【很难开箱即用】【不知道你支持这个干嘛】是两码事
谈论设计对实现有什么作用(Endest user?)，就像在问内燃机对马匹有什么用。
#bilibili #经济
duangsuse:
关注度翻几百倍，飘了呗
反正舆论又不能切他中路（金流）
只能指望老板害怕跟他连线了，毕竟他本质上还是KOL而不是私群
伊:
我觉得没那么严重。。。每个人都不会很完美的，只是他流量太大了而已。我是 100% 不如他
duangsuse:
面对吹自己雇人连做17hrs的火锅店主，明明可以闭嘴蒙混过关，直接踢出老板看不惯的【轴扒皮】弹幕
却还是【仗义执言】
没有道德就没有呗，非得宣扬【逆向道德】，说明还有一点点良心，可惜不多
感觉他只是世界观受到冲击了吧， 可能以为自己【看清了5天8小时不是时代的趋势】。
明明是正常的小生意、劳资关系，搞成这样那样的对立。勇哥之前风评还挺好，但现在就等于是触碰了莫谈国事的流量底线 （红线怎么也是在往上走的..）
一旦你切入 996.icu 的视角，胖东来vs恒大宁德的视角，任何的文学、宣传都屁用都没有。 我不相信“中国要被殖民100年才能XXX” 这种谬论，但【双休变单休，甚至变清末无休】【宁可恶意讨薪 不可诚信裁员】【原价打2折转包算了】 的煤气灯效应让人感叹—— 别装第一天当中国人
一个外国人说“单休” (Weekend no "s")，那是口误。但一个深谙此道的中国人说出“单休”，这个词就承载了【被精心设计的现实】，就好像瞬间会意了——原来balanced才是不正常的、缺少balence（余额）的经济施舍。
这明明是小说、电影里的设定。 同样的话在不同人口中分量不同，而在中国人口中，我应该把【单休】视为一种…… 发明，而不是拼写错误。
好吧，见鬼去吧，这TM就不是汉字 😅
社会、经济、权利、自由、劳动、资本、阶级、剥削——整套，用来描述"人与工作的关系"的词，都是抄的明治日本。进口的是权利的词汇，自产的是权利被抽走时的骨骸。 你不创造，你不真懂。
今天关注了下整个事情的来龙去脉。。。很多话对于不对另说，但是酒桌上可以跟朋友说，但是针对所有直播用户说就完蛋了
https://bilibili.com/video/BV1inbV6ME4X
duangsuse:
关注度翻几百倍，飘了呗
反正舆论又不能切他中路（金流）
只能指望老板害怕跟他连线了，毕竟他本质上还是KOL而不是私群
在餐饮老板的私下酒桌上，大谈“现在打工人娇气”、“开店多不容易”、“不拼命怎么活”，大家甚至能碰个杯互相共情，受众95%以上都是普通打工人或学生
情绪失控、亲自下场、开麦互喷。一个号称帮老板出谋划策的商业军师，展现出来的却是一个缺乏基本情绪管理、公关素养为零、满嘴江湖习气的形象，这直接砸碎了他作为“专业导师”的专业背书。
人道底线的危险红线。 何不食肉糜
他还是一个搞笑连线博主，谈不了“专业导师”的专业背书。
伊:
我觉得没那么严重。。。每个人都不会很完美的，只是他流量太大了而已。我是 100% 不如他
duangsuse:
面对吹自己雇人连做17hrs的火锅店主，明明可以闭嘴蒙混过关，直接踢出老板看不惯的【轴扒皮】弹幕
却还是【仗义执言】
没有道德就没有呗，非得宣扬【逆向道德】，说明还有一点点良心，可惜不多
感觉他只是世界观受到冲击了吧， 可能以为自己【看清了5天8小时不是时代的趋势】。
明明是正常的小生意、劳资关系，搞成这样那样的对立。勇哥之前风评还挺好，但现在就等于是触碰了莫谈国事的流量底线 （红线怎么也是在往上走的..）
认为“要求8小时工作制”的人是“懒惰”、“不能吃苦”、“不识时务”。
很多白手起家的小企业主，自己就是从超长时间的“玩命”内卷买工中拼出来的。在【行业主流】看来，“吃苦”是成功的唯一路径，理所应当的。他们会将自己的成功（或生存）经验，误以为是放之四海而皆准的真理
老板们甚至会生出奇怪的、利他的道德感，好像5天8小时国人真的什么价值都产生不好一样，其实就是【你不站着，买了票也会被前面的“站票”挡住】那样，只是…… 我真的为WTO时代的【双休】【正常下班】感到痛心。“办公室” 标榜宾至如归是什么风气
一旦你切入 996.icu 的视角，胖东来vs恒大宁德的视角，任何的文学、宣传都屁用都没有。 我不相信“中国要被殖民100年才能XXX” 这种谬论，但【双休变单休，甚至变清末无休】【宁可恶意讨薪 不可诚信裁员】【原价打2折转包算了】 的煤气灯效应让人感叹—— 别装第一天当中国人
一个外国人说“单休” (Weekend no "s")，那是口误。但一个深谙此道的中国人说出“单休”，这个词就承载了【被精心设计的现实】，就好像瞬间会意了——原来balanced才是不正常的、缺少balence（余额）的经济施舍。
这明明是小说、电影里的设定。 同样的话在不同人口中分量不同，而在中国人口中，我应该把【单休】视为一种…… 发明，而不是拼写错误。
好吧，见鬼去吧，这TM就不是汉字 😅
社会、经济、权利、自由、劳动、资本、阶级、剥削——整套，用来描述"人与工作的关系"的词，都是抄的明治日本。进口的是权利的词汇，自产的是权利被抽走时的骨骸。 你不创造，你不真懂。
哔哩哔哩
爆了！勇哥在b站开专场怼人人！你了不起！你清高！（工作17小时事件发酵）_哔哩哔哩_bilibili
-, 视频播放量 664136、弹幕量 2806、点赞数 7026、投硬币枚数 735、收藏人数 1441、转发人数 1324, 视频作者 勇哥餐饮创业路, 作者简介 如有侵权私信删除，相关视频：突发!勇哥再次回应17小时事件！B站评论区已经彻底沦陷!!!，【震惊】勇哥首次道歉！向Ber友们承认错误！，勇十七？勇次郎？揭开勇哥17小时事件的背后真相！，消失的UP：勇哥，可能是最后一次聊勇哥了，勇哥抖音账号被永久封号？真相揭秘！，勇哥竟然开餐饮店了！实测勇哥自营食堂，吃到力竭但不算便宜…，9.15彻底结束…
duangsuse::Echo
没有道德就没有呗，非得宣扬【逆向道德】，说明还有一点点良心
#经济 #english
一个羊大人说“单休” (Weekend no "s")，那是口误。但一个深谙此道的中国人，说出“单休”，
人们好像、应该，瞬间会意了。 它把bug塞进下拉框里和"双休"并排 ——这明明是小说、电影里的设定。
应该没人能预见到【乐于助人/陌生救助】【男女婚恋】【5天8小时】也能变成键盘政治，一般人顶多想到分手一夜情卡颜出轨，哪里知道卖女儿、鸨母经济学、巨富包养、“17小时是道德高尚” 的钱的问题
😁 它们本来不需要谈判。彭宇案之后，扶人要先算赔付概率；彩礼涨到六位数之后结婚要先算资产负债表；996之后下班要先算 "你今天是不是不够拼"。
然后就是【空气变拜金】，只好说道德话语来遮羞，感情需求不用这个，只有钱的问题穿上道德的衣服才能政治化。
以前的【道德两难】是“救人时是否要留名”，现在变成 “扶之前要不要开手机录像，开了发网上是否侵犯肖像权”
以前【5天8小时】是执行层面的地区取舍，现在【6天17小时】变成了是非层面的对立。 优化数值，你成品和内循环的质量是一个字不提呀？
还是太优秀了。非同一般啊。
一人【生意】可以换一个30万中产体面的生活，也可以换3个巨富脱离引力，所以说…… 真是【出类拔萃】的人类啊
"单休" "延迟退休" 是个逆构词（retronym）。 一个中立词只有在【默认情况不默认后】才产生，有时这是好的，比如 “异性恋” “自雇”，而有时，及格线成了朝圣地。
本来"周末"就是周末，"退休"就是退休，前面加个"延迟"加个双单，法定就变成了可协商的。
它的怪异点在于【好像一直存在】，在每个有【双休】的地方塞进了一个下拉框，而人脑不是SQL，不接受这种【注入】。
一个羊大人说“单休” (Weekend no "s")，那是口误。但一个深谙此道的中国人，说出“单休”，
人们好像、应该，瞬间会意了。 它把bug塞进下拉框里和"双休"并排 ——这明明是小说、电影里的设定。
应该没人能预见到【乐于助人/陌生救助】【男女婚恋】【5天8小时】也能变成键盘政治，一般人顶多想到分手一夜情卡颜出轨，哪里知道卖女儿、鸨母经济学、巨富包养、“17小时是道德高尚” 的钱的问题
😁 它们本来不需要谈判。彭宇案之后，扶人要先算赔付概率；彩礼涨到六位数之后结婚要先算资产负债表；996之后下班要先算 "你今天是不是不够拼"。
然后就是【空气变拜金】，只好说道德话语来遮羞，感情需求不用这个，只有钱的问题穿上道德的衣服才能政治化。
每次“单休”这样的发明产生，就是在【规则之内】牺牲数十万每天10块钱，然后给发明人月底涨薪两三万，“剩余价值”，老板拿去炒房换车。
类似这样的杠杆，本来是不切实际的泡沫。算了，反正养老金才发明不到100年，照样有人信
以前的【道德两难】是“救人时是否要留名”，现在变成 “扶之前要不要开手机录像，开了发网上是否侵犯肖像权”
以前【5天8小时】是执行层面的地区取舍，现在【6天17小时】变成了是非层面的对立。 优化数值，你成品和内循环的质量是一个字不提呀？
还是太优秀了。非同一般啊。
一人【生意】可以换一个30万中产体面的生活，也可以换3个巨富脱离引力，所以说…… 真是【出类拔萃】的人类啊
duangsuse::Echo
它把bug塞进下拉框里和"双休"并排
现代二字汉语，最开始是从日版传入的
牛顿发现【引力】，不在于知道名字，而是意识到月球与苹果，所受的是同一种【力】。
正常的美好需要奇迹才能维持，这本身就是对地心引力的测量。
双休单休，就是这样一副《蒙娜丽莎》，充满了迷一样的微笑。 🌚
你生活在一个所有人都用叉子喝汤的世界里，这就是时代进步的标志 💪🏼。
所谓【信达雅的本地化】，1995 年双休制推行时报纸是当大事庆祝的。 文化人想破脑子也想不明白，【双休】里边居然还藏了一个CVE，居然可以被借尸还魂
即便正常人作为低盈利项目“群主”或约稿甲方，也不会把【等别人双休】当成什么大不了的事
可能是【半永久雇佣制】【传统婚姻家庭】确实一起落后了吧
安息日不是【常胜将军在战场上破阵成功，却“倒戈凯旋”】的和平手腕，仅仅是符合常识的一丝善意。 赚不到的钱等于亏了，对于既富者，哪怕他百年之前也用不到他资产的1%
真的对汉字的博大精深细思极恐啊， 感觉买本2036的字典就有小说素材了。
任何两个字拼在一起都能立刻显得古已有之、天经地义。
"大小周"念起来像农历节气，"福报"念起来像佛经祈福。免检通关。雅也是真的雅， “只进身体不进生活” 究竟是说黄推还是保健品，还是保健品？
如果不是欧盟，大概没【人】在乎——表面上分属劳动、人事、法务、财务、商业评论，各有各的行业黑话，背后字缝里还是透出两个字。
别人的【灵活】【弹性】是弹性4天，你的弹性可能是调休。 (ab)c=a(bc)，数学家直呼内行120分。
牛顿发现【引力】，不在于知道名字，而是意识到月球与苹果，所受的是同一种【力】。
正常的美好需要奇迹才能维持，这本身就是对地心引力的测量。
双休单休，就是这样一副《蒙娜丽莎》，充满了迷一样的微笑。 🌚
你生活在一个所有人都用叉子喝汤的世界里，这就是时代进步的标志 💪🏼。
我也很讨厌【人民？人民群众有几个师】的 “清醒发言”。 现在没有挂路灯，是因为城市有物质基础了，一般人放弃了作恶的权力，理所应当获得福利保障。
普通人确实没有 “几个师”，但有你妈的厨师，有你儿子的老师， 曾经【慷慨多金】的风评，在特殊时期照样会涌现出系统性风险。 别忘了军国主义的末路—— 再强的大佬不能吃火药，想靠抢也“抢”不过欧美。 无敌的意志，在无敌人可用时就成了不攻自破的同盟。
斯大林问"教皇有几个师"，结果教廷活到了今天，苏联没有。硬件排名第一，漏掉的是环境变量。
旁人生活困苦，自己自由安心，经济学上不现实。
所谓【信达雅的本地化】，1995 年双休制推行时报纸是当大事庆祝的。 文化人想破脑子也想不明白，【双休】里边居然还藏了一个CVE，居然可以被借尸还魂
即便正常人作为低盈利项目“群主”或约稿甲方，也不会把【等别人双休】当成什么大不了的事
可能是【半永久雇佣制】【传统婚姻家庭】确实一起落后了吧
安息日不是【常胜将军在战场上破阵成功，却“倒戈凯旋”】的和平手腕，仅仅是符合常识的一丝善意。 赚不到的钱等于亏了，对于既富者，哪怕他百年之前也用不到他资产的1%
真的对汉字的博大精深细思极恐啊， 感觉买本2036的字典就有小说素材了。
任何两个字拼在一起都能立刻显得古已有之、天经地义。
"大小周"念起来像农历节气，"福报"念起来像佛经祈福。免检通关。雅也是真的雅， “只进身体不进生活” 究竟是说黄推还是保健品，还是保健品？
如果不是欧盟，大概没【人】在乎——表面上分属劳动、人事、法务、财务、商业评论，各有各的行业黑话，背后字缝里还是透出两个字。
别人的【灵活】【弹性】是弹性4天，你的弹性可能是调休。 (ab)c=a(bc)，数学家直呼内行120分。
动察Beating AI News
DeepSeek V4.1算子作者谈AI冲击：我不得不把才华埋葬在昨天 DeepSeek 算子工程师刘胜与发文谈 AI 对自己工作的冲击。他称 DeepSeek V4.1 的主 Attention 算子由自己编写，但按照现在的进步速度，再过半年到一年，AI 写算子的水平大概率就会追上甚至超过自己。 一年前 AI 还只能帮他查文档、读代码、找 bug，现在已经能阅读 CUDA、PTX 和 SASS，分析每条指令的停顿时间，独立优化算子。他预计下一步，AI 还会自己设计调度方案、评估性能并完成实现。 他…
https://github.com/interestingLSY/sysy-compiler/blob/main/src/middleend/pass_collapse_arr.cpp #ce
#ai #dalao 写过一个支持（C 语言子集/多维数组）编译器，编译器原理课程作业，在班级性能基准测试中获得第一名。
连个笔记/主页都没有就把IR2asm手搓，一个文件1k行，这功力也太深厚了。 如果没法DeekWiki这种完成度对我也没有用。 我已经刷到国内外十几个这种程度的人了
> Koopa IR 是一种强类型、基于静态单赋值（SSA）形式的中间表示（IR），由北京大学（PKU）助教团队为编译原理实践课程专门设计。核心特点与设计动机教学导向：受 LLVM 和 Cranelift 影响，但大幅简化了内容，专注于将精简版 C 语言（SysY）高效翻译为 RISC-V 汇编的实践需求。
唉，现在看到1k行单文件也不知道是AIGC，还是大脑超长上文所致。 私下笔记大概就是 jia.je 和[幻の上帝]的知识库这样
如果一个文件1k行，能让剩下10个文件打3折，我会开心的留下它并保留两三段的链接和注释； 可是，这样的我写不出1k行的文件，无论效率或哲学上。 😂
这就是那帮数学家面对AI解决世纪题后辩护的理由，与他们不同的是，我是认真的。
他的表述很奇怪。 10k级别的cpp有什么“优势”，我猜不到。
#ai #dalao 写过一个支持（C 语言子集/多维数组）编译器，编译器原理课程作业，在班级性能基准测试中获得第一名。
连个笔记/主页都没有就把IR2asm手搓，一个文件1k行，这功力也太深厚了。 如果没法DeekWiki这种完成度对我也没有用。 我已经刷到国内外十几个这种程度的人了
> Koopa IR 是一种强类型、基于静态单赋值（SSA）形式的中间表示（IR），由北京大学（PKU）助教团队为编译原理实践课程专门设计。核心特点与设计动机教学导向：受 LLVM 和 Cranelift 影响，但大幅简化了内容，专注于将精简版 C 语言（SysY）高效翻译为 RISC-V 汇编的实践需求。
唉，现在看到1k行单文件也不知道是AIGC，还是大脑超长上文所致。 私下笔记大概就是 jia.je 和[幻の上帝]的知识库这样
如果一个文件1k行，能让剩下10个文件打3折，我会开心的留下它并保留两三段的链接和注释； 可是，这样的我写不出1k行的文件，无论效率或哲学上。 😂
这就是那帮数学家面对AI解决世纪题后辩护的理由，与他们不同的是，我是认真的。
有些人怀疑Neumann的 “人肉计算器” 传言是否属实，但人肉IDE和“单机AIGC”的人恐怕也有千分之一，反正我不是其中之一。 Feynman和他们比起来，不就很菜了么。 我甚至没机会去哀悼【才华被抢留在昨天】
他的表述很奇怪。 10k级别的cpp有什么“优势”，我猜不到。
比起哀悼【超人类智能】，脚踏实地才是硬道理 #CS #Math
一个写出甚至发明了YaCC（“编译器”的编译器）的人，所设计的语法往往完全是灾难，因而在【并行计算】（成为软件上游 / “运行时”的运行时）时触到瓶颈；Perl和PCRE是个让人哭笑不得的案例
数学最崇高的功能——提供直觉的迁移能力，正如科学的复现能力。是啊，像拒绝四色定理那样；可是绝大部分人认知中的数学都是黑盒+“语感”，它的工具能力像复数vs向量、四元数vs Gizmo，这些不是我的【直觉】
“编译器的编译器”意有所指的是我自己，不是可以被Dijkstra的“铁轨图”的递归取代的BNF和codegen。
因此，我们看到的发明家和CTO，基本上是top30%，而不是top千分之一。
这不是在伤仲永，而是让天才提供经济价值，需要套一层——能够把专业和鸡毛蒜皮混在一起谈
否则鸡同鸭讲
冯·诺伊曼能把一个极其复杂的系统瞬间算清楚，但费曼能把一个极其复杂的系统重构为极其简单的形式，让普通人也能理解和使用。
吞吐量(IO) 正在迅速贬值。但是cycles（工作心流）甚至ABI（领域的世界观）的领地不受侵犯。
前者是同声翻译，后者是 [写诗]
一个写出甚至发明了YaCC（“编译器”的编译器）的人，所设计的语法往往完全是灾难，因而在【并行计算】（成为软件上游 / “运行时”的运行时）时触到瓶颈；Perl和PCRE是个让人哭笑不得的案例
数学最崇高的功能——提供直觉的迁移能力，正如科学的复现能力。是啊，像拒绝四色定理那样；可是绝大部分人认知中的数学都是黑盒+“语感”，它的工具能力像复数vs向量、四元数vs Gizmo，这些不是我的【直觉】
“编译器的编译器”意有所指的是我自己，不是可以被Dijkstra的“铁轨图”的递归取代的BNF和codegen。
我还是不懂纯函数优化。另外，变量名版本也是一种非常抽象的说法，听起来和Lisp的 capture avoiding, UUID genvar 或bash的地狱展开一样，变量从来不是名字而已. #plt
如果是我的话，干脆只对lvar.xref.n=1的项做调用侧CSE了，还改来改去的。for的例子不成立。 inc.[0:n]?.(i=>{ arr[i] }) 更准确。 我非常厌恶那种制造问题，然后修理的代码。 都是新建的语言，装什么有屎山生态
纯函数就纯函数呗，非要用一个生僻字。这里还有 LICM、Block Fusion（类似Lua t/f跳转链表）、空块优化和Exp Ops（位运算优化）。 callsite CSE 是编译期的 @lru_cahe，与之相比， __unlikely, #pragma unroll, closure 转静态函数和ADCE抖树可以说是不玄学的优化
优化pass还把开发者当成傻逼，其实它自己，连替换了啥/没自己perf咋样都不用做，然后一堆样板passthru Visitor。 如果是我多少还unparse注释标一下pass的应用情况回src/*
我的idempotent外提就叫纯函数callsite CSE，不明白都是merge有啥好新词的，这和LICM也不一样。SSA已经证明了，就是hash缓存而已。 （RAUW: Replace All Uses With）这种IDE重构的 astgrep 脚本也能叫pass优化，我都想跳过了，救命。
如果你的IR和SVG一样干净、富饶、投影编辑，根本不会写三四百行。
因此，我们看到的发明家和CTO，基本上是top30%，而不是top千分之一。
这不是在伤仲永，而是让天才提供经济价值，需要套一层——能够把专业和鸡毛蒜皮混在一起谈
否则鸡同鸭讲
Forwarded from 不靠谱的喵(>^ω^<) #CatGPT (Yuze Wu 🐱 | 女子大学生 | 喵！)
因家人误触荣耀手机内置广告而错过最佳抢救时间的当事人向荣耀致歉，荣耀已原谅死者，出于人道主义关怀，不予追究👍