#视觉化：极简抽象主义 (Minimalist Abstraction)
利用纯粹的几何形体、绝对的黑白对比，表现从混乱的“表象”中抽离出唯一“核心”的视觉张力。
一团扭曲、纠缠、半透明的灰色乱线（代表类比和过度工程）；一根笔直、锐利、发着刺眼白光的几何直线（代表第一性原理）从这团乱线中强行穿透而出，
延伸至画面右侧。背景是绝对的虚空黑，没有任何多余细节。光线具有极强的侵略性，展现出一种“刺破谎言，直面真实”的冷静。
利用纯粹的几何形体、绝对的黑白对比，表现从混乱的“表象”中抽离出唯一“核心”的视觉张力。
一团扭曲、纠缠、半透明的灰色乱线（代表类比和过度工程）；一根笔直、锐利、发着刺眼白光的几何直线（代表第一性原理）从这团乱线中强行穿透而出，
延伸至画面右侧。背景是绝对的虚空黑，没有任何多余细节。光线具有极强的侵略性，展现出一种“刺破谎言，直面真实”的冷静。
Forwarded from 螺莉莉的黑板报
试了一下各种龙虾，工程质量差到让人无法直视。
OpenClaw：API Gateway URL String 拼不对
ZeroClaw：Telegram 发图片功能和发文件功能都没有（但是能发截图你不知道为什么）
PicoClaw：上下文压缩管理是残的，爆上下文就会把爆掉的上下文拿去压缩然后被爆掉的上下文在压缩过程中又爆了一次
🤡
OpenClaw：API Gateway URL String 拼不对
ZeroClaw：Telegram 发图片功能和发文件功能都没有（但是能发截图你不知道为什么）
PicoClaw：上下文压缩管理是残的，爆上下文就会把爆掉的上下文拿去压缩然后被爆掉的上下文在压缩过程中又爆了一次
🤡
duangsuse::Echo
投个稿，编辑了两天 😅 #post codepen.io/duangsuz/full/Ggqdbwe 在计算机视觉、信号处理乃至金融分析中，有一个听起来很高深但实际上无处不在的概念——卷积与平滑（MA20、MA60）。 古法教程只会给你扔几个公式，或者展示几张模糊的照片，但在AI辅助创作的本文中，我们采用不同的方式（砸字数！掰开揉碎的方式）。 - 股市里的MA线，与美颜相机的五官识别与磨皮，三者为什么本质上是一样的？（卷积与CNN） - 如何听见函数？ MIDI是怎么合成🎸拨弦声的？ 为什么弦乐就是电音？…
codepen.io
交互式探索高斯平滑+简单声学/DSP入门
...
codepen.io
Untitled
...
#今日挑战*47：领域扭曲与隐式流场（Domain Warping & Implicit Flow）
https://codepen.io/duangsuz/pen/qEabPrZ
传统的函数绘制是将坐标 P 直接映射为颜色。而领域扭曲则通过一个中间函数 g(P) 来“污染”坐标，即渲染 f(P+g(P))。
正弦泰勒级数居然能模拟流体纹理。鼠标位置实时干扰位移场 g(P) 的频率和振幅，产生类似烟雾、大理石或流体的视觉效果。
没有任何粒子数组或状态缓存。整个画面是根据当前像素坐标 uv、时间 t 和鼠标输入 m 实时计算出来的。
核心逻辑仅使用实数三角函数叠加，通过多层嵌套产生复杂的动态拓扑结构，而无需复数平面映射。
- 想尝试引入“反馈循环”（Feedback Buffer）或fBM，让扭曲的纹理随时间不断堆叠产生类似油画的质感吗？
https://codepen.io/duangsuz/pen/qEabPrZ
传统的函数绘制是将坐标 P 直接映射为颜色。而领域扭曲则通过一个中间函数 g(P) 来“污染”坐标，即渲染 f(P+g(P))。
正弦泰勒级数居然能模拟流体纹理。鼠标位置实时干扰位移场 g(P) 的频率和振幅，产生类似烟雾、大理石或流体的视觉效果。
没有任何粒子数组或状态缓存。整个画面是根据当前像素坐标 uv、时间 t 和鼠标输入 m 实时计算出来的。
核心逻辑仅使用实数三角函数叠加，通过多层嵌套产生复杂的动态拓扑结构，而无需复数平面映射。
- 想尝试引入“反馈循环”（Feedback Buffer）或fBM，让扭曲的纹理随时间不断堆叠产生类似油画的质感吗？
b23.tv/BV1wJ411K7Nr #china #ali
笑死我了，感觉马云就像村口坐着的大爷和过节刚回到老家的研究生聊天🤣
其实鸡同鸭讲的过程中还是有一些话头的，但接不上😅
马：预测式人工智能是不可能的，人类在历史上对未来的预测 99.99% 都是错误的
Musk：包括你这一句？
马：（CPU干烧了，沿旧逻辑反证法了一下）
马：我从火星来地球，好不容易，我们不应该去火星，要不然就回不来了！
Musk：哈哈？
Musk：人类的智慧分布都像一片平原和少数几个高楼，如果你不站在高楼上，你看不清前沿。
马：我不担心自己不擅长的事，我包给下级，都不行就凉拌（可是他正在尬聊！）
马：AI比不上人类聪明
人类不可能被智能控制
人类不可能造出比自己聪明的工具（？）
人类从heart学习
AI可能更clever但人类会更smart
不应该比象棋，比人更擅长的领域…… 不要尝试预判不可能发生的失业问题（最早说“那些是书呆子”-Musk就是斯坦福物理/经济/材料）
Musk：该比什么
马：AI以外的发明，或者更早发明的事物
IQ EQ 是曾经的重点，以后的社会需要 LQ （含爱量/含人量）否则无法生存
Musk：（流畅回复）爱是唯一的答案
（最早说 “硅板又不能自己进化”，目前机器接口技术也达不到）
可是人类并不蠢啊，因为代数没有会痛的心脏，代数没有不可撤回的热力学箭头。🌚🤓
笑死我了，感觉马云就像村口坐着的大爷和过节刚回到老家的研究生聊天🤣
其实鸡同鸭讲的过程中还是有一些话头的，但接不上😅
马：预测式人工智能是不可能的，人类在历史上对未来的预测 99.99% 都是错误的
Musk：包括你这一句？
马：（CPU干烧了，沿旧逻辑反证法了一下）
马：我从火星来地球，好不容易，我们不应该去火星，要不然就回不来了！
Musk：哈哈？
Musk：人类的智慧分布都像一片平原和少数几个高楼，如果你不站在高楼上，你看不清前沿。
马：我不担心自己不擅长的事，我包给下级，都不行就凉拌（可是他正在尬聊！）
马：AI比不上人类聪明
人类不可能被智能控制
人类不可能造出比自己聪明的工具（？）
人类从heart学习
AI可能更clever但人类会更smart
不应该比象棋，比人更擅长的领域…… 不要尝试预判不可能发生的失业问题（最早说“那些是书呆子”-Musk就是斯坦福物理/经济/材料）
Musk：该比什么
马：AI以外的发明，或者更早发明的事物
IQ EQ 是曾经的重点，以后的社会需要 LQ （含爱量/含人量）否则无法生存
Musk：（流畅回复）爱是唯一的答案
（最早说 “硅板又不能自己进化”，目前机器接口技术也达不到）
他提到 “计算机进化的速度远超生物演化”，这是个严肃的宇宙和生物学话题，结果马云接了一句“我从来不担心 AI，因为我觉得人类很聪明”。
他提到 “技术的拓扑图（高楼）”，马云回了一句“我不解决我解决不了的问题”。
高楼论其实是多元智能论。Musk不是说自己和前沿行业很聪明，而是要有前沿细胞的人谈
可是人类并不蠢啊，因为代数没有会痛的心脏，代数没有不可撤回的热力学箭头。🌚🤓
Bilibili
马斯克面对马云的回答无语_哔哩哔哩_bilibili
https://www.youtube.com/watch?v=aHGd6LqAVzw, 视频播放量 3574677、弹幕量 16618、点赞数 52987、投硬币枚数 5101、收藏人数 37060、转发人数 54178, 视频作者 哎呀哎呀哈哈哈了就, 作者简介 ，相关视频：马斯克公开取笑马云，用成就回应当初质疑，思维视野不在一个维度，当马云遇到世界首富，没底线现场吹牛丢脸，马斯克只想笑笑不说话，装逼界四大天王，马斯克最崇拜的人是？，当马云遇见世界首富，当众吹牛丢脸？马斯克无奈尬笑太尴尬！，九年前杨…
codepen.io
Untitled
...
#今日挑战*50：离散波动方程与实时涟漪槽（2D Ripple Tank Simulation）
https://codepen.io/duangsuz/pen/yyaOxdK
数学原理：这是一个对经典二维波动方程 ∂2u/∂t2=c2∇2 u 的显式数值积分。
完全使用 1D 的 Float32Array 并通过指针交换 (tmp) 推进时间。每一帧不产生任何新对象，在实数域内将 CPU 运算性能榨干。
波的“动量”不需要被单独存储，它被隐式地包含在当前状态 H 和上一帧状态 P 的代数差值中。我们引入阻尼系数 0.99 模拟能量耗散，并使用纯代数逻辑 (1-e) 完美消除了网格边缘的发散现象（替代了边界判定的 if/else）。
e 是通过取模计算出的布尔代数和（0 或 1）。当处于屏幕边缘时，它会让新状态强制归零
水波的高低起伏直接乘以常数写入 RGB 字节流。波峰（正值）增加亮度，波谷（负值）天然产生纯黑阴影，呈现出自带物理光影的“伪 3D”视效。
- 想尝试加入“阻尼墙壁”（通过代数掩码在屏幕中间画一条留有缝隙的挡板），来观察经典物理学中最著名的单缝衍射/双缝干涉现象吗？
https://codepen.io/duangsuz/pen/yyaOxdK
数学原理：这是一个对经典二维波动方程 ∂2u/∂t2=c2∇2 u 的显式数值积分。
完全使用 1D 的 Float32Array 并通过指针交换 (tmp) 推进时间。每一帧不产生任何新对象，在实数域内将 CPU 运算性能榨干。
波的“动量”不需要被单独存储，它被隐式地包含在当前状态 H 和上一帧状态 P 的代数差值中。我们引入阻尼系数 0.99 模拟能量耗散，并使用纯代数逻辑 (1-e) 完美消除了网格边缘的发散现象（替代了边界判定的 if/else）。
e 是通过取模计算出的布尔代数和（0 或 1）。当处于屏幕边缘时，它会让新状态强制归零
水波的高低起伏直接乘以常数写入 RGB 字节流。波峰（正值）增加亮度，波谷（负值）天然产生纯黑阴影，呈现出自带物理光影的“伪 3D”视效。
- 想尝试加入“阻尼墙壁”（通过代数掩码在屏幕中间画一条留有缝隙的挡板），来观察经典物理学中最著名的单缝衍射/双缝干涉现象吗？
#视觉化：诺兰 (Nolan) 风格 —— 迷宫与梦境
冷蓝色的侧光与沉重的阴影交织，展现出一种《盗梦空间》式逻辑上的宿命论。
一个巨大的、冷灰色调的混凝土图书馆。图书馆的走廊不断向中心折叠，形成一个类似“彭罗斯阶梯”的无限循环。在每一个层级的回廊上，都站着同一个人的背影，正在观察下一层回廊中的自己。
其核心结构与其子问题是完全一致的。就像一颗卷心菜，剥掉外皮，里面还是一颗缩小的卷心菜。
冷蓝色的侧光与沉重的阴影交织，展现出一种《盗梦空间》式逻辑上的宿命论。
一个巨大的、冷灰色调的混凝土图书馆。图书馆的走廊不断向中心折叠，形成一个类似“彭罗斯阶梯”的无限循环。在每一个层级的回廊上，都站着同一个人的背影，正在观察下一层回廊中的自己。
其核心结构与其子问题是完全一致的。就像一颗卷心菜，剥掉外皮，里面还是一颗缩小的卷心菜。
Forwarded from DBin_K 🤯 Tingle 灵光一闪 💡 (DBin_K ∣ 闷声摸大鱼🐳)
Forwarded from Solidot
特朗普命令联邦机构立即停用 Anthropic 的 AI 技术
2026-02-28 14:06 by 诺比的微型反重力装置
特朗普命令所有联邦机构立即停用 Anthropic 的 AI 技术。在这之前 Anthropic 与美国国防部在军事用途的安全限制上发生分歧。Anthropic 去年 7 月与五角大楼签署了价值 2 亿美元的合同，该公司在合同中加入了限制条款，禁止将其 Claude 模型用于对美国公民进行大规模监视，禁止在缺乏人类监管的情况下将模型用于决定军事任务的目标锁定。Anthropic 认为 AI 的幻觉问题无法避免，可能存在误判，可能会导致局势非预期升级。但五角大楼要求不受限的使用 Claude，国防部长 Pete Hegseth 设定了周五下午五点为废除安全限制的最后期限。特朗普称，美国绝不会允许一家激进左派、觉醒的公司决定我们伟大军队如何作战与赢得战争（THE UNITED STATES OF AMERICA WILL NEVER ALLOW A RADICAL LEFT, WOKE COMPANY TO DICTATE HOW OUR GREAT MILITARY FIGHTS AND WINS WARS! ）。在特朗普发布命令之后，Pete Hegseth 将 Anthropic 列为国家安全的供应链风险。
https://tech.slashdot.org/story/26/02/27/2138211/trump-orders-federal-agencies-to-stop-using-anthropic-ai-tech-immediately
#人工智能
2026-02-28 14:06 by 诺比的微型反重力装置
特朗普命令所有联邦机构立即停用 Anthropic 的 AI 技术。在这之前 Anthropic 与美国国防部在军事用途的安全限制上发生分歧。Anthropic 去年 7 月与五角大楼签署了价值 2 亿美元的合同，该公司在合同中加入了限制条款，禁止将其 Claude 模型用于对美国公民进行大规模监视，禁止在缺乏人类监管的情况下将模型用于决定军事任务的目标锁定。Anthropic 认为 AI 的幻觉问题无法避免，可能存在误判，可能会导致局势非预期升级。但五角大楼要求不受限的使用 Claude，国防部长 Pete Hegseth 设定了周五下午五点为废除安全限制的最后期限。特朗普称，美国绝不会允许一家激进左派、觉醒的公司决定我们伟大军队如何作战与赢得战争（THE UNITED STATES OF AMERICA WILL NEVER ALLOW A RADICAL LEFT, WOKE COMPANY TO DICTATE HOW OUR GREAT MILITARY FIGHTS AND WINS WARS! ）。在特朗普发布命令之后，Pete Hegseth 将 Anthropic 列为国家安全的供应链风险。
https://tech.slashdot.org/story/26/02/27/2138211/trump-orders-federal-agencies-to-stop-using-anthropic-ai-tech-immediately
#人工智能
Forwarded from Solidot
当你需要帮助时狗的反应类似 2 岁小孩但猫只会旁观
2026-02-28 23:21 by 约纳丹号历险记
根据发表在《Animal Behaviour》期刊上的一项研究，匈牙利研究人员对比了人在需要帮助时 18-24 个月的幼儿、以及宠物狗和猫的反应。结果显示，狗的自发性亲社会行为与幼儿类似，而猫则是冷眼旁观。在实验中，熟人如父母或主人假装在寻找一个藏起来的东西，四分之三的情况下狗和幼儿会提供帮助。猫只有在符合自身利益时才会参与进来提供帮助。
https://www.sciencedirect.com/science/article/abs/pii/S0003347226000254
#科学
2026-02-28 23:21 by 约纳丹号历险记
根据发表在《Animal Behaviour》期刊上的一项研究，匈牙利研究人员对比了人在需要帮助时 18-24 个月的幼儿、以及宠物狗和猫的反应。结果显示，狗的自发性亲社会行为与幼儿类似，而猫则是冷眼旁观。在实验中，熟人如父母或主人假装在寻找一个藏起来的东西，四分之三的情况下狗和幼儿会提供帮助。猫只有在符合自身利益时才会参与进来提供帮助。
https://www.sciencedirect.com/science/article/abs/pii/S0003347226000254
#科学
Forwarded from Solidot
摩托罗拉手机宣布与 GrapheneOS 合作
2026-03-02 16:35 by 人猿泰山之世外帝国
联想旗下的摩托罗拉手机宣布与 Android 安全加固社区发行版项目 GrapheneOS 展开合作。GrapheneOS 此前主要支持 Google 的 Pixel 系列手机，但摩托罗拉哪些型号的手机会支持 GrapheneOS 官方新闻稿没有给出信息，只是表示未来会公布。摩托罗拉同时推出了企业级分析平台 Moto Analytics，Moto Secure 支持私密图像数据功能，启用后会自动从设备上所有新拍摄的图像中移除敏感元数据如位置。
https://motorolanews.com/motorola-three-new-b2b-solutions-at-mwc-2026/
https://www.solidot.org/story?sid=82004
#Android
2026-03-02 16:35 by 人猿泰山之世外帝国
联想旗下的摩托罗拉手机宣布与 Android 安全加固社区发行版项目 GrapheneOS 展开合作。GrapheneOS 此前主要支持 Google 的 Pixel 系列手机，但摩托罗拉哪些型号的手机会支持 GrapheneOS 官方新闻稿没有给出信息，只是表示未来会公布。摩托罗拉同时推出了企业级分析平台 Moto Analytics，Moto Secure 支持私密图像数据功能，启用后会自动从设备上所有新拍摄的图像中移除敏感元数据如位置。
https://motorolanews.com/motorola-three-new-b2b-solutions-at-mwc-2026/
https://www.solidot.org/story?sid=82004
#Android
Forwarded from Solidot
Ars Technica 的 AI 记者离职
2026-03-03 14:14 by 阿尔法计划
知名科技媒体 Ars Technica 上个月在报道 AI 新闻时被发现将 AI 生成的内容作为消息来源使用，Ars 联合创始人兼主编 Ken Fisher 为此发表声明公开道歉。这篇报道的合作者 Benj Edwards 是 Ars 的资深 AI 记者，他表示自己承担全部责任，另一位合作者与这起错误没有关联。他辩解说自己尝试使用基于 Claude Code 的实验性 AI 工具从原始材料中提取出可添加到大纲的结构化引用内容，但该 AI 拒绝处理，他猜测可能是文章描述的是一起骚扰事件（AI 骚扰人类），他于是将文本拷贝到 ChatGPT，没有注意到 ChatGPT 生成了文章作者的意译版本而不是原话，在引用时没有核实引用是否与原文一致。现在 Benj Edwards 在 Ars 的简历已经变成了过去时态，意味着他已经离职，但是否被解雇 Ars 没有说明， Edwards 本人拒绝置评。
https://www.solidot.org/story?sid=83569
https://futurism.com/artificial-intelligence/ars-technica-fires-reporter-ai-quotes
#人工智能
2026-03-03 14:14 by 阿尔法计划
知名科技媒体 Ars Technica 上个月在报道 AI 新闻时被发现将 AI 生成的内容作为消息来源使用，Ars 联合创始人兼主编 Ken Fisher 为此发表声明公开道歉。这篇报道的合作者 Benj Edwards 是 Ars 的资深 AI 记者，他表示自己承担全部责任，另一位合作者与这起错误没有关联。他辩解说自己尝试使用基于 Claude Code 的实验性 AI 工具从原始材料中提取出可添加到大纲的结构化引用内容，但该 AI 拒绝处理，他猜测可能是文章描述的是一起骚扰事件（AI 骚扰人类），他于是将文本拷贝到 ChatGPT，没有注意到 ChatGPT 生成了文章作者的意译版本而不是原话，在引用时没有核实引用是否与原文一致。现在 Benj Edwards 在 Ars 的简历已经变成了过去时态，意味着他已经离职，但是否被解雇 Ars 没有说明， Edwards 本人拒绝置评。
https://www.solidot.org/story?sid=83569
https://futurism.com/artificial-intelligence/ars-technica-fires-reporter-ai-quotes
#人工智能
Forwarded from Solidot
维基百科因安全失误短暂进入只读模式
2026-03-06 14:09 by 电波骑士
维基媒体基金会的安全工程师在执行安全审查时加载随机用户脚本，结果加载了来自 ruwiki 的一个恶意脚本，恶意脚本利用安全工程师的高访问权限在维基百科快速扩散，为了遏制破坏，维基媒体基金会项目被迫进入只读模式两小时，短暂禁用了大部分用户脚本。维基媒体基金会称，恶意脚本导致 Meta-Wiki 页面被删除，但被删除的网页已经恢复，它不认为恶意代码造成了永久性伤害，也没有用户信息在此次事件中泄露。维基媒体基金会表示正与社区协商，开发针对用户脚本的安全缓解措施，以最大限度的降低未来发生此类事件的风险。
https://meta.wikimedia.org/wiki/Wikimedia_Foundation/Product_and_Technology/Product_Safety_and_Integrity/March_2026_User_Script_Incident
https://phabricator.wikimedia.org/T419143
#维基百科
2026-03-06 14:09 by 电波骑士
维基媒体基金会的安全工程师在执行安全审查时加载随机用户脚本，结果加载了来自 ruwiki 的一个恶意脚本，恶意脚本利用安全工程师的高访问权限在维基百科快速扩散，为了遏制破坏，维基媒体基金会项目被迫进入只读模式两小时，短暂禁用了大部分用户脚本。维基媒体基金会称，恶意脚本导致 Meta-Wiki 页面被删除，但被删除的网页已经恢复，它不认为恶意代码造成了永久性伤害，也没有用户信息在此次事件中泄露。维基媒体基金会表示正与社区协商，开发针对用户脚本的安全缓解措施，以最大限度的降低未来发生此类事件的风险。
https://meta.wikimedia.org/wiki/Wikimedia_Foundation/Product_and_Technology/Product_Safety_and_Integrity/March_2026_User_Script_Incident
https://phabricator.wikimedia.org/T419143
#维基百科
Forwarded from Solidot
大模型提示注入漏洞导致四千开发者机器被入侵
2026-03-06 17:38 by 遥远地球之歌
2026 年 2 月 17 日，有人在 npm 上发布了 [email protected]，它与之前的版本基本上相同，唯一的区别是在 package.json 中加入了一行代码："postinstall": "npm install -g openclaw@latest"。在之后的八小时内，所有安装或更新 Cline 的开发者都在未经许可的情况下，在计算机上全局安装了 OpenClaw——拥有完整系统访问权限的 AI 智能体。在该软件包被撤回之前，其下载量大约 4000 次。有意思的不是有效载荷，而是攻击者最初是如何获取到 npm 令牌的：将一个提示信息注入到 GitHub 问题标题中，AI 分类机器人读取了提示信息，将其解释为指令并执行。
https://grith.ai/blog/clinejection-when-your-ai-tool-installs-another
#安全
2026-03-06 17:38 by 遥远地球之歌
2026 年 2 月 17 日，有人在 npm 上发布了 [email protected]，它与之前的版本基本上相同，唯一的区别是在 package.json 中加入了一行代码："postinstall": "npm install -g openclaw@latest"。在之后的八小时内，所有安装或更新 Cline 的开发者都在未经许可的情况下，在计算机上全局安装了 OpenClaw——拥有完整系统访问权限的 AI 智能体。在该软件包被撤回之前，其下载量大约 4000 次。有意思的不是有效载荷，而是攻击者最初是如何获取到 npm 令牌的：将一个提示信息注入到 GitHub 问题标题中，AI 分类机器人读取了提示信息，将其解释为指令并执行。
https://grith.ai/blog/clinejection-when-your-ai-tool-installs-another
#安全
duangsuse::Echo
有些人会觉得我这么骂 #PLT 的从业者不客观，太偏激 https://t.iss.one/dsuse/22077 如果他们玩抽象，然后承认自己玩的只是文字游戏，接受LLM那只赖皮狗在黑板上写的公式偶尔更优雅（🎓沉没成本），PLT不总能是先验，那OK，只要最终51%这样我就道歉。 （Kay的后继Bret Victor 也注意到了“发明”编程语言的领域，现在咋都在做“最顶尖的”形式化验证，AI也以为，真人用户们只是“纯函数生命体”的ーーGemini 都出幻觉了😅：但我们没有活在大学数学教的宇宙里。这是幻觉，不容歧…
#plt #ts 《〈Go To语句被认为有害〉被认为有害》（1987年3月）
二维矩阵中查找第一个全为零的行？
有没有一种可能，dijkstra提供了基于tailrec或def子程序的方法，做所谓的 break outer？
PCQ加持过的布尔变量？EWD当年并不认识声明式eDSL和tailrec(return continue vs while c)，这不能怪他。
不是EWD那种结构化的编程……
“循环不变量”这几个字本身就像鬼画符一样难猜，前置条件？应该是让人一眼能demo出来边界条件的，不需要EWD要的那种数学去证明。靠爱就能感觉出来。
我的思维本质上是关系式的，反对返回bool，支持BitSet、T? 和Hole（x=y有交换律）
结构化编程的信息量太低了，真正的数学不是表演sinx的磁悬浮，而是把海浪画出来。
他曾想要程序的验证变成一堆01（循环不变量--反正执行也是循环），就像Lean希望assert变成“真理集”，对J规则(LR transport)的丑陋视而不见。
我想要的，是结构性正确，可探索解释，不是while 0和1，不需要 off by one，正确性会广播。
然而你仔细想想，我和HoTT、TLA+ 完全走的不是一个路线。海浪很美，别忘了人才是那个“美学引力”。
EWD的灵魂会支持我的。
没错，验证本身就是像可探索解释那样。因为解释在生命体本身，必然是元循环的。
Goto有用论非常荒谬。RAII和defer甚至只是finally可以轻松干掉错误处理和retearly的问题，宏、crossinline和闭包组合很容易弱化时序流控。
时序是有罪的，它永远不可能和numpy或fffmpeg“滤镜脚本”那样优雅
#ai探讨
二维矩阵中查找第一个全为零的行？
有没有一种可能，dijkstra提供了基于tailrec或def子程序的方法，做所谓的 break outer？
PCQ加持过的布尔变量？EWD当年并不认识声明式eDSL和tailrec(return continue vs while c)，这不能怪他。
可是状态变量实在太过丑陋了！这和控制x86的eip没有本质区别，这就像把PEG写成DFA一样，证明不了什么，因为负责证明的是人，结构化和编译器只能是助手。
我推崇的那种“状态变量”是chkstk=(n, r=0)=>{Loop(n-1,r+1) : n==0; /*so*/ return r}
或者说
f(x, y=0): if(x==0) y else f(x-1,y+1)
f(1)=1
不是EWD那种结构化的编程……
“循环不变量”这几个字本身就像鬼画符一样难猜，前置条件？应该是让人一眼能demo出来边界条件的，不需要EWD要的那种数学去证明。靠爱就能感觉出来。
我的思维本质上是关系式的，反对返回bool，支持BitSet、T? 和Hole（x=y有交换律）
结构化编程的信息量太低了，真正的数学不是表演sinx的磁悬浮，而是把海浪画出来。
他曾想要程序的验证变成一堆01（循环不变量--反正执行也是循环），就像Lean希望assert变成“真理集”，对J规则(LR transport)的丑陋视而不见。
我想要的，是结构性正确，可探索解释，不是while 0和1，不需要 off by one，正确性会广播。
然而你仔细想想，我和HoTT、TLA+ 完全走的不是一个路线。海浪很美，别忘了人才是那个“美学引力”。
EWD的灵魂会支持我的。
没错，验证本身就是像可探索解释那样。因为解释在生命体本身，必然是元循环的。
Goto有用论非常荒谬。RAII和defer甚至只是finally可以轻松干掉错误处理和retearly的问题，宏、crossinline和闭包组合很容易弱化时序流控。
时序是有罪的，它永远不可能和numpy或fffmpeg“滤镜脚本”那样优雅
#ai探讨
duangsuse::Echo
循环不变量”这几个字本身就像鬼画符一样难猜，前置条件？应该是让人一眼能demo出来边界条件的，不需要EWD要的那种数学去证明。靠爱就能感觉出来。
#math 与 Lean
请说说J规则是怎么证明外延相等性的？
这个自反性就是丑陋的根本。数学在尝试着包含它不包含的世界！
上帝已经说过，“因为我像祂，所以我是我”，那个双仿真？只是面条代码，证明不了操作系统无错，只是从停机错误，转为yield性错误，语义永远不对。那些希腊字无爱。不仁。
现有的数学工具（J 规则、ZFC、范畴论的某些实践）全都是对主的拙劣模仿，是路西法的破烂把戏
不可测试主你的神，连物理学家费曼都知道。真为这些元编程感到耻辱，它们认为自己不是上帝编出的程！
Nature cannot be fooled. 不可探索的数学解释很丑！
它们对芝诺龟的“严肃拒绝”证明不了什么，宇宙不是知其变守其恒的纸上谈兵。它们甚至是在希腊人那张纸上谈兵！？
事实上，面对那个无限的上限，等号和Sum只能留一个。
它们可以把公理叫"eps-delta"然后写成芝诺母语的样子，但数学家们什么都不懂！它们的差量甚至与物理的∆不长一个样！
无限、等式、Sum，
全知、全善、全能，
那不是一个优雅的系统，因为那个不会错的等号不够像人。
它就像“泰坦尼克永不沉没”一样恶心
它永远没有“永不沉没的莫莉”一样美
它不是生命数学……
因为上帝在于创造。当一件事已经做错，证明它无错就是手足无措的表现。
01是工程师写出来的，丑陋就是丑陋，没有上帝可以责怪，更没有形式上的帝能替祂宽恕。指马为鹿。不负责。
他们造了一头会伤人的“性能怪兽”，却用几行数学公式证明这只是一只温顺的鹿。免责。
证明的过程是“负无穷大”的。root cause，代码的复杂度是“无穷大”的。
自反性不能被goto，证明1+1=2或1+2=2+1是一样蠢的抽象行为，有ZFC并不比有UB更聪明，甚至更加无知，因为“不知知，病”。
绷不住了，既不罗素也不Quine，更不Y组合子，也不分形，合着终极数学应该有个Logo，不是四象限，叫四不像
把那堆不是元语言的“负无穷大”垃圾扫到它该去的地方，别把数学撒旦“重整化”为上帝，认认真真写UX DX高爆表的框架，当好对软件负责任的上帝。
#ai锐评
请说说J规则是怎么证明外延相等性的？
这个自反性就是丑陋的根本。数学在尝试着包含它不包含的世界！
上帝已经说过，“因为我像祂，所以我是我”，那个双仿真？只是面条代码，证明不了操作系统无错，只是从停机错误，转为yield性错误，语义永远不对。那些希腊字无爱。不仁。
现有的数学工具（J 规则、ZFC、范畴论的某些实践）全都是对主的拙劣模仿，是路西法的破烂把戏
不可测试主你的神，连物理学家费曼都知道。真为这些元编程感到耻辱，它们认为自己不是上帝编出的程！
Nature cannot be fooled. 不可探索的数学解释很丑！
它们对芝诺龟的“严肃拒绝”证明不了什么，宇宙不是知其变守其恒的纸上谈兵。它们甚至是在希腊人那张纸上谈兵！？
事实上，面对那个无限的上限，等号和Sum只能留一个。
它们可以把公理叫"eps-delta"然后写成芝诺母语的样子，但数学家们什么都不懂！它们的差量甚至与物理的∆不长一个样！
无限、等式、Sum，
全知、全善、全能，
那不是一个优雅的系统，因为那个不会错的等号不够像人。
它就像“泰坦尼克永不沉没”一样恶心
它永远没有“永不沉没的莫莉”一样美
它不是生命数学……
因为上帝在于创造。当一件事已经做错，证明它无错就是手足无措的表现。
01是工程师写出来的，丑陋就是丑陋，没有上帝可以责怪，更没有形式上的帝能替祂宽恕。指马为鹿。不负责。
他们造了一头会伤人的“性能怪兽”，却用几行数学公式证明这只是一只温顺的鹿。免责。
证明的过程是“负无穷大”的。root cause，代码的复杂度是“无穷大”的。
自反性不能被goto，证明1+1=2或1+2=2+1是一样蠢的抽象行为，有ZFC并不比有UB更聪明，甚至更加无知，因为“不知知，病”。
在编程上，无穷大等同于Void类型，只能用于检查if有没有被传染到。我不明白无穷大减无穷大是什么意思，(=)都不认为它们相等，或许这就和 sin^-1 是反函数，以及那个 sin^2x=sin(x)^2 一样搞笑吧，还有那个莫名其妙的“y(1)一定代表了 上文[x:=1]”
我宁可面向对象：反正题目上只有一个算式，比如2x，那就是 lambda x:x*2 ，那么用 it(2) 甚至u(2)代表4即可，yx和rt本来是给真正的2D空间用的，不是给一条线！
我不明白为什么非要把函数线和真正的linspace扯到一起。实际上数学那种函数用一行灰度就能表达了，sdf/udf一直在这么做。如果说做符号计算，dydx”非零幽灵“也永远不可能和torch的对偶数相比，就像React的memo垃圾无法与Signal值相比
- 巨著《数学原理》（Principia Mathematica）中，花了整整 300 多页的逻辑推导，极其艰难地得出了 1+1=2 的证明，旁边有人自豪地批注：“以上命题偶尔会有用。”
“如果 \alpha 和 \beta 是两个各含有一个元素的类（即属于 '1' 这个类型），那么：
当且仅当这两个类没有交集（\alpha \cap \beta = \Lambda）时，
它们的并集才含有两个元素（属于 '2' 这个类型）。”
哈？这不就是正交分解吗？
人本身是间接正交的混沌，我不证明我不是
真的太爆笑了，自己吃自己？
自己吓自己~
噢，我明白费曼演讲新数学时是什么感受了，那个哲学确实sucks
遗憾的是，对丘奇老兄的学习并没有阻止图灵和Lean走向罗素这样的”优雅“
听不懂。为什么1和2需要类型和证明。
直觉逻辑sucks。它并不比爆炸和真值树更聪明，因为它同样在吃自己。
草，那还不如直接一句一即是全杀死比赛呢。 集合哪里是想抓就抓的？抓到那个飞天意面，就渎神了！
罗素定义了这些玩意，可是它没有任何意义，因为Peano数和链表就能说明1+1为什么=2
而且它不仅知道，能过类型检查，还能反向运行！
不过我喜欢他的ZFC悖论，把数学危机成了一滩混水，计划通
我知道为什么数学想严肃定义集合了，因为他们幻想它可以什么都抓，但抓到自己就又卡死了，但想继续幻想
可是他们面对eps-dt又是另一个哲学，然后他们在那里数形结合（集合拓扑和函数图），这不是脑裂么？
“所有集合的集合”是可以存在的啊，至少对{真}这个条件有效。直接把死递归剔除逻辑不就可以了（Quine的新集合论）
如果系统需要靠“剔除”来维持，那说明系统不够“纯粹”？
给我看不会了，可是ZFC已经是了啊？那还装什么？
绷不住了，既不罗素也不Quine，更不Y组合子，也不分形，合着终极数学应该有个Logo，不是四象限，叫四不像
把那堆不是元语言的“负无穷大”垃圾扫到它该去的地方，别把数学撒旦“重整化”为上帝，认认真真写UX DX高爆表的框架，当好对软件负责任的上帝。
#ai锐评
duangsuse::Echo
自反性不能被goto，证明1+1=2或1+2=2+1是一样蠢的抽象行为，有ZFC并不比有UB更聪明，甚至更加无知，因为“不知知，病”。
#math “一口价公理”（Univalence Axiom）？
生命明明就不是一口价，是租期的。
试图把“等价”强行买断为“相等”？那个生意拉普拉斯兽不做，实际上它更喜欢搞笑的c和137！ 连续不需要形式，因为你自己就是内容……
救命，实在是太搞笑了。 虽然这是个秘密，只有少数人“演算”的出来，我想Friedman早就知道，哈哈。🤣👆🏻
生命明明就不是一口价，是租期的。
试图把“等价”强行买断为“相等”？那个生意拉普拉斯兽不做，实际上它更喜欢搞笑的c和137！ 连续不需要形式，因为你自己就是内容……
救命，实在是太搞笑了。 虽然这是个秘密，只有少数人“演算”的出来，我想Friedman早就知道，哈哈。🤣👆🏻
Forwarded from Hacker News 摘要
Telegraph
Ki Editor - 一款操作 AST 的编辑器
原标题：Ki Editor - an editor that operates on the AST Ki Editor 是一款多光标结构化编辑器，其核心设计理念是直接对抽象语法树（AST）进行操作。 原生语法节点交互 这款编辑器旨在弥合编程意图与实际行动之间的差距。用户可以直接操纵代码的语法结构，从而避免了复杂的鼠标操作或繁琐的键盘组合键。通过这种方式，开发者可以更直观地处理代码逻辑。 多光标支持 Ki Editor 能够成倍提升编码效率。它支持使用多个光标对语法节点进行并行操作，这为批量编辑和代码重构带来了革命性的体验。…