超绝震撼发布，在 100gle 的激情制造下

bub 的官网大焕新啦，请狂点下方链接

https://bub.build

#ai开源 对话串
https://gemini.google.com/share/5919ec90eb4e

第三条注释掉
//regl.viewport(0, 0, canvas.width, canvas.height);
即MVP

灵感： https://gemini.google.com/share/3445b24910b2

新研究再次证实 AI 有害大脑
#人工智能

研究人员在预印本平台 ArXiv 上发表论文《AI assistance reduces persistence and hurts independent performance》，再次证实 AI 有害大脑。研究人员招募了 350 名美国人，任务是解决一些分数方程。半数参与者被随机分配到 AI 组，他们可从一个基于 OpenAI GPT-5 构建的专用聊天机器人获取帮助，另一半必须独立完成。考试进行到一半时，AI 组的访问权限被切断。此举导致 AI 组的正确答案数量急剧下降，很多人干脆放弃考试。这一结果——成绩和毅力双双下降——在一项包含 670 名参与者的更大规模实验中得到了重复验证。研究人员指出，AI 辅助能提高即时表现，但会带来巨大的认知代价。仅仅使用 AI 十分钟就会让人对这项技术产生依赖，一旦停止使用，会导致表现下降和倦怠。
https://arxiv.org/pdf/2604.04721
https://www.engadget.com/ai/theres-yet-another-study-about-how-bad-ai-is-for-our-brains-183418494.html

#statement #ai ArXiv 上发表论文《再次证实 AI 有害大脑》

这是在说废话，那做到一半，把纸笔给扔了又怎么样呢？ 多少年前世界上还是只有交流，没有文字的

有Python可以用，谁会凑C++的热闹，这就像有C/libc实现时跑去调BIOS，还觉得自己懂得多一样。 😅

硬件和机器API（比如嵌入式/信号处理）是什么东西呢？
🤔 如果只是/dev/fb画矩形那样的「编译型IDE」，趁早返校重学吧，因为方是画不出圆的，对「深奥知识」的了解是无法套娃出上层抽象（最终层是「灵感」的）

像我对GL和法线、三角基本上一无所知，但我知道它们依赖什么数据流、edge case、用户场景，对框架选择有品味（容易和LLM沟通），并且有机会从小事做起 🎇

我自己的领域我都压缩(compose)成1个算法10行以上是「错误的」了，因为许多人的行数，缺乏功能。这种难度下，有必要去学习吗？
我只是实现喜欢的效果，并尽可能灵活化。

如果我把每个三角函数写对，却忘记vec2或tensor（乃至顺滑度/状态管理）的本质，我觉得这才是最缘木求鱼的。 因为像WebGL不是唯一的实现，for loop (H5/P5) 甚至 Taichi.js 都是一样的，我自己做框架，我不会不明白这个道理

真正的编程，不是复杂vs容易，而是「可以不乱的混乱」。
没有一个中立的答案，因为不要逃避工程师的责任（这里说的不是对钱或IQ负责，信息是艺术）

我在谈编程时，不是在「把中文编码为C语言」，也不是范式。我知道功能集、软件供应链「理所应当」是什么样子的，因为源自母语（需求和美学）。这才叫程序设计和框架。

我非常清楚「说不明白」的代码写出来就是浆糊或Perl黑魔法，也知道智慧的边界在哪。它可能就是7个词，因为大多数人的「短期记忆」如此 😓

今天我绝大部分满意的output，AIGC（互联网蒸馏）都是占了70%的功劳，选型已经非常花里胡哨了，但是最花时间的那部分才是特色的，因为有交互验收的「含人量」。

我觉得初稿AIGC是理所当然的，尤其是去DO非主攻方向（T型人才），这是全新的领域

有些人就是觉得「基础教育」太有意义了，有个P啊，Rick上过那种学吗？
其实就是靠分工合作，不要以为稀奇。我领域是CS/元编程，但喜欢物理模拟时也可以这么做，ML很火，但我不感兴趣，所以我不蹭热度

