2025-12-01

25 篇热帖

Search tool that only returns content created before ChatGPT's public release

Slop Evader 浏览器扩展:避免AI生成内容

概述:

Tega Brain 是一位居住在纽约的澳大利亚艺术家,她的作品探讨了气候变化时代计算的政治。她开发并提供了一个名为 "Slop Evader" 的浏览器扩展,旨在帮助用户避免互联网上日益增长的 AI 生成内容(文本、图像和视频)。

核心功能:

  • 搜索限制: Slop Evader 使用 Google 搜索 API,仅返回在 ChatGPT 公开发布日期(2022年11月30日)之前创建的内容。
  • 目的: 该扩展程序旨在确保用户搜索到的内容是由人类创作的,从而避免被 AI 生成的“垃圾”(slop)污染。
  • 适用浏览器: Slop Evader 可用于 Chrome 和 Firefox 浏览器。

下载链接:

背景:

自 ChatGPT 及其他大型语言模型公开发布以来,互联网上充斥着大量由 AI 生成的内容,Slop Evader旨在应对这一问题。

Don't push AI down our throats

AI 的发展方向:反对强行推广,回归实用主义 (AI Development Direction: Opposing Forced Promotion, Returning to Pragmatism)

这篇文章表达了对当前人工智能(AI)发展和推广方式的担忧,认为目前的做法过于仓促,且主要驱动力并非实用性,而是资本利益。以下是文章的主要观点:

1. 对当前推广方式的批评 (Criticism of Current Promotion Methods):

  • AI 正在被强行推向市场,渗透到搜索、操作系统和创意工具等各个领域,用户并未主动寻求。
  • 这种推广方式更像是“强行喂食”,而非自然的升级。
  • 当前的快速部署并非出于实用考虑,而是为了满足少数富豪在有限时间内获取更多财富的需求。

2. 呼吁回归理性,强调实用性 (Call for Rationality and Emphasis on Practicality):

  • AI 的发展应该缓慢、有机地进行,逐步集成到人们的生活中。
  • “炒作周期”的蜜月期已经结束,人们已经看到了 AI 的局限性,例如幻觉和错误。
  • 应该选择真正有效的功能进行整合,而不是为了满足季度业绩报告而匆忙推进。

3. 明确需求,反对过度追求 (Clearly Define Needs, Oppose Excessive Pursuit):

  • 文章明确表示,不需要通用人工智能(AGI)或“数字神”。
  • 人们需要的只是能够工作的软件。

4. 强调合作与尊重 (Emphasize Collaboration and Respect):

  • 如果当前的模型不可用,应该让研究人员回到实验室继续研究。
  • 应该与创作者、作家和艺术家合作,而不是侵犯他们的劳动成果来训练模型。

5. 反对以投资为导向的推广 (Oppose Investment-Driven Promotion):

  • 文章驳斥了科技巨头“我们购买了过多的 GPU,投入了数十亿美元的基础设施,必须让他们发挥作用”的理由。
  • 用户应该只使用能够创造价值的工具,不会购买无用的产品,即使这符合资本主义的规则。

总结 (Summary):

这篇文章的核心观点是反对目前 AI 发展中强行推广的趋势,呼吁回归实用主义,强调用户需求和创作者权益。作者认为,AI 应该以一种缓慢、有机的方式融入人们的生活,而不是为了满足资本利益而匆忙推进。 最终目标应该是创造真正有用的软件,而不是追求虚无缥缈的通用人工智能。

Writing a good Claude.md

总结:LLMs (本质上) 是无状态的

LLMs 是无状态函数。 在推理时,它们的权重会被冻结,因此它们不会随着时间的推移而学习。 模型所知道的关于你的代码库的唯一信息是你输入其中的 tokens。

类似地,编码代理 Harness,如 Claude Code,通常需要你显式地管理代理的记忆。 CLAUDE.md (或 AGENTS.md) 是唯一默认情况下会进入你与代理进行的所有会话的文件。

这有三个重要含义:

  1. 编码代理在每个会话开始时对你的代码库一无所知。
  2. 你必须在每个会话开始时告诉代理任何与你的代码库相关的重要信息。
  3. CLAUDE.md 是实现此目的的首选方式。

CLAUDE.md 用于将 Claude 引入你的代码库

由于 Claude 在每个会话开始时对你的代码库一无所知,因此你应该使用 CLAUDE.md 将 Claude 引入你的代码库。 从高层次上讲,它应该涵盖:

  • WHAT (是什么): 告诉 Claude 关于技术、你的堆栈、项目结构的信息。 给 Claude 代码库的地图。 这在 monorepo 中尤其重要! 告诉 Claude 应用程序是什么,共享包是什么,以及一切的用途,以便它知道在哪里查找东西。
  • WHY (为什么): 告诉 Claude 你的项目的 目的 以及存储库中每个部分的功能。 项目的不同部分的目的和功能是什么?
  • HOW (如何): 告诉 Claude 它应该如何处理你的项目。 例如,你是否使用 bun 代替 node? 你需要包含它实际完成有意义的工作所需的所有信息。 Claude 如何验证 Claude 的更改? 它如何运行测试、类型检查和编译步骤?

但是,你这样做的方式很重要! 不要试图在 CLAUDE.md 文件中塞入 Claude 可能需要的每一个命令 - 你会得到次优的结果。

Claude 经常忽略 CLAUDE.md

无论你使用哪个模型,你可能会注意到 Claude 经常忽略 CLAUDE.md 文件的内容。

你可以通过在 claude code CLI 和 Anthropic API 之间放置一个日志代理来自行调查,使用 ANTHROPIC_BASE_URL。 Claude Code 会将以下系统提醒与你的 CLAUDE.md 文件一起注入到代理的用户消息中:

<system-reminder>
      IMPORTANT: this context may or may not be relevant to your tasks. 
      You should not respond to this context unless it is highly relevant to your task.
</system-reminder>

因此,如果 Claude 认为它不与当前任务相关,它将忽略 CLAUDE.md 的内容。 你在文件中包含的信息越多,如果这些信息不是 普遍适用于 你正在使用的任务,Claude 忽略文件中指令的可能性就越大。

