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 连接口和存储卡槽。 • 支架系统：支架带有…
codepen.io
Untitled
...
#今日挑战*55+：高斯-赛德尔松弛法与离散势能场（Gauss-Seidel Heat Diffusion）
https://codepen.io/duangsuz/pen/dPpXOKM
基于 拉普拉斯平滑（Laplacian Smoothing） 或 热传导方程（Heat Equation），HSL营造出了柔和的霓虹感😒
这实际上是在解一个离散的泊松方程。每个点的值都在不断地向四周扩散，并试图达到邻里的平均值。
鼠标滚轮调整dv
如果 dv < 0.25，能量在扩散过程中会不断损耗（系统是收敛的，趋于平稳）。
否则数值会迅速爆炸，视觉上会从扩散变成发光甚至全屏噪音。你会发现鼠标划过的地方开始剧烈发光并向外扩张，甚至形成自动生长的能量团。
- 只需稍加修改公式，就能生成类似豹纹、斑马线或细胞分裂的自然纹理（Turing Patterns）。
🤪
https://codepen.io/duangsuz/pen/dPpXOKM
基于 拉普拉斯平滑（Laplacian Smoothing） 或 热传导方程（Heat Equation），HSL营造出了柔和的霓虹感
这实际上是在解一个离散的泊松方程。每个点的值都在不断地向四周扩散，并试图达到邻里的平均值。
鼠标滚轮调整dv
如果 dv < 0.25，能量在扩散过程中会不断损耗（系统是收敛的，趋于平稳）。
否则数值会迅速爆炸，视觉上会从扩散变成发光甚至全屏噪音。你会发现鼠标划过的地方开始剧烈发光并向外扩张，甚至形成自动生长的能量团。
- 只需稍加修改公式，就能生成类似豹纹、斑马线或细胞分裂的自然纹理（Turing Patterns）。
这是一个热力学demo，它展现了热寂是什么样的。 首先，是无意义的混乱，最后颜色溢出了
初始的“低熵”seed： 当你点击鼠标或拖放图片时，你在网格中注入了能量。这时系统是有序的，有明显的边界和对比度。
无意义的混乱（扩散）： dv（拉普拉斯兽）在不断平滑这些数值。它让“热量”从高处流向低处。
图像变得模糊、连贯，原本清晰的信息（如文字或形状）消失，转化成了均匀分布的“背景噪音”。
最后颜色溢出（不稳定性）： 当 dv > 0.25 时，系统不再收敛，而是发生了发散。
可以类比为宇宙常数失控或虚假真空衰变——系统内部的反馈超过了能量耗散，最终导致时空结构的彻底崩塌，热力学层面化为一片纯白（溢出）。
但化为一片纯白（溢出）在真实的宇宙，尤其是量子上应该不会发生
- 能量守恒定律E=mcc： 这是宇宙最底层的“代码”。能量只能转化或转移，不能凭空创生。无论热传导多么剧烈，宇宙的总能量始终是恒定的。
- 普朗克尺度： 当能量密度高到极致时，广义相对论和量子力学都会失效，可能会形成黑洞。黑洞会将能量“锁”在视界之内，而不是让它向外无限发散。
- 光速限制（信息扩散速度）： 代码中的 loop 几乎是瞬时影响邻居的。但在现实中，热量的传递受限于粒子的运动速度，而任何相互作用都<c。这保证了“爆炸”是有范围的
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from 咸咸湿湿 (咸鱼)
郑重声明：本人从未在网络上诋毁人工智障，从未在网络以及现实中侮辱、质疑、甚至批判人工智障。本人一直是钛君们的忠实粉丝，GPT-3 和 ChatGPT 的早期用户。小龙虾让我看到了人工智障的巨大潜力，我从未怀疑过钛君们的实际能力。
Forwarded from 北斗 はるか
知名文本加密工具“与熊论道”已被破解
曾在网络上广泛使用的文本加密工具“熊曰加密”(与熊论道) 已被通过已知明文攻击（KPA）完全破解。
与熊论道加密网站因故于2025年上旬下线，由于其加密算法不开源，导致大量既有密文无法解密。经过安全研究人员逆向分析，其并未采用任何高级加密算法。
此次逆向工作解除了该工具在加密时对中心化服务端的依赖，为早期使用该加密算法生成的历史数据提供了一种长期可用的解密与归档途径。
GitHub
曾在网络上广泛使用的文本加密工具“熊曰加密”(与熊论道) 已被通过已知明文攻击（KPA）完全破解。
与熊论道加密网站因故于2025年上旬下线，由于其加密算法不开源，导致大量既有密文无法解密。经过安全研究人员逆向分析，其并未采用任何高级加密算法。
此次逆向工作解除了该工具在加密时对中心化服务端的依赖，为早期使用该加密算法生成的历史数据提供了一种长期可用的解密与归档途径。
GitHub
GitHub
与熊论道 加密/解密 PoC · Issue #123 · SheepChef/Abracadabra
攻击思路 已知与熊论道不存在任何高级加密算法，且很有可能是编码算法。 首选已知明文攻击，这样效率最高。 收集到网络上部分CTF竞赛的题目和答案，以及部分链接和官方示例，作为明密文对展开分析。 关键密文： magnet:?xt=urn:btih:00722F040871F58F011A38EA42FC206B494C1CF1 呋食食很捕既嗡嗄嗥呱哞家嘿呦嗚咬很冬怎常發誘和更嚄喜沒性果嚁冬唬很擊...