3天前
|
|
|
## 今天 Hacker News 社区聊了啥？ NO.20251201
今天的科技日报信息量爆炸！从编译器底层优化到自建 Matrix 服务器，再到抵御AI内容污染的浏览器插件，带你深度探索技术世界的奥秘。还有瑞士地图上的隐藏彩蛋、FreeBSD的忠实拥趸、以及树莓派的最新动态，绝对让你大开眼界。想知道如何在AI时代保持清醒？想了解那些被遗忘的工程奇迹？赶紧点开全文，一起涨知识，避坑雷，玩转科技圈！
---
## 为什么使用 `xor eax, eax` 来置零寄存器？
Matt Godbolt 的博客解释了编译器为何偏爱使用 `xor eax, eax` 而不是 `mov eax, 0` 来将寄存器置零。文章深入探讨了这种看似简单的指令选择背后的优化原理，以及它在 x86 架构上的性能优势。
编译器通常会生成 `xor eax, eax` 指令来将 EAX 寄存器设置为零。虽然 `mov eax, 0` 也能达到同样的效果，但 `xor eax, eax` 只需要两个字节，而 `mov eax, 0` 需要五个字节。更重要的是，现代 x86 CPU 能够识别 `xor eax, eax` 这种 "zeroing idiom"，并对其进行优化，将其从执行队列中移除，实现零执行周期。即使需要 64 位结果，写入 `eax` 也会免费将高 32 位清零。即使对于像 `r8` 这样的扩展寄存器，编译器仍然倾向于使用 `xor r8d, r8d`，这主要是为了简化编译器设计。总而言之，`xor eax, eax` 既能节省代码空间，又能减少执行时间。
评论区也对此展开了热烈讨论，许多开发者分享了他们早期编程的经验。有人提到在 6502 汇编中，异或操作常用于加密或精灵例程，而在 Z80 汇编中，`XOR A` 是最快清零累加器和标志寄存器的方法。还有人分享了在编写 x86 汇编时，被 CEO 指出应该使用 `xor ax, ax` 而不是 `mov ax, 0` 的趣事。另一些评论则深入探讨了现代 CPU 如何识别这些零化模式并进行优化，以及在内存有限的早期计算机上，节省一个字节的重要性。总的来说，评论区从历史、架构和优化等多个角度，补充和丰富了文章的内容。
- 原文: [Why xor eax, eax?](https://xania.org/202512/01-xor-eax-eax)
- Hacker News: [https://news.ycombinator.com/item?id=46106556](https://news.ycombinator.com/item?id=46106556)
- 作者: hasheddan
- 评分: 156
- 评论数: 58
- 发布时间: 2025-12-01 20:22:35
---
## 自建 Matrix 服务器五年体验：协议、Synapse 和 Element 应用
本文作者分享了自建 Matrix 服务器五年的经验，主要涉及 Matrix 协议、Synapse 服务器、桥接以及 Element 移动应用的使用体验。文章深入探讨了 Synapse 服务器的优缺点，以及 Element 应用的特性。
### Synapse 服务器的挑战与解决方案
文章详细剖析了 Synapse 服务器的多个方面。首先，Synapse 依赖 PostgreSQL 数据库，且强制开启 federation 模式，这给小型服务器带来不必要的复杂性。其次，Synapse 需要持续清理，包括删除无用房间和孤立附件，数据库还会因 state_groups_state 表无限增长而失控。更令人担忧的是，Synapse API 不支持删除用户，这可能违反 GDPR 法规。
尽管面临诸多挑战，Synapse 也有其优点，例如稳定可靠、支持桥接，并且 API 文档完善，方便开发者进行二次开发。作者还分享了自己开发的 Synapse 管理页面，以弥补官方缺失管理面板的不足。
### Element 应用的优缺点
作者对比了 Element Classic 和 Element X 两款应用。Element Classic 在各平台体验一致，但存在图片无法添加标题、通知延迟以及离线状态无提示等问题。此外，Element Classic 还会尝试连接第三方服务，存在一定的隐私风险。Element X 作为推荐的替代品，在性能和用户体验上有所提升。
### Matrix 生态的未来
Element 公司推出了 Element Server Suite (ESS)，旨在简化 Matrix 服务器的部署和管理。然而，ESS Community 版本对硬件要求较高，这对于小型服务器来说可能是一种负担。
总的来说，自建 Matrix 服务器需要一定的技术能力和维护成本。虽然 Matrix 生态系统在不断发展，但仍有许多问题需要解决。
- 原文: [Self-hosting a Matrix server for 5 years](https://yaky.dev/2025-11-30-self-hosting-matrix/)
- Hacker News: [https://news.ycombinator.com/item?id=46106132](https://news.ycombinator.com/item?id=46106132)
- 作者: the-anarchist
- 评分: 128
- 评论数: 51
- 发布时间: 2025-12-01 19:26:39
---
## 瑞士地图中的秘密插画：地图制作者的创意反叛
这篇文章讲述了瑞士地图制作者在官方地图中隐藏秘密插画的故事，揭示了严谨的制图工作背后隐藏的创意表达。这些秘密插画挑战了地图“重现现实”的使命，也反映了制图师们在高度精确的工作中寻求突破的渴望。
文章指出，瑞士联邦地形办公室（Swisstopo）的地图以其精确性著称。然而，在一些地图的偏远地区，却隐藏着蜘蛛、人脸、裸女、徒步旅行者、鱼和土拨鼠等不易察觉的图像。这些并非错误，而是Swisstopo的官方制图师故意添加的插画，他们试图在“重现现实”的任务中进行反叛。
为了在严格的校对过程中不被发现，制图师们必须足够聪明。许多制图师选择在退休时公布他们的秘密插画。然而，Swisstopo并不赞同这种行为，认为“创造力在地图上没有地位”，并已移除了一半以上的已知插画。
文章还提到，地图中出现错误并不罕见，包括意外错误和故意错误。故意错误通常用于识别抄袭者。此外，洛伦兹·胡尔尼教授认为，这些秘密插画是制图师们在高度精确的工作中寻求突破的一种方式，是内部玩笑和应对机制。
- 原文: [Cartographers Have Been Hiding Covert Illustrations Inside of Switzerland's Maps](https://eyeondesign.aiga.org/for-decades-cartographers-have-been-hiding-covert-illustrations-inside-of-switzerlands-official-maps/)
- Hacker News: [https://news.ycombinator.com/item?id=46107282](https://news.ycombinator.com/item?id=46107282)
- 作者: mhb
- 评分: 28
- 评论数: 4
- 发布时间: 2025-12-01 21:41:15
---
## 逃离AI垃圾信息：一款浏览器插件帮你重回“纯真”互联网
这款名为 "Slop Evader" 的浏览器插件，旨在过滤掉由 AI 生成的内容，只显示 2022 年 11 月 30 日之前发布的，由人类创作的内容。随着 ChatGPT 等大型语言模型的普及，互联网上充斥着大量 AI 生成的文本、图像和视频，这款插件通过 Google 搜索 API，帮你找回由人类创作的原始内容。
插件的开发者认为，AI 正在污染互联网，为了确保搜索结果是由人类编写或制作的，这款插件应运而生。你可以选择安装 Chrome 版本或 Firefox 版本。这个工具的出现，反映了人们对于 AI 生成内容泛滥的担忧，以及对高质量、原创内容的渴望。
有评论指出，早在 AI 出现之前，搜索引擎的质量就已经在下降。YouTube 搜索被复制到 Google 常规搜索中，导致搜索结果充斥着不相关的信息，广告的过度展示也降低了用户体验。有人将寻找高质量内容比作寻找低背景辐射钢材，认为互联网上充斥着大量低质量的“token”。
也有人联想到游戏《赛博朋克 2077》中的情节，由于初代互联网被危险的 AI 感染，人们不得不建立防火墙，并创建一个新的、专门防止 AI 入侵的互联网。这引发了关于未来是否需要建立一个“人类专属互联网”的思考。
另一些评论则认为，AI 生成的内容大多取代了内容农场的 SEO 垃圾信息，对于有经验的搜索者来说，影响并不大。只要遵循避免 SEO 垃圾信息的规则，就能很好地规避 AI 生成的内容。但也有人分享了被 ChatGPT 误导的经历，ChatGPT 不仅虚构答案，还用 AI 生成的文章来佐证自己的观点，这凸显了在信息爆炸时代，评估信息来源的重要性。
当然，也有不同的声音。有人认为，过滤 AI 内容有点“傻”，就像创建一个只显示 Photoshop 之前创作的图像的搜索引擎一样。也有人开始怀念纸质百科全书的时代。总的来说，这款插件的出现以及相关的讨论，反映了人们对于 AI 内容的复杂情感，既有担忧，也有反思。
- 原文: [Search tool that only returns content created before ChatGPT's public release](https://tegabrain.com/Slop-Evader)
- Hacker News: [https://news.ycombinator.com/item?id=46103376](https://news.ycombinator.com/item?id=46103376)
- 作者: dmitrygr
- 评分: 616
- 评论数: 241
- 发布时间: 2025-12-01 12:06:06
---
## 探索古代工程奇迹：揭秘历史照片中的建造技术
本文通过一系列历史照片，展示了古代文明令人惊叹的工程技术，揭示了古人在缺乏现代机械的情况下，如何运用智慧、观察和实验来建造城市、引水灌溉、改造地貌以及建造经久耐用的建筑。这些创新体现了需求与创造力的结合，留下了至今仍具有价值的遗产。
文章首先介绍了古罗马的地下供暖系统（Hypocaust），这是一种早期的集中供暖形式，通过在 Raised floors 下方流通热空气来加热浴室和公共建筑。接着，文章提到了秘鲁 Caral-Supe 文明 5000 年前的抗震基础，他们使用装满石头的编织篮（shicras）作为柔性基础，吸收和分散地震能量。此外，文章还介绍了用金属夹固定巨石的方法，以及庞贝古城出土的罗马水龙头，这些水龙头是罗马发达的供水系统的一部分。
文章还介绍了英国 Macclesfield 运河上的蛇桥，这种桥梁的设计是为了让马匹可以不间断地牵引驳船过河。秘鲁的印加石桥展示了安第斯工程师如何利用当地材料和环境知识建造耐用的基础设施。庞贝古城的罗马人行横道，以及罗马道路的分层结构，都体现了古代工程师的智慧。文章还提到了英国 Somerset 的 Sweet Track，这是新石器时代的木制走道，是世界上最古老的人工路径之一。
文章继续介绍了叙利亚哈马的 Norias，这是一种利用水车从奥龙特斯河中提水进行灌溉的装置。罗马和中国的水管展示了古代在水利工程方面的成就。拜占庭的齿轮机械日历是继 Antikythera Mechanism 之后第二古老的同类设备。伊朗 Nashtifan 的古老风车利用沙漠强风磨碎谷物。最后，文章介绍了法国 Barbegal 的水磨坊，这是欧洲第一个大规模的工业研磨作业。
- 原文: [Historic Engineering Wonders: Photos That Reveal How They Pulled It Off](https://rarehistoricalphotos.com/engineering-methods-from-the-past/)
- Hacker News: [https://news.ycombinator.com/item?id=46045876](https://news.ycombinator.com/item?id=46045876)
- 作者: dxs
- 评分: 26
- 评论数: 2
- 发布时间: 2025-11-25 22:04:37
---
## 游戏反作弊系统与 GNU/Linux 及 Wine/Proton 的兼容性
本文介绍了一个名为 "Are We Anti-Cheat Yet?" 的网站，该网站提供了一个关于哪些游戏使用反作弊系统以及它们与 GNU/Linux 或 Wine/Proton 兼容性的众包列表。该网站旨在帮助 Linux 游戏玩家了解他们喜欢的游戏是否可以在 Linux 上运行，以及是否需要采取额外的步骤才能运行。
该网站列出了大量游戏，并根据其反作弊系统在 Linux 上的运行状态进行分类，包括“支持”、“运行”、“计划”、“损坏”和“拒绝”等状态。每个游戏条目都提供了有关反作弊系统、注意事项、记录的更新和详细信息的更多信息。例如，《光环：士官长合集》被列为“支持”，并注明“所有模式均已启用，但有一些小问题”。《堡垒之夜》、《Apex 英雄》和《Valorant》等游戏则被列为“拒绝”。《光环：无限》被标记为“支持”，但需要打补丁的 Mesa 和 Proton GE。
该网站还提供了一个反作弊系统细分页面，解释了每个状态的含义。用户可以搜索和排序游戏列表，按名称、状态和更新进行排序。该网站的目的是为 Linux 游戏玩家提供一个有用的资源，帮助他们了解哪些游戏可以在 Linux 上运行，以及哪些游戏可能存在问题。
评论区讨论了反作弊系统的各个方面，包括其必要性、安全隐患以及在 Linux 上实施的难度。一些评论员认为，反作弊系统本质上是 rootkit，对用户隐私构成威胁。另一些人则质疑是否真的需要客户端反作弊，认为服务器端模型训练和统计分析可能更有效。还有人指出，游戏公司对 Linux 反作弊的关注与他们在安全性较差的 Switch 平台上发布游戏形成对比。一些用户表示，他们宁愿放弃玩那些不兼容 Linux 的游戏，也不愿安装具有侵入性的反作弊软件。总体而言，评论反映了对反作弊系统有效性、安全性和 Linux 兼容性的复杂看法。
- 原文: [Games using anti-cheats and their compatibility with GNU/Linux or Wine/Proton](https://areweanticheatyet.com/)
- Hacker News: [https://news.ycombinator.com/item?id=46104396](https://news.ycombinator.com/item?id=46104396)
- 作者: doener
- 评分: 129
- 评论数: 144
- 发布时间: 2025-12-01 15:05:57
---
## 技术公司在经济逆境中的生存之道
Andy Bell 的文章讲述了其公司 Set Studio/Piccalilli 在 2025 年面临的严峻挑战，探讨了在经济不景气、政治不稳定以及“AI 替代论”盛行的情况下，独立技术公司如何维持运营并坚持道德原则。
文章指出，公司拒绝参与 AI 产品营销，因为作者认为这项技术正在暴露其负面影响。相反，他们专注于为用户构建真正有用的网站和设计系统，并通过 Piccalilli 提供免费的教育内容，同时依靠付费课程维持运营。
尽管作者曾梦想全职运营 Piccalilli，但由于资金紧张，社区资助模式未能成功。文章呼吁大家支持他们的工作，可以通过购买黑五优惠课程、在社交媒体上分享课程和工作室，或者聘请 Set Studio 进行项目合作。
作者强调，Set Studio 与其他机构不同，他们致力于成为客户的合作伙伴，提供高效、公平定价的服务，专注于品牌建设、信息传递和内容架构，以提升用户体验和业务增长。他们在新的一年有项目合作机会，作者本人也将重新提供 CSS 和前端咨询服务。
总而言之，这篇文章坦诚地分享了一家小型技术公司在充满挑战的经济环境中的挣扎与坚持，并呼吁社区的支持，同时也展现了公司独特的价值观和服务理念。
- 原文: [It’s been a very hard year](https://bell.bz/its-been-a-very-hard-year/)
- Hacker News: [https://news.ycombinator.com/item?id=46103858](https://news.ycombinator.com/item?id=46103858)
- 作者: surprisetalk
- 评分: 209
- 评论数: 239
- 发布时间: 2025-12-01 13:36:48
---
## 使用 Trifold 轻松部署静态网站到 CDN
Trifold 是一个利用内容分发网络 (CDN) 托管静态网站的工具，旨在帮助开发者以低成本快速部署静态站点。它特别适合使用 Hugo、Zola 或 Quarto 等静态站点生成器构建的网站。
Trifold 提供了一个简单的命令行界面 (CLI)，可以初始化新项目，将本地 HTML、CSS、JS 等文件同步到 CDN 并清除缓存，配置指向文件的自定义域名并启用 SSL，设置每月最高费用以避免意外账单，以及使用 CDN 边缘函数来支持重定向。
该项目旨在为独立开发者和学生提供一个经济可靠的托管方案，作为 Cloudflare Pages、Netlify 和 GitHub Pages 等服务的替代方案。Trifold 目前仅支持 bunny.net，但未来可能会添加更多提供商。bunny.net 是一种专业级的 CDN，价格也很实惠，存储和带宽的起价均为每月每 GB 0.01 美元。
对于大多数静态网页而言，存储成本可以忽略不计，即使是中等大小的页面，即使访问量激增，费用也很低廉。该工具推荐使用 uvx 进行安装和升级，同时也支持 pip、pipx、poetry 等其他 Python 包管理器。
评论区里，用户对 Trifold 的简易性表示赞赏，并认为这是一个尝试 bunny.net 的好机会。有人分享了使用 GCP 免费套餐搭建私有静态站点知识库的经验，以及使用 GCS/Cloud Build 自动化部署类似站点的方案。
另有用户提到，他们将实验性项目和个人网站托管在 Cloudflare 上，每月流量 68.44GB，但费用为零。该用户一直在寻找超便宜的 CDN，并表示 Bunny CDN 之前的最低消费较高，可能误解了相关信息。
还有用户指出，Cloudflare Pages 和 Netlify 提供动态计算，而 Trifold 更像是 S3 + Cloudflare 的组合，后者对于大多数用例是免费且易于使用的。
- 原文: [Trifold is a tool to quickly and cheaply host static websites using a CDN](https://www.jpt.sh/projects/trifold/)
- Hacker News: [https://news.ycombinator.com/item?id=46031608](https://news.ycombinator.com/item?id=46031608)
- 作者: birdculture
- 评分: 62
- 评论数: 14
- 发布时间: 2025-11-24 16:19:45
---
## 致 FreeBSD 的一封情书：稳定、可靠与长久
这篇文章作者表达了对 FreeBSD 的喜爱，认为它在喧嚣的科技世界中保持着冷静和专注。FreeBSD 注重系统的整体性，追求长久的稳定运行，并拥有类似大型机的可靠性。作者希望 FreeBSD 能继续保持其独特的优势，在快速发展的桌面领域和服务器领域之间找到平衡，并进一步提升软件包生态系统的稳定性。
作者认为 FreeBSD 的核心设计理念与 Solaris 鼎盛时期相似，即构建一个稳定的基础，让商业和社区软件能够放心地依赖它。文章强调了 uptime 的重要性，认为千年 uptime 不应该只是传说，而应该成为常态。作者还提到了文化的重要性，希望 FreeBSD 能够保持其开放和协作的氛围，让技术爱好者和企业用户能够和谐共处。同时，作者也希望 FreeBSD 能够加强与硬件厂商的合作，并提供更好的硬件支持。
评论区也表达了对 FreeBSD 的喜爱和一些担忧。
* **arthurfirst** 分享了自己使用 FreeBSD 26 年的经历，并赞扬了 FreeBSD 的文档和硬件兼容性。
* **MisterTea** 讲述了自己从其他系统迁移到 FreeBSD 的过程，并强调了硬件选择的重要性。
* **knowknow** 认为 FreeBSD 在爱好者社区中越来越受欢迎，是因为 Linux 变得过于主流。
* **andrehacker** 表达了对 FreeBSD 发布周期的担忧，认为其较短的支持周期给生产环境带来了挑战。他将 FreeBSD 与 RedHat 和 Microsoft 进行了比较，认为它们在稳定性方面做得更好。
* **vogon_laureate** 认为 BSD 系统帮助他更好地理解了 Unix。
总的来说，评论区既有对 FreeBSD 的赞扬，也有对其不足之处的担忧。这些不同的观点反映了 FreeBSD 在不同用户群体中的不同体验和需求。
- 原文: [A Love Letter to FreeBSD](https://www.tara.sh/posts/2025/2025-11-25_freebsd_letter/)
- Hacker News: [https://news.ycombinator.com/item?id=46100892](https://news.ycombinator.com/item?id=46100892)
- 作者: rbanffy
- 评分: 366
- 评论数: 227
- 发布时间: 2025-12-01 06:05:07
---
## 如何编写高质量的 CLAUDE.md 文件以优化代码助手 Claude 的性能
本文主要介绍了如何编写一个好的 `CLAUDE.md` 文件，以便更好地引导 Claude（或其他类似的编码助手）理解你的代码库，从而提高其工作效率和准确性。`CLAUDE.md` 文件是 Claude 了解项目的重要途径，它应该包含项目相关的关键信息。
文章强调了几个核心原则。首先，LLM（大型语言模型）本质上是无状态的，它们不会在会话之间保留记忆。因此，每次与 Claude 交互时，都需要通过 `CLAUDE.md` 文件提供必要的上下文信息。其次，`CLAUDE.md` 的作用是引导 Claude 了解你的代码库，包括技术栈、项目结构、项目目的以及如何进行开发和验证。
文章还指出，Claude 可能会忽略 `CLAUDE.md` 文件中的内容，尤其是当文件包含过多与当前任务无关的信息时。因此，编写 `CLAUDE.md` 的关键在于保持简洁和通用性。避免包含特定任务的指令，而是专注于提供 Claude 在任何情况下都需要的核心信息。
为了创建一个好的 `CLAUDE.md` 文件，文章提出了一些建议。例如，减少指令的数量，只包含普遍适用的信息。保持文件长度适中，通常建议小于 300 行，最好更短。利用“渐进式披露”原则，将特定任务的指令放在单独的文件中，只在需要时才提供给 Claude。这样可以确保 Claude 始终专注于最相关的信息，从而提高其性能。总而言之，编写高质量的 `CLAUDE.md` 文件需要权衡信息的完整性和简洁性，以最大程度地发挥 Claude 的潜力。
- 原文: [Writing a good Claude.md](https://www.humanlayer.dev/blog/writing-a-good-claude-md)
- Hacker News: [https://news.ycombinator.com/item?id=46098838](https://news.ycombinator.com/item?id=46098838)
- 作者: objcts
- 评分: 614
- 评论数: 228
- 发布时间: 2025-12-01 01:56:43
---
## 2025 Linux & DevOps 故障排除挑战赛
SadServers 推出 2025 年的 Linux 和 DevOps 故障排除挑战赛，这是一个为期 12 天的 "系统管理员降临日历"，每天都会发布不同难度的 Linux 和 DevOps 挑战。
这个活动从 12 月 1 日持续到 12 月 12 日，每天都会有一个新的场景。为了跟踪进度，需要注册一个免费帐户。即使不注册，也可以尝试解决无需注册的示例场景。例如，"Auderghem": 容器通信故障，这是一个简单的修复类型挑战，目标是修复 Nginx Docker 容器的配置，使其能正确地将流量重定向到两个静态 HTML 容器。挑战需要在 30 分钟内完成，并且允许重启容器，但不允许停止或删除它们。挑战的测试是通过 `curl` 命令验证 Nginx 容器是否正确地将流量转发到 `statichtml1` 和 `statichtml2` 容器。
评论区里，一位用户分享了 12 个可以作为系统管理员/DevOps 挑战的真实场景，例如让用户停止以 root 身份登录、停止共享登录凭据、升级过时的依赖项、使用配置管理工具、采用不可变镜像等等。另有用户表示，在无聊的时候，解决 SadServers 的问题似乎很有趣。还有人提到，DevOps 现在是不是改名叫 SRE 了，并对这种为了创造新名词而改名的现象表示不满。也有用户表达了对 SadServers 的喜爱，并期待推出 Windows 版本。有人分享了在浏览器中使用 `Ctrl+W` 意外关闭窗口的痛苦经历。还有用户反馈说，他们的进度没有被记录。一位用户提到，即使他们成功解决了挑战，但检查脚本并不满意，因为他们的解决方案与预期的方式不同，这让他们感到沮丧，并认为 CTF 应该只关注获取 Flag。还有人希望能够看到类似 Kubernetes 和 Docker 等容器生态系统的挑战。最后，有人好奇最近流行的 12 天降临日历是怎么回事。
- 原文: [Advent of Sysadmin 2025](https://sadservers.com/advent)
- Hacker News: [https://news.ycombinator.com/item?id=46102347](https://news.ycombinator.com/item?id=46102347)
- 作者: lazyant
- 评分: 283
- 评论数: 82
- 发布时间: 2025-12-01 09:17:28
---
## SmartTube APK 遭遇恶意软件入侵：用户安全指南
近期，流行的 Android TV 和 Fire TV 替代 YouTube 应用 SmartTube 官方 APK 遭到恶意软件入侵，用户需要采取一些预防措施。本文将详细说明事件经过以及用户应该如何应对。
SmartTube 的开发者表示，用于创建 APK 的电脑被恶意软件感染，导致部分官方发布的 SmartTube 版本意外地包含了恶意软件。受影响的版本可能从本月早些时候开始，其中 30.43 和 30.47 版本已被病毒扫描器标记为感染。这可能也是 Google 和 Amazon 强制卸载部分设备上的 SmartTube 的原因。目前，开发者已经清理了受感染的机器，并确信新的 SmartTube 版本和用于创建它们的机器都是安全的。
为了安全起见，所有旧版本的 SmartTube 都已从 GitHub 项目中删除。尽管没有证据表明该应用程序的数字签名被盗用，但开发者已经放弃了旧签名并替换为新的签名。版本 30.56 是第一个由未受感染的机器构建并使用新数字签名的版本。用户可以使用 Downloader 应用通过代码 28544（稳定版）或 79015（测试版）安装此版本。
目前，恶意软件的具体功能尚不清楚。SmartTube 只请求最少的帐户权限，不直接要求提供任何登录信息。即使你授予了该应用访问 Google Drive 的权限以进行备份，你的 Google 帐户和常规 Google Drive 文件仍然不在该应用的权限范围内。与帐户访问相关的权限中，似乎只有控制你的 YouTube 帐户的权限容易暴露给恶意软件。
尽管如此，由于对恶意软件知之甚少，用户应做好最坏的打算。如果你使用 SmartTube 并且担心受到此恶意软件的影响，你应该恢复出厂设置所有安装过该应用程序的设备，尤其是在 11 月份安装或更新过该应用程序的设备。此外，最好审核你的 Google 帐户权限和 YouTube 帐户活动，看看是否有任何异常情况。在你的设备和帐户恢复正常后，如果你想重新安装 SmartTube，请务必只通过上述代码/链接安装最新版本。
- 原文: [SmartTube Compromised](https://www.aftvnews.com/smarttubes-official-apk-was-compromised-with-malware-what-you-should-do-if-you-use-it/)
- Hacker News: [https://news.ycombinator.com/item?id=46103657](https://news.ycombinator.com/item?id=46103657)
- 作者: akersten
- 评分: 112
- 评论数: 90
- 发布时间: 2025-12-01 13:01:01
---
## DeepSeekMath-V2：迈向自我验证的数学推理
DeepSeekMath-V2 是一个大型语言模型，旨在提升数学推理能力，尤其侧重于定理证明的自我验证。该模型通过训练一个精确且可信的 LLM 验证器，并将其用作奖励模型来训练证明生成器，从而鼓励生成器在最终确定证明之前识别和解决自身证明中的问题。
DeepSeekMath-V2 的核心在于其自我验证机制，它通过验证器来确保数学推理的全面性和严谨性。为了保持生成器和验证器之间的差距，该模型还采用了扩展验证计算的方法，自动标记难以验证的证明，从而创建训练数据以进一步改进验证器。评估结果显示，DeepSeekMath-V2 在 IMO 2025 和 CMO 2024 上取得了金牌水平的分数，并在 Putnam 2024 上获得了接近满分的成绩。该模型基于 DeepSeek-V3.2-Exp-Base 构建，并已开源权重，采用 Apache 2.0 许可。
DeepSeekMath-V2 的研究方向是自我验证的数学推理，这被认为有助于开发更强大的数学 AI 系统。该模型在数学竞赛中表现出色，表明其在定理证明方面具有强大的能力。
评论区主要关注了以下几个方面：
* **开源与否：** 有评论指出，与 OpenAI 和 DeepMind 的 IMO 金牌模型不同，DeepSeekMath-V2 开源了权重，这被认为是一个重要的优势。
* **模型用途：** 有评论提到，DeepSeekMath-V2 并非通用模型，而 Google 和 OpenAI 使用的模型是通用模型。
* **实际应用：** 有评论询问该模型在复杂逻辑任务（如调试或算法生成）中的表现。
* **部署问题：** 有评论询问如何在家庭环境中运行此类模型，例如在具有大量 RAM 的 CPU 上。
* **商业模式：** 有评论质疑 OpenAI 如何在 ChatGPT 中投放广告，同时避免用户流失到其他模型。
总的来说，评论区对 DeepSeekMath-V2 的开源表示赞赏，并对其在特定领域的应用潜力感兴趣，同时也关注了模型的通用性、部署和商业化等问题。
- 原文: [DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning](https://huggingface.co/deepseek-ai/DeepSeek-Math-V2)
- Hacker News: [https://news.ycombinator.com/item?id=46105079](https://news.ycombinator.com/item?id=46105079)
- 作者: victorbuilds
- 评分: 198
- 评论数: 67
- 发布时间: 2025-12-01 16:54:31
---
## 使用 CSS 创建维多利亚风格的重复边框
本文介绍了如何将 19 世纪的图形边框转换为可重复的 CSS 边框，适用于由几乎相同的重复元素组成的边框。
文章详细讲解了使用 Inkscape 软件将图片矢量化，分离重复元素，重新排列元素以便于 CSS 重复，并创建 CSS 代码以避免边框元素被截断的步骤。首先，从免费版权的素材库中选择合适的边框图像，然后导入 Inkscape 进行矢量化处理，将图像转换为 SVG 格式。接着，将矢量化的路径分割成单独的元素，处理可能存在的元素合并情况，并确保每个重复元素的宽度一致。文章给出了具体的 Inkscape 操作步骤，例如使用“路径->拆分路径”和“路径->差集”等功能。为了实现无缝重复，需要将每个元素的宽度调整为相同的值，并使用 Inkscape 的对齐和分布功能进行排列。最后，文章介绍了如何使用 CSS 的 `round()` 函数来确保边框的宽度始终是重复元素宽度的倍数，从而避免元素被截断。完整的 CSS 代码包括设置 `width`、`background-image`、`background-repeat` 和 `height` 属性。文章还提醒注意 `max-width` 属性可能导致的问题，并提供了使用 `<div>` 元素包裹 `<hr>` 元素或使用 `!important` 声明来解决的方法。
评论区中，chrismorgan 提出了另一种解决方案，如果图像是矢量图并且允许轻微拉伸，可以使用 `border-image-repeat: round;` 属性，这种方法更易于实现不同的 butt images。
- 原文: [Victorian-style lines for the web: Elements of identical width](https://jacobfilipp.com/victorian-line/)
- Hacker News: [https://news.ycombinator.com/item?id=46035507](https://news.ycombinator.com/item?id=46035507)
- 作者: surprisetalk
- 评分: 19
- 评论数: 2
- 发布时间: 2025-11-25 00:00:26
---
## WhatsApp 将根据 DMA 法规实现与其他消息应用程序的互操作性
本文讨论了由于欧盟《数字市场法案》(DMA) 的实施，WhatsApp 在欧洲将与其他消息应用程序实现互操作性的变化。这意味着 WhatsApp 用户将能够与使用其他兼容消息服务的用户进行通信。
Meta 公司宣布，将在未来几个月内为欧洲的 WhatsApp 用户推出第三方聊天互操作性功能。用户可以选择使用 "第三方聊天" 功能，直接与 BirdyChat 和 Haiket 等其他消息应用程序上的用户聊天。该功能允许用户发送消息、图片、视频、语音消息和文件。最初不支持与第三方平台的用户创建群组，但未来将会实现。Meta 强调，为了满足 DMA 的要求，同时保护用户的隐私和安全，他们与欧洲消息服务和欧盟委员会合作了三年多。
文章指出，Meta 公司遵守 DMA 法规是一个积极的举措，有助于打破 WhatsApp 在欧盟及其他地区的垄断地位。这将为规模较小的消息应用程序提供公平竞争的机会，并可能带来更好的服务、更强的隐私保护以及对用户更公平的待遇。虽然其他科技巨头也在努力遵守 DMA，但 Meta 在 WhatsApp 互操作性方面的努力是朝着正确方向迈出的一步。互操作性为欧洲人提供了更大的选择自由，让他们可以选择自己喜欢的消息平台。BirdyChat 和 Haiket 是首批与 WhatsApp 实现互操作性的消息应用程序。
文章还提到，欧盟此前曾禁止 Facebook 和 Instagram 上的个性化广告，并对 Meta 公司未经 GDPR 许可使用欧盟公民的公共数据训练 AI 模型提出质疑。
由于没有评论内容，这里省略评论分析。
- 原文: [WhatsApp will become interoperable with other messaging apps](https://tuta.com/blog/whatsapp-interoperable-in-europe)
- Hacker News: [https://news.ycombinator.com/item?id=46107109](https://news.ycombinator.com/item?id=46107109)
- 作者: marvinborner
- 评分: 44
- 评论数: 34
- 发布时间: 2025-12-01 21:23:44
---
## ThinkPad X201/X200 升级主板：X210Ai
X210Ai 是一款专为升级 ThinkPad X201/X200 设计的新主板，它带来了性能和功能上的显著提升。这款主板支持英特尔 Ultra 7 165H 和 Ultra 9 185H CPU，提供强大的计算能力。
在存储方面，X210Ai 支持两个 M.2 SSD PCIE 4.0 接口（一个 2280，一个 2242），并保留了原有的 2.5 英寸 SATA 接口，用户可以灵活选择存储方案。内存方面，它支持 DDR5 5600MHz，最高可达 128GB (64GB + 64GB)，满足高负载应用的需求。
X210Ai 配备了两个 Type-C 接口，其中一个支持 Thunderbolt 4.0，另一个是全功能 Type-C 接口，扩展性大大增强。同时，它还支持 HDMI 2.1 输出，方便连接外部显示器。在显示屏支持方面，X210Ai 兼容 X2100 的屏幕，包括原 X201/X200 的屏幕、13 英寸 3000x2000、13.3 英寸 1920x1200 以及 13.3 英寸 2560x1600 等多种选择。此外，它还支持 WWAN 4/5G，方便移动办公。SATA 的位置可以安装第二个风扇，增强散热效果。
需要注意的是，X210Ai 项目目前无法保证 coreboot 支持，但开发者表示会继续探索解决方案。
## 评论区观点
评论区里，大家对 X210Ai 的看法挺多元的。有人觉得老机器用久了，各种部件老化，再投入升级不太值当。也有人觉得价格偏高，不如直接买新款笔记本。还有人提到之前升级 X62 的经历，虽然花了不少钱，但过程很有趣，感觉像 DIY 笔记本。
另外，有人对 ARM 或 RISC-V 架构的主板更感兴趣，希望能给老机型带来新的可能性。当然，也有人不太了解这款笔记本的流行原因，毕竟是老型号了。还有人关心 X210Ai 是否兼容 X220 或 X230，看来是想给手头的机器升级。不过，也有用户分享了不太愉快的购买经历，提醒大家购买前要谨慎考虑。
- 原文: [X210Ai is a new motherboard to upgrade ThinkPad X201/200](https://www.tpart.net/about-x210ai/)
- Hacker News: [https://news.ycombinator.com/item?id=46103097](https://news.ycombinator.com/item?id=46103097)
- 作者: walterbell
- 评分: 129
- 评论数: 48
- 发布时间: 2025-12-01 11:12:29
---
## 修复 70 年代的向量图形工作站：Tektronix 4051
本文讲述了作者修复一台 1975 年发布的 Tektronix 4051 向量图形工作站的经历。这台机器基于 Motorola 6800 处理器，运行 BASIC 语言，并具有绘制和操作向量图形的子程序。
文章首先回顾了 Tektronix 公司的历史，从早期的示波器到图形终端，再到 4051 这样的图形工作站。作者提到，在 70 年代，图形终端相对昂贵，但 Tektronix 凭借其存储 CRT 技术，降低了成本。随后，文章详细描述了修复过程，包括修复损坏的电源开关和断开的变压器线缆，以及更换烧毁的电阻。最关键的是显示器的校准，需要调整多个电压，包括高达 4KV 的高压。作者使用高压探头测量并调整了这些电压，最终使显示器恢复了可读状态。文章还提到了磁带驱动器的问题，磁带断裂是常见故障，但作者暂时没有将其列为首要修复任务。总的来说，这篇文章展示了修复一台老式计算机的挑战和乐趣，以及对早期计算机技术的致敬。
- 原文: [A vector graphics workstation from the 70s](https://justanotherelectronicsblog.com/?p=1429)
- Hacker News: [https://news.ycombinator.com/item?id=46107177](https://news.ycombinator.com/item?id=46107177)
- 作者: ibobev
- 评分: 4
- 评论数: 0
- 发布时间: 2025-12-01 21:31:58
---
## 探索辫子与绳索的数学之美：身体力行的学习方法
本文介绍了一种通过身体力行的方式学习辫子和绳索的数学结构的方法，强调了在数学、建筑和艺术等领域中，如何通过动手实践和协作来加深对几何模式的理解。
文章的核心在于将数学学习与身体体验相结合。作者认为，传统的数学教学方法往往侧重于讲授和书本知识，忽略了学生通过实际操作和身体运动来理解数学概念的潜力。他们提出了一种新的教学模式，鼓励学生通过舞蹈、编织等活动，亲身体验绳索和辫子的结构，从而更深入地理解其中的数学原理。这种方法不仅适用于数学教育，还可以应用于建筑、历史和艺术等领域，促进跨学科学习。
文章还强调了不同尺度的学习的重要性。学生可以先通过观察和分析小尺度的模型来理解基本概念，然后通过参与大规模的集体活动来体验更复杂的结构。这种多尺度的学习方式有助于学生建立更全面的知识体系，并培养他们的合作精神和解决问题的能力。作者希望通过分享这种教学方法，激发教育工作者在数学教学中采用更多样化的方法，以提高学生的学习效果。
- 原文: [Dancing rope and braid into being (2017) [pdf]](https://archive.bridgesmathart.org/2017/bridges2017-523.pdf)
- Hacker News: [https://news.ycombinator.com/item?id=46037185](https://news.ycombinator.com/item?id=46037185)
- 作者: surprisetalk
- 评分: 17
- 评论数: 0
- 发布时间: 2025-11-25 02:19:09
---
## N-Body 模拟器：探索三体问题和引力物理
本文介绍了一个交互式的 N-Body 模拟器，用于研究复杂引力系统，特别是著名的三体问题。该模拟器通过数值方法，使用户能够探索不同初始条件下的天体运动，并提供了多种功能和应用。
该模拟器基于牛顿万有引力定律，模拟物体之间的引力作用。它支持多种积分方法，包括 Velocity Verlet 和 Runge-Kutta (RK4) 方法。Velocity Verlet 积分方法是一种辛积分器，能够更好地保持能量守恒，适合长期轨道力学模拟。RK4 方法虽然在短期内精度更高，但长期模拟中会积累相位误差。模拟器还提供了一些预设的配置，包括著名的周期性三体轨道，如 Figure-8 轨道和 Lagrange 三角形配置。用户可以调整物体质量、模拟速度和物理参数，还可以通过时间轴来分析轨道模式。此外，用户还可以分享自己的配置。
模拟器还提供了能量指标，帮助用户评估模拟质量，包括总能量和能量漂移。总能量是动能和引力势能之和，在理想情况下应保持不变。能量漂移表示总能量与初始状态的百分比变化，用于衡量模拟的数值精度。能量漂移越小，模拟精度越高。
评论区里，有用户提到一开始被稳定的模拟效果所迷惑，但随后系统就崩溃了，这体现了三体问题的复杂性。有用户分享说，即使是很小的质量变化也会导致系统缓慢瓦解。还有用户提到了一个类似的早期 Windows 程序，可以添加行星和质量，并模拟轨道。有用户指出，模拟中物体似乎不会发生碰撞，即使非常接近也会改变方向。总的来说，评论区反映了用户对该模拟器的兴趣，以及对三体问题复杂性的认识。
- 原文: [N-Body Simulator – Interactive 3 Body Problem and Gravitational Physics](https://trisolarchaos.com/?pr=lagrange&n=3&s=5.0&so=0.01&im=verlet&dt=5.00e-4&rt=1.0e-6&at=1.0e-8&bs=0.50&sf=0&sv=0&cm=free&kt=1&st=1&ag=0&tl=1500&cp=0.0000,0.0000,10.0000&ct=0.0000,0.0000,0.0000)
- Hacker News: [https://news.ycombinator.com/item?id=46045643](https://news.ycombinator.com/item?id=46045643)
- 作者: speckx
- 评分: 81
- 评论数: 13
- 发布时间: 2025-11-25 21:35:22
---
## 1GB Raspberry Pi 5 上市及内存涨价
Raspberry Pi 基金会发布了 1GB 版本的 Raspberry Pi 5，售价 45 美元，同时宣布由于 LPDDR4 内存成本上涨，部分 Raspberry Pi 4 和 5 的型号也将迎来价格上调。
Raspberry Pi 致力于提供高性能、低成本的通用计算机，但近期 LPDDR4 内存价格的上涨给他们带来了挑战。为了应对这一挑战，他们推出了 1GB 版本的 Raspberry Pi 5，旨在以更低的价格提供旗舰级的计算平台。这款新的 Pi 5 配备了四核 2.4GHz Arm Cortex-A76 处理器、双频 Wi-Fi 和 PCI Express 端口。
价格调整方面，Raspberry Pi 4 和 5 的部分型号价格将上涨，涨幅在 5 美元到 25 美元不等。具体来说，Raspberry Pi 4 的 4GB 和 8GB 版本分别上涨 5 美元和 10 美元。Raspberry Pi 5 的 2GB、4GB、8GB 和 16GB 版本分别上涨 5 美元、10 美元、15 美元和 25 美元。同时，16GB 版本的 Compute Module 5 也将上涨 20 美元。而 Raspberry Pi 4 的低密度版本、Raspberry Pi 3+ 及更早型号，以及 Raspberry Pi Zero 产品则维持原价。
Raspberry Pi 基金会表示，内存价格的上涨是受到 AI 基础设施建设的推动，但他们相信这只是暂时的。他们仍然致力于降低计算成本，并期待在内存价格回落后取消这些价格上涨。
评论区里，用户普遍对新推出的 1GB 版本 Pi 5 表示欢迎，并希望内存价格能尽快恢复正常。有人认为，所谓的 "AI 泡沫" 终将破裂，从而带动内存价格回落。总体来看，大家对 Raspberry Pi 基金会能够推出更低价的产品表示赞赏，同时也理解内存涨价带来的压力。
- 原文: [1GB Raspberry Pi 5, and memory-driven price rises](https://www.raspberrypi.com/news/1gb-raspberry-pi-5-now-available-at-45-and-memory-driven-price-rises/)
- Hacker News: [https://news.ycombinator.com/item?id=46106186](https://news.ycombinator.com/item?id=46106186)
- 作者: shrx
- 评分: 105
- 评论数: 77
- 发布时间: 2025-12-01 19:37:18
---
🫵 来啊，说点有用的废话!
▲
