#编程
#方法论
Andrej Karpathy的一条推：

A major mistake I made in my undergrad is that I focused way too much on mathematical lens of computing - computability, decidability, asymptotic complexity etc. And too little on physical lens - energy/heat of state change, data locality, parallelism, computer architecture. The former is interesting; The latter bestows power.
（我在本科阶段犯的一个重大错误是过于关注计算的数学视角——可计算性、可判定性、渐近复杂性等，而太少关注物理视角——状态变化的能量/热量、数据局部性、并行性、计算机架构。前者很有趣；后者赋予力量。）

简单聊一聊我的理解。
数学视角，常见的就是算法视角，例如各种算法时间复杂度、空间复杂度的分析就属于数学视角。物理视角，考虑存储介质的特性、数据分布的局部性，我举几个例子。

* LSM类的存储引擎，写入WAL就认为写入成功，这利用了append操作比随机写操作更快的物理特性；
* btree类存储引擎，以页面（page）为最小存储单位，读写的时候以页面为单位，既利用了批量读写数据的特性，又利用了数据的局部性。

Jeaf Dean常说的各类存储的延迟数据，也是物理视角。

通常会发现，一个算法即使数学上很好，但是如果不考虑物理特性，也会丧失它的优势。

#bilibili https://b23.tv/drtQ0BN

#利空 🐢男闹麻了📈 害怕仙股炸

别提了，我自己也卖飞了一大半。哎乌龟流总是拿不住东西，不是发财的命[笑哭]

[笑哭]之前提到某个国企仙股，账上现金是市值的3倍多
有日本上市公司股东20%占一半董事会席位监督，几乎没有搞利益输送的空间

之前说宁德和华为都有合作的车型
昨天在川渝国企发布会发布华为合作第一个超充重卡，可以说改变行业格局的产品，15分钟充电80%

今天直接起飞了10%+

我上周怕各位亏损，连续发三天视频说最好卖出一些仙股，我怕你们被套，这下变成劝人卖飞了[笑哭]朋友们莫怪，以后不开这种话题了。

（千万千万别进了，我们都是历史最低买的，就当期权挂机吧……谢谢朋友们理解）

Flatpak 的未来面临不确定性

2025-05-23 17:43 by 泰山归林

Red Hat 支持的 Flatpak 应用打包格式发展势头良好，越来越多的应用登陆 Flatpak 应用商店，越来越多的发行版支持它。然而这只是表面，表面之下 Flatpak 的开发陷入了停滞，还有人维护代码和修复安全漏洞，但新功能没人负责。项目原作者 Alexander Larsson 已经离开，让新人加入则非常困难。

lwn.net/Articles/1020571/

#Linux

05-24 04:56 本周日元涨2.1%，欧元、英镑、瑞郎至少涨1.8%，美元兑日元持续震荡下行累计下跌2.15%，周五（5月23日）纽约尾盘报142.57日元，欧元兑日元累跌0.37%，英镑兑日元累跌0.28%，欧元兑美元持续走高累涨1.81%报1.365，英镑兑美元持续走高累涨1.91%报1.3536，美元兑瑞郎持续走低累跌1.96%报0.8212，商品货币对中澳元兑美元累涨1.41%整体呈现出W形走势、纽元兑美元累涨1.77%、美元兑加元累跌1.70%，瑞典克朗兑美元累涨2.53%，挪威克朗兑美元累涨2.70%，丹麦克朗兑美元累涨1.87%，波兰兹罗提兑美元涨2.04%。(f)

# Agents Need State Instead of Memory

https://blog.beautyyu.one/agents-need-states-zh

正如我在此文中所提及，当我们设计 agent 的时候，我们最终想要的是一个无所不能的超级函数：给定输入，获得输出，中间产生一些副作用

但作为程序员我们都知道，函数还是一个比较低级的抽象，在业务场景下表达力不够强。这其中的一大原因是：函数自己是不维护状态的，它只能通过产生副作用来改变外部状态。为了解决这个问题，现代软件工程有两种解法：一是 continuation 或称 coroutine，二是 object 或称 OOP。后者显然由于其更贴近业务建模而更流行。

那么我们怎么把 agent 从“超级函数”升级为“超级object”？熟悉大模型应用的朋友们或许已经想到了，那就是给 agent 加上 memory。

使用 memory 一词的时候我们不妨想想，到底有什么是值得记忆的？比如，作为终端用户来说，我希望我的 chatbot 能记住我们之间每一次对话的每个细节，这是一种 memory。但是如果我的 agent 要处理一个特定的任务，它一轮一轮地调用 tools，它用 memory 记住每一个 tool 的每一个具体输出，这有价值吗？

