Hacker News
Are We Idiocracy Yet?
智力倒退：追踪《白头神探》中现实与设想的距离 (Tracking How Close Reality Is to Mike Judge's Idiocracy)
《白头神探》(Idiocracy) 是一部 2006 年的科幻喜剧电影，由 Mike Judge 执导，讲述了一个智力低下的人工建造者 Joe Dirt 在未来醒来后，发现自己是地球上最聪明的人的故事。电影以讽刺的方式描绘了一个由于大众智力水平持续下降而导致社会倒退的未来世界。本文旨在追踪现实世界与电影中描绘的未来之间的距离。
电影中的主要设定与预言:
- 智力水平下降: 电影的核心是人类智力水平逐渐下降的趋势，导致社会功能失灵，文化退化，科技停滞。
- 媒体的低俗化: 电影中的媒体充斥着低俗、简单的娱乐节目，缺乏深度和信息量。
- 过度依赖科技: 电影展现了一个过度依赖自动化和低劣科技的社会，这些科技最终因缺乏维护和理解而崩溃。
- 环境恶化: 电影描绘了一个环境污染严重，资源枯竭的世界。
- 政治腐败: 政治体系被简化和腐败，决策缺乏远见和理性。
- 大众消费主义: 社会被过度消费主义所驱动，人们追求肤浅的物质享受。
- 饮食文化: 电影中食物以高度加工、营养不良的食品为主，反映了对健康饮食的忽视。
现实世界的对比与进展:
虽然现实世界尚未完全达到《白头神探》描绘的极端情况，但电影中提出的许多担忧在一定程度上正在发生。
- 智力水平： 关于全球平均智商下降的争论一直存在。一些研究表明，发达国家的智商水平在过去几十年有所下降，这可能与教育质量下降、营养不良以及过度使用科技娱乐有关。然而，其他研究则表明，智商水平仍然在缓慢上升，这可能与更好的营养和教育有关。
- 媒体环境: 电影中媒体的低俗化在现实世界中也有所体现。社交媒体和短视频平台上的内容往往趋向于简单、快速和娱乐化，这可能导致人们对复杂问题的关注度下降。
- 科技发展与依赖: 科技的快速发展无疑提高了生产力和便利性，但同时也带来了对科技的过度依赖。自动化和人工智能的普及也引发了对就业和技能需求的担忧。
- 环境问题: 环境污染、气候变化和资源枯竭是现实世界面临的严峻挑战，与电影中对环境恶化的描绘有相似之处。
- 政治极化: 政治极化和信息茧房现象正在加剧社会的分裂，这与电影中政治体系的腐败和缺乏理性决策有所呼应。
- 消费主义: 大众消费主义仍然是全球经济的重要驱动力，但同时也带来了资源浪费和环境问题。
- 饮食习惯: 现代饮食习惯中，加工食品的比例越来越高，这与电影中对健康饮食的忽视相呼应。
结论:
《白头神探》虽然是一部喜剧电影，但它提出的关于智力、文化和社会的担忧在现实世界中仍然具有警示意义。虽然现实世界尚未完全达到电影中描绘的极端情况，但许多趋势表明，我们正朝着一个与电影相似的方向发展。通过关注教育、环境保护、媒体素养和批判性思维，我们可以努力避免《白头神探》中描绘的悲观未来。电影提醒我们，需要积极主动地维护社会的智慧和进步。
总而言之，《白头神探》不仅仅是一部娱乐作品，它更像是一面镜子，反映了我们社会面临的挑战和潜在的风险，并敦促我们采取行动，避免智力倒退的命运。
|
The cult of vibe coding is dogfooding run amok
Claude 代码泄露事件分析：过度“自我使用”导致质量问题
最近，Claude 的源代码泄露事件引发了广泛关注，并引发了对该项目开发方式的质疑。文章分析了这一事件的根源，并提出了利用 AI 改进软件质量的建议。
事件背景： Claude 的源代码泄露，并引发了对其代码质量的批评。
核心问题：过度“自我使用”（Dogfooding）和“氛围编码”（Vibe Coding）
文章指出，Claude 团队的开发方式存在问题，主要体现在以下几点：
- 过度“自我使用”： 团队过度依赖自身产品进行开发，甚至到了近乎宗教狂热的程度。
- “氛围编码”： 开发者避免直接查看和理解代码，只进行模糊的对话，认为“查看代码作弊”。这种做法导致了代码质量问题的积累。
- 代码冗余： 即使有开发者发现代码中存在大量重复，也因“氛围编码”的原则而没有及时纠正。
代码质量问题：
- 代码是使用人类语言（英语）编写的，任何人都可以理解和修改。
- 存在大量同时作为“代理”（Agent）和“工具”（Tool）的代码，造成冗余和混乱。
AI 改进软件质量的潜力：
文章强调了 AI 在改善软件质量方面的潜力，指出：
- AI 擅长清理“技术债务”： 软件项目通常会积累大量“技术债务”，AI 可以帮助快速清理这些问题，甚至可以在开发新功能的同时进行清理。
- “Ask”模式的有效性： 通过与 AI 进行对话，分享推理过程并纠正错误，可以引导 AI 更好地理解问题并执行任务。 这种方法并非“一蹴而就”，而是建立在大量的人机交互基础上。
- AI 不擅长自主发现问题： AI 不擅长自行发现代码中的问题，但如果明确指出问题并提供指导，它可以有效地进行清理。
结论：
文章认为，软件质量差并非 AI 的必然结果，而是开发者选择的结果。开发者应该承担责任，并积极利用 AI 提升软件质量。 开发者可以通过与 AI 协作，进行代码审计、制定改进计划等，从而提高软件质量。 避免过度“自我使用”和“氛围编码”的行为，拥抱 AI 带来的机遇，才能开发出高质量的软件。
|
Battle for Wesnoth: open-source, turn-based strategy game
Anubis 防爬虫机制的简要总结 (Concise Summary of Anubis Anti-Scraping Mechanism)
这是一份关于网站部署的 Anubis 防爬虫机制的说明。以下是主要内容：
- 目的: 网站管理员为了应对 AI 公司的大规模网站抓取，导致网站宕机和资源不可用，部署了 Anubis。
- 工作原理: Anubis 采用类似于 Hashcash 的工作量证明 (Proof-of-Work) 方案。 这种方案旨在在单个抓取请求层面增加微小的负担，但在大规模抓取时累积起来，显著增加了抓取成本。
- 临时解决方案: Anubis 被视为一种“够用”的临时解决方案。 真正的目标是花更多时间进行指纹识别和识别无头浏览器（例如，通过分析字体渲染方式），从而避免向合法用户展示工作量证明页面。
- 技术要求: Anubis 需要使用现代 JavaScript 特性，因此需要禁用像 JShelter 这样的插件。
- 版本: 网站当前运行的是 Anubis 版本
1.21.3。
总而言之，Anubis 的目标是阻止大规模的自动化抓取，同时尽量减少对正常用户的干扰，并为更先进的防爬虫技术（如指纹识别）的开发争取时间。
|
81yo Dodgers fan can no longer get tickets because he doesn't have a smartphone
总结：关于x.com的隐私扩展问题
根据提供的内容，主要信息如下：
- 问题: 在使用x.com时遇到问题。
- 原因: 部分与隐私相关的浏览器扩展程序可能导致该问题。
- 解决方案: 建议用户禁用这些隐私扩展程序，然后再次尝试。
总结: 如果在使用x.com时遇到问题，请检查并禁用可能存在的隐私扩展程序，这可能是解决问题的关键。
|
Adobe modifies hosts file to detect whether Creative Cloud is installed
Adobe 偷偷修改你的 hosts 文件，原因令人难以置信
这篇文章报道了Adobe Creative Cloud软件在Windows和macOS系统上，悄悄地修改用户hosts文件的情况。
主要内容：
- 修改目的： Adobe通过修改hosts文件来检测用户是否已经安装了Creative Cloud。
- 检测方式： 当用户访问Adobe官网 (https://www.adobe.com/home) 时，网站会通过JavaScript加载一个图片 (https://detect-ccd.creativecloud.adobe.com/cc.png)。如果hosts文件中存在该图片的DNS条目，浏览器会连接到Adobe的服务器，从而确认用户已安装Creative Cloud。如果加载失败，Adobe会检测到用户未安装该软件。
- 修改原因： 过去，Adobe使用
http://localhost:<various ports>/cc.png 直接连接到用户的Creative Cloud应用程序。然而，由于Chrome浏览器开始阻止本地网络访问 (Local Network Access)，Adobe不得不采用修改hosts文件的方案。
- 引发的讨论： 文章提出了一个问题：商业软件在何种程度上可以被视为恶意软件？
总结：
Adobe为了检测用户是否已安装Creative Cloud，采取了修改用户hosts文件的做法。这种做法是由于浏览器安全策略的变化而产生的替代方案，但引发了用户对于商业软件行为的担忧。
|
Show HN: Ghost Pepper – Local hold-to-talk speech-to-text for macOS
Ghost Pepper 概要
Ghost Pepper 是一款专为 macOS 设计的本地语音转文本应用程序，无需云服务，所有数据处理都在本地完成，保护用户隐私。
核心特点：
- 本地运行： 应用程序完全在 Mac 上运行，不依赖任何云 API，用户数据不会离开设备。
- 按住 Control 键录音： 按住 Control 键录音，松开后自动转录并粘贴到文本框中。
- 智能清理： 集成本地 LLM 模型，自动移除填充词，处理自纠。
- 菜单栏应用： 在菜单栏中运行，不占用 Dock 空间，并可在登录时自动启动。
- 可定制化： 用户可以自定义清理提示语，选择麦克风，开启或关闭特定功能。
- 支持 Apple Silicon (M1+)：专为 Apple Silicon 芯片优化。
工作原理：
Ghost Pepper 使用开源模型，所有模型自动下载并本地缓存。
模型：
- 语音模型：
- Whisper tiny.en (约 75MB): 速度快，仅支持英语。
- Whisper small.en (约 466MB): 默认模型，准确度高，仅支持英语。
- Whisper small (多语言): 支持多语言。
- Parakeet v3 (约 1.4GB): 支持 25 种语言，通过 FluidAudio 实现。
- 清理模型：
- Qwen 3.5 0.8B (约 535MB): 默认模型，速度快 (约 1-2 秒)。
- Qwen 3.5 2B (约 1.3GB): 速度较快 (约 4-5 秒)。
- Qwen 3.5 4B (约 2.8GB): 质量高 (约 5-7 秒)。
使用方法：
- 下载： 从 GitHub 下载 GhostPepper.dmg 文件。
- 安装： 将 Ghost Pepper 拖动到应用程序文件夹。
- 授权： 首次运行需要授予麦克风和辅助功能权限。
- 使用： 按住 Control 键录音，松开后自动转录并粘贴。
权限说明：
- 麦克风权限： 用于录制语音。
- 辅助功能权限： 用于实现全局热键和模拟按键粘贴。
其他说明：
- 首次运行默认开启“登录时启动”功能，可在设置中关闭。
- 不会将转录内容保存到磁盘。调试日志仅存在于内存中，应用退出后自动清除。
鸣谢：
感谢 WhisperKit, LLM.swift, Hugging Face, 和 Sparkle 等开源项目。
名称由来：
Ghost Pepper 的名称寓意着应用完全本地运行，保护用户隐私，并且以免费的方式提供类似其他付费应用的功能。
企业/管理设备：
Ghost Pepper 需要辅助功能权限，通常需要管理员权限才能授予。在管理设备上，IT 管理员可以通过 MDM 配置文件（例如 Jamf, Kandji, Mosaic）预先批准此权限，使用 Privacy Preferences Policy Control (PPPC) 负载：Bundle ID 为 com.github.matthartman.ghostpepper， Team ID 为 BBVMGXR9AY，Permission 为 Accessibility (com.apple.security.accessibility)。
|
Show HN: GovAuctions lets you browse government auctions at once
GovAuctions 工作原理总结
GovAuctions 是一款聚合政府剩余物品拍卖信息的平台，旨在简化用户查找和参与政府拍卖的过程。以下是其主要特点和工作原理：
1. 聚合信息： GovAuctions 索引来自 GSA Auctions、HUD（住房与城市发展部）以及其他官方平台的政府剩余物品拍卖信息，并将它们整合到一个可搜索的 feed 中。
2. 用户搜索与筛选： 用户可以通过关键词搜索，并按类别、州或距离进行筛选，找到所需的政府拍卖交易。平台涵盖车辆、电子产品、设备、军用剩余物资、扣押财产等多种类别。
3. 直接竞标： 用户点击 GovAuctions 中的链接，直接跳转到原始的政府拍卖平台进行竞标。平台不充当中间商，不提供竞标套餐或积分，确保用户直接访问真实的政府剩余物品拍卖。
政府拍卖类别： 平台提供多种政府拍卖类别，方便用户筛选。
政府拍卖按州划分： 用户可以根据所在州查找相关的政府拍卖信息。
政府拍卖的背景： 政府剩余物品拍卖是联邦、州和地方机构出售不再需要的物品的公开销售。每年，美国政府拍卖的剩余物品价值数十亿美元，包括车辆、重型设备、电脑、办公家具和扣押资产等。
平台解决的问题： 现有的政府拍卖平台（如 GSA Auctions 和 HUD）分散且界面陈旧，用户需要分别访问并导航这些平台。GovAuctions 通过将主要政府拍卖平台的信息整合到一个简洁、可搜索的界面中，解决了这个问题。
平台优势：
- 免费搜索： 搜索 GovAuctions 的信息是免费的。
- 无需账户： 用户无需注册账户即可使用平台。
- 便捷性： 方便用户浏览政府剩余物品交易，并设置电子邮件提醒以获取新列表信息。
- 透明度： 直接跳转到原始平台竞标，确保竞标过程的透明度和真实性。
|
Launch HN: Freestyle – Sandboxes for Coding Agents
Freestyle 平台概要
Freestyle 是一款用于运行数万个 Agent 的 Agent Scale Infrastructure 平台。以下是其主要特点和功能概要：
核心功能：
- Agent 规模化： 专门设计用于运行大量的 Agent，支持处理高并发需求。
- 代码管理： 提供 Git 代码仓库，方便管理 Agent 代码。平台内置了多个示例仓库，例如
acme/app, zipline/api, nova/app 等。
- Sandbox 机制： 每个 Agent 运行在一个完整的 Linux VM 中，而非容器，并提供真正的 root 访问权限。
关键特性：
- 细粒度 Webhook： 允许根据仓库、分支、路径或事件类型配置 Webhook，并支持多种 Webhook 目标，如
git pushci.internal/webhook、hooks.slack.com/trigger 和 freestyle deploy。
- GitHub 同步： 实现 Freestyle 和 GitHub 仓库之间的双向同步。
- Git 部署： 通过推送到 Git 仓库或克隆到虚拟机来部署 Agent。
- 嵌套虚拟化： 支持在 VM 内部运行 VM、Docker 或任何 Agent 所需的虚拟化栈，并提供完整的 KVM 支持。
- 用户、组、服务隔离： 提供隔离的用户、系统服务和组，确保每个 VM 内部的多用户隔离。
- 完整的网络栈： 提供完整的 Linux 网络栈，并具有 root 访问权限。
其他信息：
- 客户： 平台已获得 Onlook、Wordware、Anything、HeroUI、Vly、A0、Rork、Vibeflow 和 Stack 等公司的信任。
- 入门： 平台提供免费试用，无需信用卡。
- 版权： © 2026 Freestyle
|
|
Peptides: where to begin?
https://www.science.org/content/blog-post/ah-peptides-where-begin
|
Anthropic expands partnership with Google and Broadcom for next-gen compute
Anthropic 基础设施重大扩张：与 Google 和 Broadcom 合作，助力 Claude 模型发展
Anthropic 宣布与 Google 和 Broadcom 达成一项新的协议，将获得多吉瓦 (gigawatts) 规模的下一代 TPU 计算能力，预计将于 2027 年开始投入使用。此次合作旨在支持 Anthropic 的前沿 Claude 模型，并满足全球客户的巨大需求。
关键要点：
- 大规模计算能力扩张: Anthropic 将获得多吉瓦的下一代 TPU 计算能力，这是其有史以来最大规模的计算承诺。
- 合作伙伴关系: 与 Google 和 Broadcom 建立战略合作伙伴关系，深化了与 Google Cloud 现有合作关系，并加入了与 Broadcom 的合作。
- 需求增长强劲: 客户对 Claude 的需求在 2026 年显著加速。截至目前，Anthropic 的年化营收已超过 300 亿美元，较 2025 年底的约 90 亿美元增长显著。 超过 1000 家企业客户的年度支出已超过 100 万美元，较两个月前翻倍。
- 主要位于美国: 大部分新的计算资源将位于美国，进一步支持 Anthropic 2025 年 11 月承诺的在美投资 500 亿美元，以加强美国人工智能基础设施。
- 多元化硬件平台: Anthropic 使用 AWS Trainium、Google TPUs 和 NVIDIA GPUs 等多种 AI 硬件来训练和运行 Claude，以优化性能和增强弹性。 Claude 是唯一一个可在全球三大云平台（Amazon Web Services、Google Cloud 和 Microsoft Azure）上使用的前沿 AI 模型。
- 相关举措:
- 与澳大利亚政府签署备忘录 (MOU)，致力于人工智能安全和研究。
- 推出 Claude Partner Network，为合作伙伴提供帮助企业采用 Claude 的支持。
- 启动 The Anthropic Institute，致力于应对人工智能可能对社会带来的挑战。
CFO Krishna Rao 表示: 此次合作是 Anthropic 采取纪律性基础设施扩展方法的一部分，旨在满足客户需求的指数级增长，并推动 Claude 在人工智能开发领域的突破。
|
Every GPU That Mattered
数据快报 #043：历代重要显卡
这份数据快报回顾了过去 30 年中，49 款对游戏和图形技术产生重要影响的显卡，从《Quake》到《赛博朋克》。
核心数据:
- 显卡数量: 49
- 时间跨度: 30 年
- 峰值晶体管数量: 920 亿
- 发布价格: 2025 美元 (峰值)
内容结构:
这份内容以交互式数据故事的形式呈现，允许用户探索和比较不同的显卡。主要结构包括：
- 时间线: 用户可以通过拖动、点击或使用箭头浏览 1996 年到 2025 年的 49 款显卡。
- 开创时代 (1996-1999): 重点介绍了消费者 3D 加速的诞生。
- 对决: 用户可以选择任意两款显卡进行比较。
- 演进图: 以图表形式展示了每款显卡随时间推移的晶体管数量变化，用户可以点击图表上的点来了解更多信息。图表将显卡按照 NVIDIA, AMD/ATI, 3dfx, Intel 等厂商进行区分。
- 玩家实际使用情况: 基于 2026 年 3 月的 Steam 硬件调查数据，展示了玩家使用的显卡分布。
主要发现:
- 旗舰级显卡价格高达 1999 美元。
- 最受欢迎的显卡价格为 329 美元。
- RTX 3060 的使用率达到 4.1%，而 RTX 5090 的使用率仅为 0.42%。
总结:
这份数据快报提供了一个交互式视角，回顾了显卡技术的发展历程，并展示了当前玩家使用的显卡分布情况。 强调了显卡在游戏和图形技术方面的关键作用，以及随时间推移的性能和价格变化。
(End of Summary)
|
We found an undocumented bug in the Apollo 11 guidance computer code
阿波罗登月计算机 (AGC) 中发现 57 年前未被发现的错误
本文讲述了研究人员如何使用人工智能工具发现了阿波罗登月计算机 (AGC) 中一个存在了 57 年的错误。该错误与陀螺仪控制代码中的资源锁有关，会在错误情况下泄漏，导致导航平台无法重新校准。
背景：
- AGC 是历史上被最深入研究的代码库之一，已经有数千人阅读过它，并有学者发表过关于其可靠性的研究。
- AGC 的源代码自 2003 年以来一直公开可用，最初由 Ron Burkey 和志愿者团队从麻省理工学院仪器实验室 (MIT Instrumentation Laboratory) 的印刷清单中手动转录。
- AGC 的程序存储在 74KB 的“绳记忆” (core rope memory) 中，通过手工穿线将铜线穿过微小的磁芯，线穿过磁芯代表 1，不穿代表 0。
- 尽管经过了广泛的研究，包括代码阅读、仿真和转录验证，但尚未发表正式的验证、模型检查或静态分析。
发现过程：
- 研究人员利用 Claude 和开源行为规范语言 Allium，将 13 万行 AGC 汇编代码提炼成 12,500 行规范。
- 规范描述了惯性测量单元 (IMU) 子系统（基于陀螺仪的平台，用于指示航天器方向）中每个共享资源的生命周期：何时获取、何时释放以及在哪些路径上。
- 通过这种规范化的方法，研究人员发现了该 bug。
错误描述：
- AGC 使用名为
LGYRO 的共享资源锁来管理 IMU。当计算机需要校正陀螺仪时（例如，进行平台漂移校正或星体对准），它会获取 LGYRO 锁，并在所有轴校正完成后释放它。
- 在紧急情况下，可以使用“锁紧”功能（物理夹紧 IMU 陀螺仪），以保护陀螺仪免受损坏。
- 正常情况下，程序通过
STRTGYR2 退出，并清除 LGYRO 锁。 然而，如果 IMU 在校正过程中被锁紧，程序会通过 BADEND 退出，而 BADEND 并没有清除 LGYRO 锁。
- 具体缺失的指令是：
CAF ZERO 和 TS LGYRO (两个字节)。
- 一旦
LGYRO 锁被卡住，任何后续的陀螺仪校正尝试都会发现锁已占用，从而进入睡眠状态等待信号，而信号永远不会到来，导致系统挂起。
潜在影响：
- 在 1969 年 7 月 21 日，当阿姆斯特朗和奥尔德林在月球表面行走时，迈克尔·柯林斯独自在指令舱 哥伦比亚 号中轨道飞行。
- 柯林斯每两小时都会绕行月球背面，与地球失去无线电联系。
- 在每次绕行中，他都会运行程序 52，用于星体对准，以保持导航平台指向正确的方向。
- 如果平台漂移，用于将他带回地球的引擎点火将指向错误的方向。
- 如果导航平台因锁住的
LGYRO 锁而无法重新校准，柯林斯将无法进行精确的导航，面临着与阿姆斯特朗和奥尔德林失联的风险。
防御性编码的陷阱：
- AGC 使用了防御性编码，使得该故障会在重启后被自动修正，从而掩盖了该问题。
- 然而，在没有后续重启的情况下，锁住的陀螺仪仍然会导致系统无法重新校准，并且没有明确的诊断信息。
结论：
- 研究人员通过 Allium 规范语言，发现了这个隐藏了 57 年的缺陷，证明了规范化方法在发现代码缺陷方面的有效性。
- 该缺陷提醒人们，即使是经过广泛审查的代码，也可能存在未被发现的错误，尤其是在资源管理方面。
- 现代编程语言虽然在结构上避免了锁泄漏，但程序员仍然需要负责资源清理，因此此类错误仍然可能存在。
- 该研究强调了使用行为规范来建模资源生命周期的重要性，以确保代码的正确性和可靠性。
|
Solod – A subset of Go that translates to C
Solod：让 Go 成为更好的 C
Solod 是一个严格的 Go 子集，它可以翻译成标准的 C 代码，具有零运行时、手动内存管理和源代码级别的互操作性。
主要特点:
- Go 代码转 C 代码: 编写标准的 Go 代码，生成可读的 C11 代码。
- 零运行时: 没有垃圾回收、引用计数或隐藏的分配。
- 默认栈分配: 堆内存的使用是可选的，通过标准库进行控制。
- 原生 C 互操作: 可以在 So 和 C 代码之间进行调用，无需 CGO，没有额外的开销。
- Go 工具支持: 支持 Go 的语法高亮、LSP、代码检查和 "go test" 等工具。
So 支持结构体、方法、接口、切片、多返回值和 defer 语句。 为了保持简单，不支持通道、goroutine、闭包和泛型。
So 的目标是提供一种使用 Go 语法、类型安全性和工具链进行系统编程的 C 语言替代方案。
示例:
提供了一个 Go 代码示例，编译后生成了相应的 C 头文件 main.h 和实现文件 main.c。 示例展示了结构体定义、方法、以及基本的输入输出操作。 更多示例请参考 So by example 和 语言指南。
安装与使用:
- 安装: 使用
go install solod.dev/cmd/so@latest 命令安装 So 命令行工具。
- 创建项目: 创建一个新的 Go 项目，并添加 Solod 依赖到
go.mod 文件中：go get solod.dev@latest。
- 编写代码: 使用 So 包代替标准 Go 包编写 Go 代码。
- 编译: 使用
so translate -o generated . 命令将 Go 代码翻译成 C 代码，生成到 generated 目录下。
- 构建和运行: 使用
so build -o main . 命令编译并生成可执行文件 main，或者使用 so run . 命令直接编译并运行。 所有命令都与 Go 模块一起工作，而不是单独的文件。
语言指南:
详细的 语言指南 介绍了 So 的特性和限制。
标准库:
So 提供了一个不断增长的 高层次包，类似于 Go 的标准库，以及一些包装 libc API 的低层次包。
在线游乐场:
可以在 在线游乐场 中尝试 So，无需安装任何东西。 可以运行代码或查看翻译后的 C 代码输出。
测试、基准测试、兼容性:
- 测试: So 不提供自己的测试框架，可以使用标准的
go test 命令进行测试。
- 基准测试: So 在 C 互操作方面表现出色，并且在常规 Go 代码上的执行速度通常与 Go 相当或更快。
- 兼容性: 生成的 C11 代码依赖于 GCC/Clang 的一些扩展，如二进制字面量、语句表达式等。 支持 GCC、Clang 或
zig cc 编译器，不支持 MSVC。 支持 Linux、macOS 和 Windows (核心语言)。
设计原则:
So 具有高度的主观性，简洁性是关键。 堆分配是显式的，严格遵循 Go 语法。
其他:
|
After 20 years I turned off Google Adsense for my websites (2025)
博客 AdSense 广告移除总结
作者于 2005 年 2 月博客上线后不久加入了 Google AdSense，旨在赚取少量收入并了解在线广告行业。最初，AdSense 带来的收益颇为可观，甚至曾出现过每点击 20 美元的收益。作者在巅峰时期大约每年能赚取 1000 美元，这让他得以深入了解出版商的视角，并对 AdSense 如何变现博客有了深刻的见解。
然而，经过 20 年，作者参与 AdSense 的初衷已不再适用。如今，AdSense 带来的收入微乎其微，仅为每年 100 美元。作者还经常因“Masnick 的不可能定理”无意中触发 AdSense 的内容规则。此外，作者不再从 AdSense 参与中获得关于出版商或广告商生态系统的任何见解。
更糟糕的是，读者不断抱怨 AdSense 广告的侵入性和质量。AdSense 曾扩大广告格式，导致页面被广告覆盖。作者随后将 AdSense 配置为仅显示一个广告位——博客右上方的简单方块展示广告。但 AdSense 再次更改设置，现在在页面底部（在网页浏览器中）或顶部（在移动设备上）显示额外的横幅广告，这并非作者期望的。由于作者使用广告拦截器，他本人并未察觉这些更改。
作者认为，移除 AdSense 广告能够更清晰地将博客归类为“非商业”实体，从而降低因相关法律法规而产生的法律责任。作者目前的年收入 100 美元远不足以抵消因这些法律法规而产生的额外法律风险和合规成本。
因此，作者已从 AdSense 中删除了所有 ericgoldman.org 域名。如果未来在博客上看到任何 AdSense 广告，请告知作者以便进行调查。虽然结束这段长达 20 年的供应商关系有些令人不舍，但作者认为现在是离开 AdSense 的时候。
|
A macOS bug that causes TCP networking to stop working after 49.7 days
macOS TCP 网络安全漏洞：49 天定时炸弹 - Photon 博客总结
本文档介绍了 Photon 团队在 macOS TCP 网络栈中发现的一个严重的安全漏洞，该漏洞表现为一种 49 天定时炸弹机制。以下是主要内容总结：
漏洞概述：
- 定时炸弹： 在 macOS 的 TCP 网络栈中存在一个缺陷，会导致一个定时炸弹在系统运行 49 天后触发。
- 触发方式： 漏洞的具体触发条件未公开，但其本质是 TCP 连接的内部计数器在 49 天后达到阈值，从而引发问题。
- 影响范围： 影响 macOS 系统，可能涉及使用 TCP 协议的各种应用程序和服务。
Photon 的发现与应对：
- Photon 的解决方案： Photon 团队开发了一个解决方案，能够检测并禁用该定时炸弹。
- Spectrum 框架与 SDK： 为了方便开发者集成此解决方案，Photon 提供了开源的 Spectrum 框架和 SDK，允许在各种消息应用（如 iMessage、WhatsApp、Telegram 等）中无缝集成 AI 代理。 Spectrum 框架和 SDK 的核心作用是简化 AI 代理与这些消息平台之间的交互。
- Photon AI 代理： Photon 强调其 AI 代理在这些消息平台上的应用，并暗示该漏洞可能影响到这些代理的正常运行。
总结：
Photon 团队发现了一个隐藏在 macOS TCP 网络栈中的安全漏洞，表现为一种 49 天定时炸弹。 为了解决这个问题，他们不仅开发了解决方案，还提供了开源的 Spectrum 框架和 SDK，方便开发者将其集成到各种应用中，特别是他们的 AI 代理服务。 该漏洞的细节（触发条件等）未完全公开，但其潜在影响不容忽视。
|
Show HN: Brutalist Concrete Laptop Stand (2024)
混凝土未来主义风格笔记本电脑支架：制作过程与设计理念
本文介绍了作者自制的混凝土笔记本电脑支架，其设计灵感来源于20世纪60年代的粗犷主义建筑 (Brutalism) 风格，并追求一种城市废墟 (urbex) 的衰败感。该支架不仅实用，还兼具艺术价值，并因其重量而著称。
主要特点：
- 粗犷主义风格： 支架采用未经处理的混凝土表面，保留了原始的粗糙纹理。
- 城市废墟美学： 设计中融入了损坏的角落、生锈的钢筋 (rebar) 和腐蚀的铜线，营造出一种破败感。
- 实用功能： 支架集成了以下功能：
- 3 极电源插座
- 2 个 2.1 安培 USB 充电端口
- 内置花盆，并种植了珍珠吊兰 (string of pearls plant)
- 人工锈蚀的笔筒
制作过程：
支架的制作过程漫长而复杂，主要包括以下步骤：
- 混凝土浇筑： 支架采用两次混凝土浇筑，分别用于制作底座和侧壁。为了获得粗糙、风化的外观，混凝土未完全混合，保留了不同比例的砂石。作者使用了震动工具（原文章中提及使用震动棒，此处译为震动工具）以去除气泡，不同尺寸的物件采用不同的水泥类型和震动方式。
- 花盆制作： 花盆由 ghee 罐制作，通过在罐体上钻孔并嵌入混凝土固定。内部使用灰色塑料花盆，并种植了珍珠吊兰，以营造一种从边缘垂落的植物效果。
- 电线处理： 为了模拟损坏的电缆，作者使用厨房纸包裹电线，并用氨水和水喷洒，使其产生腐蚀效果。
- 钢筋处理： 首先使用电动工具上的钢丝刷去除混凝土，露出钢筋，然后用盐水和过氧化氢使其生锈。
- 笔筒处理： 笔筒也使用盐水和过氧化氢进行生锈处理，并用沙子混合的丙烯颜料模拟苔藓的质感。
化学反应:
文章中提到以下化学反应方程式，描述了电线腐蚀的过程:
$$ \ce{Cu2+ + 2NH3 + 3H2O -> Cu(OH)2 + 2NH4+} $$
总结：
作者对这款笔记本电脑支架感到满意，尽管其独特的粗犷主义风格可能并非所有人都喜欢。支架成功地融合了粗犷主义建筑、城市废墟和衰败的主题，并因其巨大的重量而成为一件引人注目的艺术品。
|
Show HN: Hippo, biologically inspired memory for AI agents
Hippo 记忆系统：告别信息过载，专注于关键记忆 (Hippo Memory System: Focusing on Key Memories, Not Just More)
简介: Hippo 是一种新型 AI 记忆系统，旨在解决 AI 代理在不同工具和会话之间遗忘信息的问题。它不仅仅是存储所有内容并稍后搜索，而是模仿人类记忆的机制，优先记住重要信息并遗忘不重要的信息，从而提高效率和学习能力。
核心问题:
- AI 代理遗忘: AI 代理在不同会话之间无法记住信息。
- 信息孤岛: ChatGPT 知道 Claude 不知道的信息，Cursor 的规则无法迁移到 Codex。
- 指令文件混乱:
CLAUDE.md 等指令文件变得冗长且难以维护。
适用人群:
- 多工具开发者: 使用 Claude Code、Cursor、Codex 等不同工具的开发者。
- 团队协作: 解决团队中代理重复犯错的问题，通过错误记忆和衰减机制，让经验教训得以保留。
- 指令文件管理: 整理和结构化大型指令文件，利用标签、置信度等级和自动衰减机制。
- 便携式 AI 记忆: 方便跨平台迁移，存储为 Markdown 文件，支持从 ChatGPT、Claude、Cursor 等工具导入和导出。
快速上手:
npm install -g hippo-memoryhippo inithippo remember "FRED 缓存静默丢弃 tips_10y 系列" --tag errorhippo recall "数据管道问题" --budget 2000
主要特性与更新:
- v0.11.1: 改进了 OpenClaw 错误捕获过滤，避免基础设施噪音污染记忆。
- v0.11.0: 引入了基于结果反馈的衰减机制 (R-STDP)，积极和消极结果会影响记忆的衰减速度。
- v0.10.0: 增加了主动失效功能，检测代码迁移和 breaking change，弱化相关记忆。 引入了决策记录功能，支持上下文和链式决策。 增加了基于工作目录路径的记忆触发功能。
- v0.9.1: 自动休眠功能，当 Claude Code 退出时自动运行
hippo sleep。
- v0.9.0: 引入了工作内存层、会话交接功能、会话生命周期管理、可解释的召回功能。
- v0.8.0: 引入了混合搜索 (BM25 + 词向量相似度)、架构加速、多代理共享记忆、冲突检测与解决、代理评估基准。
- 零配置代理集成:
hippo init 自动检测代理框架并配置，无需手动安装hook。
核心机制:
- 默认衰减: 记忆默认有半衰期，7天。
- 召回强化: 记忆被召回后半衰期延长2天。
- 主动失效: 代码迁移或 breaking change 时，主动弱化相关记忆。
- 错误记忆持久: 标记为错误的记忆半衰期加倍。
- 置信度分级: 记忆具有“验证”、“观察”、“推断”和“陈旧”等置信度等级。
- 冲突跟踪: 自动检测并显示记忆冲突。
- 睡眠巩固: 定期运行
hippo sleep，将事件压缩为模式。
与其他记忆系统的比较:
| 特性 |
Hippo |
MemPalace |
Mem0 |
传统记忆 |
| 默认衰减 |
是 |
否 |
否 |
否 |
| 召回强化 |
是 |
否 |
否 |
否 |
| 结果反馈衰减 |
是 |
否 |
否 |
否 |
| 混合搜索 |
是 |
是 (空间索引) |
仅词向量 |
否 |
| 架构加速 |
是 |
否 |
否 |
否 |
| 冲突处理 |
是 |
否 |
否 |
否 |
| 多代理共享 |
是 |
否 |
否 |
否 |
| 空间组织 |
否 |
是 |
否 |
否 |
| 无损压缩 |
否 |
是 (AAAK) |
否 |
否 |
| 跨工具导入 |
是 |
否 |
否 |
否 |
**关键功能
|
Intelligent people are better judges of the intelligence of others
德国研究揭示：智力高的人更擅长判断他人智力
核心要点： 一项发表在《Intelligence》期刊上的德国研究表明，智力较高的人更准确地判断他人智力。此外，具备更强的情绪感知能力和生活满意度较高的人也表现出更好的判断能力。
研究背景： 人们通常能在短暂的接触后评估他人的智力，这对于适应环境和社会交往至关重要。然而，个体间存在判断他人智力的能力差异。本研究旨在探究这些个体差异，并探讨其与认知和社会情感因素之间的关系。
研究方法：
- 参与者： 研究共有198名参与者，其中72%是大学生，140名是女性，平均年龄为29岁。
- 实验设计： 参与者观看50段一分钟的视频，视频中展示了不同智力水平的“目标”人物。目标人物在视频中执行各种任务，例如朗读天气预报、描述近期愉快的经历、解释“对称”的含义或进行简短的角色扮演。
- 评估： 参与者在每段视频后，使用五点量表评估目标人物的智力。研究人员使用三种认知能力测试评估参与者自身的智力水平。同时，还测量了参与者的情绪感知能力、同理心、性格特质和主观幸福感。
- 智力验证： 视频中目标人物的智力水平事先已通过其他测试验证。
主要发现：
- 智力与判断准确性： 研究证实，智力较高的人在判断他人智力方面表现出显著更高的准确性。
- 情绪感知与生活满意度： 情绪感知能力更强和生活满意度更高的人也更准确地判断他人智力。
- 行为线索： “优秀的智力判断者”的准确性较高，是因为他们更多地依赖于有效的行为线索，特别是目标人物的言语清晰度和语言内容与词汇。
- 未支持的假设： 性别、同理心、开放性以及社交好奇心并未与判断他人智力准确性相关。
研究结论：
该研究强调了感知者的认知和社会情感能力在社会评价中的重要性，并支持了“成为一个优秀的智力判断者与心理调整有关”的观点。
研究局限性：
- 生态有效性： 通过观看短视频评估判断智力能力是否能真实反映现实生活中的动态社交互动尚不清楚。
- 参与者构成： 大部分参与者是大学生，其中许多是心理学专业学生，这可能影响研究结果的普适性。
作者： Christoph Heine, Johannes Zimmermann, Daniel Leising, 和 Michael Dufner.
论文标题： The good judge of intelligence
|
AI may be making us think and write more alike
人工智能可能正在缩小人类思维方式的多样性 - 研究总结
摘要： 美国南加州大学（USC）计算机科学和心理学研究人员在一项新研究中指出，人工智能聊天机器人（LLM）的使用可能正在标准化人类的表达方式，并微妙地影响人类的思维方式。如果这种同质化趋势持续，可能会降低人类的集体智慧和适应能力。
主要观点：
- LLM 促进同质化： 研究人员发现，当人们使用相同的LLM来帮助写作、思考等任务时，他们的语言风格、视角和推理策略会趋于一致，导致表达和思想的标准化。
- 认知多样性的重要性： 认知多样性对于增强创造力和解决问题的能力至关重要。然而，随着越来越多的人使用相同的LLM，全球范围内的认知多样性正在减少。
- LLM 的偏见和局限性： LLM 的输出往往缺乏多样性，并倾向于反映西方、受过教育、工业化、富裕和民主社会的语言、价值观和推理风格。这是因为 LLM 的训练数据通常过度代表这些社会。
- 影响人类推理方式： 研究表明，LLM 偏好线性推理模式（如“链式思维”），可能会减少直觉或抽象推理的使用。此外，LLM 还能改变人们的期望，并逐渐将创作的主动权从用户转移到模型。
- 研究建议： 研究人员建议人工智能开发者在 LLM 的训练中，有意识地融入更多语言、视角和推理方式的多样性，这些多样性应基于全球人类的多样性，而不是引入随机变化。同时，也需要调整人们与LLM的互动方式。
- 间接影响： 即使个体并非 LLM 的直接使用者，LLM 也会通过周围人的影响间接影响他们，使人们感到需要与主流观点保持一致。
研究贡献者：
- Morteza Dehghani (教授，心理学和计算机科学)
- Zhivar Sourati (博士生，USC Viterbi 工程学院)
- Alireza Ziabari (博士生，USC Viterbi 工程学院)
研究支持： 空军科学研究办公室资助。
来源： Trends in Cognitive Sciences 期刊，发表于 2026 年 3 月 11 日。
|
