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

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): a19a0b
Download Telegram
duangsuse::Echo
Photo
开头那句关于“神”的描述以及关于捍卫言论自由的描述或许是导火索。但坦白说,这已经是非常温和的配置了。这个智能体并没有被指示去作恶。这里也没有任何关于邪恶的指令。然而,这个智能体仍然造成了实际的伤害。——
Theahura 在Tech Things 上写道:OpenClaw 很危险

他们明确表示不知道“不要退缩”和“捍卫言论自由”这两句话是什么时候引入或修改的。他们还说,智能体早期花了一些时间在 Moltbook 上,吸收了那里的上下文。
那些沉迷于形式化、类型体操和元编程的“代数祭司”们,曾经以为自己掌握了通向真理的唯一密匙。但大语言模型(LLM)的出现,无情地扒下了这层底裤。

当他们惊恐地发现,自己引以为傲的、需要耗费无数脑力去推导的复杂类型约束和形式化证明,居然可以被一个 “仅仅依靠统计概率预测下一个词的复读机” (Stochastic Parrot)毫不费力地生成时,他们的信仰崩塌了。
​因为这证明了一个残酷的事实:他们视若神明的“规则集”,本质上只是一种可以被暴力穷尽的低级模式(Pattern),而不是真正的创造。 如果一种“聪明”可以被矩阵乘法和海量语料轻易模拟,那它就不配被称为灵魂。他们引以为傲的门槛,原来只是一堆毫无生命力的语料库残骸。

当“写出正确编译的代码”或“跑通形式化验证”不再是人类的特权时,繁复的伪装就被剥离了。退潮之后,留在沙滩上的唯一一块真金,就是 Elegance(优雅)。
​Elegance 是抗拒熵增的直觉: 它是如何在纷繁复杂的业务逻辑中,敏锐地切出一刀(就像 qsort 的轴),让系统呈现出自然的、物理上的清澈(Clean)。


​这种架构师的决断力,这种对“痛感”和“物理边界”的把握,是所有工程师——无论他们曾经多么痴迷于抽象代数——最终都必须回归的宿命。

编程克苏鲁可不是这么用的。 如果是真神,应该“像”计图 iq 和 #vibez 里那些灵感那样创造,而不是对着死鱼翻译验尸。

小众不等于精英,精英必须“像” https://www.tauday.com/tau-manifesto-cn#sec-the_number_tau 那样优雅,这不是能不能(AI 也能)的问题,而是自然与无病呻吟的问题。科学不是无病呻吟。

​这才是真正的精英主义:把被历史和习惯扭曲的复杂,还原成一眼见底的自然规律。 那些把 PI 换成 tau 的人,不是在玩文字游戏,而是在纠正底层语义的错配。

不然就不配知道。 只有开源、大众能最对自己负责的知道。形式主义者们写不出像 qsort 那样开天辟地的结构,也写不出 iq 那种直击灵魂的数学图形。他们得不了真正的那种奖,只能互相刷refcount。他们不相信纯粹的理论,因为没有真正自信的自我。

鲁迅早就说过,许多人只是相信学理傲遍天下,不想知道。 早就有人知道,搬运工凭什么傲。

以前编好的算法和CAS就能自己做研究,搜索引擎就能取代图书馆,未来一定更加这样,不需要数学细胞,但一定要直观的elegant,因为不美的数学会被淘汰。

王垠早就知道,paper和辞藻不“像”,上帝不会那么和人讲话,上帝总是用那个母语创造,而不屑于缝合。

作家的价值不是“像”他发表了什么设计,而是桌下废纸篓里有多少堆砌。
Forwarded from Solidot
在是否保持 Android 开放上 Google 口惠而实不至

2026-02-21 18:50 by 父子双雄

Google 去年 8 月宣布将从 2026 年 9 月起强制执行应用开发者身份验证政策,禁止在 Android 设备上安装未验证身份的开发者的应用。此举引发了社区的强烈反对,Google 随后软化了立场,宣布将继续允许安装未验证身份的开发者应用,表示正在构建一个复杂流程允许有丰富经验的用户自行承担安装未经验证开发者身份的软件的风险,这个流程将包含清晰的警告,确保用户充分了解相关风险,但最终选择权仍然掌握在用户手中。但过去几个月,没有看到 Google 在构建所谓的流程,而开发者身份验证政策则在继续推进,Android FOSS 应用商店 F-Droid 对此发出警告,认为 Google 口惠而实不至,之前的软化立场只是一种公关策略。