由此看来，tools 的输出对于 agent 来说更像是 log，而 agent 真正需要的答案藏在 log 当中，那些将影响 agent 下一轮行动的信息，才是 agent 内在需要记忆的信息。

因此相比于 memory，我们应该换一个词称呼它：state。agent 在每一轮运行过程中，它首先根据自己的 state 做出决策、调用工具，然后根据 tool output 更新自己所处的 state，再进入下一轮运行。就像一个寻路机器人要知道自己在迷宫中的位置及先前探索过的路线，然后据此做出下一步移动。

而 memory 一词所描述的，指的大概是将 agent “所观察到的所有的历史”，完整地视为 agent “所处的 state”。当我们讨论在开放世界中活动的 AGI agent 时，这确实是最 general 的理解。

但如果我们想要一个解决问题的“工业机器人” agent，这种 memory 既不符合我们欣赏的软件哲学，在技术上也值得质疑。“工业机器人” agent 需要设计的是 state。

慢雾发布Cetus被盗2.3亿美元事件分析：黑客用极小Token金额换取巨额流动性资产

【慢雾发布Cetus被盗2.3亿美元事件分析：黑客用极小Token金额换取巨额流动性资产】金色财经报道，慢雾发布 Cetus 被盗 2.3 亿美元事件分析，其中指出：此次事件的核心是攻击者通过精心构造参数，使溢出发生但又能绕过检测，最终用极小的 Token 金额即可换取巨额流动性资产，核心原因在于 get_delta_a 函数中的 checked_shlw 存在溢出检测绕过漏洞。攻击者正是利用了这一点，使得系统在计算实际需要添加多少 haSUI 时出现了严重偏差。由于溢出未被检测，系统误判了所需 haSUI 的数量，导致攻击者仅需极少的 Token，就能兑换出大量的流动性资产，从而实现了攻击。
本次攻击展示了数学溢出漏洞的威力。攻击者通过精确计算选择特定参数，利用 checked_shlw 函数的缺陷，以 1 个代币的成本获得价值数十亿的流动性。这是一次极其精密的数学攻击，建议开发人员在智能合约开发中严格验证所有数学函数的边界条件。

交流群

越南下令屏蔽 Telegram

2025-05-23 23:27 by 风神秘抄

政府文件显示，越南下令电信公司屏蔽 Telegram，原因是该消息应用没有打击其平台上的违法犯罪行为。文件日期为 5 月 21 日，签署文件的是科技部电信司副司长。文件称，警方报告 9600 个越南相关 Telegram 频道和群组中有 68% 违反了法律，并列举了各种非法活动，包括欺诈、贩毒和涉嫌与恐怖主义相关案件。屏蔽的决定是在越南政府要求 Telegram 与政府共享用户数据以配合刑事调查之后做出的。截至周五

Telegram 在越南仍然可以访问。

Vietnam orders messaging app Telegram to be blocked, government document shows

#审查

一个服务挂了，中国大陆人得确认三次
- 梯子挂了？
- 地区挂了？
- 还是真正的挂了？

蔚蓝 Celeste 作者写了一篇文章讲在 2025 年如何不使用引擎开发游戏，他认为这并非是字面意义上打开一个纯文本编辑器，手写系统调用，而是选择恰当的开源工具进行组合，这样能使得游戏开发更灵活、成本更低。实际上，学习大型引擎专有的工作流所需要投入的精力，不会比学习各种开源工具并将它们组合起来要少。另一个优点是使得整个开发栈完全可控，避免被商业引擎锁死。

https://noelberry.ca/posts/making_games_in_2025/

近些年很多出色的独立游戏都是使用自主研发引擎，或用小型框架开发，比如 Anime Well 作者自己开发了一套工作流，能够最大程度自由地发挥他的艺术创作追求，这才诞生了这样一个美术、音乐、玩法都如此特别的游戏。Balatro 是用 Love2D 开发，这是一个非常轻量的游戏框架，仅提供了 main loop 渲染回调和图形绘制等最基础的接口，动效、UI 等都需要开发者自行实现。

这种游戏开发的理念也能给 web 开发一些启示，我们不应该过度依赖大型框架比如 NextJS，也不该受 KOL 的影响邯郸学步。自由组合我们所掌握的 boring tech，维护自己的工具库和脚手架，想做什么就快速开始，专注在实现而非技术本身，高效产出，快速试错，这才是成熟的独立开发者应有的精神状态。