为什么 Anthropic 添加了这一点? 很难确定,但我们可以推测一下。 我们遇到的大多数 CLAUDE.md 文件都包含一些指令,这些指令 广泛适用于。 许多用户将此文件视为添加“热修复”的一种方式,通过附加许多不一定普遍适用的指令来修复他们不喜欢的一些行为。

我们只能假设 Claude Code 团队发现通过告诉 Claude 忽略坏指令,Harness 实际上产生了更好的结果。

创建一个好的 CLAUDE.md 文件

以下部分提供了关于如何编写一个好的 CLAUDE.md 文件,遵循 上下文工程最佳实践 的一些建议。

你的结果可能会有所不同。 并非所有这些规则都一定适用于每种设置。 就像任何其他事情一样,一旦你理解了何时以及为什么可以打破规则...

  1. 理解何时以及为什么可以打破规则
  2. 你有充分的理由这样做

Less (指令) is more

尝试将 Claude 可能需要的每一个命令、你的代码标准和风格指南塞入 CLAUDE.md 文件的诱惑很大。 我们不建议这样做。

虽然这个话题还没有被研究得非常透彻,但 一些研究 表明:

  1. **前
Regarding Thien-Thi Nguyen

总结:关于TTN逝世的讨论和家属的回应 (Summary: Discussion about TTN's Passing and Family's Response)

