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 能够成倍提升编码效率。它支持使用多个光标对语法节点进行并行操作，这为批量编辑和代码重构带来了革命性的体验。…
Forwarded from Hacker News 摘要
Telegraph
或许这其中存在某种规律？
原标题：Maybe there's a pattern here? 这篇文章通过一系列历史实例，探讨了发明者初衷与技术最终用途之间的矛盾，暗示了某种历史规律。 理查德·加特林与加特林机枪 1861年，理查德·加特林发明了加特林机枪。他的初衷是希望通过提高火力的射速，让一个士兵能发挥出一百个士兵的战斗力。他认为这样可以取代大规模军队的需求，从而大大减少士兵暴露在战斗和疾病中的机会。 德国火箭协会与太空梦的破灭 1. 1923年，赫尔曼·奥伯特出版了 《通往行星空间的火箭》，证明了机器离开地球大气层进入轨道…
Forwarded from Hacker News 摘要
Telegraph
显微镜竟然能看见激光视盘上的视频
原标题：Microscopes Can See Video on a LaserDisc 本视频介绍了一款安东星（Andonstar）数字显微镜的开箱、组装及实际使用表现，重点展示了通过该设备在激光视盘（LaserDisc）和 CED 影碟上直接观察到视频信号数据的神奇过程。 显微镜开箱与组装 作者购买的型号是安东星 AD246S。视频详细展示了包装内的配件： • 主体设备：配备一个大尺寸液晶显示屏，集成了摄像头、HDMI 输出口（Mini HDMI）、USB 连接口和存储卡槽。 • 支架系统：支架带有…