duangsuse::Echo
804 subscribers
4.47K photos
137 videos
583 files
6.79K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): a19a0b
Download Telegram
Forwarded from 南宫雪珊
史诗级更新,tg支持中文搜索了。服务器搜索,需要客户端更新。
龙虾的热度迅速冷却,快到有的老板群名都改了正准备 ALL IN 大干一场,市场没了。
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from 单线程大摆锤
超绝震撼发布,在 100gle 的激情制造下

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

https://bub.build
Forwarded from Solidot 纯净版
新研究再次证实 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
duangsuse::Echo
很遗憾为了代码质量和用户体验调参,包括整理这几条demo代码质量,6个小时没了…… 💦 人的一天有几个六个小时呢?像我这样的【效率】,大概早就淘汰了吧。可惜可惜。 #school https://duangsuse.github.io/NebulaRemix/c_glass.htm
#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很火,但我不感兴趣,所以我不蹭热度
duangsuse::Echo pinned «#statement #ai ArXiv 上发表论文《再次证实 AI 有害大脑》 这是在说废话,那做到一半,把纸笔给扔了又怎么样呢? 多少年前世界上还是只有交流,没有文字的 有Python可以用,谁会凑C++的热闹,这就像有C/libc实现时跑去调BIOS,还觉得自己懂得多一样。 😅 硬件和机器API(比如嵌入式/信号处理)是什么东西呢? 🤔 如果只是/dev/fb画矩形那样的「编译型IDE」,趁早返校重学吧,因为方是画不出圆的,对「深奥知识」的了解是无法套娃出上层抽象(最终层是「灵感」的) …»
duangsuse::Echo
硬件和机器API(比如嵌入式/信号处理)是什么东西呢?
🤔 如果只是/dev/fb画矩形那样的「编译型IDE」,趁早返校重学吧
#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() 一样。丑。
😓
duangsuse::Echo
#ai开源 对话串 https://gemini.google.com/share/5919ec90eb4e 第三条注释掉 //regl.viewport(0, 0, canvas.width, canvas.height); 即MVP 灵感: https://gemini.google.com/share/3445b24910b2
#js #cg 横向对比一下, https://t.iss.one/hyi0618/12316 这个特效还是很不错的。有完全一样的,但没有流光溢彩(高光)和面板可调的

https://www.shadertoy.com/view/3sB3WW
https://www.shadertoy.com/view/Nslfzs (displacement)

我又找到了一个前景物提取(&无波纹)的灵感,总之还是很不错的,但AI也有排top30%能力 🤓👆

这么漂亮的CG,应用层才40行
duangsuse::Echo
#math https://www.bugman123.com/FluidMotion/index.html https://jasonjhayes.azurewebsites.net/WebDev/WaterRipple/ > “这是最后的波纹。”——即便底层是简单的像素加减,只要迭代足够快,也能模拟出宇宙级的混沌。 人类的赞歌就是勇气的赞歌(人間讃歌は「勇気」の讃歌ッ)!!人类的伟大就是勇气的伟大(人間のすばらしさは勇気のすばらしさ)!! JOJO!继承我的意志吧!究极!深仙脉波纹疾走! 😡🫧
#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是手机端更强大么

一个函数参数卖一个广告,不愧是市场经济颜料税,缺乏生产力的脑残。 😓
春东西 dumb box
https://x.com/solanamummy/status/2044808122997284963?s=46
#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 的情况不同! 🤔💭
duangsuse::Echo
#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)…
在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,学会过这个吗? 🏫 👨‍💻