#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/強く/自由)？

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

创意软件行业向 Adobe 宣战

2026-04-21 23:01 by 乌鸦从高塔坠落

帝国终将陨落，创意软件行业如今一致认为 Adobe 结束的时代即将到来，它们纷纷以免费或更低的价格提供与 Adobe 竞争的产品——Adobe 的创意软件过去几十年一直被视为行业标准。Cinema 4D 开发商 Maxon 在收购 Autograph 之后向个人用户提供了免费版本，Autograph 是类似 Adobe After Effects 的 动态图形设计软件，此前的永久授权费用高达 1795 美元；Canva 在收购 Affinity 之后将功能上类似 Adobe Illustrator、Photoshop 和 InDesign 的软件 Affinity Designer 2、Affinity Photo 2 和 Affinity Publisher 2 免费提供给用户，它在收购 Cavalry 之后也将其免费，Cavalry 类似 After Effects；苹果于今年 1 月推出了 Creator Studio 套件，包含了 Final Cut Pro、Logic Pro、Pixelmator Pro、Motion、Compressor 和 MainStage 等创意软件，月订费 12.99 美元，相比下 Adobe的 Creative Cloud Pro 每月订阅费用 69.99 美元，苹果没有强制用户订阅，用户仍可购买单个应用的单次授权。

https://www.theverge.com/tech/913765/adobe-rivals-free-creative-software-app-updates

#商业

背单词是把单词在大脑中的查找 O(n2) -> O(n*log*n) -> O(1) 的过程

这次offsite 跟一大堆网友同事一起呆了七天，知道了他们除了用户和 Github PR 之外，还有自己的家庭和猫猫狗狗，喜欢冲浪喜欢海滩喜欢滑雪喜欢喝啤酒。

我们老板在offsite 第一天的大会上说了很多话，但是我记得最清楚的是 connection。

AI Agent 越强大，人和人之间的 connection 反而越来越重要。网上聊过千言万语不如线下一声 hi 和一次握手。

我以前是很不喜欢参加 offsite 这种活动的，现在反而有些热爱了。希望以后能够有更多的机会和自己的朋友线下见面聊聊🙏

https://t.iss.one/encmasuta/763

叽里咕噜的说啥呢，这个问题在PC时代就有解决方案了，答案就是硬件密码器，如果说解锁之后要求交易时不允许使用密码必须使用硬件密码器我没有任何意见，现在就是单纯的一刀切

https://t.iss.one/hyi0618/12424?comment=158532 #signal

#learn https://chat.librechat.ai/share/XcfJcz50PNkyX4ZJrP86j


心血来潮就可以写…… 感觉比认真写科普文时写得好，AI也这么评价 🤔