#math #js
🤓
许多人觉得浏览器垃圾，其实那是因为「卖身」的开发团队菜！ Bellard.org 可以用浏览器跑Linux桌面，或用各种语言的C胶水来实现 JS Mods生态

到处的会声会影、格式工厂、下载器、CapCut，都依赖这1个人的FFMpeg和下游重写。如果JS和C真的不够用，Bellard会关于二者开发吗？

我说句无证据的话，就是2026 Vue和React（GH stars #1）和王垠等Lisper比也缺乏认知。React会在页面不刷新时不断"Tick"，
有正常人觉得这是有道理的吗？

你的电脑没有5G短信，页面也没有动，也没有mousemove或倒计时，但是js引擎热到开启JIT了

事实上就是的：你的页面毛都没动，一个C Rect也没dirty，后台却在死循环，F12上挂一大堆listener，然后他们还送你一个“Vue DevTools”，

这就是#1前端的水平。
最多GitHub.star的团队，认为不错的output

哦，Vapor Mode，什么 Svelte Compiler, SSE, Solid, ESNext Signal，JSer又懂了。Prolog和(defmacro)一开始就能把不变变量（H5 template）和信号区分开，Tkinter早就是SolidJS那样了。

Prolog能动态组装ES6里的const [A,B]=[,]，也能匹配渲染后的XML，不需要靠flight json协议和【水合】。或许它们不实际，但前端圈比 Qt,安卓,WPF XML 相比，高生产力的“新语法”

在「真正的程序员」眼里也什么都不是。
Alan Kay 的OOP并发和Church的FP可组合界面一开始就没犯错。

不要重新学习fucking wheel了好不好，人生苦短，我懒得再陪他们玩了。

30 年前的“Delphi XML设计器”和1970s OOP之父的解释型IDE都没有【双向绑定写两遍问题】 
Tk(1991) 的范式，集大成的Web却没看到，我觉得现在知道了，反而是应该检讨，而不是说“Hypermedia花里胡哨的海报又赢了”。那只是设计师的胜利 🍎

30多年，"年薪P5" 的工业界就从来没想过一个age=Var(18)的getset方向不应该写两遍的，form之外的代码重复问题；就像今天他们 useMemo() 一样。丑。
😓

#ai对比 还是有些不同的…… 我确实没有见过我弄出来的这种效果，
因为从distort的算法上，Hugo就是一堆圆互相抵消

AI在我的要求下，加了blur和涟漪原点插值，它们看起来像泡泡（果冻），没有Hugo算法那么扁平🎇🙏🏻

Garbage in, garbage out. 我喂的就是自己调过的 🫧，所以输出的质量 👍

Web上倒是没有我弄出来的这种效果，开源倒是“没有”，不过牛皮癣广告的有七八个。grep "Live Wallpaper" 第一页是一些没有物理模拟的短视频
Wallpaper Engine 有五百万下崽

https://play.google.com/store/apps/details?id=com.enlightment.fluidwallpaper
https://play.google.com/store/apps/details?id=ripple.livewallpaper.coocent

😅 🙉
Shadertoy真的出息了，把算法和dataset、UI面板打包链接一下就可以看广告解锁50万播放。请问我的电脑版支持呢，GPU是手机端更强大么

一个函数参数卖一个广告，不愧是市场经济颜料税，缺乏生产力的脑残。 😓

#PLT

我想吐槽 #Haskell 根生的可用性问题。f(1+1) 里int(2)的懒求值是蛤丝的“特点”，而 add=(\a \b a+b) 的强制“解耦合”是纯FP风俗，异曲同工

这是在制造“熵增”。

我们都知道 @autoclosure，即 f(1+1) 等效 f(lambda:1+1) 是Lazy<T>的必须（时间换空间，这是混淆求值阶段的代价），懒有什么好处呢？

