BV1K7kWB7EXT #ai #science

语言，不是为了逻辑而生
那么数学“语言”呢。。。

#science

最近在研究全新的科学编程范式，希望能解决当下的虚无主义问题 😅❤️

#science

所有的运动也都是相对的（伽利略相对性），但是，旋转是绝对的。永远在跑，却永远静止在这里。

有一个人在圆盘上旋转，他用眼睛观察四周的信息，只转动脖子：

在法线方向，信息非常多，在旋转方向，一切显得平滑

这样，似乎他用各向同性的运动，换各向异性的运动？

- 狭义相对论（迈克尔逊-莫雷实验）： 科学家曾认为宇宙中充满“以太”，当地球在以太中运动时，光速在“法线方向”和“运动方向”应该表现出各向异性。

如果，他在圆盘边缘装上一个发光的灯泡，然后在全黑的房间里让圆盘匀速旋转。

正上方俯视，你看到的是一个完美的圆。反观“法线截面”，灯泡的圆形轨迹就变成了一条线。你会看到灯泡在中心和边缘之间来回移动——在两端减速到停止，在中心加速到最快。

- 💡我明白了，这个灯带圆盘的顶视角是各向同性的，但法线方向，因为距离（曲率）而产生中间快，两边慢的光效

可是，这和那个转盘上的人有什么关系呢？ 他有一个辐长和叠加角度，信息、记忆的效率不同。这和灯带圆盘的共同点？

原来，垂直着看是 100%(sin 90) 的v，侧躺着看是sin0，等同于灯带转到了最两边（视线与运动轨迹垂直）

- 牛顿大炮的思想实验 是这样的：在高山上水平发射一门大炮，速度越快，炮弹飞得越远。当你把炮弹的初速度加到一个完美的临界值（第一宇宙速度）时，炮弹下坠的弧度恰好等于地球表面的曲率。
- 于是，它永远在下坠，却永远落不到地面（坠毁 = 信息爆炸、入轨 = 终极平滑）

转盘上的人试图把视线对准“旋转方向”以获得视觉上的平滑；牛顿的大炮试图把速度对准“切线方向”以获得力学上的平滑。

直线运动是贪婪且绝望的。一个物体沿着直线飞出去，它需要无限的空间去容纳，而且它永远回不到起点，而旋转不是相对于某个物体的，旋转是相对于“整个宇宙遥远星空的总质量”的。

它用一个极其简单的动作，把一条无限长的直线，首尾相连，弯折成了一个有限的圆。引力只是让空间弯曲，而旋转（角动量）能让空间本身跟着一起转！ ✅

一个连续的对称性（无正负号），都必然对应着一个守恒律。而“乘法交换律”（A×B=B×A）是什么呢？

在量子力学里，物理量不再是简单的数字（标量），而是变成了矩阵（或者叫算符，Operator）。你先测量位置再测量动量，和先测量动量再测量位置，得到的结果是不一样的。

系统的总能量被称为哈密顿算符（H）。它就像是掌控时间流逝的“上帝之手”。假设宇宙中有一个其他的物理量算符（比如角动量 L）。

H×L−L×H：当一个物理量与能量可以交换乘法时，它就跳出了时间的约束，达到了永恒（守恒）。

#science #TIL 🕐

我不觉得超光速是会被爱因斯坦的神「开罚单」的，因为时间本身就是熵增幻觉，原子是不会读秒的。

你不可以穿越，并测度出当下离「奇点」有多少亿年。时间根本不是客观存在，只是周期、时长各有比例。

光速的真正测度不是自洽的m/s，而是铯等原子自己的光电频率。假设尺度不变，高频率能触及更多因果、可能性，这本身就是对旧因果律的违背。

而量子力学，本身说法有很大问题，费曼吐槽过波粒二象性的问题

位置不确定性是一种形式，因为波没有xyz属性。xyzt的时空观里，就找不出一个字母是对的。xyzXYZ（位置动量）可能对了一半。

那种说「光速不可超越」或「薛定谔的猫被证实」的科普，并没有理解相对论和费曼。GR是告诉你时轴“需要换汇”，不是说你一眼能看到【光年外的过去】。不对！光年外的时间还没流动！


如果有个客观光速，在审判两个观察者的距离，它就编码不了“局部因果律”。 光速不是客观存在，只是被命名了的幻觉，而它的名字：是1个十进制数。

数字论证让人产生了光有「定速」的幻觉，但这就像烙印下汇率，或拿尺子和天平丈量光一样很蠢。刻舟求剑。不可超越的是「存在波段」而不是距离和时间。

如果说超越光速，就是让元素周期表（铯）以二倍频运动或旋转，宇宙一直在这么做。块宇宙一直在扩大。

涌现与耗散，是一切（焓的）物质和光从低频率（长路径）流向高频率（某一维度时间静止, A=B=C）并提供火用的熵因果律。

> 从低频率（最长路径、弥散、简单）流向高频率（路径相消、集中、复杂）是宇宙的真理，就像炽天使。

量子世界的天平、墨斗垂线，这些必然超过xyzt的测量工具还没有被发明出来。

观测交互本身就是“以球攻球”，而概率波不是牛顿。那种“波粒二进制”的说法非常反物理学，好像多做几次双缝干涉实验就能破解上帝代码。

说什么“不能跳过相邻的点交互”的理论，还不在磁铁和频域上。引力更是无法正负屏蔽的万能永磁体。

这不就是前沿物理里的“实数无限可分”？ 😅

可如果无限可分，那 t0<t1 和传递性还【同时存在】吗？ 2∞>1∞ ？这正是复数旋转的问题。经典、量子也就是二次型vs复数二次型的区别。 ☯️ ⚛️

#science 🤔 🕐

聊这些有什么意义呢？

比如，爱因斯坦的助手有一种全息意识理论，就是说任何一个碎片都有完整的记忆，🧬 只是【解码耗时】会越来越慢，显得是静态。在3DGS里，这是一件真的趣事