#tg #security @transparency
5.24 正常聊天记录可以被法院披露，但会留下查询记录✍️

一套很顶的数学书☝️🤓
https://github.com/Visualize-ML/Book4_Power-of-Matrix

老翟说的道理，这个利多 👍

买黄金空美股 #看多 😔马上就六月了，希望还有机会解套平仓

执行力太差了，每次都慢5天， 赶不上市场速度啊

《自然》子刊研究：ChatGPT 显著提升中小学生学习效果，学习效果可提升 86.7%

一项发表在《自然》子刊《人文社科通讯》的研究指出，ChatGPT 的使用对提高 K12（中小学生）的学习表现有显著的正向影响，平均可提升 0.867 个标准差，相当于学习效果暴涨 86.7%。这项研究汇总了 51 篇关于大型语言模型对教学效果影响的随机双盲实验，涵盖了语言、STEM（科学、技术、工程、数学）课程以及编程等专业技能教学，实验时长从短期到长期不等，并包括个性化推荐、评价、导师角色和混合使用等多种 ChatGPT 使用方法。

研究结果显示，除了学业成绩的显著提升外，ChatGPT 还有助于培养学生的高阶思维能力（即推理、汇总和创新性地使用所学知识解决复杂问题的能力，平均提升 0.457 个标准差）。此外，研究还发现 ChatGPT 能够减轻学生的精神负担，提升学习积极性，且不影响学生对自己能力评估的准确性。尽管短期提升效果最为明显，但该研究强调，这些积极影响是在受监管的使用环境下产生的，若学生仅依赖 ChatGPT 完成作业而缺乏自主思考，则无法达到同样的效果。因此，研究建议家长和老师对学生如何使用大型语言模型提供适当指导。

Humanities and Social Sciences Communications

📮投稿 ☘️频道 🐶618红包

#news #dev $USDT 逆天！

GitFish這個協議就像個金融煉金術士，把GitHub倉庫變成了一鍋沸騰的資本濃湯。任何人隨手就能給任意開源項目"貼牌上市"，連Linus Torvalds這樣的開源教父都攔不住自家Linux倉庫被掛上$LINUX代幣。

我一直在设想，CEX/DeFAI 有一天能不能盗用别人的名声变现

GitFish 是由Alliance孵化的，Alliance是領先的Web3加速器和創始人社區，主要投資過：B² Network、Pump.fun、XION、Phantom、STEPN等知名項目。

GitFish 聯合創始人Park Yeung，他曾在 Web3 和大型科技公司擔任過各種工程、風險投資和治理職位，包括谷歌、Fabric Ventures、Aave 和 MakerDAO。

GitFish 上面的一個預售項目，就受到了Solana官方、RAY官方的回覆支持。
GitFish要做的事情，類似RWA，就是要將Github項目打包成token，然後讓市場爲這個項目定價。是不是很有趣。

$LINUX 理所应当的开盘即跌停--但是没有这个制度，因此很快归零了
😅😅😅

$USDT 梗币的投机

在最近與 Epic Games 創始人 Tim Sweeney 的討論中，Lex Fridman 指出，加密貨幣是一項“非常強大的技術”，但也“令人沮喪”，因爲“很多人用它來賺錢——製造泡沫、炒作和 memecoins——[以至於它]偏離了……有價值的東西。”
即使在加密貨幣領域，很多人也和他一樣感到沮喪——主要是因爲 memecoins 仍然佔據着加密貨幣活動和認知的很高比例。
（真正的比特幣用戶甚至不認可以太坊）

“人們試圖通過買賣來賺錢，而不是緊貼真正有價值的東西，”弗裏德曼抱怨道，他的五小時播客肯定讓他賺了不少錢。
“忘掉金錢吧，”他建議道。“這更多的是交換寶貴的經驗。”
當然，買賣東西是一種歷史悠久的賺錢方式。
但是，撇開這一點不談，如何在不允許人們買賣的情況下，讓“寶貴的經驗”變得可交換呢？

方脸：咱妈的万税之国除了 “铸币税” “住房税”，还收取良心外卖的“驻地税”！
YouTu.be/2xnr2dQ-7Rs

#Linux #news v6 新版！
https://t.me/solidot/27165?comment=146993

近期答题场次: 2025 年 5 月 28 日 10:00 - 10:15


如发现/疑似非小米账号实名认证的本人操作、将解锁资格用于非本人设备、解锁后该小米账号信息异常变更、解锁后的设备非解锁申请账号使用，或出现其他违反小米账号用户协议的行为，账号会被永久封禁并视情节追究相关法律责任