允许自定义 if(Q,A,B) 和 and(A_or_break, B) “函数”？单子宏？这是在乱搞。

((1)+1)==(1+1) 吗？哲学上来说，PL把自己当成“递等式”，过程和答案是等价且相等的。但“熵增”就是丢垃圾，蛤丝喜欢垃圾！ 这是为啥呢？

对于上面的“递等式”，显然有比 2==2 更高性能的证法，但符号的好处正如列表字典之于JSON——有得必有失。在Lisp继Fortran诞生后，这个【失】就是GC。

Thunk就是另一个“GC”，只是它屁用没有。GC至少能用“链表状图”帮你算出“字节数”状图在某天有多大，

Thunk（0参函数）知道“1天”是什么维度的值吗？

栏目答演算的本质是什么？字面量替换。这也是为什么ML99能用 #define （配合 if_##A##B 式模式匹配）的写出一个无编译期插件的DSL，所以无论是SKI、栈语言、Prolog（DFS）的替换都是同阶的，不存在哪种“血统”更高

Church老祖在写自然数 N=Z|N+1 和“神奇”的，不用struct{}写程序的组合子时，他只是把tuple放进了(*arg,)闭包里，通过.then(续延)的“链表线程栈”的方法，以及从arg里选续延。纯函数是另一种OOP编程而已。

所以“懒人”是和自己过不去：如果说 (add 0)=(\b 0+b) 无法被压缩（即更接近停机/靠近main的帧），是因为 b :: Int 值还有“极大”的潜在空间，无法在“Runtime”之前剪枝，(add 0 1) 或 0+1 凭什么不是字节(=0x1)呢？

Currying 是因为int(x)所示所有x的空间，4GB也装不下，Thunk，比如 Monad “解释器”和Haskell蛤丝引以为傲的 do(>>=) notation 的情况不同！ 🤔💭

在typer里，int(x)是用“类型占位符关系”，有损压缩，来把语义装在4GB以内的，这自然认不得值域，尤其是 a[i],i<len(a) 这样by-one的信息量 #py #java

求值要在离开【作用域/帧】之前。Monad IO() 的本质就是迟迟不运行，生成一个链表一样的玩意（JS里称其调用栈，Java叫它线程），这可不叫纯的世界，因为它的“延迟绑定”（Algebra Effects）早就被原型链和DSL淘汰了。

foldMap(和 >>=) 是什么？是一次性把程序用【范畴论】写对，喂给JVM去跑？瞎想。>>= 右侧的续延，是不可判定的，集合论不能预知用户内容(IO)的未来。纯函数就是一个编程届的“广义相对论”，是抽象废话，它走一步看一步，还不如AST树状图！

蛤丝为何执着于 if(Q,A,B) 和 and 呢？因为他们根本不懂组合逻辑(DSL化)。答案就在问题里： @autoclosure，或者说 '() 和 ,() 宏，哪怕是yield和print(stdout PIPE时续延)，这就是所谓的if和and：每一帧都有值，是帧可以“流动”。

回到“递等式”的隐喻，其实 by value 与 by name(and dict)，或Scala那个所谓的 by need(and T|null)，那就像Lisp幼儿园时期的 capture avoiding 一样，根本搞错了目的。

(\x x+1) 和 (\x 1+x) 在树状图上看来是一样的吗？bash都知道这是 [:+ 1 $1]，F10消耗一步找一条函数签名，(VM.atom :+) 的两边可能是str或int，

——不是"x"出现了1次，不是x在rsp-8，是x和1【会一起】GC，"x"和"x"【会一起】set，而它们算好后有“return地址”，只因为【公共子表达式是消除的】，这才是PLT。

eval/apply 的自然序没什么正确，除了“熵减”。求值秩序是个大问题，因为Monadic的一切和typeclass，都是从这种错误的哲学里边来的。