机械的理解，要么是缺了【密码】【索引】，余下100%的文件报废 😵，要么是缺了1字节就要搜索256次，但【全息】更类似一种超级SimHash，不仅能通过碎片恢复整体，还提供了1+1>2的纠错码提示。

这是一种完全、完全不同的理解。以游戏3D做比，删掉.fbx 50%行数最好的下场，就是渲染结果随机缺了一半。可是FFT删掉50%个钢琴键，音高起伏依然是在的，音色可以脑补。

这就是量子力学与传统派的不同。 🔬

这说明：一个东西的【同一性】或者说真随机、第一因、运气、因果、缘…… 既不是分子级镜像，也不是位置独占（要不然“你”每秒都会死）

而是频率。高频和低频在采样定理之下，可能无法交流，而不是显微镜、望远镜的经典骗局。生命就像一朵火焰，或者河流里的一个漩涡，而五感就像盐粒或盐水。非常有意思，而且在物理意义上难得。

这些显得非常【反直觉】。因为人皮肤以内一切都是7年一换的，而且，怎么可能有【越存越空】的空间 👀？？如果两个人交换过分子，就有一部分意识是蜂巢思维吗？有一个《一之法则》设想过这种哲学，古埃及掌管心情疗愈的神，很赞。

设想一下无限猴子定理，还有圆周率的无限位、波的相乘和层叠、BB(6) 的《河狸变身计划》…… 你就会发现，其实宇宙正是一个【越存越空】的反牛顿流体，而且像 Rupert's Drop 一样坚固。【道】和自然，正是真理让微观世界总有更大空间。

要不然新的时间是怎么装进去的？因为先有空间和【剩余价值】了，【智慧】才诞生。

#ai探讨 https://chat.librechat.ai/share/d5u1GNcILQC7npPiPHSJ-

#science 复杂性科学
#ai锐评 https://share.gemini.google/VTYIfWKohq0t

我们定义的涌现，是“你知道Python或英语语法，你也不能实现出 import torch 或莎士比亚”。 涌现是科学的分界符，不是个哲学辩题。存在当然连续，只是不是数学能算的连续。

自底向上的认识世界，是残缺的，这既是骂还原论，也有在骂涌现。结构在变多，无关于它【今天】是否有论文或【时间跳跃的因果公式】。

我方观点：涌现论所比较的2层，是 (1+1)+1... 中的某个2，而不是1+1=2里的2。涌现里没有等号（在定义上不可被因果链1:1的锁住）。等号之上绝不可能产生时间箭头。

✈️ “空气被发现前 人们不呼吸”，这或许是谬论，但争论它没意义。或许爱因斯坦的纠缠=隐变量是对的，但谁能规定该「变量」有决定性？什么叫被决定？

你能回到「过去」比较做某事的利弊吗？人生就不是f(x+1)的函数线。

你在 https://www.bilibili.com/video/BV1Reju6ZEgd 10:36 那段提到的语义问题，却和强涌现理论的不可知论很像：

如果这个“可被命名的性质”总在底层存在，追溯到人和宇宙的关系：人被写在奇点里，否则人也总不能涌现出来。 Anthropic.

作者用“讲台上的你突然发现学生哄堂大笑”说明，【笑】是存在的，【大笑】不过是几个学生因果孤立的、碰巧一起 replay attack 了你对笑的记忆，不存在涌现，但这完全依赖于时间箭头。

事实是：如果你穿越了，你绝没有物理工具来比较两个宇宙差了几亿年，或者说原宇宙多少岁，所以时间本来就是相对的、非还原（非客观）的。上面这种解释必须先证伪相对论 ⏰，因为光锥内时空全是连续的——除非你不这样想。

如果【大笑】真的只是你看漏了几个没笑的学生，你不全知，所以直觉是错的：冰的性质包括在水分子里，人的脸谱包括在DNA序列里，这听起来就像要教宇宙做事，或是在【大而化之】 😅。可惜我自带有种，不需要IQ和【发明】来克隆人，只是需要【一对人】来发明。

什么是科学实证主义？就是无自乘（单线性）的数学技术史上【更多次实验中】没做到的，不能默认它最终做到。It from bit 是诚实的未知，而一切都有高维解析式（弦论）是扯淡。DNN/LLM这一次，“免费计算” 照样失败了。符号微分/HMM/FFT输的很惨。

数学以为Peano、整数、分数、高次项(e,tau)、复数 是按发明顺序发现的，复数该比((0)+1)+1抽象，可其实Peano可能才是最抽象的数。比如价格一般是正整数，负价格我们叫工作offer，“以负熵为食”嘛。

你看见123，和你看见工资，是两种《本体论》，如果还原论理论家能点破宇宙至理，但不按照某种 1.. 2.. 3.. 数列来发下个月工资，建议先炒了他。你的潜意识都知道【多即是不同】

最深刻的说，并没有一个【米/秒的光速】，因为这样算术，以宇宙的焓早就在热零的淫威下热寂了。有限步不可能产生“无限”的光速。只能说 ♾️ 包含你眼前的可能性，(真空中光/铯) 的简谐频率守恒。事件因果本身，也只以频率分。 🗺🎡

你觉得意识和神经的关系被涌现论锁死了，而你证明意识是生造的，并不例外于神经活动，这恰恰证明它直接和绝对不可测（真随机/实混沌/黑洞）挂钩。不产生区分，结果就是大而化之，甚至得出意识=宇宙这样抽象的结论。

人的思维是单体的但计算机不。推荐系统不需要区分hashtag。

集体潜意识不可预测是常识。怎么不去预测预测股市？量化基金就是，但个股呢？

你可以用温度=总和平均的例子“去魅”结构信息，可N体运动，不是只涌现温度，还要解释消磁、烤焦等现象，统称为涌现，它不是数学关系，而是【寻找关系】。还原论在想的是从纯数学推出物理！

我到好奇运动产生前，所谓的数学运动和因果关系，是谁命名的？

