duangsuse::Echo
把软件成品视为【录屏文件夹/asciicast用例】之间的【泛化迁移/正交分解法】， 现在的编程经验也有一半是无效设计。
客观的看：软件成品若视为【录屏文件夹】 现代编程经验一半就是无效设计，我有夸大嫌疑。
但我可以问问—— 在没有WiFi、typec、全面屏，甚至你连鼠标和剪贴板ZXCV都不统一，没有git撤回时（NVim和Emacs就是那样）工作流是什么样子的？2026呢？
显而易见，海量的个案。 随便抓一个大致100%安装率的，就知道70%程序员对程序员，也缺乏最基本的同理心
如果你今天必须学git命令，应该没人不会把任天堂的【存档槽位】、区块链的【付费事务】，与 git commit 连接在一起。 它们确实不支持diff和PR等【版本控制】，但绝大部分人在前1个月根本就不会用到 “高级功能”！！ （反而更需要浅克隆、撤回和 push -f ）
你能设计编译器身边已经是top5%了，但做成这样一个结果。 我不敢想象铺开到应用层有多少肮脏的hacker
像这样的 distinguished engineer ，自食的衔尾蛇而已。 《一拳超人》的ONE和OOP真正的发明者Kay不是这样牛人
天才就像是现代数码的迭代，头上有多少就烧光多少，没有【剩余价值】，没给自己留后路，也没给下游留体面。
但我可以问问—— 在没有WiFi、typec、全面屏，甚至你连鼠标和剪贴板ZXCV都不统一，没有git撤回时（NVim和Emacs就是那样）工作流是什么样子的？2026呢？
显而易见，海量的个案。 随便抓一个大致100%安装率的，就知道70%程序员对程序员，也缺乏最基本的同理心
如果你今天必须学git命令，应该没人不会把任天堂的【存档槽位】、区块链的【付费事务】，与 git commit 连接在一起。 它们确实不支持diff和PR等【版本控制】，但绝大部分人在前1个月根本就不会用到 “高级功能”！！ （反而更需要浅克隆、撤回和 push -f ）
罗马数字和打字机是主流时，工程师和作家的生活，是灾难，只是你无法像用Vim那样，一键穿越到过去猎奇审丑。
我们都知道 refactoring.guru 的十几个设计模式——其中七八成在Kotlin和函数值的JS里只是小case（比如Builder和nullish），而另些顺带的被低估（如CtrlZ的命令和多态的Visitor）
Javaer可以说js的json跑不快，但不能说Loadump操作的起步痛苦，是自然的（参考SpringMVC和Batis.xml）， 设计模式，就是丑化的语言特性，一点不夸张。
我问那些“正确的历史设计” ——是谁让OmarchyOS的脚本充满字符串注入，谁让PHP被花里胡哨SQLi和$变量名淘汰的。 CORS和CSP有过问题，然后，修了。ES6和 py 3.14 t"str" 早干嘛去了？架构师都瞎了？
他解决牛逼函数式和各种代数是超人IQ， 怎么到了日常问题上，就成【草履虫注意力】只会C-like和狭隘toy二选一了？
就是明摆着的垃圾API挤占你的注意力，还有脸了。 许多人长期以这种“成熟软件”为傲，直到近几年风气才变了，确实就是破铜烂铁堆的可怜兮兮的精力，只说成品牛逼
你能设计编译器身边已经是top5%了，但做成这样一个结果。 我不敢想象铺开到应用层有多少肮脏的hacker
像这样的 distinguished engineer ，自食的衔尾蛇而已。 《一拳超人》的ONE和OOP真正的发明者Kay不是这样牛人
天才就像是现代数码的迭代，头上有多少就烧光多少，没有【剩余价值】，没给自己留后路，也没给下游留体面。
duangsuse::Echo
你能设计编译器身边已经是top5%了，但做成这样一个结果。 我不敢想象铺开到应用层有多少肮脏的hacker
#statement 【录屏文件夹】
翻译一下： 都这么爱往API加私货，思路乱的跟屎山和收费接口似的，那就不用了，看你还能把UIUX也写成破坏性面条是不。
敢往repo乱传不Pythonic的废物声明，敢欺负用户的“肉眼凡胎”吗？抽象没有意义，秒破。
请想象一下：如果所有端，真的和拖拽编辑器那样简单（虽然因响应式/UX/社区库而不现实）…… 那么API套再多设计模式和玄学堆砌，谁需要理技术债务呢？
现在虽然声明式设计不现实（有外形无精神），但包一层录几段脚本套个壳，还是做的到的，只是没有bash那么开箱即用。
这本质上就是把那个看似动态、不知所谓的Web/原生应用，强行“录制”成了一个个ABI稳定且不用查的【录屏文件夹】。 只是很少有人意识到AOP二开可以达到单独发布的质量（只有灰产），也自然不会做A11y和必要的反射框架。
所以微软这样的“罪恶公司”会用pwsh写那么多诊断界面，在Office里大胆的用 Event mock 迁移旧代码 ，而【自由世界】反而不自由，觉得性能好像永远是银弹。 Electron 就是给他们的双重神罚——既卡又重，但能用
翻译一下： 都这么爱往API加私货，思路乱的跟屎山和收费接口似的，那就不用了，看你还能把UIUX也写成破坏性面条是不。
敢往repo乱传不Pythonic的废物声明，敢欺负用户的“肉眼凡胎”吗？抽象没有意义，秒破。
请想象一下：如果所有端，真的和拖拽编辑器那样简单（虽然因响应式/UX/社区库而不现实）…… 那么API套再多设计模式和玄学堆砌，谁需要理技术债务呢？
现在虽然声明式设计不现实（有外形无精神），但包一层录几段脚本套个壳，还是做的到的，只是没有bash那么开箱即用。
这本质上就是把那个看似动态、不知所谓的Web/原生应用，强行“录制”成了一个个ABI稳定且不用查的【录屏文件夹】。 只是很少有人意识到AOP二开可以达到单独发布的质量（只有灰产），也自然不会做A11y和必要的反射框架。
他们宁可重造轮子，也不愿意在【我按快捷键/加两块WebUI iframe能做到】的基础上【继续设计】，因为编程世界的目标，从一开始就不真正是为了运行
为了智力上的挑战和满足感。为了部落归属感和职业身份。为了膜拜复杂性本身（作为一种权力）。为了工作职业和仪式感
所以微软这样的“罪恶公司”会用pwsh写那么多诊断界面，在Office里大胆的用 Event mock 迁移旧代码 ，而【自由世界】反而不自由，觉得性能好像永远是银弹。 Electron 就是给他们的双重神罚——既卡又重，但能用
duangsuse::Echo
敢往repo乱传不Pythonic的废物声明，敢欺负用户的“肉眼凡胎”吗？抽象没有意义，秒破。
他们并没有真正读透代码背后的领域和问题101——
好像一个文盲以【中英日韩】来给笔友排座位，实则一位是唱歌的，一位是诗人，“韩人和韩人一窝”，但两人真不熟。 对文盲们而言，月抛的符号比背后的【体验】还重要，一提花花绿绿的代码，就来劲了，却不知道写100行有顶尖平台和框架10行的语义没有。
一个理解软件的创作者眼里，repo可能是栈或拓扑图，而“韩人和韩人一窝”的那种作者，codebase真的只是cloc的术语和行号，连复杂性分布都没有预计。说个比喻，他们的中间语言可能是forif甚至while，连map/filter/on-evt都觉得太间接
哪个模块是该PoC的核心？哪个模块是性能瓶颈？修改A最远会影响到多远的B？
一步还有几种做法？ 为什么这里A和B搭配？ 要换个界面，该怎么重组？关键函数和typenam列10个出来？ 掉出流水线，就知道根本是被流水带着走的
猜疑链（没人敢动，“清理者”被迫全量编译后找不到demo输入抓手）、技术爆炸的假象（实为 archived by author Nyr ago）、生存是第一需要（思想的第一桶金写成次抛，买椟还珠），做个软件连小说素材都有了。
孔老二的【教学半】含金量还是高啊。教，然后知困。
好像一个文盲以【中英日韩】来给笔友排座位，实则一位是唱歌的，一位是诗人，“韩人和韩人一窝”，但两人真不熟。 对文盲们而言，月抛的符号比背后的【体验】还重要，一提花花绿绿的代码，就来劲了，却不知道写100行有顶尖平台和框架10行的语义没有。
这个问题根因是——他们在学习的过程中并未建立起对屏幕之外的【中间语言】，也不知道删几行=怎么样，更没有下意识的学习超越代码字面的【因果关系】，所以对领域【脸盲】 就像一个人的单词本寥寥百词
一个理解软件的创作者眼里，repo可能是栈或拓扑图，而“韩人和韩人一窝”的那种作者，codebase真的只是cloc的术语和行号，连复杂性分布都没有预计。说个比喻，他们的中间语言可能是forif甚至while，连map/filter/on-evt都觉得太间接
哪个模块是该PoC的核心？哪个模块是性能瓶颈？修改A最远会影响到多远的B？
他们没有预期，只知道【是我】【一步一步写的】。给整成一滩黑暗森林，连这个错误都非原创。
“是我，一步一步写的”， 说穿了，那就是看着书或找的codebase，加上碎片的经验直觉凑出来的。 能用是能用，【最难的部分】给整丢了。
我举个例子， a.(int[2][3]) [i][j]; 的数组退化，即便问题【已经明确了】，我们还是要猜 “这个是5% case，只是写贪吃蛇(n*i+1j)还用不上”； 然后看清站位（领域已经有C和Fortran列优先，有nd数组，F在Excel AVG()那种情况更快）
如果没有直觉，就想下点-线-面的正方形“MC大方块”如何以3元组偏移量定位，最后得出一个 (a+[2 3 1]@[0 i j]) 的test，再想想既然是点乘，是不是可以换成简单comptime+eDSL，换成 [(2 3) 3 1]@[i j1 j2] 支持更好？
一步还有几种做法？ 为什么这里A和B搭配？ 要换个界面，该怎么重组？关键函数和typenam列10个出来？ 掉出流水线，就知道根本是被流水带着走的
猜疑链（没人敢动，“清理者”被迫全量编译后找不到demo输入抓手）、技术爆炸的假象（实为 archived by author Nyr ago）、生存是第一需要（思想的第一桶金写成次抛，买椟还珠），做个软件连小说素材都有了。
孔老二的【教学半】含金量还是高啊。教，然后知困。
Forwarded from DBin_K 🤯 Tingle 灵光一闪 💡 (DBin_K ∣ 闷声摸大鱼🐳)
这个有点意思 ，想起来之前那个 Bionic Reading，是通过把单词前几个字母加粗来缓解注意力疲劳，这个直接用上 LLM 技术来高亮了，让中文也能享受到这样的观感 😋
https://chromewebstore.google.com/detail/info-highlight/gemajnklkebeikmfphiddpjfimahacdk
https://chromewebstore.google.com/detail/info-highlight/gemajnklkebeikmfphiddpjfimahacdk
Forwarded from Hacker News 摘要
Telegraph
Harness 税：运行底座对代码智能体究竟有多大影响？
原标题：HarnessTax: How Much Does the Harness Matter for Coding Agents? 这项由加州大学伯克利分校（UC Berkeley）与 Arena 合作的研究，探讨了 Harness（智能体运行底座/脚手架框架）对代码智能体（Coding Agents）性能与成本的具体影响。 在代码智能体中，Harness 负责管理模型的工具调用、上下文管理以及任务执行流程。该研究在 SWE-bench Lite 和 Terminal-Bench 2.0 两个开源基准上，评估了由…
Forwarded from Hacker News 摘要
Telegraph
我为什么没有在菲尔兹奖得主的联名信上签字
原标题：Why I didn’t sign the Fields medallists’ letter 这是数学家蒂莫西·高尔斯（Timothy Gowers）撰写的一篇博文，详细阐述了他为什么选择不在25位菲尔兹奖得主联名签署的公开信上签字，并表达了他对人工智能（AI）与数学发展关系的独立思考。 个人经历与出发点 高尔斯以自己童年时尝试证明费马大定理的经历开篇。虽然当时年幼的他并未成功，但通过反复研究差分序列并得出规律，他在过程中获得了宝贵的数学理解。高尔斯表示，他赞同公开信中关于“即便没有最终解决问…
Forwarded from Frost's Notes
假如你想造一个跑得很快的机器人，那最好的形态是轮子，或者加上履带，而不是一个双足机器人。在这项任务上让它长得像人没有任何意义，还有很高的技术难度。
这就是我认为Jev对于AI界的意义，之前我一直觉得缺失了。希望未来有更多异构的AI模型出现。
这就是我认为Jev对于AI界的意义，之前我一直觉得缺失了。希望未来有更多异构的AI模型出现。
#plt #math
现在这帮魔法师的画风，已经变成P3这样了。
什么AVL和NFA都可以写800行最宽200列 ，一个函数签名200列
可以说：很完美的展现了PFer的圈子【品味】——他们就是以黑魔法+“排除法证明” 为乐的。
https://github.com/bendlang/bend/blob/main/bend2/bend.lean
我曾经没看清这点，被【偶然复杂性】带节奏了，但现在AI生成的GL啊游戏啦，都很好读
一般人还会区分个快乐路径，数学家只用排除，因为不在乎可读。
不过这个语言引入一个 -p ~f 内联 , +n 可多次出现，默认静态单赋值的思想，挺好，主页面也非常精巧、五脏俱全、对比明确。 但是lib复杂性像P3那样，law怎么能手动加啊？
无论有多正确，只要语意覆盖率不够，那个玩具箱的20k证据链再翻倍都不行。 再厉害的黑盒，那也是给人用的……
他们确实不讨厌复杂性，但这种复杂，没有界面。
现在这帮魔法师的画风，已经变成P3这样了。
什么AVL和NFA都可以写800行最宽200列 ，一个函数签名200列
可以说：很完美的展现了PFer的圈子【品味】——他们就是以黑魔法+“排除法证明” 为乐的。
https://github.com/bendlang/bend/blob/main/bend2/bend.lean
我曾经没看清这点，被【偶然复杂性】带节奏了，但现在AI生成的GL啊游戏啦，都很好读
一般人还会区分个快乐路径，数学家只用排除，因为不在乎可读。
又是一个 20k 行的“证明”文件。 我曾不明白《四色定理》为何被数学家排斥；但代码写成这样，我现在和数学家一样讨厌AI了 😅
哈哈，ML领域的【内部特征流形】也是个黑话
——不可调整，不可泛化，只是特定工作流（vec嵌入）的复述
现代世界充满了这样无意义的东西，好像用了你就更准确，因而可以逃避一切
不过这个语言引入一个 -p ~f 内联 , +n 可多次出现，默认静态单赋值的思想，挺好，主页面也非常精巧、五脏俱全、对比明确。 但是lib复杂性像P3那样，law怎么能手动加啊？
无论有多正确，只要语意覆盖率不够，那个玩具箱的20k证据链再翻倍都不行。 再厉害的黑盒，那也是给人用的……
他们确实不讨厌复杂性，但这种复杂，没有界面。
This media is not supported in your browser
VIEW IN TELEGRAM
Bend：一种通过数学证明在 CPU 和 GPU 上拦截 AI 错误的编程语言
原文：https://bend-lang.com/
f!(x) 免框架并行化，和mojo一样的思路，可惜在np栈上不像ti那样具备现实意义（而且ti是兼容py）
人家特意为bench 19k 超长代码库的编译做了优化，比 top3 的checker都快一半…… 真了不起，一个大baby可以收拾自己的尿布了。但他们什么时候才能学会别拉20k行呢？
可是我想，人类调试软件的瓶颈，以及最基本的A..B区间断言怎样别再用DT链表，谁来优化。 🤪
不过主页动画确实绝了，放在这里。
https://github.com/bendlang/bend/blob/main/bend2/docs/intro/render.js
参观一下以PFer的圈子【品味】，他们生成这类gif的代码现在长这样
原文：https://bend-lang.com/
f!(x) 免框架并行化，和mojo一样的思路，可惜在np栈上不像ti那样具备现实意义（而且ti是兼容py）
人家特意为bench 19k 超长代码库的编译做了优化，比 top3 的checker都快一半…… 真了不起，一个大baby可以收拾自己的尿布了。但他们什么时候才能学会别拉20k行呢？
可是我想，人类调试软件的瓶颈，以及最基本的A..B区间断言怎样别再用DT链表，谁来优化。 🤪
不过主页动画确实绝了，放在这里。
https://github.com/bendlang/bend/blob/main/bend2/docs/intro/render.js
参观一下以PFer的圈子【品味】，他们生成这类gif的代码现在长这样
duangsuse::Echo
https://github.com/manaflow-ai/cmux #haha 这个Claude #vibe 出的玩意…… 支持了muti-Agent，多标签的active高亮，以及WebView bash自动化 12万行 1.4k 个swift文件，2.7k 个 AI PR，你要说可移植性，那就是没有 😨 看到这一堆 BrowserDesignModeController, BrowserHTTPBasicAuthPrompt.swift 时我的震惊已经无以复加，就连英文编写的内容也有一种进了…
#code #design 现在会写代码、能跑，真的已经没有任何稀奇了
什么AVL和NFA都可以写800行最宽200列 ，一个函数签名200列
一个 .lean 文件 20k 行，以后随便一个安装包GH上都是《海底两万里》
屠龙勇士？ 它们也是恶龙。 无法理解源码，就以为能理解proptest，结果是断言也要交给AI，那个代数又有几个人能看懂。
随便一个文件夹上百.swift ，里边函数列表比我写的代码的行号，还多两倍。
遇到复刻MC的xyzb体素引擎，那个.ts文件都能2MB（大约是 5万到10万行trigger fun），没有Codex读写都做不到，手工改更不现实
真别说日用的编译器复杂，谁能想到2M……
我认为，工具链和框架已经不再需要为AI的表现优化了，they 的理解能力，完全不需要按人类和组织的标准去衡量…… 人家天天手搓Linux和Blink呢 ，别问output，就看token是不是这个体量？！
专心为人如何维护高层数据流优化吧。
它们才是长了轮子的，不需要护膝。
什么AVL和NFA都可以写800行最宽200列 ，一个函数签名200列
一个 .lean 文件 20k 行，以后随便一个安装包GH上都是《海底两万里》
屠龙勇士？ 它们也是恶龙。 无法理解源码，就以为能理解proptest，结果是断言也要交给AI，那个代数又有几个人能看懂。
随便一个文件夹上百.swift ，里边函数列表比我写的代码的行号，还多两倍。
遇到复刻MC的xyzb体素引擎，那个.ts文件都能2MB（大约是 5万到10万行trigger fun），没有Codex读写都做不到，手工改更不现实
真别说日用的编译器复杂，谁能想到2M……
我认为，工具链和框架已经不再需要为AI的表现优化了，they 的理解能力，完全不需要按人类和组织的标准去衡量…… 人家天天手搓Linux和Blink呢 ，别问output，就看token是不是这个体量？！
专心为人如何维护高层数据流优化吧。
它们才是长了轮子的，不需要护膝。
Forwarded from 动察Beating AI News
DeepSeek V4.1算子作者再回应：AI夺走的不是饭碗，是我喜欢的工作方式
DeepSeek 算子工程师刘胜与再次发文，回应《我不得不把才华埋葬在昨天》爆火后的各种解读。他说，自己真正想表达的并不是失业焦虑，也不是 DeepSeek 和 Anthropic 的路线之争，而是 AI 正在让他告别曾经喜欢的工作方式。
过去写算子时，大部分代码都由他一个字一个字敲出来。他享受慢慢琢磨代码结构、变量命名和调度方案，再一点点把性能推高，直到超过 Flash Attention、英伟达官方实现，甚至攻克过去认为很难优化的任务。
但现在 AI 干活已经比他更快，未来还会变得又快又好。为了效率和性能，他必须研究怎么让 Agent 更好地写算子。手写算子甚至编程，未来可能会像用标枪打猎一样，从生产活动慢慢变成一种娱乐或竞技。
刘胜与说，自己对 AI 的未来和个人处境都相对乐观，真正悲观的是以后人们还能不能静下心认真做一件事，以及自己还能不能长期把工作同时当作爱好。不过他仍会继续写算子，也会继续引入 AI Agent，「被别人淘汰不如自我进化」。
信源
动察 Beating 频道 · 动察 Beating 交流群
DeepSeek 算子工程师刘胜与再次发文，回应《我不得不把才华埋葬在昨天》爆火后的各种解读。他说，自己真正想表达的并不是失业焦虑，也不是 DeepSeek 和 Anthropic 的路线之争，而是 AI 正在让他告别曾经喜欢的工作方式。
过去写算子时，大部分代码都由他一个字一个字敲出来。他享受慢慢琢磨代码结构、变量命名和调度方案，再一点点把性能推高，直到超过 Flash Attention、英伟达官方实现，甚至攻克过去认为很难优化的任务。
但现在 AI 干活已经比他更快，未来还会变得又快又好。为了效率和性能，他必须研究怎么让 Agent 更好地写算子。手写算子甚至编程，未来可能会像用标枪打猎一样，从生产活动慢慢变成一种娱乐或竞技。
刘胜与说，自己对 AI 的未来和个人处境都相对乐观，真正悲观的是以后人们还能不能静下心认真做一件事，以及自己还能不能长期把工作同时当作爱好。不过他仍会继续写算子，也会继续引入 AI Agent，「被别人淘汰不如自我进化」。
信源
动察 Beating 频道 · 动察 Beating 交流群
duangsuse::Echo
ML领域的【内部特征流形】也是个黑话
——不可调整，不可泛化，只是特定工作流（vec嵌入）的复述
——不可调整，不可泛化，只是特定工作流（vec嵌入）的复述
#statement #code
当你用这种词、这种软件时，它什么都有，甚至能提供这一类工作的方便（能跑通，AI测试全覆盖）
但你没有获得任何事物的理解。“流形” 既不可视化，也不能自由改变，更不贡献泛化力和心智模型
对于全AIGC的源码，就有这种问题。 节点图和prompt的保留只是AI工作流的一个借口。代码出生即死亡——从来没有人拥有过它。
“流型” 只是个代名词，里边儿没有任何动词在那，甚至连名词都不包含。它就像幽灵外卖那样 “好吃”
代名词只是一个指向的手势——指向某个你不打算进入的地方。
这就是我说的【软件失忆问题】，放在生活中的体现
当你用这种词、这种软件时，它什么都有，甚至能提供这一类工作的方便（能跑通，AI测试全覆盖）
但你没有获得任何事物的理解。“流形” 既不可视化，也不能自由改变，更不贡献泛化力和心智模型
Agent 时代编程最大的改变是， 以前你的demo和小软件像是【公钥】，基本上只有你维护有性价比
现在，别人看到一个就能抄一个，压根不需要逆向（推倒重来可能比原版更有特色）。 直接从【动态媒介】变成类似视频、小说一样的【所见即所得】
过去，编译后的产品、前端混淆后的代码、甚至 Demo 录屏，都只是一把“公钥”。别人能看能用，但无法轻易逆向出“私钥”（源码和底层逻辑）。原作者曾天然拥有维护的护城河。
拥有视觉和Goal能力的Codex们好比应用层的量子计算机，fork你某个模块的成本是 0。
“推倒重来”的成本已经低于“阅读并修改旧代码”的成本，它甚至比实拍的视频更容易“翻拍”了。 【有恒产者有恒心】 在未来的工程化里，是否仍然奏效呢？
对于全AIGC的源码，就有这种问题。 节点图和prompt的保留只是AI工作流的一个借口。代码出生即死亡——从来没有人拥有过它。
“流型” 只是个代名词，里边儿没有任何动词在那，甚至连名词都不包含。它就像幽灵外卖那样 “好吃”
代名词只是一个指向的手势——指向某个你不打算进入的地方。
这就是我说的【软件失忆问题】，放在生活中的体现
Forwarded from 高先生的开发碎碎念（能更新一点点）
jev 给我的感觉就是终于有人把cnn lstm 时代做的小模型分类器挂到了大模型身上，做到了general的分类器。
可以做的场景很多啊。 审核判断，记账目标分类。 很多之前用llm判断的地方现在都可以切到jev了，泛型与速度的兼容，太强了。
可以做的场景很多啊。 审核判断，记账目标分类。 很多之前用llm判断的地方现在都可以切到jev了，泛型与速度的兼容，太强了。
Forwarded from HAT's Public Channel |
Forwarded from duangsuse
🤨 分享一个偶然的体会—— P/NP （能验证==能生成?）问题简直像被解决了一样
以前拿到安装包的人只“拥有”很小一部分（更不用说拿到截图了），现在，如果只是想改很小一部分，基本上不需要理解就能完成了。
在理论计算机科学中，NP 是指“很容易验证答案”，而 P 是指“很容易计算出答案”。
https://t.me/dsuse/23179
以前拿到安装包的人只“拥有”很小一部分（更不用说拿到截图了），现在，如果只是想改很小一部分，基本上不需要理解就能完成了。
在理论计算机科学中，NP 是指“很容易验证答案”，而 P 是指“很容易计算出答案”。
Agent 时代编程最大的改变是， 以前你的demo和小软件像是【公钥】，基本上只有你维护有性价比
现在，别人看到一个就能抄一个，压根不需要逆向（推倒重来可能比原版更有特色）。 直接从【动态媒介】变成类似视频、小说一样的【所见即所得】
“推倒重来”的成本已经低于“阅读并修改旧代码”的成本，它甚至比实拍的视频更容易“翻拍”了。 【有恒产者有恒心】 在未来的工程化里，是否仍然奏效呢？
https://t.me/dsuse/23179
Telegram
duangsuse::Echo
#statement #code
当你用这种词、这种软件时，它什么都有，甚至能提供这一类工作的方便（能跑通，AI测试全覆盖）
但你没有获得任何事物的理解。“流形” 既不可视化，也不能自由改变，更不贡献泛化力和心智模型
Agent 时代编程最大的改变是， 以前你的demo和小软件像是【公钥】，基本上只有你维护有性价比
现在，别人看到一个就能抄一个，压根不需要逆向（推倒重来可能比原版更有特色）。 直接从【动态媒介】变成类似视频、小说一样的【所见即所得】
对于全AIGC的源码，就有这种问题。 节点图…
当你用这种词、这种软件时，它什么都有，甚至能提供这一类工作的方便（能跑通，AI测试全覆盖）
但你没有获得任何事物的理解。“流形” 既不可视化，也不能自由改变，更不贡献泛化力和心智模型
Agent 时代编程最大的改变是， 以前你的demo和小软件像是【公钥】，基本上只有你维护有性价比
现在，别人看到一个就能抄一个，压根不需要逆向（推倒重来可能比原版更有特色）。 直接从【动态媒介】变成类似视频、小说一样的【所见即所得】
对于全AIGC的源码，就有这种问题。 节点图…
Forwarded from 动察Beating AI News
三个人+Claude黑进OpenAI内部代码库，OpenAI还给了6500美元
安全公司 Hacktron 的 3 名白帽研究员，用 Claude 不到 72 小时一路摸到了 OpenAI 内部代码库。三人随后主动上报漏洞，OpenAI 修复后按漏洞赏金计划给了他们 6500 美元。
攻击入口只是 OpenAI 的社区论坛。研究员发现，上传一张特制 HEIF 图片，就能利用论坛软件 Discourse 的漏洞，让服务器执行他们写的代码。随后，他们拿到了论坛用户的登录令牌，相当于一张「已经登录过的通行证」。
更大的问题出在 OpenAI 自己。论坛的登录令牌权限开得太大，竟然还能进入同一用户的 ChatGPT 和 Codex 账号，部分令牌又属于 OpenAI 员工。研究员借其中一个员工账号进入 Codex，而这个 Codex 连着公司的 GitHub。最终，他们让 Codex 在内部 openai/openai 代码库提交了一次无害的文档修改，证明自己已经碰到了内部仓库。随后立即停止测试并上报。
Claude 主要负责最难的一步：把图片漏洞变成真正能跑起来的攻击代码。Opus 4.8 一直没跑稳；Opus 5 上线后几小时就取得突破。Hacktron 称，从最初发现问题到进入 OpenAI 内部仓库，整个过程不到 72 小时，人实际只投入了几个小时。
信源
动察 Beating 频道 · 动察 Beating 交流群
安全公司 Hacktron 的 3 名白帽研究员，用 Claude 不到 72 小时一路摸到了 OpenAI 内部代码库。三人随后主动上报漏洞，OpenAI 修复后按漏洞赏金计划给了他们 6500 美元。
攻击入口只是 OpenAI 的社区论坛。研究员发现，上传一张特制 HEIF 图片，就能利用论坛软件 Discourse 的漏洞，让服务器执行他们写的代码。随后，他们拿到了论坛用户的登录令牌，相当于一张「已经登录过的通行证」。
更大的问题出在 OpenAI 自己。论坛的登录令牌权限开得太大，竟然还能进入同一用户的 ChatGPT 和 Codex 账号，部分令牌又属于 OpenAI 员工。研究员借其中一个员工账号进入 Codex，而这个 Codex 连着公司的 GitHub。最终，他们让 Codex 在内部 openai/openai 代码库提交了一次无害的文档修改，证明自己已经碰到了内部仓库。随后立即停止测试并上报。
Claude 主要负责最难的一步：把图片漏洞变成真正能跑起来的攻击代码。Opus 4.8 一直没跑稳；Opus 5 上线后几小时就取得突破。Hacktron 称，从最初发现问题到进入 OpenAI 内部仓库，整个过程不到 72 小时，人实际只投入了几个小时。
信源
动察 Beating 频道 · 动察 Beating 交流群