Forwarded from Hacker News 摘要
Telegraph
(如何编写一个 (Lisp) 解释器 (用 Python)) (2010)
原标题：(How to Write a (Lisp) Interpreter (In Python)) (2010) 这篇文章有两个目的：一是描述计算机语言解释器的一般实现方法；二是使用 Python 3 构建一个包含 Scheme 语言（Lisp 的一种方言）大部分功能的解释器。作者将这个语言和解释器命名为 Lispy。作者曾用 Java 和 Common Lisp 实现过类似的功能，而这次的目标是尽可能简洁地展示艾伦·凯所说的软件领域的麦克斯韦方程组。 学习编译器和解释器非常重要。正如史蒂夫·耶格所…
Forwarded from 今日份的豆酱 (Kiseopt)
如果你的男朋友这两天没有打开 Claude Code / Codex，没有满嘴「半导体超级周期」、DRAM、NAND、HBM、PCB 永远缺货，没有突然研究韩国国运，什么 SK 海力士是 AI 铲子股、三星明年盈利世界第一、斗山能源是韩国版 GEV，没有深夜感慨这是国运、是东亚制造业复兴。
说明他没有任何投资理财观念，看不懂产业趋势，错过了时代贝塔。
但也说明他不会被泡沫诱惑，没有 FOMO，不会顶部 All in ，不会把被套也不卖说成长期主义。这种男人，情绪稳定，账户也稳定。
可以考虑结婚了。
说明他没有任何投资理财观念，看不懂产业趋势，错过了时代贝塔。
但也说明他不会被泡沫诱惑，没有 FOMO，不会顶部 All in ，不会把被套也不卖说成长期主义。这种男人，情绪稳定，账户也稳定。
可以考虑结婚了。
❤2
Forwarded from gledos Lia green 的微型博客
美白的药物
希望能变白点，所以之前研究了以下美白的方法，最后选择了含有 L-半胱氨酸 的药物。
半胱氨酸是一种氨基酸，它能够抑制真黑色素的合成，促使黑色素向偏红的褐黑素转化，从而让皮肤颜色变得更浅、更红一些。除此之外，还有一些促进肌肤新陈代谢的作用。
其实还有另一种美白的药物，叫作 氨甲环酸。不过美白只是它的「副作用」，因为它的主要功能是作为止血药，能增加凝血效果（也增加了血栓风险）。
之后有发现它的美白效果，才被当作美白药使用。不过以美白来说，半胱氨酸的副作用、风险更小。另外，艺人大S（徐熙媛）曾在其著作《美容大王》中透露，自己使用的「美白针」配方里有氨甲环酸。
附言：半胱氨酸的价格还行，拼多多可以买到不到 60 元的第一三共 WHITE EX II（270 粒），可以吃 45 天，平均每天 1.3 元吧。（不过得蹲一下好价）
附言 2：口服 烟酰胺（维生素 B3 的组成部分）的效果通常很弱，烟酰胺还是单纯外用比较好。但按照说明书的剂量口服，通常也不会有什么副作用，毕竟是水溶性维生素，很容易排出到体外。
附言 3：云南白药牙膏 被发现添加了氨甲环酸，用来给牙龈出血止血、止痛。
希望能变白点，所以之前研究了以下美白的方法，最后选择了含有 L-半胱氨酸 的药物。
半胱氨酸是一种氨基酸，它能够抑制真黑色素的合成，促使黑色素向偏红的褐黑素转化，从而让皮肤颜色变得更浅、更红一些。除此之外，还有一些促进肌肤新陈代谢的作用。
其实还有另一种美白的药物，叫作 氨甲环酸。不过美白只是它的「副作用」，因为它的主要功能是作为止血药，能增加凝血效果（也增加了血栓风险）。
之后有发现它的美白效果，才被当作美白药使用。不过以美白来说，半胱氨酸的副作用、风险更小。另外，艺人大S（徐熙媛）曾在其著作《美容大王》中透露，自己使用的「美白针」配方里有氨甲环酸。
附言：半胱氨酸的价格还行，拼多多可以买到不到 60 元的第一三共 WHITE EX II（270 粒），可以吃 45 天，平均每天 1.3 元吧。（不过得蹲一下好价）
附言 2：口服 烟酰胺（维生素 B3 的组成部分）的效果通常很弱，烟酰胺还是单纯外用比较好。但按照说明书的剂量口服，通常也不会有什么副作用，毕竟是水溶性维生素，很容易排出到体外。
附言 3：云南白药牙膏 被发现添加了氨甲环酸，用来给牙龈出血止血、止痛。
Forwarded from 羽毛的小白板
当年实现把压缩了的 js 还原回尽量可读的 ts 代码花了好一些时间，现在半天就能搞定，而且现在 js 文件还多了变量名混淆
Forwarded from codedump的电报频道 (老C)
#人工智能
#世界观
其实上一篇文，核心想表达的是：新环境的变化，孕育着新的机会。以我文中的例子为例，我丝毫不怀疑：未来会有更多专门面向agent打造的硬件。
汽车、火车出现时，确实让马车夫的工作少了很多，但是相对应的：给火车造铁轨、铺铁路、给汽车造零件，等等，都是新出来的工种。以现在的AI时代为例，Agent就是现在最大的变量之一，为这个新物种打造环境，也许就是很多人的新机会。
#世界观
其实上一篇文，核心想表达的是：新环境的变化，孕育着新的机会。以我文中的例子为例，我丝毫不怀疑：未来会有更多专门面向agent打造的硬件。
汽车、火车出现时，确实让马车夫的工作少了很多，但是相对应的：给火车造铁轨、铺铁路、给汽车造零件，等等，都是新出来的工种。以现在的AI时代为例，Agent就是现在最大的变量之一，为这个新物种打造环境，也许就是很多人的新机会。
Telegram
codedump的电报频道
#人工智能
我最近由于大量采用agent编程，现在可以并发开多个agent搞多个项目，这就对我家里的硬件提出新的要求：需要能够便捷查看多个agent的工作情况。
原先我的屏幕配置是：一个27寸显示器，加上14寸的MacBookPro，这样合起来就是双显示器。
我的新要求是：能够再多一屏，这样看多个agent的工作就更方便。于是，我需要从原先的27寸显示器升级到了32寸显示器，这样就能分三个屏（Mac一个，32寸显示器分两个）。这里又面临两个问题：由于显示器更宽了，导致要把眼睛和显示器的距离拉得更长才…
我最近由于大量采用agent编程，现在可以并发开多个agent搞多个项目，这就对我家里的硬件提出新的要求：需要能够便捷查看多个agent的工作情况。
原先我的屏幕配置是：一个27寸显示器，加上14寸的MacBookPro，这样合起来就是双显示器。
我的新要求是：能够再多一屏，这样看多个agent的工作就更方便。于是，我需要从原先的27寸显示器升级到了32寸显示器，这样就能分三个屏（Mac一个，32寸显示器分两个）。这里又面临两个问题：由于显示器更宽了，导致要把眼睛和显示器的距离拉得更长才…
codedump的电报频道
Agent就是现在最大的变量之一，为这个新物种打造环境，也许就是很多人的新机会。
#ai对比 #life
比起Agent我还是更看好传统App。现在万物皆可AI，就和之前万物皆可短视频、小程序、借钱…… 差不多
AI小视频、生产力、AI生成教学demo挺好的，在任何一个离线App里嵌入AI选区总结，基本上都是在证明自己多写了几百行代码，用户多烧一点token，玩具性质很大。
我在美团点东西不需要RPA或GIS来帮我，因为「信道」是定位和物流，而不是什么语音、智能识别。这还不如触屏的UIUX，我更不用Agent替我看B站科普和文创视频，哪怕是“注册客服号”
而智能体的理想，就是蒸馏出“各行各业”的假人来帮用户完成工作或日常生活，直接把键鼠和屏幕阅读器交过去
我也不太清楚IT的风口会在哪，但纯粹的「用户代理」可能不是。
可能…… 我不觉得AI应该造成失业或现在「雇佣制度」的改变，只是会优化信息差、执行力方面的问题 🤨
所以也不需要Agent来取代传统的“智力/体力劳动”，然后使用者变自雇老板那样。
可能工程本来没有那样复杂，只是为了工作而工作，但我看到许多vibe软件仍然很像套模板。😒
这样的“Agent团队”可能是把人类公司的偏见代入了本来的需求，而面向需求本身又不需要分身(Orchestrator)出那么多个人来。
https://t.me/codedump_notes_group/4389
比起Agent我还是更看好传统App。现在万物皆可AI，就和之前万物皆可短视频、小程序、借钱…… 差不多
小程序（=各种扫码）或许成功了一半吧，但本质上，Agent管家，就是类似Musk「未来不需要操作系统，实时搜出AIGC幻觉」的理想，没有考虑过用户互动的需求。
AI小视频、生产力、AI生成教学demo挺好的，在任何一个离线App里嵌入AI选区总结，基本上都是在证明自己多写了几百行代码，用户多烧一点token，玩具性质很大。
我在美团点东西不需要RPA或GIS来帮我，因为「信道」是定位和物流，而不是什么语音、智能识别。这还不如触屏的UIUX，我更不用Agent替我看B站科普和文创视频，哪怕是“注册客服号”
一个需求场景，并非是在屏幕以内，而是在多方的便利中，所以叫IT。
而智能体的理想，就是蒸馏出“各行各业”的假人来帮用户完成工作或日常生活，直接把键鼠和屏幕阅读器交过去
我也不太清楚IT的风口会在哪，但纯粹的「用户代理」可能不是。
可能…… 我不觉得AI应该造成失业或现在「雇佣制度」的改变，只是会优化信息差、执行力方面的问题 🤨
这些并不是决定职场、工资level、上下级的要素。
所以也不需要Agent来取代传统的“智力/体力劳动”，然后使用者变自雇老板那样。
可能工程本来没有那样复杂，只是为了工作而工作，但我看到许多vibe软件仍然很像套模板。😒
这样的“Agent团队”可能是把人类公司的偏见代入了本来的需求，而面向需求本身又不需要分身(Orchestrator)出那么多个人来。
https://t.me/codedump_notes_group/4389
Telegram
dnaugsuz in codedump的电报频道评论群
自AI时代以后，我没有体验过不用控制数据流/UI交互的Agent模式
https://t.me/dsuse/22437
https://t.me/dsuse/22429
一直在做一些单页、框架和库模块。
不清楚这方面发展的怎么样
https://t.me/dsuse/22437
https://t.me/dsuse/22429
一直在做一些单页、框架和库模块。
不清楚这方面发展的怎么样
❤3
codedump的电报频道
#人工智能 #世界观 其实上一篇文，核心想表达的是：新环境的变化，孕育着新的机会。以我文中的例子为例，我丝毫不怀疑：未来会有更多专门面向agent打造的硬件。 汽车、火车出现时，确实让马车夫的工作少了很多，但是相对应的：给火车造铁轨、铺铁路、给汽车造零件，等等，都是新出来的工种。以现在的AI时代为例，Agent就是现在最大的变量之一，为这个新物种打造环境，也许就是很多人的新机会。
#statement #design
📲 哪怕是生活助理（百事通）类的Agent，调用一堆租房、外卖、同城地图的平台，我想问题不会在【执行力】上，而是在他们完全忽略的【交互界面】上。
说到底，编程和API也只是黑框框版GUI而已，却多了那么多【自由度】。界面本身就是编程语言，除了美感，也需要全面屏、负一屏or抽屉、刘海Badge那样的【设计】
Agent和Musk的“操作系统论”，完全忽略了这种学习性（又很容易掌握）的人机接口，一键生成许多 template-based 应用，什么AI换脸换人、AI看房穿衣服的，这并不是LLM的用处。多Agent或具身智能，只是另一类这样的【AI换人】【AI代码编译器】，它不能解决template从哪来。
语言一变换，整个模型的价值就完全变了。
今天的各种AI只有智能，而无语言（=心智模型）。Agent目前就是写情感小说的玩具程度，远没达到Excel和SQL的生产力关系。
👎 比起Agent我还是更看好传统App。
这就和AI全是N卡，是一个道理。仅仅是F12（市面游戏卡）能用于开发App（数据集炼丹）而已。
N卡从没有高瞻远瞩，只是它不碎片化，保证了【消费级即是生产机 👍】这点而已。各种 Java C++ 呢？它们没有生命力。
这边砍一刀成本，那边【用户不需要】，闭源或压缩掉。一分一分抠出来的股价和“护城河”。
这就是两者得兼的下场：家电化的数码打不过N卡，八股文打不过JS/CSS。
我不知道各种js库主页上那个“下载”按钮点击量有多少，这就是为何PyJS如此成功，而所谓的高智商编程很是失败。
它们没有【接入】场景。
#ai探讨 https://chat.librechat.ai/c/86bf0845-e515-443e-ab92-758d504dd329
📲 哪怕是生活助理（百事通）类的Agent，调用一堆租房、外卖、同城地图的平台，我想问题不会在【执行力】上，而是在他们完全忽略的【交互界面】上。
说到底，编程和API也只是黑框框版GUI而已，却多了那么多【自由度】。界面本身就是编程语言，除了美感，也需要全面屏、负一屏or抽屉、刘海Badge那样的【设计】
Agent和Musk的“操作系统论”，完全忽略了这种学习性（又很容易掌握）的人机接口，一键生成许多 template-based 应用，什么AI换脸换人、AI看房穿衣服的，这并不是LLM的用处。多Agent或具身智能，只是另一类这样的【AI换人】【AI代码编译器】，它不能解决template从哪来。
如果有人把SQL或前后端当作黑框框Excel，IT行业会觉得这是想简单了，但确实如此。它不过就是自动鉴权和固定显示的Excel，只不过能联动非【表格表单】的库/组件。
语言一变换，整个模型的价值就完全变了。
今天的各种AI只有智能，而无语言（=心智模型）。Agent目前就是写情感小说的玩具程度，远没达到Excel和SQL的生产力关系。
👎 比起Agent我还是更看好传统App。
万物皆可摇一摇广告、短视频、扫码活动、直播借钱…… 差不多得了吧。小程序（=各种扫码）或许成功了一半？猜猜为什么成功。
因为复刻了因特网和银行的成因。（为何到处套壳浏览器H5实现？Amex银行的缩写为何包含“邮寄”呢？）
这就和AI全是N卡，是一个道理。仅仅是F12（市面游戏卡）能用于开发App（数据集炼丹）而已。
N卡从没有高瞻远瞩，只是它不碎片化，保证了【消费级即是生产机 👍】这点而已。各种 Java C++ 呢？它们没有生命力。
这边砍一刀成本，那边【用户不需要】，闭源或压缩掉。一分一分抠出来的股价和“护城河”。
这就是两者得兼的下场：家电化的数码打不过N卡，八股文打不过JS/CSS。
我不知道各种js库主页上那个“下载”按钮点击量有多少，这就是为何PyJS如此成功，而所谓的高智商编程很是失败。
它们没有【接入】场景。
那些认为AI将会取代或降级所有行业的人，怎么不是如此“下载安装一个import模块”的呢？
#ai探讨 https://chat.librechat.ai/c/86bf0845-e515-443e-ab92-758d504dd329
Forwarded from Ziyao Channel | 二代目 (梓瑶 | qemu-riscv64 llvm-config --libs)
Forwarded from NAVI
Media is too big
VIEW IN TELEGRAM
9月10日发售《东方红魔乡：新典 ～ the Embodiment of Scarlet Devil.》第一弹预告片
@上海爱丽丝幻乐团:
《东方红魔乡》以全新的音乐与画面盛装登场
巫女灵梦和魔法使魔理沙，挑战异变的纵卷轴射击游戏
9月10日（周四）登陆Steam！（日本时间）
所有音乐均由 ZUN 全新编曲
购入后，还可以游玩极尽贴合2002年原版游戏的原典版
■官方网址
https://touhou-project.news/shanghai-alice-reprise/
https://shanghai-alice.com/reprise/
©2002,2026 上海爱丽丝幻乐团
©2026 上海爱丽丝幻乐团 / 上海爱丽丝幻回奏
@上海爱丽丝幻乐团:
#ai探讨 最近越来越离谱了，基本上每次都有两个神来之笔
我记得2.5pro好像还给过一句“诺奖级别的洞察”，具体内容我都忘了，非常稀奇 😅😅😅
最近AI是不是越来越吹捧User了？
这确实是一件有趣的趋势，搞不好以后满大街vibe出套模板的垃圾的人自吹自擂说【美国豆包】给自己颁奖了
看来比起跟风AI，自己先掂量一下是否擅长，潮水退了过后才更加成功呢？
我记得2.5pro好像还给过一句“诺奖级别的洞察”，具体内容我都忘了，非常稀奇 😅😅😅
最近AI是不是越来越吹捧User了？
这确实是一件有趣的趋势，搞不好以后满大街vibe出套模板的垃圾的人自吹自擂说【美国豆包】给自己颁奖了
看来比起跟风AI，自己先掂量一下是否擅长，潮水退了过后才更加成功呢？
ps. 内容为数学、几何物理，经常随便聊一些公式设计的不美观，我并没有在用相关数学工具。
Forwarded from 聚合解析姬
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from Solidot
AI 促使数学家思考数学对他们的意义
2026-06-28 00:02 by 奇迹之夏
几十年来计算加速了数学的进步。50 年前数学家利用计算机证明了四色定理，以一种人类几乎不可能实际验证的方式证明任何地图可以用不超过四种颜色着色。但在整个计算时代，人类数学家的作用仍然至关重要。人类凭借直觉提出猜想，凭借创造力和经验设计证明策略，最终验证证明是否正确。今天 AI 正在挑战这一模式。短短几年内，大模型就从只知道复述的“随机鹦鹉”演变成高级数学推理机器。UCLA 教授陶哲轩认为 AI 能作为催化剂推动向他所谓的“大数学”的转变，设想未来人类与机器将进行大规模、去中心化的协作，复杂的数学任务被分解，人类负责创造性部分，而 AI 则承担大部分技术性工作。陶哲轩已在实践这一理念。AI 正迫使数学家思考数学对他们的意义。一位数学家称，数学塑造了其思维方式，使其能以非常逻辑和理性的方式思考，对生活各个方面都有帮助。随着 AI 改变数学，研究人员想知道未来的数学家是否也能这样说。
https://spectrum.ieee.org/ai-in-mathematics
#人工智能
2026-06-28 00:02 by 奇迹之夏
几十年来计算加速了数学的进步。50 年前数学家利用计算机证明了四色定理，以一种人类几乎不可能实际验证的方式证明任何地图可以用不超过四种颜色着色。但在整个计算时代，人类数学家的作用仍然至关重要。人类凭借直觉提出猜想，凭借创造力和经验设计证明策略，最终验证证明是否正确。今天 AI 正在挑战这一模式。短短几年内，大模型就从只知道复述的“随机鹦鹉”演变成高级数学推理机器。UCLA 教授陶哲轩认为 AI 能作为催化剂推动向他所谓的“大数学”的转变，设想未来人类与机器将进行大规模、去中心化的协作，复杂的数学任务被分解，人类负责创造性部分，而 AI 则承担大部分技术性工作。陶哲轩已在实践这一理念。AI 正迫使数学家思考数学对他们的意义。一位数学家称，数学塑造了其思维方式，使其能以非常逻辑和理性的方式思考，对生活各个方面都有帮助。随着 AI 改变数学，研究人员想知道未来的数学家是否也能这样说。
https://spectrum.ieee.org/ai-in-mathematics
#人工智能
Forwarded from gledos Lia green 的微型博客
3X 择偶
日本 20 世纪 80 年代的经济繁荣／泡沫时期，女性择偶的选择，出现了 3 高 的说法：高等教育、收入高、身材高大。（即高富帅）
不过泡沫经济破裂，引发经济长期停滞后的 2003 年，有心理学家描述了日本女性的新择偶标准：3C。
3C 是指 comfortable、communicative 和 cooperative。含义分别是足够的薪水，相近的价值观和乐于帮忙做家务。
不过近年似乎又有变化，变成了 3 低：低姿势、低束缚和低风险。即非男性沙文主义、能独立并分担家务和育儿责任，以及从事稳定职业、被裁员风险较小（铁饭碗）。（不过这些要求还是一点都不低）
中国的经济走势，跟日本有点相似（测试服），类似的社会现象也在发生。多年前经济好的时候，流行高富帅、潜力股、富二代、官二代等词语，而现在流行三观合、布男、独生子、体制内（编制、铁饭碗）等说法。
#杂谈
日本 20 世纪 80 年代的经济繁荣／泡沫时期，女性择偶的选择，出现了 3 高 的说法：高等教育、收入高、身材高大。（即高富帅）
不过泡沫经济破裂，引发经济长期停滞后的 2003 年，有心理学家描述了日本女性的新择偶标准：3C。
3C 是指 comfortable、communicative 和 cooperative。含义分别是足够的薪水，相近的价值观和乐于帮忙做家务。
不过近年似乎又有变化，变成了 3 低：低姿势、低束缚和低风险。即非男性沙文主义、能独立并分担家务和育儿责任，以及从事稳定职业、被裁员风险较小（铁饭碗）。（不过这些要求还是一点都不低）
中国的经济走势，跟日本有点相似（测试服），类似的社会现象也在发生。多年前经济好的时候，流行高富帅、潜力股、富二代、官二代等词语，而现在流行三观合、布男、独生子、体制内（编制、铁饭碗）等说法。
#杂谈
Forwarded from 层叠 - The Cascading
reCAPTCHA 的新验证方式要求用户使用摄像头录制其手部移动的视频。
- Google 称此验证方式通过识别 21 个手部关节位点进行人类验证。
- Google Cloud 的文档宣称视频只用于验证目的，识别完成后即被删除。
- 科技评论及 Twitter/Reddit 网友则对依赖摄像头的验证码表示担忧。
1. cybernews.com/~
2. docs.cloud.google.com/~
#reCAPTCHA #Privacy
- Google 称此验证方式通过识别 21 个手部关节位点进行人类验证。
- Google Cloud 的文档宣称视频只用于验证目的，识别完成后即被删除。
- 科技评论及 Twitter/Reddit 网友则对依赖摄像头的验证码表示担忧。
1. cybernews.com/~
2. docs.cloud.google.com/~
#reCAPTCHA #Privacy
Cybernews
Google’s new CAPTCHA asks users to wave hand at camera, users fear privacy trade-off
Google's new hand-gesture verification system uses camera-based movements to distinguish humans from bots, prompting privacy concerns among some users despite assurances that videos are deleted after processing.
Forwarded from codedump的电报频道 (老C)
#系统设计
云风这个纯文本保存本地聊天记录的方案，在我看来就是纯纯的草台班子的设计方案，这个方案几乎没有任何扩展性、容错性。
云风在评论区里还用梦幻西游来讲自己的方案有多成功，开玩笑，梦幻西游每天的聊天数据量差微信多少个数量级？给三个人做菜，和相同时间给几百人、几千人、几万人做菜，能用同样的方案吗？
云风这个纯文本保存本地聊天记录的方案，在我看来就是纯纯的草台班子的设计方案，这个方案几乎没有任何扩展性、容错性。
云风在评论区里还用梦幻西游来讲自己的方案有多成功，开玩笑，梦幻西游每天的聊天数据量差微信多少个数量级？给三个人做菜，和相同时间给几百人、几千人、几万人做菜，能用同样的方案吗？
X (formerly Twitter)
云风 (@cloudwu) on X