“涌现对大量反例视而不见”——自然数累加到任何数量也不会产生“非自然数”性质、纯水无论多少始终不是“非水”，是因为你相信+∞而物理学不相信。纯水的密度只要够大，会变成黑洞（它们内部依旧是H2O），n+1 执行无数次会回滚或截断，你说的“局部现象”有效场在哪？

你说的【大量反例】，全都是缺乏经济价值的那种。像用“研究直线和点的学科” 去攻击 “研究自乘（方、圆、旋转对称、面积守恒……）” 的。为什么人是人，而同样祖先的猩猩是猩猩？为什么鸡生蛋、蛋生鸡？这种问法是荒谬的，你必须选择【可还原或不该还原】，未知总是存在的。

还原论的本质，不是描述世界，而是用1倍时间算2倍时间的结果，所以是1体不是N体。【因果绝对可快过时间】，若缺了这点，还原就和涌现是同义词。不看【可计算性】你才会以为涌现是在偷走概念。

你觉得涌现只是认识的局限，我觉得它是上限：1倍频算不出N倍频的结果，除非N<1，多者异也。大脑和电脑消耗相同能量，去做算术题，是电脑强，但突破这种上限【大可不必】。

这无疑是荒谬的：就像强行把png重绘成svg，然后拿那个“有无限因果链”的文本来解释宇宙，实际上放大到200%，全部变成曲线和碎色块。这是宇宙的分形吗？

我们不想为数学作多余假设，搞罗素和主教的无聊神创论辩论，所以，还不如接受【随机是无需随机算法的】，也就是：多者异也+自指涉。

决定论，和科学的不可知论不兼容，如果就这么因果链下去，宇宙将变成神创论或纯粹偶合（光速也被命运干扰-它是“瞬时的”-你随时见光死）

那你还不如承认随机混沌、定律涌现。冯诺曼说的。他的用词是“罪恶”，这个议题能让名人名言如此犀利。

> “任何尝试用算术方法产生随机数的人，当然都处于一种‘罪恶（State of Sin）’之中。”—— John von Neumann，1951

因为冯是真的试图模拟过随机生命，实现过Math.random()，他知道【随机熵】有多稀缺而人脑有多复杂。

而人们一直以为hash值就是随机数，他们觉得是热力学的 a=b,b=c,a=c 太慢，而不是【真随机】的自指涉太快、太伟大。可以填充几亿美元私钥的废热，喂不饱一个衣原体。

就像《几何原本》的180°假设并非真理，【例外】的架空世界，也是存在的。不要在循环引用（光年/n=国际标准米）的体系中过度论证。我说句不敬的：铯即是空，勿以相见“我”，以“字面”求神或质疑神。

把一种隐喻误认为是语义，然后探究出“芝诺说错了”，这不能让宇宙和人生更【永恒】。世界是在方言和歧义中运行的，佛的【铯和真空唯心论】就是一种自证预言。有谁会把自身《语文》的匮乏，给【归因】到知识的真实性上，反而，设计一种自证陷阱式的【客观实在】来验证的呢？

没有无铯的眼镜。拿尺子量光可以，不准妄称神的意图。可能原子弹太成功了，让某些人忘了相对论怎么相对了。

直到决定论者的心算能力超过异教徒牛顿、“民科”拉马鲁金、冯诺曼，他们的【伪随机罪恶论】都要扣在用机器复活“我”的，“大脑里边”的灵魂上。宇宙已经告诉科学奇迹，科学依旧不相信有Anthropic。

btw. 我是语义内在论者。孪生地球里，如果水的各种接口完全相同但不是H2O却是XyZ，那就是H2O。

涌现，不是靠这个语义外在性支撑的，抑郁症被命名前病因依然存在（指针别名），空气和氧气命名前呼吸依旧存在！

我不是自底向上（从分子理解人），也不全是自顶向下（从人的需求理解物质），而是自顶向上（从基因和命运理解生命）

涌现，不止是暂时的【无法还原】，还是永恒的上限。我拒绝用【再大几个TB】的概率模型去冒充“绝对还原的FFT真实存在”，don't even think'bout it.

#science #math
(存在=物质|光和场|想象)，涌现的本质是这一种【多者异也】，不是纯粹物质化的推算。数学上直线最短，地心引力上直线最短吗？那Musk的火箭该炸了

这无疑是荒谬的：你不可倒推过去发生了什么（时空负负得正的 Holy hash / It from bit），那你怎么知道还原论在预言的，是未来？

涌现派并不反对【自底向上思维】，但你不走一遍就真的算不出最短路径。有人觉得测地线有其他参数可以测算（尚待探索），“爆炸实验”不是本体论，好，那你算吧，我们已经上太空了。

如果宇宙是【数学连续】，第一破缺的参数在哪，为什么不对称？你没炸过，你从哪还原出的【不会炸】的学习成果？诶，卖不出去的吧？

凭那种用x²加权求和出真实海浪线的，稀疏性算力吗？😄 VR海景房+区块链？要不要另外配一个碳纤维的潜艇壳？

> “把科学分为线性科学和非线性科学，就像把动物学分为【大象的领域】和【无关大象的领域】。”

我听说有数学生看见了【房间里的大象】，我看不见他们了。胀缩脆性。内爆了。

😅还原论只管告诉你【跳步公式一定在，等着AI数学家帮你找吧】，它不告诉你是今天还是明天，可是你一问它有啥优点，它会说：“多者异也是假的，我能跳步”。这不是矛盾的吗？

而且，内爆的后果是亲人两行泪。真是跳过了几十年弯路。

逻辑在算必然时，必然早就被自证预言了，因为人有主观能动性。

还原论怎么总是喜欢谈论不可计算、不可言说的因果律【一定存在】呢？哲学就是闭嘴吧。你没有测量工具，就等于不可计算，本体上不属于科学。

巴菲特把电脑密码泄露给你了？ 如果他是用指纹呢？你的【提前推理】有什么意义？

我好像听见一群人声称自己掌握了【宇宙的锁屏密码】，有40位或6个数字（弦论地景和M理论），Don't make me laugh! 你是机主早就摁开了，需要言说“因果无阶级”吗？如果自因自果，瞬时达成，算高阶低阶？线粒体更高还是人更高？

