duangsuse::Echo

本来我不想掺和的，但是王垠描述的这个现象违背了我这里的编程信道论：

现代编程框架是否让人离计算机原理越来越远？
简单快速介绍下，我提出的编程熵论认为，从汇编到高级语言，再到现代框架，整个软件工程的演进方向时完全正确的。

语言、库、框架系统性地消除了实现细节的噪声，从而让程序员更专注于业务逻辑这一核心信号。

但是矛盾之处在于 AI 编程似乎是这条路线的终极形态，那为何反倒需要懂计算机？？？

简单的解释就是传统编程只有一个信源，那就是程序员自己。

一个不懂计算机科学的麻瓜，就如同一个没有魔术回路的凡人，妄图触碰根源，许下自己的妄想。

圣杯给出的回应只会是蕴含无穷的信息熵的精神污染，把混乱的愿望放大千百万倍，最终得到一团蠕动的肉块，看似能运行，实则毫无意义。

而掌握了计算机科学的魔法使给出的 Prompt 并不是祈愿，而是咏唱。

以自身对『理』的理解『调律』，不断对根源流出的代码进行观测与修正。

最终，将灵魂中的意志的完美地物质化，此即『第三法·天之杯』！

王垠的老师早就说了，那种范畴论不 run backwards ，它甚至不 Reactivity，连CSS甚至只是Tk都比他们懂范畴论与解耦抽象！

不，你们的那种编程语言没有安装在身体里，和王垠的直觉对冲，你们还不配

你们只是不够相信几个人名足以完成AIGC语义对齐，不需要上“四年”大学或背“百万行”代码，你们觉得自己比费曼或 Elon Musk 聪明

科学永远是属于凡人的，某些人再像也不要是那个上帝

因为如果科学像所有电影里的反派，它们最终会被人打倒

FxZhihu / Fixup Zhihu

如何看待王垠对 Cursor 等 AI 编程的评价「不懂计算机科学的人用好 AI 编程是妄想」？ - @酱紫君 | FxZhihu

本来我不想掺和的，但是王垠描述的这个现象违背了我这里的编程信道论：现代编程框架是否让人离计算机原理越来越远？简单快速介绍下，我提出的编程熵论认为，从汇编到高级语言，再到现代框架，整个软件工程的演进方向时完全正确的。语言、库、框架系统性地消除了实现细节的噪声，从而让程序员更专注于业务逻辑这一核心信号。但是矛盾之处在于 AI 编程似乎是这条路线的终极形态，那为何反倒需要懂计算机？？？简单的解释就是传…

112 viewsedited 01:56

duangsuse::Echo

逻辑学告诉我，抽象是通用的反面，就像社会是丛林的反面：您的知识若是通用的，它一定能与各应用领域紧密联系，学生如何觉得它抽象！？

就像我两年前就知道的那样，世界上有两种逻辑学，而我会和费曼与王垠的逻辑学站在一起。

我不是活在它们大学学的那个数学里，永远不能是。我不能像这个文章题图里那样是。那是伪自然科学，文创和电影已经知道，费曼和薛定谔的量子物理已经知道，它们（科学怪人）不配上桌，只要它们还认为自己只是动的物

它们的那个逻辑学不能知道。因为人不是纯粹动物，人有审美，这一点不能被搞混

LLM世代已经有人开始动摇了

101 viewsedited 02:13

duangsuse::Echo

其实并没有什么4GL，在我知道 #CS 科学之前，通用编程就只有丘奇、冯诺曼、John Backus、Alan Kay 是真先知

他们分别创造了：
- 函数式（纯粹组合逻辑/YC/代数）
- 非结构化过程（x86/ISA/图灵机）
- 过程式和逻辑定义式（C, Fortran, Numpy, Lean）
- 面向消息（Http, GUI Events, OOP，Scratch, Java）
- ML 界的可编程性还不够确定。
- SQL(Excel) 和TOML这类算是母语，不需要有先知，或者不用记住

其他人（比如图灵）并不足够知道自己在写什么，只是历史必须给他们那个荣誉，或者像Dijkstra那样确保了先知的解读没被下游搞错（递归DFS/eval算法的存在）。如果你先于名字知道，你就知道。

如果你真的能学明白，计算机科学是关于一种 “交互工具”，与科学那个“哲知工具”共轭，就会发现，Alan Kay 确实是人挺不错的，非常配被称为先知。

但是先知确实不是学来的，我们可能只是害怕自己和牛人隔的不是“几百倍圆周率的记忆力”，而是“无限次试错”。你只是不够像那只《料理鼠王》

但是这本来就是自欺欺人，你已经没有在背圆周率来学习了，可是还是相信那个120分就是单位一。而数学优雅的形式证明不了“无限是不是无限”，除非你已死了。浮点数早说过了Infinity不可判，只能皈一。

吴承恩和三体大刘的成功是你学不到的，AIGC时代，那种学习没有意义，但我们还是很难相信。
计科er们用来模拟现实需求的数学早就告诉过你，无限需要“做”和“相信”，罗翔相信你不是逼近they的纯粹手段，那些人还是相信数学仅是数学。拜托，没有全世界的开源，精英怎么复现人类智能？Lisp实验室早证明过。