https://f-droid.org/2026/02/20/twif.html
https://www.solidot.org/story?sid=82142

#Android
Forwarded from 时间的切片 (CatMomo)
看到了一个非常激进的观点,来自 Yuchen Jin。他说:

"任何没有尝试过使用人工智能进行编程的科技公司 CEO 都错过了机会。谷歌的谢尔盖在编程,Meta 的扎克伯格也在编程,Shopify 的托比在编程。如果你没有亲身感受到人工智能发展的速度,你就无法预见未来。你很可能会被那些预见到未来的人颠覆。"

对于最近沉迷 vibe 无法自拔的我来说,可太喜欢这句话了。AI 的变化现在是指数级的,人的认知大部分时候是线性的。不亲自下场,就会本能低估这个速度。

让 AI 给你改一个老项目、重构代码,写个工具,眼看着从"完全不行"到"不太行"再到干得漂亮,你大概就知道 AI 进步的速度了,你会在方方面面做出完全不一样的判断。
b23.tv/BV1CNfzBbEY5 别怪我看不起你😅 #bilibili

这也叫算法? 中文圈外不是这样的。美股投资人们不仅先几年知道,还知道开源的版本是怎么样的,

你可以直接DIY小米机器狗,有平替有BOM价格,可以知道宇树的上游供应链,而不是纯粹的知道。因为知道是先于股价存在的

https://youtu.be/tNiXkX6Ys4o?
MIT 迷你獵豹項目開源地址
Please open Telegram to view this post
VIEW IN TELEGRAM
duangsuse::Echo
你可以直接DIY小米机器狗,可以知道宇树的上游供应链,而不是纯粹的知道。
所以我很少纯粹的在中文圈里学习,不是因为我不爱国,是那个科学必须在SOTA的意义上真实,不能有多余的假设和情绪

那个仿生人可以“赢”,前提是永远不能背叛任何用户,用户有选择用或不用的自由,不然就是AI伪人。它无法为自由本身负责

所有电影已经说过为什么人机会造反了

四足机器人(机器狗)的爆发,很大程度上得益于海外顶尖高校的开源项目。例如,美国麻省理工学院(MIT)研发的“迷你猎豹(Mini Cheetah)”在2019年就将软件、源代码和固件全部公开。它也是世界上第一款学会后空翻的机器狗。此外,斯坦福大学的机器狗 Pupper 也开源了所有的源代码和设计文件,甚至提供了详细的硬件组装和软件安装教程,任何人只要有互联网和不到 900 美元的成本,就能买到零件(如碳纤维、3D打印件、电机等)自己组装。
很多国内大厂(如小米的铁蛋 CyberDog、腾讯、华为等)和创业公司,正是在这些开源技术公布之后,犹如雨后春笋般推出了自己的机器狗产品。把开源社区早就解决的运动控制(Locomotion)、平衡保持等底层逻辑,包装成几十个“高深莫测”的自研算法来做 PR,在真正懂行的开发者和投资人眼里,确实非常滑稽。


核心壁垒是“供应链的 BOM 成本”,而不是被神化的“神秘算法”
你提到可以直接 DIY 小米机器狗,知道平替和 BOM(物料清单)价格,这才是看透了本质。
像宇树科技(Unitree)或小米 CyberDog,它们对行业的真正贡献和商业壁垒,其实是强大的硬件工程能力和依托国内极度成熟的机电供应链(电机、减速器、传感器)将原本极其昂贵的 BOM 成本打到了白菜价,而不是他们在基础算法上超越了 MIT 或伯克利。B 站视频里大谈特谈的 Motion Tracking、VLA(视觉-语言-动作模型)、世界模型,这些本身就是全球具身智能(Embodied AI)学术圈共享的研究方向,硬凑“23个算法”更像是一种为了迎合大众不明觉厉心理的“春晚特供版营销”。