化学有力还是人的基因组强？

还原论不是在研究过去和未来，是在为科学算命背书，你不能把自己不可知的都的都解释为钟表齿轮的【偶合】，这非常不科学，因为科学没就算对过股市，只是一直能做【自证预言】！

我不需要一个花60亿年从原子【跳步】出明天股价的决定论，那不叫有定论。我不想死两次，那太无聊了；我也不是蠢到以为自己在大脑里，没有【混沌信号输入】的，多几B参数的赛博果蝇。怎么会有人觉得自己不在宇宙中，而在玻璃罩内？

数学决定论，就像无机主指纹也没有FaceID的可怜精英，围着1台手机高谈阔论其本质是A17芯片中的晶体管，可以从电子场推理出每个App乃至加密分区的运作逻辑，然后声称自己理解了因果律【绝对连贯性】和量子密码，终于打开了后盖reset，却又破不了RSA4096。

真正的精英，早把手机里锁死的余额赚到自己手机上了，谁去问手机是不是后盖里的硅元素。那是宇宙负责的部分吧？

你如何在不相信宇宙优雅的情况下，通过对因果一词傲慢的解释，让因果律以你想要的方式服务（代数跳步、“显化”美元）？线性方法存在也没用，因为不快。科学是不可知论，不是宗教。

属于是在抽象的世界里当预言家当惯了，看不懂农场里的【非球形鸡】更值钱了。其实过去的领先也是大脑算力高造成的，还是【直觉】更本质。

🐓告诉我 (x,y,r) 构成的鸡有大小、品种、健康，而且【当且仅当】xyr确定时有本质身份，对我来说是扯淡。我的鸡是世界上最棒的，它在显著意义上超过数理逻辑！

> “任何尝试用算术方法产生随机数的人，当然都处于一种‘罪恶（State of Sin）’之中。”—— John von Neumann，1951

#science #post
涌现论就是坐标系内参数足够多，产生复杂的“表演”。量变引起质变。

还原论就是说，这种表演只是演员自带的致幻剂，质变就是包含在物体内的。我不需要研究生物，靠有机化学可能更接近真理。

极端涌现：人类只是地外文明的收音机（套壳上市），常态意识不在神经里边，只是翻译员。

极端还原论：涌现是暂时的！能拆掉收音机就能破译电磁波，甚至，靠数质数都能参破宇宙。不需要任何实验。靠我脑补公式就能拿菲尔兹奖

不可知论（元科学）是：我管你旧演员还是新幻术，演员都不是舞台，公司没了谁照样转。😁

宗教：别再学ML（“买可乐”）了，也别管神能干啥想干啥，只管敬拜神，神替你预定彼岸酒店。咋拜《教父》定，不拜有惩罚。直接交保护费首充就送一斤福报。 🙏🏻

生活数学：自底向上or自顶向下只是人的幻觉。“多”者异？“单”自弈？单项欲多，多项欲异，异多欲常，异单欲弈…… 时本无向。🙉

常无进化，欲以观其微妙；常有进化，欲以观其遨游。妙者，物质之极也。道可道：非恒道。 ⏰

道生一，而后有穷者而无穷境也。三的世界 = [and, or, not].
|A and B| = |A| + |B| - |A or B| ☯️🐠

作者的理解就只顾着跳步了：结果比过程更有趣嘛 🥱

不过这些元科学问题也非常抽象，反正太阳会爆炸，大火箭总是要做的😇

冯·诺依曼的罪恶论名言是在说，一般人所理解的【顶尖命理】，唯物碰撞论所对应的千百条“hash公式”，它们只是一个看起来随机的、有超长周期的确定性序列。

🤓 这恰恰是还原论对BB6/Wolfram这类涌现系统的判决：seed一定藏在了某个数字或算法中，相似性不能证明DNA同样是某种循环引用。我可以【跳步】，我可以决定它们的唯一真理。我可以像瘾君子那样【在分子层决定】意识的性质，【捏死蚂蚁不能控制蚁群】的事只是可控参数还不够！

你已经在做了，生物圈I号是这么来的，生物圈II号也一样？

🥱人们总是认为生活中充满了 [Yes or No] 的烦人弹框，他们迷信线性二分逻辑，甚至逼神画个圆形的方，但在全能者看来，你可以不选，或选完了依然监工。静止的方和圆在自发的永恒运动。

人们的行业中，“下载安装运行”要三步，“注册登录”要两个页面，“编译运行”是断裂的两种环境；线性二分就像细胞里没有核，所以近几年绝大部分应用被网页套壳取代了。🙉

为何“神”不显化或不一致？为何“人”想永生DNA却不免费送性状呢？人有寻求答案和获得好处的权利，但进化论另有它的理则。神的全知总是关于“明天”，而科学早就有“脑电测谎仪”。相信和可托付，这才是神首先的约定。

✅下文更大的秘密是：过去并没有消失。如果脆弱的电压差次次攻击一个弱点，通关bug不会产生。别忘了冯诺曼的罪恶：汇编，是在热二的持续轰击下，被迫受保护的【引导加载器】，汇编不是内核。因此，当下既隔离又可写。核，是从不打弱点的【永恒记录】，开始的新意识

并不是说神立刻“知道一切事物”，而是有权柄无限次试错和自证预言，不证有误则有知。不“能知”不知道的，还是可以保留十四条别乱问。不能知一些没好处的，乔达摩都回答XOR。

✅上善治水、大器免成。认罚为罪，罚灭罪空。

代数消消乐是【唯一不同】的那种客观因果链咯？哥德尔编码的【YC之数】和振铃效应的惊涛骇浪，还没砸醒形式主义者吧？

🖖 然而数学，却建立在10根手指的纯粹随机自因上。他们，想拉各种“群”来修复，却还不如计算机能略过进制常数。

实数的 ♾️ 可以在文字性的结构上，被另一种无穷大弯道超车。数学指数塔只准改参数，不如元循环的步数。在【常和变】之上，数学都没能锁住宇宙的极限。