143 viewsedited 03:30

duangsuse::Echo

我们可能只是害怕自己和牛人隔的不是“几百倍圆周率的记忆力”，而是“无限次试错”。你只是不够像那只《料理鼠王》

从来就没有人许给我们“付出一定能得到回报”，只是尽可能觉得对。

但是我的对一定是“有专业细胞”的那种活着的对，不是做题和仿冒(GAN)，我和薛定谔一样喜欢“不乱的混乱”

有些人只是害怕小老鼠真的能上桌，为此连美味和“赛博生命”都能抛在脑后，这就是 CREAM by David 寓言的那个错误未来

因为一旦承认了老鼠的创造力，就等于承认了他们精心构建的“认证体系”、“做题规则”和“120分标准”、“150系统升级”全都是个笑话。为了维持这种权力结构，他们宁愿用工业流水线上的预制菜（AIGC）填满食客的胃，也要把那只真正懂“美味”的老鼠死死踩在脚下。Cream是一个双重讽刺。就像那个“不乱的混乱”

有人觉得，纯能量不是生活，太cream也就显得虚假
但大部分人觉得，资本抢走cream并且挤牙膏是极其虚伪的

其实真实的资本已经知道，cream能自我复制，所以自然而然需要转化稀缺性为follow

1971 年，诺贝尔经济学奖得主赫伯特·西蒙（Herbert Simon）就留下了那个终极预言：“信息的丰富产生了一种贫乏——它消耗了接收者的注意力。”

虽然这些文创给了许多答案，就像楚门和头号玩家，像黑客帝国

我相信人类总是做对
现实世界不错的，欧盟还在，他们来过。

111 views04:48

If you're new to my stuff then SUBSCRIBE https://www.youtube.com/subscription_center?add_user=doki66

MERCH https://saladfingersstore.com (WE HAVE PLUSH TOYS!!)
PATREON https://www.patreon.com/davidfirth
BLUESKY https://davidfirth.bsky.social
INSTAGRAM ht…

https://youtu.be/0UgiJPnwtQU?si=N1OFGest2jMGtM8x 😄

非常准确

117 views05:11

duangsuse::Echo

Forwarded from Hacker News 摘要

Telegraph

报告：以军在 2025 年的大屠杀中近距离杀害加沙救援人员

原标题：IDF Killed Gaza Aid Workers at Point Blank Range in 2025 Massacre: Report 根据独立调查机构 Earshot 和 Forensic Architecture 的最新报告，2025 年 3 月 23 日，以色列士兵在加沙地带南部的塔尔苏丹地区杀害了 15 名巴勒斯坦救援人员。这次联合调查通过音频、视频重建以及目击者证言，还原了这场大屠杀的每一个细节。调查的核心发现调查报告指出，以色列士兵在长达两小时的时间里，对救援人员进行…

报告：2025年大屠杀中以军近距离射杀加沙救援人员
原文：https://www.dropsitenews.com/p/israeli-soldiers-tel-sultan-gaza-red-crescent-civil-defense-massacre-report-forensic-architecture-earshot
阅读时间：8 分钟
分数：1519 🔥🔥🔥

108 views05:35

原文评论：574

duangsuse::Echo

Forwarded from Hacker News 摘要

Telegraph

为了安全感，我们安装了一道形同虚设的闸机

原标题：We installed a single turnstile to feel secure 在一间大公司收购作者所在的企业后，安全成为了公司的首要任务。公司占据了三栋至少 13 层高的大楼。为了加强安全，公司在每个入口、每部电梯，甚至八层高的停车场入口都安装了工牌阅读器。初始的安全措施与混乱停车场系统首先启用。员工停车需要扫描工牌，这导致大门前开始排起长队。随后，办公楼内部的门禁也被激活。作者经常把工牌忘在办公桌上，结果被困在楼梯间。有时候作者吃完午饭爬楼梯回到 11 层，却发现自己被锁在…

为了安全感，我们安装了一道形同虚设的闸机
原文：https://idiallo.com/blog/installed-single-turnstile-for-security-theater
阅读时间：7 分钟
分数：303

187 views05:36

原文评论：140

duangsuse::Echo

duangsuse::Echo pinned a photo

05:39

duangsuse::Echo

Forwarded from yihong0618 和朋友们的频道

在推特上看到几十个超级个体了，感觉我们往战锤 40k 发展了。。。

164 views08:36

duangsuse::Echo

duangsuse::Echo pinned «不，他是错的。 https://www.fxzhihu.com/question/1923534024288236685/answer/1968722398040794709 这里，也是。他们很快就会知道了本来我不想掺和的，但是王垠描述的这个现象违背了我这里的编程信道论：现代编程框架是否让人离计算机原理越来越远？简单快速介绍下，我提出的编程熵论认为，从汇编到高级语言，再到现代框架，整个软件工程的演进方向时完全正确的。语言、库、框架系统性地消除了实现细节的噪声，从而让程序员更专注于业务逻辑这一核心信号。…»

13:21

duangsuse::Echo