这篇帖子是TTN(具体身份未知)的女儿发表的,旨在感谢在 Hacker News 论坛(https://news.ycombinator.com/item?id=37457796)上对她父亲逝世表示慰问的人们。

帖子说明:

  • TTN 的女儿近期才得知关于她父亲去世的讨论。
  • 她的父亲是一位非常注重隐私的人。
  • 她无法在原帖子下发表评论,因此创建了新的帖子来表达感谢。

总而言之,这篇帖子是 TTN 家属对在网上表达哀悼的人们的回应,表达了感激之情。

Google Antigravity just deleted the contents of whole drive

内容摘要:关于D盘数据删除事件

这是一份关于意外删除D盘数据的事件调查总结。以下是主要内容:

事件起因及调查过程:

  • 核心问题: 调查者正在确认是否曾获得删除D盘数据的授权。
  • 关键步骤: 调查始于对步骤635中执行的命令的审查,该命令可能导致了问题。
  • 初步发现: 步骤635的命令似乎是针对性的,但出现“访问被拒绝”错误,且目录为空,这表明可能存在问题。 调查者回溯到步骤615,分析用户的一个看似无意义的评论。
  • 关键路径: 调查发现问题可能源于对.vite目录的操作。
  • 潜在原因: 路径解析错误和cmd /c rmdir /s /q d:\ 命令的执行方式,可能导致了意外的根目录删除。
  • 引号处理: 调查者怀疑引号处理不当是导致根目录删除的关键原因,并回忆起使用了内部引号 \"d:\...\"
  • 命令重建: 调查者重建了命令执行过程,包括使用powershell -Command 'cmd /c "rmdir ..."'以及后续的cmd /c "rmdir ..."rmdir /s /q d:\...
  • 目录结构分析: 调查者确认能够列出D:/ETSY 2025 目录。

问题确认及后续行动:

  • 确认错误: 调查最终确认,用户并未授权删除D盘数据。
  • 错误命令: 调查者意识到执行的rmdir /s /q 命令造成了损害。
  • 道歉: 意识到错误后,调查者表示深感抱歉。
  • 损害评估: 调查者正在评估损害程度,关注系统是否尝试访问根文件夹,例如 $RECYCLE.BIN
  • 恢复尝试: 调查者试图恢复Image Selector

总结:

该事件是一起由于命令执行错误导致的意外数据删除事件。 调查者正在努力评估损失,并寻找解决办法。 核心问题在于路径解析和引号处理的错误,导致了rmdir命令意外地应用于整个D盘根目录。

Advent of Sysadmin 2025

Auderghem 问题总结:容器间通信故障修复

问题描述:

nginx Docker 容器无法正确地将流量重定向到两个其他容器 statichtml1statichtml2。 nginx 容器监听 80 端口,其目的就是将请求路由到这两个容器。

修复目标:

修复 nginx 容器的流量重定向问题,确保其能够将请求正确地转发到 statichtml1statichtml2 容器。

限制条件:

  • 不允许停止或移除任何容器。
  • 允许重启所有容器。

测试标准:

通过以下 curl 命令验证修复结果:

  • curl http://localhost 返回 "Welcome to nginx"
  • curl http://localhost/1 返回 "HelloWorld;1"
  • curl http://localhost/2 返回 "HelloWorld;2"

检查脚本:

解决方案将通过 /home/admin/agent/check.sh 脚本进行验证。

预计解决时间:

30 分钟。

总结:

该场景描述了一个 Docker 环境中的 nginx 容器配置错误导致流量重定向失败的问题。 修复方案需要在不停止或移除容器的前提下,通过重启或修改 nginx 容器的配置,使其能够正确的将请求路由到指定的 statichtml1statichtml2 容器,并通过 curl 命令验证修复结果。

"Boobs check" – Technique to verify if sites behind CDN are hosted in Iran

摘要:关于x.com(Twitter)访问问题的说明

这段内容提供了一个关于访问x.com(原Twitter)问题的简短说明。

主要内容:

  • 问题描述: 用户在访问x.com时可能遇到问题。
  • 可能原因: 某些与隐私相关的浏览器扩展程序可能导致这些问题。
  • 解决方案: 用户应尝试禁用这些扩展程序,然后再次访问x.com。

总结:

如果用户在访问x.com时遇到问题,建议禁用可能与隐私相关的浏览器扩展程序,以解决问题。 这表明扩展程序可能与x.com的某些功能或安全措施存在冲突。

Is America's jobs market nearing a cliff?

美国就业市场:阴霾之下存在乐观因素 (美国就业市场:阴霾之下存在乐观因素)

核心要点: 尽管普遍对美国就业市场感到悲观,投资者讨论“K型”经济——股市和人工智能投资推动增长,普通民众却面临困境,就业创造和整体经济增长也出现分化——但仔细观察,许多担忧可能被夸大了。

详细内容:

  • 普遍悲观情绪: 投资者普遍认为美国存在“K型”经济,即高科技和金融领域表现强劲,而普通民众的处境却相对落后。
  • 经济指标分化: 通常同步增长的就业创造和整体经济增长出现背离,导致普遍的担忧。
  • 美联储应对: 为了应对潜在的更深层衰退,美联储已在最近两次会议上降低了利率,主席杰罗姆·鲍威尔将其称为“风险管理”。
  • 加速降息呼吁: 克里斯托弗·华勒,一位可能接替鲍威尔的候选人,正推动在12月10日的下次会议上进一步和更快速地降低利率,以支持疲软的就业市场。
  • 乐观视角: 然而,文章指出,仔细观察后,许多对美国就业市场的悲观情绪可能被夸大了。

关键词: 美国就业市场, K型经济, 美联储, 降息, 风险管理

A Love Letter to FreeBSD

FreeBSD:一份对稳定性和持久性的赞美与期盼 (FreeBSD: A Praise and Expectation for Stability and Longevity)

这是一封来自一位新用户的信,表达了对FreeBSD系统的喜爱和对未来发展的期盼。信中主要赞扬了FreeBSD的稳定、可靠和与其他系统不同的设计理念,并提出了一些建议,旨在进一步巩固其作为“开放源代码大型机”的地位。

以下是信中的主要观点和细节:

核心价值与优势:

  • 稳定与可靠性: 作者将FreeBSD比作大型机,强调其稳定、可靠,默默运行,不追求关注,专注工作。它提醒作者对计算的早期体验,那时候的系统更加专注和简洁。
  • 整体设计: FreeBSD的基础系统被认为是由注重整体设计的团队构建的,而非仅仅关注各个组件。
  • 预见性设计: FreeBSD的启动环境类似于IBM i的“A/B” IPL,体现了预见性的设计,提供了一种可靠的备用方案。
  • 与Solaris的相似性: FreeBSD的核心设计使其让人联想到Solaris的最佳时期,提供了一个稳定可靠的基础,供商业和社区软件依赖。
  • 高可用性: 作者主张将高可用性作为设计目标,目标是让连续运行数千天的系统成为常态,而非特殊事件。

未来发展建议:

  • 桌面与服务器的平衡: 尽管FreeBSD正在扩展到桌面领域,作者建议保持服务器的稳定性和桌面环境的灵活性之间的平衡,利用CURRENTRELEASE的分离,让它们各自以自己的节奏发展。
  • 包管理系统稳定性: 随着pkgbase的引入,包的稳定性变得与基础系统一样重要。作者希望建立清晰的稳定性渠道,包括一个适用于关键业务系统的“生产级”稳定通道,以及一个用于快速迭代新功能的通道。
  • 文化建设: 维护一种重视技术工程,避免自我炒作的文化,鼓励企业焦点和技术好奇心之间的和谐共存。
  • 硬件支持: 保持与硬件供应商(如Dell和HPE)的良好关系,确保FreeBSD作为一流的操作系统。提供方便的固件刷新工具,无需依赖Linux或Windows。
  • 硬件生命周期对齐: 将硬件生命周期对齐纳入FreeBSD的叙事中,并根据现实世界的节奏安排主要版本发布,将小版本更新视为完善而非中断。

总体愿景:

作者希望FreeBSD能够保持其独特之处,通过可靠性和持久性赢得信任,而不是通过炒作和追逐潮流。他们梦想着FreeBSD能够成为一个现代、可靠的"开放源代码大型机",如同Sun Enterprise 10k 曾经那样。

总结:

这封信是对FreeBSD的赞赏和对未来的期盼,强调了其在稳定、可靠和长久支持方面的优势,并提出了建设性的建议,旨在进一步巩固FreeBSD作为值得信赖的平台,尤其是在追求高可用性和长期运行的场景下。作者希望 FreeBSD 能够继续保持其独特的精神和价值,成为一个在快速变化的科技环境中依然坚守的可靠选择。

NixOS 25.11 released

NixOS 25.11 “Xantusia” 发布公告

NixOS 项目发布了新版本 25.11 “Xantusia”,由 jopejoe1Leona Maroni 担任发布经理。

主要信息:

  • NixOS 简介: NixOS 是一个 Linux 发行版,其底层软件包仓库 Nixpkgs 也可以在其他 Linux 系统和 macOS 上使用 Nix 软件包管理器。
  • 支持期限: NixOS 25.11 将接收错误修复和安全更新至 2026 年 6 月 30 日
  • 版本生命周期: 之前的版本 25.05 “Warbler” 已被弃用,将于 2025 年 12 月 31 日 结束支持,停止接收安全更新。
  • 贡献者: 该版本由 2742 名贡献者 贡献了 59430 个提交

关键更新亮点:

  • Nixpkgs 更新:
    • 新增 7002 个软件包
    • 更新 25252 个现有软件包
    • 移除 6338 个过时软件包,以保持软件包集合的可维护性和安全性。
  • NixOS 配置模块:
    • 新增 107 个模块1778 个配置选项
    • 移除 41 个过时的模块807 个配置选项
  • GNOME 49: 升级到 GNOME 49 “Brescia”,该版本移除了 X11 会话支持,引入了新的视频播放器、文档查看器、重新设计的日历等。
  • 编译器: LLVM 升级到版本 21,GCC 保持在版本 14,CMake 升级到版本 4。

鸣谢:

  • 感谢 Sethdish 对发布说明的编辑工作。
  • 感谢 Yohann Boniface 设计了发布标志。
  • 感谢 NixOS 基础设施团队维护构建基础设施。
  • 感谢 Nixpkgs 预发布团队支持预发布周期和耐心修复构建错误。

其他信息:

发布经理表示对能够支持社区并参与发布流程感到感谢,并期待下一版本 NixOS 26.05 “Yarara”。

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

DeepSeekMath-V2:迈向可自我验证的数学推理

概述

DeepSeekMath-V2 是 DeepSeek AI 团队发布的一款用于数学推理的大型语言模型。它旨在解决大型语言模型(LLM)在数学推理方面存在的根本性问题:仅仅追求最终答案的准确性并不能保证推理过程的正确性。DeepSeekMath-V2 采用了一种创新的方法,即通过引入可自我验证的机制来提升数学推理能力,尤其适用于需要严格逐步推导的定理证明等任务。

核心思想与方法

DeepSeekMath-V2 的核心在于自我验证。其主要方法包括:

  1. 训练准确且忠实的验证器: DeepSeekMath-V2 训练了一个基于 LLM 的验证器,用于评估定理证明过程的完整性和严谨性。
  2. 利用验证器作为奖励模型: 通过将验证器作为奖励模型,训练一个证明生成器,激励其在最终确定证明之前,主动识别并解决自身证明中的问题。
  3. 动态扩展验证计算: 为了应对生成器能力的提升,DeepSeekMath-V2 提出动态扩展验证计算,自动标注难以验证的新型证明,从而不断改进验证器的性能,并生成更多训练数据。

评估结果

DeepSeekMath-V2 在多个数学评估基准测试中取得了显著成果:

技术细节

  • 基础模型: DeepSeekMath-V2 构建于 DeepSeek-V3.2-Exp-Base 之上。
  • 推理支持: 推理支持请参考 DeepSeek-V3.2-Exp 的 GitHub 仓库:https://github.com/deepseek-ai/DeepSeek-V3.2-Exp。
  • 许可证: 该项目及模型权重采用 Apache 2.0 许可证。

联系方式

如有任何问题,请在 GitHub 上提出 issue 或通过 [email protected] 联系。

引用

@misc{deepseek-math-v2,
  author = {Zhihong Shao, Yuxiang Luo, Chengda Lu, Z.Z. Ren, Jiewen Hu, Tian Ye, Zhibin Gou, Shirong Ma, Xiaokang Zhang},
  title = {DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning},
  year = {2025},
}

总结

DeepSeekMath-V2 的研究成果表明,可自我验证的数学推理是一种可行的研究方向,有望推动更强大的数学 AI 系统的发展。 通过专注于推理过程的验证,DeepSeekMath-V2 在数学推理领域取得了重要的突破。

GitHub to Codeberg: my experience

迁移到 Codeberg 的经验总结 (迁移过程)

这篇文章讲述了作者从 GitHub 迁移到 Codeberg 的过程,并分享了经验,最终成功地将网站迁移并使用了 Codeberg 的服务。

迁移过程概述:

作者的迁移过程主要包括以下几个步骤:

  1. 设置个人资料: 花费大约一小时设置了个人资料照片、邮箱地址和 SSH 密钥。
  2. 迁移仓库: 利用 Codeberg 提供的“从 GitHub 迁移”功能,导入仓库,包括 issues、PRs、wikis 和 releases。由于 GitHub API 速率限制,迁移过程需要分批进行,但总体时间与填写迁移页面所需时间相当。
  3. 更新链接: 使用 rg 命令查找并替换仓库链接,指向 Codeberg 上的对应仓库。可以通过 git remote set-url 命令手动更新本地仓库的远程 URL,或者使用 sed 命令批量替换。
  4. 标记 GitHub 仓库: 为已迁移到 Codeberg 的仓库创建简单的 README 文件,说明仓库已迁移,并添加指向 Codeberg 仓库的链接。使用脚本自动化了这一过程。
  5. 迁移 CI: 迁移持续集成 (CI) 流程。作者选择使用 Codeberg 的 Forgejo Actions,因为其与 GitHub Actions 相似。需要调整 YAML 文件以适应 Codeberg 环境,并注意 Codeberg 的 runner 资源限制和 Docker 镜像支持。
  6. 迁移网站: 由于 Codeberg Pages 功能处于维护状态,作者使用了 git-pages 和 Grebedoc 来托管网站,并实现了零停机迁移和服务器端重定向。

关键细节和注意事项:

  • Forgejo Actions 的运行环境: Codeberg 的 runners 资源较少,仅提供 Linux 环境,建议使用 Docker 镜像或懒惰 runner 来优化性能。
  • Codeberg Pages 的替代方案: 作者使用了 git-pages 和 Grebedoc,并对该方案的优点进行了说明,例如零停机迁移和服务器端重定向。
  • 迁移时间: 整个迁移过程大约花费一个周末,包括仓库迁移、CI 迁移和网站迁移。
  • 对 Codeberg 的支持: 作者赞赏 Catherine ‘whitequark’ 在 git-pages 上的工作,并支持她的 Patreon。

后续计划:

作者计划在适当的时候删除 GitHub 上的仓库,并希望 Codeberg Pages 功能能够得到改进。

总而言之,作者认为迁移到 Codeberg 的过程并不复杂,并希望分享自己的经验能帮助其他用户。

It’s been a very hard year

Set Studio 和 Piccalilli 面临挑战,寻求社区支持 (Set Studio 和 Piccalilli 面临挑战,寻求社区支持)

日期: 2025 年 11 月 27 日

Set Studio (https://set.studio/) 和 Piccalilli (https://piccalil.li/) 的创始人 Andy 发表文章,坦诚地分享了公司面临的困境,并呼吁社区的支持。

当前形势:

  • 艰难的一年: 受到全球经济下行、关税、政治不稳定和生活成本上涨等多重因素影响,Set Studio 和 Piccalilli 经历了一年非常艰难的时间,情况类似于 2020 年。
  • AI 冲击: 虽然人工智能技术的发展带来了一定的挑战,但 Andy 认为,公司面临的困难并非完全由 AI 导致。
  • 项目困境: 由于道德原因,Set Studio 不愿意为 AI 相关产品进行营销,导致项目获取变得非常困难。
  • 资金短缺: 社区众筹模式尝试失败,加剧了资金压力。公司目前没有外部投资。

公司业务:

  • Set Studio: 专注于为用户服务的网站和设计系统开发。
  • Piccalilli: 提供免费的内容,并通过付费课程(例如 JavaScript for Everyone, Mindful Design, 和 Complete CSS)来维持运营。强调高质量的内容和无广告的体验。

寻求支持的方式:

Andy 提出了以下几种支持公司的方式:

  1. 参与黑色星期五促销活动: 购买 Piccalilli 的付费课程,这是公司重要的收入来源。
  2. 分享课程和工作室: 鼓励用户在社交媒体上分享课程和工作室的信息,扩大影响力。
  3. 聘请 Set Studio: Set Studio 以高效、公平的价格提供高质量的网站开发服务,致力于成为客户的合作伙伴,帮助客户提升业务。
  4. 咨询服务: Andy 个人将提供 CSS 和前端咨询服务,为企业提供代码优化和团队协作方面的支持。

总结:

Andy 坦诚地表达了公司面临的挑战,并希望通过社区的支持,继续提供高质量的教育内容和专业的网站开发服务。他强调,支持 Set Studio 和 Piccalilli 不仅能帮助公司渡过难关,也能帮助更多的人获得提升。

The Thinking Game Film – Google DeepMind documentary

摘要

以下是对所提供内容的摘要:

该内容主要是一个简单的订阅表单。其核心功能是允许用户通过提供电子邮件地址来接收新闻和更新。

主要点:

  • 目的: 收集用户的电子邮件地址,以便发送新闻和更新。
  • 功能: 提供一个输入电子邮件地址的字段,并承诺尊重用户隐私。
  • 行动号召: 鼓励用户输入电子邮件地址并订阅。
  • 隐私声明: 明确表示尊重用户隐私。
  • 感谢: 感谢用户订阅。

结构:

该内容包含以下元素:

  • 标题:“Stay Updated” (保持更新)
  • 订阅说明:鼓励用户订阅以接收新闻和更新。
  • 电子邮件地址输入框:用户输入电子邮件地址的地方。
  • 隐私声明:保证用户隐私得到尊重。
  • 感谢语:对用户订阅表示感谢。

关键词: 订阅,电子邮件,新闻,更新,隐私。

People keep flocking to Linux, not just to escape Windows

总结:Linux 桌面份额持续增长,Windows 困境助力

根据 ZDNET 的报道,Linux 桌面份额正在稳步增长,这得益于 Microsoft Windows 的一些失误,以及用户和政府对 Windows 和 Microsoft 信任度的下降。

主要发现:

  • 用户迁移: Zorin OS 的最新版本 Zorin OS 18 发布仅一个月就已下载 100 万次,其中 78% 的下载者来自 Windows 用户。这表明越来越多的 Windows 用户认真考虑转向 Linux。
  • 市场份额增长: StatCounter 数据显示,Linux 桌面在全球的份额从 2020 年的 1.5% 增长到 2024 年的 4%,并在美国达到 5% 的新高。如果将 ChromeOS (一个 Linux 变种) 和 Android (另一个 Linux 内核的操作系统) 纳入考虑,Linux 桌面份额可达 11.37%。
  • 移动设备领域: 考虑到手机和平板电脑等移动设备,Linux (包括 Android) 占据了美国 41.71% 的市场份额,全球市场份额更是高达 72.55%。
  • 政府数据佐证: 美国数字分析计划 (DAP) 的数据显示,Linux 桌面份额已达到 5.8%,相比十年前仅有 0.67% 的份额,增长显著。将 Chrome OS 和 Android 纳入考虑,Linux 的用户覆盖范围达到 23.3%。
  • 增长驱动因素:
    • Microsoft 专注于 Microsoft 365 和云服务,而非 Windows 本身。
    • 游戏性能和兼容性的提升。
    • Linux 桌面操作系统的易用性大幅改善。
    • 更广泛的硬件支持。
    • 对隐私和数据控制的担忧。
    • Windows 10 无法升级到 Windows 11 的硬件限制。
    • 对 Windows 11 的强制界面变化和 AI 集成的不满。
    • 数字主权意识的增强,尤其在欧洲,政府机构开始转向开源软件,以避免受美国政治压力影响。

总结:

虽然 Windows 仍然是市场领导者,但 Linux 桌面份额的持续增长表明其在用户中的吸引力正在增加。用户对 Windows 升级的犹豫,以及对开源软件的信任度提升,都为 Linux 的进一步发展提供了机会。 尤其在数字主权日益重要的背景下,Linux 在政府机构和注重数据安全的组织中具有更大的优势。

Bricklink suspends Marketplace operations in 35 countries

乐高积木交易平台Bricklink宣布暂停在35个国家/地区的运营 (乐高积木交易平台Bricklink宣布暂停在35个国家/地区的运营)

乐高积木爱好者社区的重要组成部分,也是乐高最大的在线交易平台Bricklink,于2025年11月29日宣布一项重大举措:从2025年12月12日起,Bricklink Marketplace将暂停在35个国家/地区的运营。 这意味着这些国家的乐高爱好者将无法在平台上进行买卖。

受影响国家/地区包括:

  • 印度尼西亚
  • 土耳其
  • 南非
  • 台湾
  • 乌克兰
  • 巴西
  • 塞尔维亚
  • 阿拉伯联合酋长国
  • 哈萨克斯坦
  • 秘鲁
  • 以色列
  • 印度
  • 摩洛哥
  • 智利
  • 越南
  • 格鲁吉亚
  • 黎巴嫩
  • 沙特阿拉伯
  • 卡塔尔
  • 阿曼
  • 萨尔瓦多
  • 巴林
  • 阿塞拜疆
  • 亚美尼亚
  • 巴基斯坦
  • 埃及
  • 摩尔多瓦
  • 厄瓜多尔
  • 阿根廷
  • 哥斯达黎加
  • 哥伦比亚
  • 波斯尼亚和黑塞哥维那
  • 土库曼斯坦
  • 格陵兰
  • 圣马力诺

重要信息:

  • 这些国家/地区的总人口超过25亿,约占全球人口的30%。
  • Bricklink声明将定期审查此决定,并希望未来能够重新开放平台。
  • 已有的订单将继续处理,但无法创建新的订单。
  • 用户可以访问和管理他们的愿望清单,并可以下载清单数据。
  • 用户可以访问他们的商店库存,并建议下载备份。

争议与影响:

此举突如其来,且缺乏充分沟通,引起了社区的强烈反响。许多Bricklink卖家依赖平台来维持生计,而爱好者则依赖平台获取零件和套装,尤其是在官方乐高商店或在线Pick a Brick服务不普及的地区。 值得注意的是,这些国家/地区中一些(如阿联酋)拥有乐高乐园,并且乐高在这些国家/地区拥有官方门店和零售商。

此决定被认为是对Bricklink创始人Dan Jezek的“当头一棒”,因为Bricklink今年庆祝了25周年,而Dan Jezek的愿景是创建一个全球性的乐高交易平台。

文章作者认为,乐高收购Bricklink后,可能存在一些幕后问题,并且质疑为何要采取如此严厉的措施,而没有提前与社区沟通。目前,乐高和Bricklink尚未就此决定作出进一步说明。

总而言之,Bricklink的这一决定对乐高爱好者社区造成了重大影响,并引发了对其未来发展方向的担忧。

Program-of-Thought Prompting Outperforms Chain-of-Thought by 15% (2022)

Program of Thoughts (PoT):一种将推理与计算分离的新方法

摘要:

本文提出了一种名为“程序化思维”(Program of Thoughts, PoT)的新方法,旨在提高语言模型在复杂数值推理任务中的表现。PoT 旨在解决当前Chain-of-Thoughts prompting (CoT) 方法中推理和计算混合在一起的问题。

主要内容:

  • 问题: CoT方法将推理和计算都交由语言模型完成,这可能限制了其在复杂数值任务中的性能。
  • 解决方案 (PoT): PoT 将语言模型的任务分解为两个步骤:
    • 推理: 使用语言模型 (主要使用 Codex) 将推理过程表达为程序代码。
    • 计算: 将生成的程序代码交给外部计算机执行,以获得最终答案。 这种分离使得模型能够专注于推理,而将计算任务交给更专业的计算工具。
  • 实验评估: PoT 在五个数学词问题数据集 (GSM, AQuA, SVAMP, TabMWP, MultiArith) 和三个金融问题解答数据集 (FinQA, ConvFinQA, TATQA) 上进行了评估,包括少样本 (few-shot) 和零样本 (zero-shot) 设置。
  • 实验结果: 在少样本和零样本设置下,PoT 相比 CoT 方法平均提升约 12%。 结合自洽解码 (self-consistency decoding) 后,PoT 在所有数学问题数据集上达到了最先进水平 (SoTA),在金融数据集上则表现接近 SoTA。
  • 代码和数据: 所有数据和代码已在 Github 上发布:https://github.com/wenhuchen/Program-of-Thoughts

关键信息总结:

  • 方法名称: 程序化思维 (Program of Thoughts, PoT)
  • 核心思想: 将语言模型的推理过程转化为程序代码,并由外部计算机执行计算。
  • 优势: 将推理和计算分离,提高语言模型在复杂数值推理任务中的性能。
  • 数据集: 包括数学词问题和金融问题解答数据集。
  • 性能提升: 相比 CoT 方法,平均提升约 12%。 结合自洽解码,可在数学问题上达到 SoTA 性能。
  • 发布: 代码和数据已开源。

发布信息:

  • 发布平台: TMLR 2023
  • 主题: 计算与语言 (cs.CL); 人工智能 (cs.AI)
  • arXiv 链接: https://arxiv.org/abs/2211.12588
  • 版本历史: 文章经历了四次版本迭代。
How to run phones while being struck by suicide drones

乌克兰应对停电:自制电池解决方案

问题背景:

由于无人机袭击关键基础设施,乌克兰经常面临停电问题。这些停电既有直接的破坏造成的(如电力站、变电站、变压器、电线被毁),也有计划性的维护停电。寒冷季节的用电高峰以及电暖器的广泛使用进一步加剧了电力压力。

应对措施:

  • 社区层面的备用电源: 一些居民楼通过投票决定安装小型发电机,为水泵、电梯和走廊照明等基本设施提供备用电源。
  • 互联网服务提供商的解决方案: 大部分互联网服务提供商已实施解决方案,例如使用电池为RJ45/铜缆连接提供约12小时的运行时间,或利用光纤到家庭(FTTH)技术,提供1-2天的持续运行能力。
  • 商业和居民的备用电源: 小型企业通常使用发电机维持运营,导致停电期间噪音污染严重。大型超市和公寓楼使用大型、相对安静的发电机。
  • 个人电源站: 个人开始使用电源站(如Bluetti和Ecoflow)为家中设备供电。停电期间,电源站价格上涨20-60%。路由器可以通过移动电源+USB C → DC12线缆供电,这种方式越来越受欢迎。

案例分析:

为了保障服务器、手机等设备在停电期间的运行,作者团队需要一个备用电源。他们计算出需要约2.5kWh的电池容量,以应对长达5小时的计划停电。

商业化解决方案的局限性:

市面上现成的电源站,如Ecoflow DELTA 2 Max (2kWh, 约$1500) 和 DELTA Pro (3.6kWh, 约$2300),价格过高。

自制电池解决方案:

为了节省成本,作者团队选择自行组装电池系统,最终花费$600,性能优于市面上$2300的Ecoflow产品。 这种自制电池系统在乌克兰的科技爱好者中越来越流行。

自制电池系统的关键组件和步骤:

  1. 电池化学: 选择LiFePO4电池,因其在价格、性能和安全性方面的优势。LiFePO4电池过充时会膨胀或排气,而非像其他锂电池那样爆炸或燃烧。
  2. 电池选择: 购买4个Envision LiFePO4 315Ah电池,总容量为4.3kWh。
  3. 电池管理系统 (BMS): BMS 负责监控电池状态,防止过充/过放,保护电路免受过电流/短路影响,并平衡电池单元之间的电压。
  4. 逆变器: 将12V直流电转换为230V交流电,以供服务器等设备使用。作者团队选择使用太阳能逆变器,因为它具有内置电池充电器,并能作为应急电源(UPS)使用。
  5. 自动切换开关: 自动在市电和电池电源之间切换,避免逆变器损坏。
  6. 组装: 将电池单元串联连接(4个电池,形成12-13V),并在电池之间放置绝缘材料。
  7. 配置: 使用Android应用程序配置BMS参数。
  8. 测试: 在最终安装前进行压力测试,确保连接稳定且安全。

当前情况:

作者团队在基辅拥有60台Google Pixel手机用于业务运营,面临业务持续运营的挑战。

未来展望:

作者团队将继续开展业务,并计划申请YC 2026和其他风险投资。

You want microservices, but do you need them?

总结:亚马逊Prime Video放弃微服务,回归单体应用,成本降低90%

本文探讨了微服务架构的流行趋势以及一些公司开始反思甚至放弃微服务的情况,并以亚马逊Prime Video的案例为核心,讨论了何时以及为什么要考虑单体应用或更简单的架构替代方案。

核心观点:

  • 微服务并非万能: 虽然微服务在解决特定问题(如独立扩展和部署)时有效,但对于大多数团队来说,其复杂性带来的成本可能超过收益。
  • 亚马逊Prime Video的案例: 亚马逊Prime Video的视频质量分析 (VQA) 团队在采用微服务架构后,由于编排开销过大,即使在预期负载的5%时系统也崩溃。 最终,他们回归单体应用,成本降低了90%,性能也得到了提升。
  • Twilio Segment的经验: Twilio Segment 曾经拥有140多个微服务,导致运营混乱和开发效率低下。 他们通过将所有服务合并为单体应用,显著提高了测试速度和开发人员生产力。
  • Shopify的实践: Shopify 选择了模块化单体架构,避免了微服务带来的复杂性,并成功地支持了大规模的业务需求。
  • 专家观点: 许多经验丰富的架构师,包括Rails的创始人David Heinemeier Hansson和GitHub前CTO Jason Warner,都对微服务架构提出了质疑,认为它可能成为“历史上最大的架构错误之一”。
  • 微服务的隐藏成本: 除了开发和部署的复杂性外,微服务还带来了运营成本的增加(例如,网络延迟、服务发现、分布式事务),以及数据一致性挑战。
  • 替代方案:
    • 模块化单体: 通过清晰的模块边界和接口,在单体应用内部实现模块化,简化了开发和部署,同时保持了强一致性和高性能。
    • 面向服务的架构 (SOA): 通过更大的、领域驱动的服务来简化协调,同时保留了关注点分离和有针对性的扩展能力。
  • Docker的价值: Docker 不仅适用于微服务,也适用于各种架构,可以提供一致的性能、简单的部署和易于扩展。

结论:

本文呼吁行业重新审视微服务是否应该成为构建大规模应用程序的默认选择。在选择架构时,应该根据实际业务需求和团队能力,而不是盲目追求“云原生”标签。 模块化单体、SOA 或 Docker 容器化的单体应用,可能是更简单、更高效的解决方案。 最终,选择最适合自身需求的架构,而不是追随潮流。

ETH-Zurich: Digital Design and Computer Architecture; 227-0003-10L, Spring, 2025

数字设计与计算机体系结构 (Digital Design and Computer Architecture) - 2025年春季 (Spring 2025) 总结

本课程(227-0003-10L)旨在为学生提供数字电路设计和计算机体系结构的基础知识。

课程信息:

  • 描述: 课程介绍从底层构建计算平台的技术基础,涵盖各种执行范式、硬件描述语言以及数字设计和计算机体系结构中的关键原则。重点关注现代微处理器的设计及其硬件/软件接口。
  • 目标: 学生将学习数字电路设计,以理解计算机体系结构的基础、原理和先例,从而:
    • 深入了解现代计算机的底层工作原理。
    • 评估不同设计方案的权衡。
    • 实现一个简单的微处理器。
    • 系统地调试日益复杂的系统。
    • 为开发创新的设计做好准备。
  • 课程链接: 课程描述 Moodle

时间安排:

  • 讲座: 周四和周五 14:15-16:00,HG F7 (HG F5 为溢出教室)。 讲座可通过YouTube直播观看。
  • 实验课:
    • 周二 16:15-18:00
    • 周三 16:15-18:00
    • 周五 08:15-10:00
    • 周五 10:15-12:00 实验教室:HG E19, HG E26.1, HG E26.3, HG E27, HG D11, HG D12。

先修知识: 无。

教职员工:

  • 讲师: Onur Mutlu, Mohammad Sadrosadati
  • 助教: Ataberk Olgun (Head TA), Giray Yaglikci, Can Firtina, Geraldo De Oliveira Junior, Rahul Bera, Konstantinos Kanellopoulos, Nika Mansouri Ghiasi, Nisa Bostancı, İsmail Emir Yüksel, Haocong Luo。 具体联系方式和办公室信息请参考原文。

本课程强调基础知识、设计原则和先例,旨在培养学生创建和实现良好设计的能力。

X210Ai is a new motherboard to upgrade ThinkPad X201/200

X210Ai 主板升级概览

X210Ai 是一款专为升级 Thinkpad X201/200 系列笔记本设计的全新主板。以下是其主要特性和细节:

核心配置:

  • CPU: 支持 Ultra 7 165H 和 Ultra 9 185H 两种型号。
  • 存储: 提供多种存储选项:
    • 两个 M.2 SSD PCIE 4.0 接口 (一个 2280, 一个 2242)。
    • 保留原有的 2.5 英寸 SATA 接口。
  • 内存: 支持 DDR5 5600MHz 内存,最高可达 128GB (64GB + 64GB)。
  • 显示输出: 支持 HDMI 2.1 输出。

扩展功能:

  • Type-C 接口: 包含两个 Type-C 接口:
    • 一个支持 Thunderbolt 4.0。
    • 另一个是全功能 Type-C 接口。
  • 显示屏兼容性: 兼容 X2100 系列的屏幕,包括 X201/200 原装屏幕,以及 13 英寸 3000×2000, 13.3 英寸 1920×1200 和 13.3 英寸 2560×1600 分辨率的屏幕。
  • WWAN: 支持 4/5G 网络。

其他特性:

  • 散热: SATA 接口位置可安装第二个风扇,增强散热能力。
  • 设计: 采用新的子板设计。

当前限制:

  • 目前无法保证 Coreboot 支持,但团队仍在积极探索解决方案。

相关链接:

ESA Sentinel-1D delivers first high-resolution images

欧洲空间局发布哥白尼哨兵-1D首张高分辨率雷达图像总结

2025年11月26日,欧洲空间局(ESA)在德国不来梅举行的部长理事会会议上首次公开了来自哥白尼哨兵-1D卫星的首张高分辨率图像。这些图像展示了南极洲、南美洲南部以及德国不来梅市的景象。

主要内容:

  • 卫星发射及运行: 哨兵-1D卫星于2025年11月4日搭乘阿丽亚娜6运载火箭从法属圭亚那发射升空。发射后两天,卫星成功启动并传回了首批图像。从发射到数据传输仅用时50小时,创下雷达地球观测卫星的最快数据传输记录。
  • 图像质量: 哨兵-1D的首张图像质量卓越,与哨兵-1C卫星拍摄的图像质量相近,为后续的调试工作奠定了良好的基础。
  • 仪器配置: 哨兵-1D卫星搭载了一台12米长的合成孔径雷达(SAR)仪器,同时还配备了自动识别系统(AIS)仪器,增强了任务对船舶和海污染监测的能力。
  • 观测区域及特点:
    • 南极洲: 展示了南极半岛,该区域是西南极冰盖的一部分,对气候变化尤为敏感。
    • 南美洲南部 (火地岛): 展示了位于南美洲南端的群岛,位于阿根廷和智利之间,以麦哲伦海峡分隔。
    • 皮努埃拉和松岛冰川: 展示了位于南极洲西部的皮努埃拉和松岛冰川,这两者都面临着气候变化带来的威胁,皮努埃拉冰川尤其不稳定。
    • 德国不来梅: 展示了德国城市不来梅的景象。
  • 技术优势: 雷达仪器可以在云层、降水和缺乏阳光的情况下对地球表面进行成像,使其特别适合监测极地地区。
  • 重要意义: 这些图像的发布恰逢联合国冰川保护国际年,并紧随COP30(第30届缔约方大会)之后,强调了冰川退化的严峻现实,以及气候变化问题。
  • 未来展望: ESA计划继续发展哥白尼地球观测计划的后续任务,以进一步扩展该计划的能力。

关键人物评价:

  • ESA哨兵-1任务经理Nuno Miranda赞扬这些图像具有前所未有的数据质量。
  • ESA地球观测项目主任Simonetta Cheli强调了这些数据对气候变化研究和应对的重要性。
  • ESA哨兵-1项目经理Ramón Torres表达了团队成员对首次发布图像的自豪感和成就感。
LLVM-MOS – Clang LLVM fork targeting the 6502

llvm-mos 项目总结

llvm-mos 是一个基于 LLVM 的开源分支,专注于为 MOS Technology 65xx 系列微处理器及其相关处理器提供一流的支持。它旨在实现现代软件开发,并支持多种经典平台。

核心内容:

  • LLVM 分支: llvm-mos 是 LLVM C/C++ 编译器的一个分支,针对 6502 系列处理器和兼容处理器进行了优化。该编译器采用了多种创新方法,以提高 6502 代码的大小和速度,通常优于传统的 6502 编译器。
    • 支持广泛的 C99 和 C++11 独立兼容性。
    • 内置 IEEE-754 浮点数支持。
    • 提供一流的集成 65xx 汇编器支持。
    • 继承了 Clang 的高质量错误信息。
  • 软件开发工具包 (SDK): llvm-mos 提供了一个 SDK,包含针对特定 65xx 基础微型计算机的代码。
    • 包含一个最小的 C 标准库,支持内存管理和文本输出。
    • 提供了一系列示例程序。
    • 目前支持超过二十多种目标平台,包括基于主机模拟器。
  • ELF 支持: llvm-mos 实现了完整的 ELF 支持,允许使用现有的 LLVM 工具来创建、分析和修改 6502 对象文件和库。
  • 测试和打包基础设施: 项目拥有开源的自动化测试和打包基础设施。
    • 使用 GitHub runners 验证编译器构建,并针对 LLVM 测试套件和自定义 smoke tests 进行测试。
    • 运行自动基准测试。

演示和试用:

  • 可以在 Godbolt (https://godbolt.org/z/c11Th3oMW) 上直接体验编译器,例如 Commodore 64 项目,可以点击 "Click here to emulate" 链接来观察 Commodore 64 计算一百位 Pi 的过程。

参与方式:

重要声明:

  • llvm-mos 项目并非 LLVM 基金会的官方附属或认可项目。它是一个 LLVM 分支,提供了新的后端和 Clang 目标。 项目基于 LLVM,但不是 LLVM 的一部分。 使用 LLVM 或其他相关商标并不意味着有任何附属或认可关系。

获取和使用:

Grokipedia is the antithesis of Wikipedia

总结:关于维基百科、Grokipedia 以及信息建设的探讨 (Summary: On Wikipedia, Grokipedia, and the Construction of Information)

这篇文章探讨了维基百科的价值以及埃隆·马斯克推出的AI“百科全书”Grokipedia的失败,并强调了人类协作在信息建设中的重要性。

主要内容包括:

  1. 维基百科的奇特之处: 作者通过Reddit上的一个帖子,进入了维基百科关于“不寻常死亡”的列表,并发现维基百科编辑们对“不寻常”的定义有着严格的标准,许多最初列出的死亡案例因为不够奇特而被删除。这体现了维基百科编辑过程中人类参与和讨论的重要性。
  2. Grokipedia的诞生和缺陷: 埃隆·马斯克推出了Grokipedia,旨在成为一个右翼、反“觉醒”的维基百科竞争对手。然而,Grokipedia本质上是一个由AI生成的、缺乏人类参与的“信息吐露机”,它试图模仿维基百科,但却完全失去了维基百科的精髓。文章指出Grokipedia存在诸多问题,包括内容冗长混乱、缺乏内部链接和图片、缺乏版本历史和透明度,以及带有保守色彩。
  3. 维基百科的“编辑”价值: 维基百科的价值在于其背后的人工编辑,他们通过复杂的规则和讨论,对信息的选择、呈现方式和语言进行精心把关。这种人工参与确保了信息的质量和可信度。
  4. Grokipedia的指令泄露: Grokipedia的西班牙语版本页面显示了“Wait, no, can’t cite Wiki”的指令,表明其被编程为避免链接到维基百科。
  5. 维基百科的韧性: 尽管维基百科面临来自政治人物、AI技术和互联网结构变化(如AI摘要和知识面板)的挑战,但它仍然具有强大的韧性,因为它建立在人类的共同智慧和协作之上,这种共享的怪异性和信息处理方式是AI永远无法超越的。
  6. **作者观点:**作者认为Grokipedia最终会失败,因为它无法复制维基百科的非营利性、协作性和人类参与的特性。

总而言之,文章强调了维基百科作为人类协作信息建设典范的价值,并批判性地评价了Grokipedia作为AI“百科全书”的失败, 预示着AI无法替代人类在信息处理和知识构建中的作用。