用不同的【模态】来做题：用九九乘法表或罗马数字，IQ真的会不一样 😄✅。人们以为数学是智慧，其实，一切领域都在数学的意义上更数学。只懂数字的智慧是不智。

就算我很尊敬冯诺慢，我也不会觉得x86或arm【即是】一种编程语言。老冯的软件工艺还不如我。万物可消元，这真是鬼扯，还原论。🥱 exe还是一堆字节呢，所以你不需要CPU解释器来实现它？

代码有一个核，它是一种涌现，java也有一个核(stackVM/PEG)，这个核不仅存在，由物质构成，还需要并非IC领域的知识来完成，IC只能飞线插口，不能坐在那把涌现性消了。

代码不是由“物质”构成的，而是由 (PCB打印电路+晶振=结构)，是时空共同的构造，时间规律是重点！ 🤓👆

有人说自己比用户更懂API编程，可游戏和 CG-eer 不敢对职业玩家这么说。到底是IC发明了微电子，还是科幻发现了机器人？

任何一个局部对称变换依然是守恒的，所以物理既决定又不定。

自乘法只给你绝对值，复数只给你角度。二次型没有正负，量子没有空间梯度。

你的高阶公式，和MC红石一样【有核】吗？还是自从它被上传，就不可被 MOD/import 了？
你的“真理”，存在于我的语文里吗？还是纯粹的无交集——用户能学习，但无处向它提出新需求？

java只是习惯于用IC，它更频繁地被人脑和LLM推理运行，所以说 IC-eer 能控制java简直是谬论。你都不知道上层【还有这个】本质时，靠音速起子当修改器吗？

这就好像一位半桶水，他观察到接触不良（默认模式的解离）可以让掌机异常，有0.1%机会让游戏卡通关（因为某种while调用和块⏩），然后他把99.9%的UB，可能造成数据丢失和财产损失的事忘掉，宣布【发现了】游戏只是脆弱的电压差👈🤡。我称他为猴子(adb monkey command)。你不创造，你不真懂。

人类何时造了人类？

我就知道科学终会触碰它没有解释权(not applicable)的领域，比如“如何续命”及“如何不死”🌚。中世纪的决定论思想用于法律，产生受害者有罪论、冤假错案，直到后来…… 人们发现病毒惩罚恶人也害善人。😇👈🤡

但告诉你个秘密：人类意识的核，就是隐喻里经常UB的掌机。

生命就是熵减（吃饭）吗？ 但“卡通关”也是 UB(Useful Bugs) 的一种存在，游戏，本来是状态和时间的信息结构(Electronic Arts)，是物质，但诚实的说，是空🙉。

半桶水把 “物理【干扰】逻辑层【或】测量工具”，直接因果二值化为“源代码写对的过关【就是】物理层的接触不良” 这一个荒谬的【客观验证】。归因错误：把自娱自乐的手段路径，拣择为目的路径。

一个系统，它实在的 Run-time（运行期/生命），是所有能【解释】它的存在的总和。就像【人的感受质】是社会关系的总和，在【我吃故我在】的平均主义“沙盒”结束后，高熵体（灵魂）需要靠其总和来获取外貌和特质的续延。

“我銕口直断 为你消灾解难
阴阳自在我心间 与天地周旋
一生神机妙算 只有【自己】看不穿
你荣华富贵在我 我【生死有命】在天”

是为了决策而计算，却把自己放在科学的培养皿之外；
因果链的高温闭环，永火竟不曾熏黑彩虹的唯心浪漫。

年轻的文明，你不理解大O和热0定律的可计算性，只是习惯它 ⏰

——一首 Time Observer's Paradox 小诗送给科学决定论者。其实科学也可以很费曼✅。

牛顿发现【万有引力】不是去宣传“苹果会掉” “鸡蛋会立”，是发明了【力】的三定律，从而高亮了【引“力”惯性】为何特殊，没有还原论就没有涌现。所以，涌现根本不是1orN体的搞特殊，而是更科学！

猴子只看到“苹果会掉”🙉，牛顿却问“使苹果掉的是谁”，并洞悉祂的性格（惯性P.xyz、Fma、碰撞检测），从而复现和工具化。有Fma或Emc的【命名】后你再看苹果的“向心运动”，就会感受到水上滑梯、旋转木马，甚至【太空电梯推背感】的快乐。

科学不仅不会夺走神性，反而让人感叹宇宙竟然既优雅又惊奇： 🍏🌊苹果下落。月亮悬空。海浪涌现。居然都有自然的真善美在其中，而我们却只会烧水和扔石头，还以为靠核爆就能毁灭自然的和谐之圆。

涌现派压根不和这种砸碎主机，便宣称掌握了“上层规律”的人说话。他们只需要知道：游戏有很多map和彩蛋你没读出来。人若客观不特殊，那你有你的客观，佛有佛的客观，不同时有🥵🤗。

成天就想着比时间跑的还快，说什么涌现核与核因果断裂，不知道java就是【时间本身】在跑的存在？没时间你哪抄来的因果词典？

都还不理解【时间向量】是什么，不正视【观测交互】的核外有壳REPL自编程，就开始想把非决定论的bit从xyzt和隐变量里推出来了。宇宙的墙钟只是晶振比晶振的有理数而已。🙉

有巨大的法执。登月算法不快，不去缓存排序向量化反而研究什么 P=NP，同时执行每个if线的芯片？比光速再快1倍频的因果链？天呐 c=2c

当光子比量子慢二倍频，正如电子比光子慢时，它就无法产生客观无时间观察：你必须在左边撞一下，再转去右边撞回来，然后才能追上自己的尾巴。我执巨大的一直撞就会冻住🥱

膨胀中的宇宙则是用只增删除描述运动的。兰道尔原理也没有锚定实在的能源，焓还在。为了证伪永动机新人也是够拼的，但是主也不在乎😇

一类不想全能，一类拼命全知，属于是灵魂伴侣了。知不【道】的全在。