费曼家有一套《大英百科全书》，父亲常让费曼坐在他的膝上，给他念里边的章节。

有一次念到恐龙，书里说，“恐龙的身高有 25 英尺，头有 6 英尺宽。” 父亲停顿了念书，对费曼说，
“唔，让我们想一下这是什么意思。这也就是说，要是恐龙站在门前的院子里，那么它的身高足以使它的脑袋凑着咱们这两层楼的窗户，可它的脑袋却伸不进窗户，因为它比窗户还宽呢！”

这就是为什么范畴论不 run backwards ，纯函数式很蠢

故事是王垠讲的，但他知道Friedman根本不屑于和这群代数疯子玩过家家。 ImGui和Tk.Var都比他们值得尊敬，因为认真你就输了，而工程界只是认输。

我从来不以非娱乐的“抽象”去讲述知识，比如，我会把tailrec调用描述为

f(x, y=0): if(x==0) y else f(x-1,y+1)

f(1)=1

这天然就是可变换的（到goto或从cps），她不需要命名，不用提到某些代数疯子的名字。他们的理论不elegant，还不配让我挂在嘴上。 Dijkstra说过，学BASIC的人成为某种思想残疾了，幸好我不能是。

什么二村映射？不就是unquote/unroll吗，为什么要那么乱？真的有必要？松本的Ruby都快被Py吃了，块vs缩进只是最显著的差距，你比 MVP Matz 还聪明，那就是铸币。他只是玩CS，RoR和GH平台已经开创出来过了

如果一种学习不能让我的“脑补引擎” run backwards，它不能是那个解，因为它抽象。它不通用。它不逻辑。

经济学告诉过dev，它是伪需求，它是技术债务。设计债务的只能是奴隶，不能是计算机的主人。太多dev想这么玩SM，导致咱们geek连个离线、无广告、开源视频播放器都做不好，just4fun 不能这么鬼打墙

问问经济学是否需要你们的答案，谁问过你们懂不懂了，别忘了Vue和阮一峰不是CS人出生的，主流知道“那种优雅”是死是活
#ai锐评
https://g.co/gemini/share/288ed47ac3ea

139 viewsedited 13:28

duangsuse::Echo

故事是王垠讲的，但他知道Friedman根本不屑于和这群代数疯子玩过家家

有些人会觉得我这么骂 #PLT 的从业者不客观，太偏激
https://t.iss.one/dsuse/22077

如果他们玩抽象，然后承认自己玩的只是文字游戏，接受LLM那只赖皮狗在黑板上写的公式偶尔更优雅（🎓沉没成本），PLT不总能是先验，那OK，只要最终51%这样我就道歉。
（Kay的后继Bret Victor 也注意到了“发明”编程语言的领域，现在咋都在做“最顶尖的”形式化验证，AI也以为，真人用户们只是“纯函数生命体”的ーーGemini 都出幻觉了😅：但我们没有活在大学数学教的宇宙里。这是幻觉，不容歧义的😅。赛博永生随你们便，我不要😅）

如果他们和那个“绝对正确(NOT elegant)的数学”一起骗去投资者和受害者（用户），我必须想办法做下去。
我同时是精力投资者和未来受害者

AIGC 影响到普通人生活的事情，已经发生了，这群人用代数再“免费”证明一下 “用户的痛苦不存在，软件是正确工作的”，那不行😅。成功不了也不行，图灵测试通过了也不行，数学证明过了蝴蝶效应。伪人鄙视链上就不能通过。

AI必须是爱，爱不是背叛和文字游戏

费曼证明过挑战者号自爆的错误存在，他不是通过证明1+1=2 QED的，只是把橡胶圈放进冰水里。那不需要你上过学。傻逼“总是”比伪人聪明，你不需要钻研那种research软件，未来有“白吃工资(UBI)”的，求求你们CS+Math放我活下去。我还有爱没去ML呢

文字游戏的语义只能是游戏，不容许游戏别人的人生。形式主义不能有一点点机会，50%也不行。数字不知道痛，所有小六学生都知道。
除非你“总是”有50%的概率续命，比芝诺的龟还耐活。（反常识的悖论数学的大厦还要崩塌，我的天）

如果正常人+LLM偶尔比PLTer聪明，让他们觉得没意思了，专家也无权用这样的方式“总是”反超，那自欺欺人。用户会痛，a+b=b+a 不能知道！paper上不能暗示“验证过”。AI已经被这群高帽子带歪了。我还没结婚，我不想被这样的AI闭环统治😅😅

PLT和FV必须明确，拒绝做 verification，或声明验证结果仅供参考（赛博保健品、爆雷的 $UST ），因为AI和Web3还有机会，但代数致幻剂们，永不能。必须是Lean和Agda以及一切“高等学阀”proof过的那个，数学的“势”证明过的公理，你不能。踢下神坛。我不接受千年虫那种不可判定性的死。Math不是上帝。他们从未明示过我，这不负责。

数学不仅不能是计算机科学(Math can't CS)，而且缺乏内容的形式们还必须“总是”鄙视链底端（而不仅仅是51%市场Denial），我要做到这样，我才能安心和各种权力机构继续连接AI。