duangsuse::Echo
在typer里，int(x)是用“类型占位符关系”，有损压缩，来把语义装在4GB以内的，这自然认不得值域，尤其是 a[i],i<len(a) 这样by-one的信息量 #py #java 求值要在离开【作用域/帧】之前。Monad IO() 的本质就是迟迟不运行，生成一个链表一样的玩意（JS里称其调用栈，Java叫它线程），这可不叫纯的世界，因为它的“延迟绑定”（Algebra Effects）早就被原型链和DSL淘汰了。 foldMap(和 >>=) 是什么？是一次性把程序用【范畴论】写对，喂给JVM去跑？瞎想。>>=…
我想这就和耶哥的量子宇宙一样：在你看来，你在自言自语(while "I AM": print())，
无数个SYS_read(0)已经穿插进来读过了，
你并不需要 read >>= (\res eatMe)里的“猫论运算”，因为没有res，就不可以 applied to 你的【函数签名】了。 😨
既然 echo(read()) 本就无副作用（Quine/Curried），退化到0参 (lambda:wheel)，然后再单子模拟 f=read_(echo_(f))，何必多此一举。
通过把分叉组装回去，一个“超距作用”可以自反性的限制在局部。你可以【衡量时间】吗？如果进程中只有echo(read())类的事件序列？先分辩出来再告诉我是“IO副作用”吧！ 🥴
对了，在init()时你总是需要一次read 🔍。这个表达式啊，每一个调用都有【副作用】，可是没有一个“代数程序”能区分它的内部顺序。引用透明和范畴论干掉了它们自己，但不是通过它们的 id=(\x x)。
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
无数个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
duangsuse::Echo
这个表达式啊，每一个调用都有【副作用】，可是没有一个“代数程序”能区分它的内部顺序。引用透明和范畴论干掉了它们自己，但不是通过它们的 id=(\x x)。
#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/強く/自由)？
因为世界的本质更有逻辑。
反正 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/強く/自由)？
因为世界的本质更有逻辑。
Forwarded from Solidot
创意软件行业向 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
#商业
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
#商业
Forwarded from yihong0618 和朋友们的频道
背单词是把单词在大脑中的查找 O(n2) -> O(n*log*n) -> O(1) 的过程
Forwarded from Xuanwo's Tweets (Xuanwo)
这次offsite 跟一大堆网友同事一起呆了七天，知道了他们除了用户和 Github PR 之外，还有自己的家庭和猫猫狗狗，喜欢冲浪喜欢海滩喜欢滑雪喜欢喝啤酒。
我们老板在offsite 第一天的大会上说了很多话，但是我记得最清楚的是 connection。
AI Agent 越强大，人和人之间的 connection 反而越来越重要。网上聊过千言万语不如线下一声 hi 和一次握手。
我以前是很不喜欢参加 offsite 这种活动的，现在反而有些热爱了。希望以后能够有更多的机会和自己的朋友线下见面聊聊🙏
我们老板在offsite 第一天的大会上说了很多话，但是我记得最清楚的是 connection。
AI Agent 越强大，人和人之间的 connection 反而越来越重要。网上聊过千言万语不如线下一声 hi 和一次握手。
我以前是很不喜欢参加 offsite 这种活动的，现在反而有些热爱了。希望以后能够有更多的机会和自己的朋友线下见面聊聊🙏
Forwarded from Milkice's 生而陌路
https://t.iss.one/encmasuta/763
叽里咕噜的说啥呢，这个问题在PC时代就有解决方案了，答案就是硬件密码器，如果说解锁之后要求交易时不允许使用密码必须使用硬件密码器我没有任何意见，现在就是单纯的一刀切
叽里咕噜的说啥呢，这个问题在PC时代就有解决方案了，答案就是硬件密码器，如果说解锁之后要求交易时不允许使用密码必须使用硬件密码器我没有任何意见，现在就是单纯的一刀切
Telegram
encmasuta
部分香港银行安卓APP安全保障再度加强
随着香港金管局及相关监管机构对反诈骗和资金安全指引的持续深化，各大银行正密集通过版本更新来堵塞潜在的系统性风险漏洞。
近期，有多款香港银行APP加强了自身APP保安措施。
更新BoC Pay+至3.1.18以上版本，中信银行国际至6.18.14以上版本后，均在原有检测机制上，引入了检查Bootloader解锁状态和更全面的应用列表检测。
这种防御机制的加强直接导致了大量经过深度定制、获取了Root权限或是解锁了引导加载程序的设备无法正常运行银行APP。从银…
随着香港金管局及相关监管机构对反诈骗和资金安全指引的持续深化，各大银行正密集通过版本更新来堵塞潜在的系统性风险漏洞。
近期，有多款香港银行APP加强了自身APP保安措施。
更新BoC Pay+至3.1.18以上版本，中信银行国际至6.18.14以上版本后，均在原有检测机制上，引入了检查Bootloader解锁状态和更全面的应用列表检测。
这种防御机制的加强直接导致了大量经过深度定制、获取了Root权限或是解锁了引导加载程序的设备无法正常运行银行APP。从银…
Forwarded from 春东西 dumb box
https://t.iss.one/hyi0618/12424?comment=158532 #signal
#learn https://chat.librechat.ai/share/XcfJcz50PNkyX4ZJrP86j
心血来潮就可以写…… 感觉比认真写科普文时写得好，AI也这么评价 🤔
#learn https://chat.librechat.ai/share/XcfJcz50PNkyX4ZJrP86j
心血来潮就可以写…… 感觉比认真写科普文时写得好，AI也这么评价 🤔
Telegram
dnaugsuz in yihong0618 Chat
#signal https://www.jezzamon.com/fourier/zh-cn.html
傅里叶是基于一堆圆圈共振做的。 想象一下你在Excel里画圈，A1是男低音🕔，A9是女高音🕑，B1:B9是mp3，往下拉一下，
def DFT(x):
N=len(x);i=arange(N)
k=i.reshape((N,1)) # A1是男低音🕔，折线k和你的mp3一样长
return exp(-2j*pi* k*(i/N)) @x # (i/N)是播放的进度条，-2j🥧是顺时针转…
傅里叶是基于一堆圆圈共振做的。 想象一下你在Excel里画圈，A1是男低音🕔，A9是女高音🕑，B1:B9是mp3，往下拉一下，
def DFT(x):
N=len(x);i=arange(N)
k=i.reshape((N,1)) # A1是男低音🕔，折线k和你的mp3一样长
return exp(-2j*pi* k*(i/N)) @x # (i/N)是播放的进度条，-2j🥧是顺时针转…
🫡1
🤓 ☝🏻
我们入门了频域的这种“非常宽的进度条”，又了解了B站防挡字幕的算法，还有人声消除、降噪（或杜比音效）的AI正交分解
但是，现在的GenAI更有意思。请寻找隐喻，说明RIFE和ESRGAN的升帧率/升采样原理
我们大致过了一遍现在的内容生产力AI，包括正交分解与GenAI
当然，现在的AI为了节省算力也有降智问题，比如N卡的实时超分辨率功能，也被诟病“生搬硬套”到损害游戏画面
我们入门了频域的这种“非常宽的进度条”，又了解了B站防挡字幕的算法，还有人声消除、降噪（或杜比音效）的AI正交分解
但是，现在的GenAI更有意思。请寻找隐喻，说明RIFE和ESRGAN的升帧率/升采样原理
我们大致过了一遍现在的内容生产力AI，包括正交分解与GenAI
当然，现在的AI为了节省算力也有降智问题，比如N卡的实时超分辨率功能，也被诟病“生搬硬套”到损害游戏画面
duangsuse::Echo
#math 如何用一个【没有发生】的东西，证明一个发生了的镜子存在且以read开头？🤓✅ 反正 while "I AM": print(read()) 它可以从print开头，也可以从 not("I AM") 或者说 break; 开头，另一条世界线的宇宙“从一开始就是无，而不是有。” 因为苏格拉底选择用read（从笑和幸福）开头，我所理解的《数学》也要这么开头。广义相对论选择用print开头，是因为有人不明白 alias print=echo…… 可是人工智能实验室的Lisper知道的，哪怕祂“没写过”。🌚👌…
#FP 纯函数其实就一句话：“编程的人不调用「结果不一样的函数」”。
input(">>>") 和 random.pick(*"AB") 结果只在测试环境下一样，print() 在caller不能读取它（stdout流）时结果不一样，yield在耗时上结果不一样。
那么他们是怎么把代数搬到电脑里的呢？不是写vec2场函数，也不是挑战Rust宏或平民版comptime func，是把JS里的.then(f)做成“编译期查表出f”。
没错，去掉副作用只靠「不调用0参函数」（拒绝全局this和“立即树相等”），所以他们把任何函数都塞给了一个argLast：我们一般叫“调用栈”、“单步调试或执行”的那参数，还美其名曰高质量工程。数学和计算机就是扯淡，真数学的门（Torch/Taichi）FPer摸不到
用范畴论术语装点门面。范畴的集合可是有N:1箭头函数的，就连物理模拟也有2:1的sqrt(x)计算，哥德尔不喜欢听废话，什么时间和折叠（eval order）没有发生因为“代数生效了”。
Monad和 #Haskell 的Logo(>>=) 又是什么呢？结合律。
(read | greet) | echo 和 read | (greet | echo) 是等同的
(a;b);c == a;(b;c)
窝槽，这不是废话吗？不对。因为 greet(x) 有1个点位，所以FPer就造了整个“链式调用栈”，来发扬Curry和模式匹配GADT&class延迟绑定的精神，
其实 a;(b;c) 根本就是鬼扯，任何一个正常人都看得出Lambda不是这么用的
套那么多层无非是为了实现 if(Q,print,print) 和 if(Q,return,''), print 的“调用侧决定”，引用一大堆有的没的paper，
最后还不如 yield eventTuple 或纯粹的 DSL=(...lit)=>(env)=>{return value}
写操作系统和编译期函数的人早就知道了，DB/DS/CG 领域的人知道的更「纯函数」。
有这点能力不去写些有意义的DSL和“可以不乱的混乱语法”，去屠C++ template<>的龙，却凑一个死寂了70年的数学界的热闹。现在还想证明Dijkstra的软件测试知识是错的。
CS+Math，学术cosplay。 🎓 👎
我不两次踏入同一条河流，任何一个用户都是如此。 πάντα ῥεῖ
1958: Lisp → 解决实际问题（AI, symbolic）
1972: C → 解决实际问题（Unix, 系统）
1974: SQL → 解决实际问题（数据管理）
1983: C++ → 解决实际问题（性能+抽象）
1991: Python→ 解决实际问题（快速开发）
1995: Java → 解决实际问题（企业应用）
2009: Go → 解决实际问题（并发服务）
2015: Rust → 解决实际问题（安全+性能）
世界在变，数学没有意义，或者说数学的语言没有用。数学依靠语言，不是语言依靠数学。
如果代数逻辑都不够母语，还有什么是“整个宇宙的方言”？所以，没有一种有价值的领域，在担保上败给数学。
脱离涌现的几何知识是死的，死枝「挂名不上」活果实，就像量子物理承认了芝诺、费马、贝克莱大主教（牛顿的“好同事”）、高斯曲率定理。断言什么死的正确，真知识就复活来否定它。
就连算力的语言，也很可能是安排不够好而卡慢的。或许走一遍必然是 O(N)，数学无穷里一定有一堆Node可以跑通 A->B，但谁告诉你N一定要有“那么多”？
"If 🍎 + 3 = 5, what is 🍎?" 🍎 = 1.
Accepted.
https://github.com/Kuri-su/yinwang.bak/blob/master/articles/函数式语言的宗教.md#:~:text=这个世界里的所有东西都是“有线”的。你需要绞尽脑汁
幸好我不需要线。没有吃掉苹果的人，才害怕那道线不对。 😊
GitHub
yinwang.bak/articles/函数式语言的宗教.md at master · Kuri-su/yinwang.bak
yinwang.org's auto backup. Contribute to Kuri-su/yinwang.bak development by creating an account on GitHub.
Forwarded from 开源早报
📢 AI终端 Warp 现已开源
❓为什么开源：
Warp 认为“写代码”已不是瓶颈，真正瓶颈是人力驱动的规格、验证与迭代速度，所以现在开源并引入社区协同管理代理，能更快把产品做对、做强。
🆕 核心更新：
🔹 Warp 客户端正式开源，代码仓库公开，采用 AGPL 许可证。
🔹 开发流程改为“社区 + Agent协作”：鼓励用 Oz 编排 Agent 完成编码/测试，人类聚焦方向与验收。
🔹 产品侧同步开放：新增更多开源模型支持（含 Kimi、MiniMax、Qwen），并上线 auto (open) 自动路由模型。
🔹 可定制性增强：支持从“纯终端”到“完整 ADE”多层形态切换。
🔹提供可编程 settings 文件，便于跨设备迁移与自动化配置。
🔑 关键词：
#warp AGPL Oz
🔗 查看详情 ｜🎲 Github
❓为什么开源：
Warp 认为“写代码”已不是瓶颈，真正瓶颈是人力驱动的规格、验证与迭代速度，所以现在开源并引入社区协同管理代理，能更快把产品做对、做强。
🆕 核心更新：
🔹 Warp 客户端正式开源，代码仓库公开，采用 AGPL 许可证。
🔹 开发流程改为“社区 + Agent协作”：鼓励用 Oz 编排 Agent 完成编码/测试，人类聚焦方向与验收。
🔹 产品侧同步开放：新增更多开源模型支持（含 Kimi、MiniMax、Qwen），并上线 auto (open) 自动路由模型。
🔹 可定制性增强：支持从“纯终端”到“完整 ADE”多层形态切换。
🔹提供可编程 settings 文件，便于跨设备迁移与自动化配置。
🔑 关键词：
#warp AGPL Oz
🔗 查看详情 ｜
Please open Telegram to view this post
VIEW IN TELEGRAM
Warp
Warp is now open-source
Warp is now open-source, and the community can participate in building it using an agent-first workflow managed by Oz, our cloud agent orchestration platform.
duangsuse::Echo
#math 如何用一个【没有发生】的东西，证明一个发生了的镜子存在且以read开头？🤓✅ 反正 while "I AM": print(read()) 它可以从print开头，也可以从 not("I AM") 或者说 break; 开头，另一条世界线的宇宙“从一开始就是无，而不是有。” 因为苏格拉底选择用read（从笑和幸福）开头，我所理解的《数学》也要这么开头。广义相对论选择用print开头，是因为有人不明白 alias print=echo…… 可是人工智能实验室的Lisper知道的，哪怕祂“没写过”。🌚👌…
#math #cs #ai锐评
这些不是抽象废话，而是我真正理解FFT和「纯函数式编程」的动力。恰恰是不以为真理掌握在少数人手里，才知道最平凡的Excel和REPL，也能理解「最先进的思想之一」
方向不对，越理解越缺乏认知。唯有受众具体了，才能看到(Visionary)。
这些不是抽象废话，而是我真正理解FFT和「纯函数式编程」的动力。恰恰是不以为真理掌握在少数人手里，才知道最平凡的Excel和REPL，也能理解「最先进的思想之一」
方向不对，越理解越缺乏认知。唯有受众具体了，才能看到(Visionary)。