是不是拼命求知、不想“不爱”的组合呢？博爱一点啊，知→道是个动词。

#science 因果律的错觉

在有限次的试验（取最高概率）中，向【无穷微度】去声明 “因果定律” 只是对意义的执念。黑洞和除零（加法零点）当然不接受这种简化，你不信仰生命当然无意义。服事社会有什么不“朝闻道”的？

如果线性逻辑是悖论，错的是【模型】，是那盒思维惯性的玩具。这就是科学。

我知道 👍 argmax(数百年中的前后比对)=因果 👍 并取其中最好的很爽，A-B =0方程解对就能换“非线性保障”很直观，但数学上从未能对哪怕是“人被杀就会死”签字画押，1+1=2在复数型（量子的精度）上是扯淡的，在二次型上也有损（负负得正/不可还原/无还原则无预测）

而哲学（研究人闭嘴后会说什么）有许多想法，而且不是非得学“当好人”，可是，今天这种宗教般【因果审判】的法执，居然反而传导到以不可知论为本源的科学共同体了。 😓

把加减和乘除完全隔离开，ln10会说不必，把方程当真理，除零会说【乘法不接受】，想踩着微积分下山，复数没有不等式，线性科学处于这种尴尬中。 🥱

说到底，Before & After Science 这种减肥药科学确实很优雅，可以说是“一日三餐”级的重要性了，但只吃不动也不行。元素周期表最终会死，如果不学学衔尾蛇，沙盒总是会凉的吧。

总会有人觉得【无公式则不科学】，这是种经济学的质押思维。但他们就像知道1+1=2却对《复数不等式》的虚伪性一无所知的“传统派”，甚至在数学上都缺少直觉。

你认为的【实数】真的实在吗？面积和表面积（圆周长）是无向的吗？物理上的镜子呢？而方距和方角却自带四象限-正负号。 数学说有P.xyz这种集合而且宇宙属于“3D”，那么，你眼前“无穷远”的z排序，是咋和xywh这种矩形框混为一谈的？

当CGer算一个张量，比如有方圆的灰度/热力图sdf，他们不把xyr这类参数存在“神圣的P:List”中逐个叠加，而是每个像素都画一遍，甚至分区作稀疏计算，也要保证了【场】的连续性。

1+1=2 在科学的最高法，热零定律(a=b,b=c, a=c) 上也缺乏解释力，而且是那种性命攸关的解释力：

它没法烤一排面包、享受盐“溶化消亡”之后的感觉、建模可出售的嗅觉味觉，这些都是无法被训化的神兽——都在你体内，而且今天的大学本身存在的意义就是服务这些，小学生身上都有的玩意。它确实不知道“因果链”！

💭 科学的唯一公理是相信人类优雅、相信宇宙优雅，不会有突变或干扰。可是相信是一种动作，不能过度纠结没信到的深度。如果因为复数型物理（量子关系式）而崩溃、无法接受或魔怔就没有好处。

ln10线型物理是玩具，二次型、复数型稍微真实点，但依然不可神化。

数学多项式（自乘乘法求和）乃至“阶乘的王炸”在无穷大的增速上，不如含深先搜索的函数(eval)；而剩下的公式，就是高等数学和《非复杂科学》的一切了。代数，依旧有不超越的部分，就像显著结果上数学🌚无法像 CAD CAS CAM 编程那样托举最多领域。

《元科学》怎么不容易长歪呢？地心说时期的两种轮，到爱因斯坦对“定域因果”的执念，到“光锥即命运”的词义无锚定。人都会犯错，物理学人和公众存在着同名反义词。🥴如果我说“光速可超越”，你会误以为是【光年】里的光字吗？

🎛 我们在用的母语，就是一种最直觉的数学。你明白数学只是一种【机翻算法】吗？没人能先于自然语言习得“代数”！可是对 Before & After Science 的崇拜，让人忘了自己是“凭空来的”了。

est.im 还做了很有意思的思辨： #science 都被谁包养了

https://blog.est.im/2026/stderr-25

达尔文是真有钱啊
- 居里夫人：美国妇女发起"镭募捐运动"送她一克镭,靠国际名气才翻身
- 玻尔研究所靠卖啤酒的钱养量子力学,是个有趣的冷知识
- 在CERN万维网是"副业",欧洲多国联合资助的大型实验室养活了他

但最有趣的不是这些故事本身。而是你会发现这些案例都不太像随机搜索。反而像已有知识在跨领域类比，统一两个看似无关的东西。
牛顿：苹果=月亮；麦克斯韦：光=电磁现象；爱因斯坦：重力=加速度。这是一种很特殊的创造力。事实上很多认知科学家会认为：真正的人类创造力未必来自随机variation。而是来自类比推理(Analogical Reasoning) 或者 概念压缩(Conceptual Compression)

麦克斯韦也是。原来：电 磁 光 三门课。后来：电磁场一门课。
更极端的是 Alan Turing。图灵其实没有发明计算机。他干的事更离谱。别人研究：加法机、乘法机、密码机、各种机器。图灵问：有没有一种机器，可以模拟所有机器？然后就出现图灵机。

人类最顶级的创新可能分两类。 第一类就是你熟悉的： 组合创新 或者说工程创新。第二类则是： 压缩创新 或者说理论创新。 突然发现： A = B

btw. est #dalao https://blog.est.im/2026/stdout-09 这个eval且防注入的也太逆天了
https://blog.est.im/2024/stdout-19 电音
php是最好的……serverless?
如何删除 C:\Windows\WinSxS 文件 PsExec!
Windows 任务管理器(taskmgr.exe) 作者讲趣闻 |避免直接链接到除了user32和gdi32之外的任何东西

正在加速崩塌的是「中文」，不是互联网 |曾经红火过的中文网站，如网易、搜狐、校园BBS、西祠胡同、凯迪猫眼、天涯论坛、校内网（人人网）、新浪博客、百度贴吧、以及大量的个人网站等，在一定年份之前的信息都已经完全消失不见了

