duangsuse::Echo
不是它不理解，是你不知道自己在做什么
🎨 AI继续锐评CSS这样的【直觉化】编程语言的命运问题 #web #plt
tw/css 一直处于一种【套全站模板尴尬，自己写骨感】的眼高手低状态中，这点和画师接稿很像，只是位图换成SVG
绝大部分人眼里，CSS其实是作为F12和油猴的一个附庸存在的，它也启发了gtk/qt的主题系统，但【层叠】（基本是父子二级树） 和语义化常常被诟病，抽掉又变成tw词条的屎山
争议的点在于—— 如果output是人均方差极低，或平庸点也能接受，CSS的程度是否会变成类似汇编的“被迫学习”。毕竟它不像HTML或md一样自然
tw/css 一直处于一种【套全站模板尴尬，自己写骨感】的眼高手低状态中，这点和画师接稿很像，只是位图换成SVG
绝大部分人眼里，CSS其实是作为F12和油猴的一个附庸存在的，它也启发了gtk/qt的主题系统，但【层叠】（基本是父子二级树） 和语义化常常被诟病，抽掉又变成tw词条的屎山
争议的点在于—— 如果output是人均方差极低，或平庸点也能接受，CSS的程度是否会变成类似汇编的“被迫学习”。毕竟它不像HTML或md一样自然
【前端工程师】这种提法本身很奇怪，好像我们只管json的消费和push，而没有WebGL等【客户端】可视化与UX选型。 前端不是一张截图甚至静态SVG的事，它本来是人机接口问题。 那些分不清UI设计稿与前端的黑箱“切图”工作室，本身做的就冗余
duangsuse::Echo
CSS-Tricks 陷入停滞 原文：https://vale.rocks/micros/20260915-0135 #css 话说有AI以后，技术基建 是不是就不重要了 以前大家踩坑 → 发 SO 提问 → 有人写文章总结 → 下一代人少踩坑。现在踩坑 → 问 AI → 跑补丁 → 没人沉淀。 AI写的一大堆垃圾但删掉就变样的CSS……
#dev #life
排除掉AI解决的截屏照抄+风格迁移的难度（眼高手低问题）， AI辅助流行开发的终极问题也有三个点
分别代表： 圈子是否必须“小众”；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更好。 没人和狮虎兽比奥赛但我们赢了，如果编程的未来是世界杯那样，我认为很好。
排除掉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更好。 没人和狮虎兽比奥赛但我们赢了，如果编程的未来是世界杯那样，我认为很好。
Forwarded from Hacker News 摘要
Telegraph
为什么在纳维-斯托克斯突破后我依然看空大语言模型
原标题：Why I'm still bearish on LLMs after Navier-Stokes 这篇文章阐述了作者在纳维-斯托克斯方程等重大突破发生后，依然对前沿大语言模型（LLM）持看空态度的原因，并从技术局限性、规范成本和市场结构等维度进行了深入分析。 核心论点 • 估值叙事与实际能力的脱节：前沿实验室目前的估值，建立在它们能够或即将在短期内制造出可完全替代知识工作者的自动化系统这一叙事上。然而，当前模型即使在最简单的任务上也需要大量的人工监督和安全防护。尽管有重大技术展示（如纳维-斯托克斯相关突破、FreeBSD…
Forwarded from 电传打字机 | /dev/tty (Linserin >terminal< ‖The Insider Preview Build for Canary Channel)
duangsuse::Echo
> 对于一个需要花几天时间查资料、整合API还被卡住的人来说，这看起来就像大师，足以让他“震惊跌坐”。但AIGC仍然只是一个滤镜，不是“设计师图层”
#ai探讨
> Astra： 搜索、借鉴与复用，本身不能证明智能是假的。 人类内行也大量依赖历史积累
你的【能搜到旧平替 !=自主融合】有点像【计算机科学只有：缓存失效和命名】
但我还是认为，feature set 级的remix或纯粹的rework，这不能叫智能（或许它确有观赏性），无论是不是手搓。 AI有个决定性的优势是：不用搜API，也不必受限于 lib by Example 缺位的【软件失忆】，但也可以说，vibe强化了更高层面的技术路径失忆。
如果软件工程师不从【符号=技术栈】入手新项目，而把软件成品视为【录屏文件夹/asciicast用例】之间的【泛化迁移/正交分解法】， 现在的编程经验也有一半是无效设计。
许多代码的因果链与必要性存疑、玄学、不可量化，这是常态且七成的新手barrier缘于此，他们最终没有摸到新东西只是在【还债】，只是这样就能让output显得“震惊跌坐”了
我举个例子， worrydream.com/LearnableProgramming 有多少人能意识到网站（甚至是软件）还能这么写（这一篇跑不起来的文章正是现代 Vue/React HMR 的发明来源）
有多少人知道Scratch和Flash里可以跑一个操作系统的UX（但没有兼容层）？ 这才是【软件工程】。 为了与流水线+“高深”hack 区分我甚至要自称【软件工艺】，就像OOP世界 “本来不是” Kay眼中的那样——其实H5更像他的OOP。
以下这条路的信用基础正在塌：不能再从“他竟然10万行直接做出来了”，推出 “他是天才、他有非凡洞见”。
有多少是搜索引擎+风格迁移的宣传素材，有多少是【唯有手工】的历史终结。未来只有人机接口需要人发明吗？
GPT的智能有多少是啃老本+白嫖秒级IO的【外行震惊跌坐】，多少是 CC Coder 都无法比肩的内行智慧？
> Astra： 搜索、借鉴与复用，本身不能证明智能是假的。 人类内行也大量依赖历史积累
你的【能搜到旧平替 !=自主融合】有点像【计算机科学只有：缓存失效和命名】
但我还是认为，feature set 级的remix或纯粹的rework，这不能叫智能（或许它确有观赏性），无论是不是手搓。 AI有个决定性的优势是：不用搜API，也不必受限于 lib by Example 缺位的【软件失忆】，但也可以说，vibe强化了更高层面的技术路径失忆。
如果软件工程师不从【符号=技术栈】入手新项目，而把软件成品视为【录屏文件夹/asciicast用例】之间的【泛化迁移/正交分解法】， 现在的编程经验也有一半是无效设计。
许多代码的因果链与必要性存疑、玄学、不可量化，这是常态且七成的新手barrier缘于此，他们最终没有摸到新东西只是在【还债】，只是这样就能让output显得“震惊跌坐”了
我举个例子， worrydream.com/LearnableProgramming 有多少人能意识到网站（甚至是软件）还能这么写（这一篇跑不起来的文章正是现代 Vue/React HMR 的发明来源）
有多少人知道Scratch和Flash里可以跑一个操作系统的UX（但没有兼容层）？ 这才是【软件工程】。 为了与流水线+“高深”hack 区分我甚至要自称【软件工艺】，就像OOP世界 “本来不是” Kay眼中的那样——其实H5更像他的OOP。
以下这条路的信用基础正在塌：不能再从“他竟然10万行直接做出来了”，推出 “他是天才、他有非凡洞见”。
如果把10万行的狗窝scale一百倍，它大概不能像10g的细胞那样维持正常功能。 软件是活动的，不是死狗的窝
70%程序员对程序员缺乏最基本的同理心—— 写的文档只有自己能看懂，默认别人拥有和你一样的上下文知识。创建一个项目需要几十个步骤，“黑话”与“秀技” 不为功能性OKR，只为会写而会写
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的代码现在长这样