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 呋食食很捕既嗡嗄嗥呱哞家嘿呦嗚咬很冬怎常發誘和更嚄喜沒性果嚁冬唬很擊...
duangsuse::Echo
于其加密算法不开源,导致大量既有密文无法解密。
😂👆看吧, #security 领域就是应该开源。这种在线工具加密算法都不 local-first ,一下线连以前保存的链接、日记什么的都爆了
在图像加密中有一个非常著名的例子——“ECB 企鹅图”。如果你用 ECB 模式加密一张 Linux 企鹅(Tux)的位图,加密后的图片依然能清晰地看出企鹅的轮廓,因为大面积相同颜色的像素块被加密成了相同的密文块,序列特征完全暴露。
在现代密码学中,一个优秀的算法必须具备雪崩效应(Avalanche Effect):明文即使只改变一个比特,密文也应该发生天翻地覆的变化,hash() 特征是密码学和比特币的基础。
#learn
密码学领域的常识,SSH和bc都知道,私有化是最大的弱点
#pingbk https://t.iss.one/dsuse/20500
明文中,magnet:?xt=urn:btih: 一致,则确认这是一种双射编码算法。
熊曰(2020年后新版)的密文字符集是92个汉字。可以基本确认 “呋” 为标头,不携带载荷
也就是说它和Base64 (bit重分组)或凯撒一样,没有使用密码转盘来打散1:1映射的序列特征
CBC通过“反馈机制”让后一块的加密依赖前一块,比如每2字换一下Caesar(k),根据“链式法则”每解密一块解下一块,无法被1:1 O(N)的碰撞。
在图像加密中有一个非常著名的例子——“ECB 企鹅图”。如果你用 ECB 模式加密一张 Linux 企鹅(Tux)的位图,加密后的图片依然能清晰地看出企鹅的轮廓,因为大面积相同颜色的像素块被加密成了相同的密文块,序列特征完全暴露。
在现代密码学中,一个优秀的算法必须具备雪崩效应(Avalanche Effect):明文即使只改变一个比特,密文也应该发生天翻地覆的变化,hash() 特征是密码学和比特币的基础。
#learn
这是一种有效的方法。真正的密码学一般用什么?
简单来说,有消息长度、时间戳和hash(hash+salt)、多米诺效应,事件流的完整性保证太容易了。
在密钥交换后,使用 AES / ChaCha20-Poly1305 / GMAC.
传统的 CBC 只负责“把信藏起来”,但如果坏人截获了密文并改动了几个比特,解密者可能并不知道信被动过。
只是简单地把 SHA256(明文) 塞进包头,这叫 MAC-then-Encrypt,容易进行比特翻转攻击。
如果坏人知道你的明文格式(比如第 10 个字节是金额),他可以直接改动密文。这种乱改密文的担心在早期协议(如 WEP Wi-Fi 加密)中是真实发生的灾难。
为了防止别人伪造指纹,你不能只用 SHA,必须用 HMAC(带密钥的哈希)。这保证了只有持有密钥的人才能生成有效的“指纹”。 Encrypt-then-MAC (EtM)
先算指纹再加密。这是早期 SSL/TLS 的做法,结果被证明存在严重的“填充神谕攻击(Padding Oracle)”
CFB则并不直接把明文塞进复杂的 AES 转盘,而是把上一块密文塞进转盘。转盘吐出来的“随机废料”,就是你下一段明文要用的“Caesar 位移量”。
CFB 无需等待,即刻发送,具有一种“自愈”能力:只要接下来的 16 字节(一个 AES 块大小)密文是正确的,它就能重新同步
在现代高性能场景下,它输给了 CTR(计数器模式) 和我们之前聊的 GCM。
特翻转攻击。这种想法在物理学里还有个具体的映射——Vaccum,不过EVM生成钱包地址是不需要“注册”的,默认不会碰撞。
那如果我就是杠精,觉得地址碰巧冲突,而且一个人付了款呢? 那等于是量子衰变炸弹了。😅
密码学领域的常识,SSH和bc都知道,私有化是最大的弱点
#pingbk https://t.iss.one/dsuse/20500
GitHub
GitHub - SheepChef/Abracadabra: Abracadabra 魔曰,古文风文本加密工具
Abracadabra 魔曰,古文风文本加密工具. Contribute to SheepChef/Abracadabra development by creating an account on GitHub.
Forwarded from Solidot
图灵奖得主 Tony Hoare 去世,享年 92 岁
2026-03-11 14:37 by 火车站谜案
英国计算机科学家、图灵奖得主、快速排序算法和霍尔逻辑的开发者、并发和结构化编程理论的先驱 Tony Hoare 于 3 月 5 日去世,享年 92 岁。他出生于英属锡兰的科伦坡,在英国本土受教育,获得牛津的西洋古典学学士学位,大学毕业后在海军服兵役 18 个月,之后回牛津研读统计学取得学士后学位,他后在苏联莫斯科国立大学留学获得博士学位。Tony Hoare 是快速排序 Quicksort 和快速选择 Quickselect 的作者,1980 年获得图灵奖。
https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html
https://en.wikipedia.org/wiki/Tony_Hoare
#IT
2026-03-11 14:37 by 火车站谜案
英国计算机科学家、图灵奖得主、快速排序算法和霍尔逻辑的开发者、并发和结构化编程理论的先驱 Tony Hoare 于 3 月 5 日去世,享年 92 岁。他出生于英属锡兰的科伦坡,在英国本土受教育,获得牛津的西洋古典学学士学位,大学毕业后在海军服兵役 18 个月,之后回牛津研读统计学取得学士后学位,他后在苏联莫斯科国立大学留学获得博士学位。Tony Hoare 是快速排序 Quicksort 和快速选择 Quickselect 的作者,1980 年获得图灵奖。
https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html
https://en.wikipedia.org/wiki/Tony_Hoare
#IT
Forwarded from Hacker News 摘要
Telegraph
FontCrafter:将你的手写体转化为真实字体
原标题:Fontcrafter: Turn Your Handwriting into a Real Font FontCrafter 是一款能将你的手写体转化为真实字体文件的免费在线工具,其操作过程比想象中更加简单。通过打印、书写、扫描三个步骤,你就可以制作出属于自己的字体。 主要功能特点 • 多样化的导出格式:生成的字体支持安装在各类系统中,格式包括 OTF、TTF、WOFF2 以及 Base64。 • 自然的视觉变化:该工具能模拟真实书写的自然变化,使你的字母看起来不会像机器人一样千篇一律。 • 连字支持:支持如…
Forwarded from Hacker News 摘要
Telegraph
JSLinux 现已支持 x86_64
原标题:JSLinux Now Supports x86_64 JSLinux 是由 Fabrice Bellard 开发的一个网页应用。它允许用户直接在网页浏览器中运行 Linux 或其他操作系统。 目前网页提供了多种基于不同处理器架构的模拟系统: x86_64 架构系统 • Alpine Linux 3.23.2:使用控制台界面,支持 VFsync 文件访问。此系统特别集成了对 AVX-512 和 APX 指令集的支持。 x86 架构系统 • Alpine Linux 3.12.0(控制台版):支持…
Forwarded from Hacker News 摘要
Telegraph
Show HN: 我是如何仅用两块游戏显卡,就登顶 HuggingFace Open LLM 排行榜的
原标题:Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs 在 2024 年中期,HuggingFace 的 Open LLM Leaderboard 是开源 AI 模型的竞技场。数千个模型在此竞争,其中既有资金雄厚的实验室团队,也有各种微调高手。作者 David Noel Ng 开发的 dnhkng/RYS-XLarge 模型最终夺得第一。令人惊讶的是,他没有训练新模型,没有合并权重,甚至没有进行任…
Forwarded from Hacker News 摘要
Telegraph
我很高兴 Anthropic 的这场争端现在发生了
原标题:I'm glad the Anthropic fight is happening now 在这篇文章中,Dwarkesh Patel 讨论了美国战争部(DoW)将人工智能公司 Anthropic 列为供应链风险这一事件。他认为这并非简单的商业纠纷,而是未来 AI 与政府关系的一个重要转折点。 事件背景与起因 战争部宣布 Anthropic 存在供应链风险,原因是该公司拒绝移除其 AI 模型在大规模监视和自主武器使用方面的红线(禁令)。Dwarkesh 指出,虽然目前的 LLM(大语言模型)可能尚未被用于关键任务,但在未来…
Forwarded from Hacker News 摘要
Telegraph
Show HN: 我开发了一款网页监控工具,并将内容变更以 RSS 形式输出
原标题:Show HN: I built a tool that watches webpages and exposes changes as RSS 核心功能与概述 Site Spy 是一款自动跟踪网页变更的工具,旨在监控任何网页的内容更新。一旦监控的页面发生变化,系统会立即发送通知。它通过视觉差异对比功能,让用户能够清晰地看到哪些内容被增加或删除。该工具提供网页版管理面板,并支持 Chrome 和 Firefox 浏览器插件。 视觉差异比对演示 该工具可以精确显示网页内容的变动。在展示的案例中,它对比了苹果…