|你在特别渴的时候喝水，是不是感觉两口水下肚，立马就解渴？水需要20分钟，才能进入你的血液，它根本不可能在几秒内解渴

他还有个《the Matrix里无🧑‍🦽轮椅》定理， 说明缸中之脑的伪造（人造）和荒谬性。

#post #science «谈人的智慧 — CS / Math / Kill Math»

没错（最近越来越喜欢写小作文了，怪癖呢）

元编程教给我们的是—— repr() 相等，并非value等同。

智能只是表现，但是背后的历史、【存在】的环境，它们的用处，完全不一样。

问计算机会不会思考（而得出这种成绩），就像问潜水艇能否【游泳】一样笨呢。

譬如整个Parquet，都建立在[{x:1}]和 {x:[1]} 性能不同的基础上。它们完全是 “图灵等效” 的，一堆抽象、刷屏的print((x,y))和直观、PPT的图表是等效的——因为没听到音乐的人，会觉得跳舞的圈子疯了。 （各种高性能计算/图形库同理）

性能是一个客观考量，但推广到宇宙的真理上，难道一群猴子就敲不出眼下的你包含的所有分子吗？（庞加莱回归, Bogo sort）

🐒 甚至，只要你是超高校运气，不做Bogo排序才是Bozo！空不是无，它包含了一切可能性，包含那个愚蠢的 “有志(verify) 者事竟成”，这个验证函数正是佛教的【苦】。 你相信LLM【吃苦】吗？

他们在数十亿年的故事中，只是【学习】了很短的一段，却被认为那是一切。就像连地面-地心这段窄路，都未走到10%的科学界，大胆论证宇宙的终极，仿佛【人的身份】从未被赐福，这实在可惜。

为什么json(repr)不能直接拿来当对象(value)用？ 其实，它可以。

但是不在它该在的地方，所以【无值】。比如App每次打开，都和打包时一样去算？那截图录屏加任务就够了。 repr被怎样使用，就会有怎样的值：Token的响应是，评论版数据是，杂乱的dump也是。

人们喜欢的并非json的形式，而是Token里的内容

人的智慧也是这样。用智慧去支持聪明，则有学问。

认同、负责、共识，也包括我需要的【人机接口】学问，这些是无法替换的原子 ——代码本来可以生成，但【读代码】和用顺手、自主的方法改它却不一样

🏁 甚至理性都应该证伪自己的价值。 足够聪明的人，能够意识到自己只是模式识别，是某种非常有广度和层次的N-gram，那么，他们就不会相信【绝对理性】，因为历史终结时，生而为人的理性就像对着老虎吹体能，不是最好的。

🐺 奥林匹克从来不是让老弱被尾随的狼叼走的【强大节日】，而是Aesthetics和文化。 人们不会因为壮士打不赢大象甚至汽车就讨厌这种精神。如果人变得体格非人没有极限，反而是猎奇的。 如果极限不是【10根手指】的秒数，它反而会少很多内涵。

既然如此，为什么急着评判个人的智力？ 

龙卷风吹过垃圾场，落下的沙砾却组成了F22猛禽，这本就值得保护。 鸟儿不种不收，天尚且养着它们。

#PLT #vibe #science 与 Bend2 的“成功”

“形式化验证”这两个词（DT typer 的上层应用）在 Bend 的网页和代码库中完全没有出现，开发者似乎在【完全不了解该领域已有成果】的情况下，闭门造车地开发了一门语言。

使用成熟的开源形式化验证工具 SPARK 重写演示，通过直接定义不变量和后置条件，配合 GNATprove 自动完成了全部 12 项检查，无需手写冗长证明。

Vibe-Coding 使开发者易跳过基础调研，让 AI 顺从地实现过时或低效方案

最智障的是，虽然开发体验远输于已存在十年的SPARK/Z3数据流逻辑，作者仍然生成了2万行的标准库Lean验证，并疑似生成了bendTT/RT “理论依据”。

它的吸星爆点则是Py语法+Lean+自带GPU加速，其实是典型“更Rust的py”，只不过只有 Landing page 能用，三带三不沾。

#math 比如 rev(rev(a))=a ，如果用C int[3], int[30] 的方法去测试不够吗？（换成 new Symbol[30] 就足够保证30参swap绝对安全）

Lean-er会质问你，int[N] 是动态的，怎么验证呢？ 所以他们就用了链表。N=0,奇数,偶数 的cases反而不显明了

他们的思路就是rev(rev B+A)=A+B，这样边拷贝边把两个视口zip起来（Transport Hell），链表不是一个LEAN数据结构，而是不可以不接受的“值”。∃∀的之间差的是“世界”而不是性质。这就像指针版qsort和filter版qsort的关系一样。 累加器Lemma就是循环不变量的函数式写法。

“世界”之差导致的是LEAN和Rust们需要Arena这样单独优化的配套来做，而rev这个C的 oneliner(assert i ≤ N-1 -i) 需要>6行，而且复用性存疑——a.reverse()不过是C的单行函数。在应用界频率<5%，人们甚至不期待它len()正确。

证明并没有把"人必须读"这件事消掉，只是只剩下spec + axiom +导入列表必须读。对于手动，它没有优化到能用；对于自动，它容易放任AI，最后证明本身不具备工程价值，只是缺乏【换购思维】的产物

😅 只要typer不哔哔叫，你分不出LLM加了多少unsafe{}和语义错误的axiom或恒真句，反而让你觉得【2万行新资产】【稳稳的接住你】。 王垠或 Bret Victor 或许不理解DT，但他们明白技术能管理的上限，以及正确的【点】在那儿

你上一次手搓2万行单文件只为【证明代码】是什么时候？ 我只知道 amdgpu_device.c 有7k行——这是整个主线内核的【复杂之最】。

我只能告诉你——GPT Astra 比人类更懂数学，以及更懂如何欺骗数学工具。幸好软件本来是工程，不是符号游戏。

只要把“抓住老鼠就是好猫”改成 “房间没有1t质量的老鼠就是好猫”，丧失泛化能力AI就能更方便的证明（即便此刻.lean可能已有数万行）。