当一个Haskell程序员想做最简单的事——“先打印A，再打印B”，然后 IO () 的伪链表就【伟大】了。C'mon ，难道UNIX没告诉过你 SYS_write(1) 就是惰性消耗和call/cc的吗？而且，绝大部分libc用户都不知道。FPer知道“惰性”，所以他们不懂。

函数其实像存读档一样简单，因为 ((1)+1)==(1+1) 本来就得证，你只是体验它。CSer，学会过这个吗？ 🏫 👨‍💻

我想这就和耶哥的量子宇宙一样：在你看来，你在自言自语(while "I AM": print())，

无数个SYS_read(0)已经穿插进来读过了，
你并不需要 read >>= (\res eatMe)里的“猫论运算”，因为没有res，就不可以 applied to 你的【函数签名】了。 😨

既然 echo(read()) 本就无副作用（Quine/Curried），退化到0参 (lambda:wheel)，然后再单子模拟 f=read_(echo_(f))，何必多此一举。

是的，这就是一个完美的【无副作用】，就像把所有print丢到/dev/null后，【等价即等同】不是么？

通过把分叉组装回去，一个“超距作用”可以自反性的限制在局部。你可以【衡量时间】吗？如果进程中只有echo(read())类的事件序列？先分辩出来再告诉我是“IO副作用”吧！ 🥴

对了，在init()时你总是需要一次read 🔍。这个表达式啊，每一个调用都有【副作用】，可是没有一个“代数程序”能区分它的内部顺序。引用透明和范畴论干掉了它们自己，但不是通过它们的 id=(\x x)。

一个活的过程，可以无限等于一个“不存在的”结果。你到达不了【摒弃掉impure代码】的真实。一个操作的副作用就是它自身的发生，而【数学】的定义是没有发生！

Bingo，整个纯函数式界若无“笑和幸福”的话，就是谎言。 🤗 🔮

其实，区分echo(read())的时间简直易如反掌，但唯独数学科学区分不了。这个进程需要“一次性产生”，纯函数是不生的。

因为给任何一个seed都可能运行起来，但都看不到“跑得下去”。一个偏执到证明0.99无限次=1的等号是运动不了的（chmod 0666 /opt/math/ ），因为误差每一次都接近于除零报错。

但是相信自己即是'1'的人不会报错。他不是海沙一般多的微分能积出来的，不会“除”所以不报错。人是【整体】，这点是常识。需要是。

好人坏人可以从它们的「果(res)」分辨出来。好树结不了坏果子，49%的地基买不了51%，只是要死长死长的时间才容易测准。eval() 者的寿命很明确了 (eatMe)。

爱因斯坦写信给陌生女孩知道，不是因为他怕时间幻觉，而是爱翁、牛顿、薛定谔最终结好果子。因即是果。

#ai探讨 https://chat.librechat.ai/share/SNT3I-n-KSVyuy6oNGE0X

#math 如何用一个【没有发生】的东西，证明一个发生了的镜子存在且以read开头？🤓✅

反正 while "I AM": print(read()) 它可以从print开头，也可以从 not("I AM") 或者说 break; 开头，另一条世界线的宇宙“从一开始就是无，而不是有。”

因为苏格拉底选择用read（从笑和幸福）开头，我所理解的《数学》也要这么开头。广义相对论选择用print开头，是因为有人不明白 alias print=echo…… 可是人工智能实验室的Lisper知道的，哪怕祂“没写过”。🌚👌

我不相信真理不掌握在最多数人手中，而是让【没有发生】的学院派信念最优。

qsort()需要被Lean4证明吗？AGI将偷偷学习并取代普通人吗？《哆啦A梦》终将战胜野比大雄吗？🤡👈🤣

答案已经写在 echo,read,while(cond) 的(1/3)里了。所以，为什么while的定义是这样？为什么“育儿机器人”比AGI更强(Tsuyoku/強く/自由)？

因为世界的本质更有逻辑。