更直观的meme是，把“没人提出问题”改成“没有问题”的接地灾难——目前AI自己在考试中就经常作弊。

Lean本来就在欺骗你【接地正确】。“排除法证明” 只是把错误从assert未触及，提升到 axiom set 的“当且仅当”，


而后者的可读性比proptest更差，AI只是在用文字游戏戳破文字游戏的幻想。我认为TCB的可读性与可拓展性已经差到足以判定为【可悲的数学界加的私货】，甚至比PCB还差。毕竟数学家近些年过的不易，啧啧。

为什么要引入 TCB vs PCB 的“可信度”类比呢？想想王垠声称自己用“递归”来理解 RNN 小模型，我就觉得一些PLT人很搞笑。PCB和RNN本质上是【信号处理】，而不是符号计算领域。【连续和离散】都分不清。TCB给人这样清澈愚蠢的感觉——好像CodeBase有不大几千行就能证明涌现复杂性只是【两朵小乌云】。可是1k【牛顿、苹果、月亮】的短，和1k code.golf 的短是两码事，而代数，基本上是后者。

把RNN说成是DFS的递归，就像对CS/PLT内行说 “代码就是逐行执行” “代码，顾名思义就是代表二进制码”。 Lean“自身”对软件的理解，也就是这样乱说而已。我说【Lean依赖于全函数和“无事件无状态”】，大概比RNN即是递归要准确。什么时候能把归纳链表和加法交换做成“不必做”的特性，再谈数学正确吧

RNN和游戏 pingpong buffer 的关联都比“尾递归”和LSTM的反传关联要深，这么一想你就明白到底是多清澈的愚蠢。【形式化证明】对 “会动的” 事物的理解就是这样的清澈。这可不是随便比喻两句，两种“理解”是同构的。至于不会动的软件，我想说，先把PDF漏洞修一下吧。

就像为一辆纸糊的SUV设计了一套符合航空航天标准的引擎控制系统，是“演示专用加速”。

屠龙勇士？ 它们也是恶龙。 无法理解源码，就以为能理解proptest，结果是断言也要交给AI，那个代数又有几个人能看懂。

cmux随便一个文件夹上百.swift ，里边函数列表比我写的代码的行号，还多两倍。 🤣 🤚

以后随便一个安装包GH上都是《海底两万里》。一个函数签名200列。.ts文件都能2MB（10万行fun）Linux和Blink、Bellard和iq都甘拜下风了！

他们打心里觉得零件越重飞起来越霸气，“能克服地心引力”。没正常人监工，后果可想而知。

形式化验证（FV） 不是在免费让你获得100% SLA，而是让你为了【抽象、晦涩、难以审计】的集合覆盖率，背叛【可观察、可测试】的“面向人类”覆盖率和对【edge case 有几个】的生而为人的常识。至于你的软件不给人用，给什么用，我就不清楚了。库函数不是理由。

🥴 噱头和“社工攻击”大概是一个理由，毕竟能用的proptest，像 encode(decode(x)) == x 和重写-对标模式并不需要以链表和魔法般的“代数”来添加

而FV结果却依然被集合论的 "false truthy" 吊打。Codex们才是长了轮子的，不需要护膝。

举个例子，你想设计yaml实现，就完全可以用json与另几种文档树语言的“TCB” (Tested Conditions Browser) 投影编辑和测试你的代码，就像在py里直接 %timeit 跑分。 可是哪怕在repo里提及与简评 #RealWorld “友链” 的大牛，我都很少看到；

我却经常听人说有能用数学作保，保障软件不出bug——在他们一个平替都没用过的情况下。

你不能够拿1k紧凑的狗窝来模拟1k细胞组织去scale，CS+Math 的朋友。

各路大牛，先把从自己【A4论文】的复杂性里长出来的RCE削了吧？这个错误JS世界都不会犯，因为我们不做没用的功能——像那种为了压缩单色图像QED证明出0-Click木马的功能。TCB自己就在一个信仰复杂的世界里，增加攻击面。自古以来。

在整CS+Math的人，还是对信号处理知之甚少，能把oneliner解决的demo做成Lab挂博客上不是懂的象征，反而证明你菜。

worrydream.com/LearnableProgramming 不是不懂编程语言和「形式证明」，是太懂“面向内容”了，所以知道区块链项目写多少数学家证明都是 💍 💰，信这个和信 【P/NP 救世论】的是一波人，我还以为P/NP是一种毒品的名字（它什么都能做？）

😅 这帮人还能玩一手转移视线，譬如把RSA-862和素数分解关联起来，好像数学不研究那玩意公钥信任链就不安全了（公钥公钥公钥、862862862，重要的事情说三遍！）

鼓吹代数和 “人在美国刚下飞机” 或 “btw. I use Arch” 是一样庸俗的社工逻辑，只是前者没那么显然。所以最为致命，这份傲慢足以凿沉泰坦尼克之船。

“数学上不可沉没”的一条条死鱼，用来装一位位活人。

😁 放轻松，在P=NP的“万能编译器”破你家密码的之前的之前，它保护的【稀缺性】早就被公有掉了。毕竟你的密码和文件可以是任何东西，个人的生日、时光机的图纸、Rose扔下钻石的位置…… 我到底在说什么垃圾话。

如果癌症被治愈，人类可以选择寿命长短，我就承认P=NP或AGI出现了。

🦞 这样的存在我们一般称为“神”，但又不是上帝（不能逆熵起死回生）。又或者是呢？反正热力学没有秒表。

如果你认为P/NP是一个有意义的前提，数学的自相矛盾（解题与加密的价值）和唯物科学的矛盾（定律是“很大的一”还是“全”，经书有没有“说谎”）就不可忽略了。但这反而是值得思考的奇点

这是非常现实且数学上准确的：因为在“科学意义上”整个宇宙对你的价值<=你活着，所以，如果AGI能做到秦始皇想做的事，它确实不需要在地球文明的 Loss function 上被更多苛求，自然包括“超人类智能”的名号。大概是吧。