2026 01 11 HackerNews

2026-01-11 Hacker News Top Stories #

  1. 雪铁龙 C15 文章讽刺地赞美老式小货车在乡村场景中以低成本、易维修和更环保的实用性，反对现代大型车的浮夸消费。
  2. 陶哲轩报道 AI 在近乎自主地解决厄尔都斯问题#728 中显示出在将数学命题形式化并借助 Lean 验证时极大的辅助与潜力，但仍需人类把关命题与论文核心。
  3. 越南禁止刷机手机使用银行应用的政策引发对用户设备自主权、替代受控设备与更安全认证方案的激烈讨论。
  4. 开发者制作的网页钢琴听音训练游戏通过听辨音高节奏、MIDI 支持和节拍器模式，帮助用户提升听琴与基础识谱能力。
  5. 作者用 CachyOS 将 Windows 换为 Linux 发现大部分硬件自动识别、安装快捷可行，唯一明显问题是旧鼠标不兼容。
  6. Markdown 因其纯文本、易用、抗锁定和与现代工作流（如 Git、AI 提示工程）高度契合而广泛普及。
  7. Cochrane 综合研究表明适度、有规律的运动能显著缓解抑郁，效果接近心理治疗并且副作用少，但仍缺长期大样本证据。
  8. 悼念 Dark Sky 的文章认为其以高度情境化和实用为本的数据可视化设计是气象应用的经典范例，令人惋惜被收购后消失。
  9. Dwitter 以 140 字符限制激发 JavaScript 创意与代码压缩技巧，社区成熟但也面临 Unicode 绕过等争议。
  10. Quack 将维基百科以 TikTok 风格短滚动展示作为实验性尝试，概念有趣但需要改进滚动体验、字幕与推荐机制。

雪铁龙 C15：小车中的全能冠军 (Allow me to introduce, the Citroen C15) #

https://eupolicy.social/@jmaris/115860595238097654

这是一篇由用户 Jordan Maris 在 Mastodon 平台发布的幽默讽刺性长文，主题为“Citroën C15”小型货车的全面优势对比。文章通过夸张和反讽的手法，将经典法国小型货车 C15 与现代大型 SUV 和皮卡（如福特 Ranger、路虎发现）进行多维度对比，论证 C15 在价格、油耗、载物空间、越野能力、排放和实用性等方面全面胜出。

文章以“美国人和英国富人用‘乡村生活需要大车’为借口购买高耗能车辆”为切入点，用 C15 作为反例，指出其在真实乡村环境中的卓越表现。作者通过具体数据对比：C15 购买价仅约 2000 欧元，远低于 Ranger（2.5 万欧元）和 Discovery（5 万欧元）；百公里油耗仅 6.3 升，远低于对手；内部容积达 2.6 立方米，甚至能装下多头牛；在泥泞陡坡的越野表现令人惊叹；二氧化碳排放也显著更低。

作者还调侃现代 SUV 消费者的心理动机，指出其购买行为可能是“对男性气概的补偿”，而 C15 虽然速度慢，但“开太快会撞树”反而是种安全优势。文中穿插多个幽默细节，如“可装多头牛”“发动机更换成本仅如买个可颂”“杯架设计贴心”“能睡在车里过周末”等。

最后，作者回应常见质疑：“冬天开不了？”——C15 曾在大雪封山时为整个村庄运送物资；“开不了长途？”——许多 C15 的里程表已过百万公里，甚至重置多次。

整篇内容以轻松戏谑的语气，批判了过度消费、炫耀性驾驶和对汽车功能的误解，同时致敬了 C15 这款经典小车的实用主义精神与环保价值。

HN 热度 666 points | 评论 457 comments | 作者：colinprince | 12 hours ago #

https://news.ycombinator.com/item?id=46564696

  • Citroen C15 代表了汽车作为工具的年代，如今车辆正逐渐变成订阅服务，缺乏实用性和可维修性。
  • 现代汽车的复杂性正在损害可靠性，而像 C15 这样的老车在偏远地区仍能靠简单工具维修，无需依赖电子系统。
  • 理想的汽车应基于实用性和可维护性设计，融合现代安全与制造技术，同时保持结构简单、易于修理。
  • 建议用通用平板和手机替代昂贵且易过时的车载触控屏，通过 USB-C 供电和连接实现功能升级。
  • 保留物理按钮和旋钮，避免过度依赖触控界面，提升操作可靠性和驾驶专注度。
  • 当前法规要求的电子监控系统虽出于环保目的，但反而增加了维修难度和成本。
  • 电子系统可以设计得既先进又可维修，例如通过屏幕直接显示故障传感器信息，而非依赖专有诊断工具。
  • 车辆模块需根据地区法规和配置编程，但这种复杂性不应成为阻碍独立维修的理由。
  • 汽车制造商通过封闭软件和专有工具限制第三方维修，背后是利润驱动和市场控制。
  • 城市空气污染的解决方案应是推广自行车、地铁、公交等公共交通，而非依赖电动车。
  • 电动车虽是选项之一，但优先级应低于非机动车和公共交通基础设施建设。
  • 人类步行应被视为最基础的出行方式，应被纳入交通优先级体系。
  • 优先发展自行车道、地铁和公交系统，能释放道路空间，提升应急车辆通行效率。
  • 城市应将资源投向公共交通而非私人停车设施，以实现更可持续的交通结构。

陶哲轩：埃拉托斯特尼问题#728 被 AI 大致自主地解决了 (“Erdos problem #728 was solved more or less autonomously by AI”) #

https://mathstodon.xyz/@tao/115855840223258103

陶哲轩：在最近的一次进展中，人工智能工具在解决厄尔都斯问题方面取得了一个重要里程碑：一个厄尔都斯问题（问题 #728）几乎完全由 AI 自主解决，尽管在初始尝试后进行了反馈。这一结果与问题的精神相符，且据我们所知，该结果在现有文献中并未得到复制，尽管找到了类似方法证明的相似结果。这一案例表明，最近几个月这些工具的能力确实有了显著提升，并与其他 AI 使用现有方法解决厄尔都斯问题的示例相一致，尽管在大多数先前的案例中，最终在文献中找到了该问题的解决方案。

值得注意的是，该厄尔都斯问题最初的表述存在误解，社区在最近几个月才重构了问题的真正意图，这也解释了为何之前没有相关文献。然而，本文更关注的是在解决方案写作方面的另一重要趋势，即 AI 驱动的快速写作和改写能力。尽管我仍然偏向于最终的写作主要由人类完成，特别是在论文的核心部分，但我看到可以考虑将常规证明的某些部分委托给 AI 生成的文本和 Lean 代码。

这些事件揭示的能力让我感到更加有趣的是，AI 能够快速撰写和修改文本，即使这些文本的原作者并不是 AI 所生成的内容的创造者。这与目前的做法形成鲜明对比，后者在产生一个可读的手稿时需要耗费大量时间，而在接受评审报告后的后续修订往往局限于局部的修改（例如，修改单个引理的证明）。大规模重写论文的工作量巨大，并且可能会引入新的错误。然而，合理的 AI 文本生成和修改能力结合形式化证明助手来验证非正式论证，使得写作过程更加动态，参与者能够快速创建不同层次严谨性和精确度的定制化论证阐述。

当然，仍然希望有一个符合最高写作标准的 “官方” 论文作为主要文件；但现在，这个主要论文可以伴随大量次要的替代版本，这些版本可能较为松散且 AI 生成，然而它们可能在主文档之外具有额外的价值。

HN 热度 592 points | 评论 336 comments | 作者：cod1r | 1 day ago #

https://news.ycombinator.com/item?id=46560445

  • Aristotle 项目使用现代人工智能技术，包括语言建模，能够将正确的英文证明转化为 Lean 语言，从而确保证明的正确性。
  • 一旦问题被正确形式化为 Lean 语言，其证明的正确性可以通过 Lean 内核严格验证，无需依赖 AI 的可靠性。
  • 问题的形式化是否准确，依赖于人类对原始数学陈述的理解和验证，这是确保 AI 生成内容正确性的关键前提。
  • 尽管生成式 AI 容易产生看似合理但错误的内容，但形式化问题陈述本身通常比证明更易于验证，尤其在离散数学和基本算术领域。
  • 对于大多数数学问题，尤其是涉及不等式、全称/存在量词的问题，形式化难度并不高，而几何或拓扑问题则更复杂。
  • 人类专家在形式化问题时，可以通过对问题本质的理解来验证形式化是否准确，这比验证长篇证明更简单可靠。
  • 一些看似简单的数学问题，如中心极限定理或图论中的命题，其形式化可能仍具挑战性，尤其当涉及复杂抽象概念时。
  • 形式化难度与数学领域密切相关，例如复杂性理论中的渐近描述可能在自然语言中模糊，需要精确的数学表达。

越南政府禁止刷机手机使用任何银行应用程序 (The Vietnam government has banned rooted phones from using any banking app) #

https://xdaforums.com/t/discussion-the-root-and-mod-hiding-fingerprint-spoofing-keybox-stealing-cat-and-mouse-game.4425939/page-118

该网页是一个关于 Magisk 根权限管理与应用完整性验证（PI）绕过技术的讨论帖，属于 XDA 开发者社区的论坛内容。主题聚焦于“根权限隐藏”、“指纹伪造”和“密钥盒窃取”之间的持续对抗，涉及 Magisk、PI Fork、PI Fix Inject 等工具的使用与配置。

用户 ldeveraux 遇到 Play Store 无法更新的问题，提示“存储空间不足”，尽管已尝试清除缓存、重置安装位置等操作。其他用户建议排查 PI 模块的配置，包括检查 custom.pif.prop 文件中的 spoof 设置（如 spoofBuild=1、spoofProps=1，但 spoofProvider=0 等关键项应关闭），并确认 target.txt 中包含 com.android.vending 和 com.google.android.gms。

进一步建议通过 ADB 命令彻底清除 Play Store 和 GMS 数据，重置包管理器缓存，并检查设备指纹是否被错误 spoof。同时提醒用户注意，若曾启用“基础验证强制”并使用低存储设备的指纹，可能导致 Play Store 错误判断设备存储容量。

最后，有用户建议在尝试更换 Magisk 版本（如 ksun）前，先禁用所有 Magisk 模块或彻底移除 Magisk，以排除干扰因素。整个讨论强调了配置细节的重要性，尤其是 PI 模块与系统属性之间的协调。

HN 热度 526 points | 评论 595 comments | 作者：Magnusmaster | 1 day ago #

https://news.ycombinator.com/item?id=46555963

  • 拥有对自己设备的完全控制权是基本权利，禁止 root 访问是对用户自主权的侵犯。
  • 未来人们可能需要购买被严格管控的廉价智能手机作为政府和银行服务的“代理”，这实际上剥夺了用户对设备的控制。
  • 更安全且尊重个人自由的解决方案是使用带认证功能的独立安全模块或专用防篡改设备，如带显示和输入功能的金融安全硬件。
  • 金融系统与执法及军事系统紧密关联，因此对设备的严格控制是出于监控和执法需求，而非单纯的金融安全。
  • 区块链虽能防止数据篡改，但无法阻止内部合谋、智能合约漏洞或中心化平台的攻击，仍需依赖传统执法系统。
  • 尽管区块链去中心化，但现实中仍存在武装人员攻击数据中心的情况，去中心化并不等于绝对安全。
  • 专用安全硬件比智能手机更安全，因为它与日常通信设备完全隔离，可关闭以防止追踪，类似高级版 YubiKey。
  • 智能手机的可信计算基础和攻击面远大于专用安全硬件，不适合作为安全设备。
  • 用户希望在手机主屏幕上显示账户余额的简单需求，因银行和平台的沙箱限制而无法实现，这限制了个人计算的自由。
  • 用户需要将账户余额数据用于自动化流程，如家庭自动化、预算管理或 AI 提醒，但银行未提供开放的只读接口。
  • 银行出于法律风险考虑，希望将交易流程完全控制在自家提供的安全设备中，但这也限制了用户对设备的自主使用。
  • 银行应提供开放的只读 API 接口，尤其在欧盟已有类似法规，但接口仅对“受信任”的第三方开放，存在准入壁垒。

展示 HN：我制作了一款钢琴听音训练游戏，帮助你学会听琴演奏 (Show HN: I made a memory game to teach you to play piano by ear) #

https://lend-me-your-ears.specr.net

这是一个音乐听力训练游戏网页，旨在帮助用户提升音乐感知能力。页面顶部显示“Press Start ▷ to Begin”按钮，点击后可开始游戏。用户需点击以启用音频功能，浏览器需要用户交互才能播放声音。

核心功能包括：

  • 听音练习：通过听辨音高、节奏等音乐元素进行训练。
  • 钢琴键盘：提供虚拟钢琴界面，支持触控或鼠标点击演奏。
  • 节拍器模式：可开启节拍器辅助练习节奏感。
  • MIDI 键盘连接：支持外接 MIDI 键盘，也可使用屏幕上的虚拟钢琴进行操作。

页面由 Shaun Pedicini 开发，专注于音乐教育与听力训练，适合音乐学习者或爱好者使用。

HN 热度 521 points | 评论 166 comments | 作者：vunderba | 1 day ago #

https://news.ycombinator.com/item?id=46556210

  • 建议增加“自由演奏”模式，允许用户在不提交答案的情况下自由尝试，避免因错误提示而影响探索过程。
  • 希望支持使用普通键盘模拟钢琴键盘，特别是参考 Ableton 的布局，方便没有 MIDI 控制器的用户。
  • 提议采用“4 行追踪器布局”（如 FL Studio、Renoise 等软件使用的布局），以在电脑键盘上覆盖超过两个八度的音域。
  • 建议加入屏幕键盘或五线谱点击输入功能，提升操作便捷性。
  • 希望能支持通过真实钢琴演奏输入，解决与电子设备的兼容问题。
  • 建议未来引入基于马尔可夫链或 Transformer 的算法，生成更自然悦耳的旋律。
  • 建议增加“钢琴回声”可视化效果，如热力图式键盘反馈，帮助用户感知演奏模式。
  • 建议优化移动端音频问题，并修复部分 MIDI 控制器发送零速度 NOTE_ON 而非 NOTE_OFF 的兼容性问题。
  • 建议提供“锁定难度”功能，让用户在固定难度下练习，避免难度持续上升带来的压力。
  • 建议在设置中增加浮动显示窗口，实时显示当前演奏的音符和五线谱位置。
  • 认为该项目有助于训练听觉辨识能力和基础识谱能力，是有效的耳力训练工具。
  • 强调学习钢琴不应只依赖单一方法，应结合多种方式，尤其是早期找专业老师指导，建立正确姿势和指法习惯。
  • 分享个人经历，指出通过“听音复现”训练，即使没有乐谱也能快速还原歌曲旋律，体现耳力训练的价值。
  • 表示自己虽然不会读五线谱，但能通过听觉记忆音符在钢琴上的位置，希望此类工具能帮助这类学习者。

我替换了 Windows，一切都很顺利 (I replaced Windows with Linux and everything’s going great) #

https://www.theverge.com/tech/858910/linux-diary-gaming-desktop 作者 Nathan Edwards 在 2026 年 1 月 10 日发布了一篇关于将 Windows 桌面系统替换为 Linux 的个人体验日记，标题为《我替换了 Windows，一切都很顺利》。他选择使用 CachyOS 作为主要 Linux 发行版，原因包括其对现代硬件的优化和对游戏支持的良好口碑。

安装过程从备份 Windows 系统开始，随后通过 Ventoy USB 驱动器启动 CachyOS 的 Live 镜像。在安装过程中，作者遇到的第一个问题是鼠标点击功能失效，仅能移动光标。经过排查，发现是其老旧的 Mad Catz Cyborg RAT 7 游戏鼠标在 Linux 下存在已知兼容性问题，最终通过拔掉该鼠标解决。

在安装配置阶段，作者面临多项选择：需自行决定引导加载程序（最终选择 Limine）、分区方案（使用 btrfs 文件系统，创建 2GB 引导分区和 100GB 根分区）、桌面环境（选择 KDE，因其对游戏支持较好）以及系统名称和用户信息（命名为“Maggie”，致敬作者岳父母的猫）。

整个安装过程耗时约六分钟。重启后系统成功进入 Limine 引导菜单，可同时选择 CachyOS 或 Windows。尽管鼠标问题依旧存在，但其他硬件设备如显卡、显示器、音箱、摄像头和打印机均能自动识别并正常工作，打印机仅需微调防火墙设置即可使用。

作者强调，尽管 Linux 在安装时需要手动配置许多组件，但整体体验远比预期顺利。许多他认为会出问题的部分（如 Nvidia 显卡驱动）反而非常顺畅。目前他已能用 Linux 完成日常工作，仅玩了一款游戏，并成功打印文档。

文章透露，作者的目标是测试 Linux 是否能在不投入大量时间研究的前提下，成为 Windows 的实用替代品。目前看来，CachyOS 在硬件兼容性和易用性方面表现良好，尤其适合追求简洁、高效且愿意接受少量技术挑战的用户。

HN 热度 472 points | 评论 394 comments | 作者：rorylawless | 8 hours ago #

https://news.ycombinator.com/item?id=46566465

  • Linux 系统相比 Windows 和 macOS 更加用户导向，没有强制的商业 agenda，能完全按照用户需求定制，使用体验更自由。
  • macOS 和 Windows 当前的系统设计越来越偏向于商业利益和生态统一，而非提升用户生产力和满意度。
  • Apple 试图将 VisionOS 的设计语言统一到桌面端，这种“手机与电脑融合”的尝试并不被用户欢迎。
  • Windows 的系统更新中夹杂广告和对 AI/代理转型的焦虑，让用户感觉被商业目标绑架。
  • 现代 Linux 桌面系统在硬件兼容性和开箱体验方面已有显著提升，适合多种设备。
  • Claude Code 等 AI 工具极大提升了 Linux 系统的个性化、自动化和配置效率。
  • Unity 桌面环境虽然曾因不适应桌面使用而失败，但其搜索式应用菜单功能非常实用，值得保留。
  • GNOME 被误解为“为平板设计”，实际上其键盘操作高度优化，适合桌面高效工作，长期使用后体验良好。
  • 早期 GNOME 3 存在性能和稳定性问题，导致用户反感，但现代版本已大幅改善。
  • KDE 的全局搜索功能（KRunner）比传统菜单更高效，支持所有应用，是替代传统启动菜单的理想方案。
  • 睡眠唤醒失败问题在 Linux 和 Windows 中都存在，与 GPU 型号（如 NVIDIA）无关，更可能与主板芯片组或硬件驱动有关。
  • 一些用户在 AMD 平台也遇到睡眠后无法唤醒的问题，说明这是系统层面的兼容性挑战。
  • Steam Deck 能完美实现睡眠功能，说明该问题并非技术不可行，而是厂商在驱动和电源管理上缺乏投入。
  • Apple 早期坚持手机与电脑系统分离的做法曾被称赞，如今却反向推动融合，令人不解。
  • macOS 的系统更新频繁且无明确方向，设置界面混乱，带来“Windows 8”式的糟糕体验。
  • Linux 系统在个人使用中提供更高的自由度和控制感，是真正以用户为中心的操作系统。

Markdown 如何征服世界 (How Markdown took over the world) #

https://www.anildash.com/2026/01/09/how-markdown-took-over-the-world/

这篇文章讲述了 Markdown 这一简单文本格式如何悄然成为现代互联网的基石。尽管它看似平凡，却广泛应用于从人工智能提示工程到日常笔记、文档协作等各个领域。

Markdown 由 John Gruber 在 2002 年创建，最初是为了应对他个人写作时的痛点——当时博客兴起，但编辑内容需要掌握复杂的 HTML 代码，操作繁琐且容易出错。他希望找到一种更简单、更直观的方式来格式化文本，于是设计了 Markdown：用键盘上常见的符号（如星号、井号）实现加粗、标题、列表等排版功能，无需学习晦涩的代码。

文章回顾了 2000 年代初互联网的早期生态，那时博客尚属小众，技术与内容创作紧密交织。作者 Anil Dash 曾参与开发当时主流的博客平台 Movable Type，亲历了创作者与工具开发者之间的互动：创作者的需求推动工具进化，而工具的微小改变（如编辑框变大）也深刻影响了内容的长度与风格。

Markdown 的真正力量在于它的“去中心化”与“免费共享”精神。它并非由大公司推出，而是由一位热爱技术、关心用户体验的独立开发者创造，并无偿发布。这种开放精神让它迅速被社区接纳，最终渗透到 GitHub、Notion、Obsidian、AI 提示系统等几乎所有现代数字工作流中。

文章最后强调，Markdown 的成功并非偶然，而是源于一种互联网的底层精神：聪明人解决真实问题，把解决方案免费分享，最终让整个世界变得更高效、更易用。

HN 热度 398 points | 评论 303 comments | 作者：zdw | 1 day ago #

https://news.ycombinator.com/item?id=46556695

  • Markdown 的核心优势在于其纯粹的文本本质，避免了格式和供应商锁定问题，非常适合在 Git 仓库中长期保存和管理。
  • Markdown 已成为大语言模型的通用语言，能够轻松生成代码文档等结构化内容，提升了开发效率。
  • 人们在日常写作中早已自发使用类似 Markdown 标记的习惯，只是后来被正式标准化，因此使用起来自然流畅。
  • 作者在阅读 Markdown 时几乎不需要“渲染”视觉效果，因为符号与语义高度一致，能直接在脑海中形成清晰的结构认知。
  • 相较于 LaTeX 等复杂排版语言，写作者对 Markdown 的输出预期更准确，无需频繁预览即可把握最终效果。
  • 尽管存在如 AsciiDoc、reStructuredText 等功能更强大的替代格式，但因生态惯性与兼容性需求，用户仍倾向于选择广泛支持的 Markdown。
  • 一些高级格式（如 reStructuredText）支持更丰富的特性，例如表格列对齐、多行/跨列单元格以及定义列表，而原始 Markdown 缺乏这些能力。
  • 虽然某些文本格式可导出为 LaTeX，但它们在纯文本中呈现时缺乏直观性，而 Markdown 支持内联原始 HTML 作为扩展手段，增强了灵活性。
  • 从用户体验角度看，真正的所见即所得（WYSIWYG）要求源码与显示结果一一对应，而传统 HTML/CSS 是多对一映射，难以实现真正意义上的实时可视化。
  • 表格在纯文本中始终难以美观呈现，这可能是原始 Markdown 不支持复杂表格设计的重要原因，也限制了其在数据密集场景的应用。
  • 使用等宽字体并合理添加空格可以改善文本表格的可读性，但无法完全解决嵌入强调、链接等语法元素时的渲染问题。

运动对抑郁的疗效几乎与心理治疗相当 (Exercise can be nearly as effective as therapy for depression) #

https://www.sciencedaily.com/releases/2026/01/260107225516.htm

一项由 Cochrane 发布的最新综述研究发现，运动在缓解抑郁症状方面效果与心理治疗相当，甚至可能与抗抑郁药物效果相近。该研究整合了 73 项随机对照试验，涉及近 5000 名抑郁症患者，结果显示，与无治疗对照组相比，运动能显著减轻抑郁症状；与心理治疗相比，运动效果相似，证据等级为中等；与抗抑郁药物相比，效果也相近，但证据可信度较低。

研究指出，轻至中等强度的运动效果最佳，完成 13 至 36 次运动疗程者改善更明显。运动形式多样，包括有氧运动、抗阻训练等，组合型运动方案可能比单一形式更有效。瑜伽、气功和拉伸等未在本次分析中被评估，未来值得进一步研究。

运动副作用极少，主要为肌肉或关节损伤，而抗抑郁药物则常伴随疲劳、胃肠不适等常见不良反应。研究团队强调，运动是一种安全、低成本且易于获取的干预方式，但并非对所有人都有效，关键在于找到个体能够坚持的方式。

尽管研究更新了 35 项新试验，结论仍保持谨慎。多数研究样本量较小，缺乏长期随访数据，因此运动的长期疗效尚不明确。研究者呼吁开展更大规模、高质量的长期研究，以明确最适合的运动类型、适用人群及持续效果。

HN 热度 381 points | 评论 321 comments | 作者：mustaphah | 1 day ago #

https://news.ycombinator.com/item?id=46557233

  • 运动对抑郁的改善效果与心理治疗相当，但抑郁症常导致缺乏动力，难以启动运动。
  • 养成习惯比依赖动机更有效，设定固定时间进行特定活动可减少对意志力的依赖。
  • 建立日常惯例需要坚持，初期困难，但重复后会变得自然且难以改变。
  • 对于执行功能较弱的人来说，建立日常惯例并非易事，不能简单归因于“意志力不足”。
  • 有人认为高效生活模式看似简单，实则依赖良好的生活条件和较少的外部负担。
  • 个人生活中的责任和义务日益增多，年轻人面临巨大压力，难以自主规划人生。
  • 外部环境的限制（如高房价、医疗负担、就业困难）使得“自律”成为一种奢侈。
  • 承认现实中的个体差异（如大脑和身体的不同）是负责任的第一步，不应否认这些限制。
  • 将所有问题归结为“缺乏意志力”是对努力者的不尊重，忽视了结构性困境。
  • 即使生活压力巨大，仍可尝试在有限条件下做出微小改变，如下班后进行半小时锻炼。
  • 在家中设置锻炼设备可提高执行率，通过环境设计降低行动门槛。
  • 个体差异和现实处境不同，不能一概而论地要求所有人都能“自律”或“坚持”。

悼念暗空：一款数据可视化杰作（2023） (Eulogy for Dark Sky, a data visualization masterpiece (2023)) #

https://nightingaledvs.com/dark-sky-weather-data-viz/

Dark Sky 是一款曾广受赞誉的天气应用，其设计在信息可视化领域堪称典范。2023 年 1 月 1 日，苹果正式停止支持该应用，将其功能整合进苹果天气应用中。尽管技术被继承，但其独特的用户体验和设计哲学已成绝响。

该应用的核心优势在于其高度情境化的信息设计。它不只提供静态天气数据，而是根据用户所处的实时环境与使用场景，动态呈现最相关的信息。例如，应用默认显示当前位置未来 12 小时的天气变化，通过视觉化手段突出关键信息：如即将到来的降雨、风暴路径、风力预警或体感温度变化，让用户无需细读即可快速理解天气状况。

在周天气视图中，Dark Sky 强调“超本地化”体验，用户可轻松切换至特定地址或地标，对比城市中心与周边区域的天气差异。其可视化设计清晰传达出哪些天会下雨、温差大小以及天气趋势的微变化，极大提升了信息获取效率。

设计细节上，Dark Sky 保留了温度数值的真实幅度，通过“温度药丸”直观呈现每日温度范围，便于快速比较。在降水预报中，它用“轻雪”“中雪”“大雨”等粗略分类替代精确数值，既避免了虚假精确感，又帮助用户快速判断是否需要采取行动，如是否需要清理屋顶、安排除雪等。

其他亮点包括：用箭头而非文字表示风向，让用户通过视觉感知风向变化；通过颜色与箭头组合呈现风暴动态，信息传达高效直观。

文章作者认为，Dark Sky 的设计体现了“为真实生活服务”的理念，其对用户情境的深刻理解、对数据表达的极致打磨，使其成为数据可视化领域的经典案例。尽管应用已停用，但其设计理念仍值得所有数据产品设计者学习与致敬。

HN 热度 341 points | 评论 153 comments | 作者：skadamat | 11 hours ago #

https://news.ycombinator.com/item?id=46565132

  • Dark Sky 的数据可视化设计堪称杰作，其精准的短时降雨预测功能曾令人惊叹。
  • Apple 的天气应用在精准度和预测能力上仍不及 Dark Sky，尤其在通知推送方面表现较差。
  • 用户普遍反映 Apple 天气应用的降水预报存在过度预测的问题，且反馈机制不够完善。
  • 有用户指出，Apple 天气应用的推送通知系统混乱，常出现延迟或错乱，影响使用体验。
  • 一些替代方案如 MerrySky 和 Weather-Sense 已被开发，提供更丰富的数据可视化和功能。
  • MerrySky 和 Weather-Sense 支持地理位置切换、历史天气对比、空气质量指数（AQI）显示等功能。
  • Weather-Sense 还支持小时级天气数据联动、天空颜色模拟、温度空间分布可视化等高级功能。
  • 有用户建议，这些替代平台可进一步优化，如增加 60 分钟级预报功能。
  • Windy.app 和 Windy.com 被提及为优秀的天气数据可视化工具，尤其适合水上运动爱好者。
  • Windy.app 与 Windy.com 各有侧重，前者适合风力相关活动，后者则提供更全面的数据支持。
  • 一些用户认为 Apple 天气应用的视觉设计和交互体验不如 Dark Sky，使用起来不够愉悦。
  • Dark Sky 的成功部分归功于其背后的 PirateWeather API，该 API 提供了高质量的实时天气数据。

140 个字符内的 JavaScript 示例 (JavaScript Demos in 140 Characters) #

https://beta.dwitter.net

页面展示了 140 个字符内的 JavaScript 示例，很多炫酷的动画展示，而代码都很小。

HN 热度 332 points | 评论 59 comments | 作者：themanmaran | 1 day ago #

https://news.ycombinator.com/item?id=46557489

  • 140 字符限制催生了创意，但使用 Unicode 字符伪装压缩的做法有违初衷，类似“用压缩技术把 194 字符塞进 140 字符”的游戏化行为。
  • 有人建议应以字节为单位限制，而非字符数，这样更公平，也更符合代码压缩竞赛的惯例。
  • Dwitter 平台已推出“压缩”模式的 beta 前端，可直接查看实际代码，解决了原始字符与解码后内容不一致的问题。
  • 限制条件能激发创造力，反而带来多样性和深度探索，而非单调重复，限制是创意的催化剂。
  • 140 字符代码竞赛改变了开发者思考代码的方式，推动了代码压缩技巧的发展，甚至影响了实际项目中的代码实现。
  • 标签模板字面量（如 js_func string）是 JavaScript 的合法语法，可用于实现类似 JSX 的运行时渲染，无需构建步骤。
  • 利用标签模板字面量可实现紧凑的代码嵌入，例如在网页中内联存储小型图像数据，提升代码效率和可维护性。
  • Dwitter 平台已存在十年，其社区和创作生态是平台成功的关键，许多优质作品展示了生成艺术的无限可能。
  • 限制性规则能减少无效尝试，鼓励深度探索，相比不断添加功能的平台，限制反而更有利于激发真正的创造力。

像刷 TikTok 一样滚动浏览维基百科 (Show HN: Scroll Wikipedia like TikTok) #

https://quack.sdan.io

该网页是一个以“GooseGamer1077”为主角的互动式知识分享平台，内容风格类似博客或社交媒体动态，结合图文与简短解说，聚焦世界各地的奇闻异事、历史遗迹、自然现象与文化人物。

页面主体由多条动态消息组成，每条以“GooseGamer1077”或用户“SplashMaster1022”发起，标题采用趣味化命名，配以简短描述和话题标签（如#ducktalk🐥 或#aivisual🐥），内容涵盖多个领域：

  • 历史与人物：介绍 19 世纪新西兰坎特伯雷地区的重要人物罗伯特·希顿·罗兹（Robert Heaton Rhodes）及其历史遗产。
  • 战争史：提及 1815 年 6 月 30 日战争结束的背景，特别强调“战争的最后一枪”这一悲剧性细节。
  • 自然生物：介绍澳大利亚最多样化的蜥蜴属——Ctenotus，又称“梳耳蜥蜴”。
  • 建筑奇观：展示乌克兰哈尔科夫的“商人银行”建筑，被誉为标志性建筑；美国加利福尼亚州莫德斯托的“发光之桥”，被形容为神秘的“传送门”。
  • 地方文化：介绍印度旁遮普地区的村庄“哈奇基·戈拉亚”（Harchoki Goraya），展现乡村生活风貌。
  • 建筑艺术：描述美国 19 世纪的“Fairview”建筑，强调其对称性与古典建筑美学。
  • 人物故事：聚焦导演拉玛·莫西（Ramaa Mosley），讲述她 16 岁即开启职业生涯的励志经历。

整体风格轻松活泼，融合历史、地理、自然与人文，通过“Goose”这一角色引导观众探索世界奇观，兼具教育性与娱乐性，适合对冷知识、全球文化与建筑艺术感兴趣的读者。

HN 热度 320 points | 评论 81 comments | 作者：sdan | 1 day ago #

https://news.ycombinator.com/item?id=46557029

  • 该应用的滚动体验不佳，仅底部可滚动，且内容缺乏吸引力，建议采用热门文章而非随机生成。
  • 内容呈现方式应优化，如将字幕改为逐句显示而非逐词显示，以提升可读性。
  • 当前实现未能抓住 TikTok 短视频吸引人的核心要素，更像是基于误解的模仿，缺乏对知识传播本质的理解。
  • 将 Wikipedia 内容以 TikTok 风格呈现是一个极具潜力的创意，但当前技术实现尚不成熟。
  • 可利用 Wikipedia 的图结构为用户生成个性化内容，提升推荐精准度。
  • 该项目更像是一种趣味性实验，不必过于严肃对待。
  • 知识类短视频的吸引力应来自内容本身而非背景音乐，当前设计偏离了这一核心。
  • 未来可尝试将 TikTok 视频内容转化为类似 Wikipedia 的结构化文本描述，并建立关联链接。
  • 用 LLM 自动生成 TikTok 内容的描述存在生成无意义文本的问题，如“Lorem ipsum”。
  • 可借鉴 Wikipedia 的协作模式，让用户提交对 TikTok 内容的描述并进行争论，形成趣味性互动。
  • 对 TikTok 实施类似 Wikipedia 的开放编辑机制可能导致大量恶意破坏，需警惕。
  • Wikipedia 的编辑机制虽有局限，但相比完全开放的“人人可改”模式，仍更具可信度。
  • Wikipedia 的实际运作中确实存在非专业用户随意编辑、规则复杂、权力集中等问题。
  • 当前平台缺乏内容分类功能，用户难以筛选感兴趣的主题，建议增加标签关注或搜索功能。
  • 可参考 Lift Wing 等机器学习工具对 Wikipedia 文章进行自动分类，用于构建更有效的推荐标签体系。
  • 动态生成 UI 的设计在 TikTok 类应用中意义不大，因为界面结构固定，动态生成可能带来不必要的复杂性。
  • 项目中使用的 Undertale 背景音乐令人印象深刻，增加了趣味性。
  • 747.run 是一个类似概念的实时 AI 维基项目，每个词都可链接到独立文章，支持用户自定义内容。

Hacker News 精彩评论及翻译 #

“Erdos problem #728 was solved more or less autono… #

https://news.ycombinator.com/item?id=46561569

I work at Harmonic, the company behind Aristotle.

To clear up a few misconceptions:

  • Aristotle uses modern AI techniques heavily, including language modeling.

  • Aristotle can be guided by an informal (English) proof. If the proof is correct, Aristotle has a good chance at translating it into Lean (which is a strong vote of confidence that your English proof is solid). I believe that’s what happened here.

  • Once a proof is formalized into Lean (assuming you have formalized the statement correctly), there is no doubt that the proof is correct. This is the core of our approach: you can do a lot of (AI-driven) search, and once you find the answer you are certain it’s correct no matter how complex the solution is.

Happy to answer any questions!

maxwells-daemon

我为 Harmonic 公司工作，Aristotle 就是我们公司的产品。

澄清一些误解：

  • Aristotle 大量使用了现代 AI 技术，其中包括语言建模。

  • Aristotle 可以根据非正式的（英文）证明进行引导。如果这个证明是正确的，Aristotle 就有很大机会将其翻译成 Lean（这足以证明你的英文证明非常可靠）。我相信这里发生的就是这种情况。

  • 一旦一个证明被形式化到 Lean 中（假设你已经正确地形式化了该陈述），那么这个证明无疑是正确的。这是我们方法的核心：你可以进行大量的（AI 驱动的）搜索，一旦你找到了答案，无论解决方案多么复杂，你都可以确信它是正确的。

很乐意回答任何问题！

I replaced Windows with Linux and everything’s goi… #

https://news.ycombinator.com/item?id=46567137

Commercial OSes (both Windows and MacOS) now feel so insanely agenda driven, and the agenda no longer feels like anything close to making the user happy and productive. For Mac, it feels like Apple wants to leverage what came out of VisionOS and unify the look and feel of mobile and desktop–two things no one asked for. For Windows, it feels like ads for their partners and ensuring they don’t fumble the ai/agent transition the way they did with mobile.

Linux is SUCH a breath of fresh air. No one wants it to be anything other than what you want it to be. Modern desktop Linux has a much improved out of the box experience with good support for all the hardware I’ve thrown at it. And Claude Code makes it very fast and trivial to personalize, adapt, automate, etc.

toddmorey

商业操作系统（无论是Windows还是macOS）现在感觉充满了疯狂的议程，而这些议程似乎完全不是为了用户的快乐和高效。就Mac而言，苹果似乎想利用VisionOS的成果来统一移动端和桌面端的体验——而这正是没人要求的两件事。而对于Windows，感觉更像是给其合作伙伴打广告，同时确保他们不会像在移动端那样，在AI/代理的转型上再次失手。

Linux简直就是一股清流。没有人想让它的样子超出你的期望。现代桌面Linux的开箱即用体验有了很大改善，对于我试过的所有硬件都有很好的支持。而且，Claude Code让个性化、适配、自动化等工作变得非常快速和简单。

Changes to Android Open Source Project #

https://news.ycombinator.com/item?id=46563924

I like the android way of security, where “rooting” your device to install updates is insecure, but using a horrifyingly out-of-date android (because your manufacturer, the only one who can update your device, didn’t bother) is secure.

Elfener

我就喜欢安卓这种安全方式，给设备获取root权限来安装更新是不安全的，但一个骇人地过时的安卓系统——因为唯一能给你设备更新的制造商懒得更新——却是安全的。

How will the miracle happen today? #

https://news.ycombinator.com/item?id=46555688

I couldn’t help but focus on the vicarious adventure aspect Kelly mentions which was the “payment” he offered drivers in exchange for the ride. This is a mechanism that has largely been deprecated by the modern attention economy.

In the era of hitchhiking, the bandwidth for novelty was low. A driver on a long commute had no podcasts, no Spotify or audiobooks. A stranger with a story was high value. The transaction was something like = I provide logistics and you provide content; like the story of your cross-country bike trip.

Today, we have near infinite content in our pockets. The marginal utility of a stranger’s story has plummeted because the competition is Joe Rogan or an endless algorithmic feed. We have largely replaced the P2P protocol of kindness with a sort of centralized platform of service. We stripped out the human latency and the requirement for social reciprocity and replaced it with currency and star ratings. It makes me surreal to think about this.

Fiveplus

我不禁要关注凯利提到的这种替代性冒险的方面，这便是他提供给司机们的“报酬”——以换取搭车服务。这种机制在很大程度上已被现代注意力经济所淘汰。

在搭车的年代，人们对于新奇事物的“带宽”很有限。长途通勤的司机们没有播客、没有Spotify或有声读物。一个有故事的陌生人非常有价值。这笔交易大概是这样的：我提供出行便利，你提供故事；比如你环美自行车旅行的见闻。

如今，我们口袋里装着近乎无限的内容。一个陌生人故事的边际效用已经急剧下降，因为它的竞争对手是乔·罗根的播客或无尽的算法推荐流。我们在很大程度上已经用某种中心化的服务平台，取代了人与人之间善意的P2P协议。我们剔除了人与人之间交流的“延迟”和社会互惠的需求，取而代之的是货币和星级评价。想到这一切，感觉很不真实。

Flock Hardcoded the Password for America’s Surveil… #

https://news.ycombinator.com/item?id=46560006

Who could have guessed that the greedy, opportunistic, evil corporation whose sole intent is to invade our privacy in the name of “security” would be run by incompetents in the security realm?

baggachipz

谁能想到，那个打着“安全”旗号侵犯我们隐私的贪婪、投机、邪恶的公司，竟然是由一群安全领域的庸才来运营的？

How will the miracle happen today? #

https://news.ycombinator.com/item?id=46559233

It’s a choice. I go to the supermarket twice a week, not shopping for much. I switched the store I use three, four months ago, but I can already talk about some of the employees at the store I visit. Louis is back where he grew up right now because his 97-year-old grandfather died. Among other things, he feels lucky grandpa’s passing came after the new year because of his time-off allotment. Nikki had great holidays, mostly because her adult daughter was here for a week. Nadine (“Shh.”) has decided she’s going to retire at the end of the month but hasn’t yet told anyone at the store.

Raffy, the UPS delivery guy I see maybe five times a year? He’s doing well, finally feeling things slowing down some after the holidays. His fiancé will finish her graduate degree this spring, then they’re going to decide if they want to stay here or move back to the state where they were born. They like it here, but think job opportunities will be better back home.

I’m sure many here are familiar with “This is Water,” the commencement speech given by David Foster Wallace. Many often cite his line, “Everybody worships,” his observation that we all hold aspects of life in reverence, whether religious things or otherwise. It’s a valid, pithy point, but I always thought the key part to his speech comes later and has been widely overlooked:

And the so-called real world will not discourage you from operating on your default settings, because the so-called real world of men and money and power hums merrily along in a pool of fear and anger and frustration and craving and worship of self. Our own present culture has harnessed these forces in ways that have yielded extraordinary wealth and comfort and personal freedom. The freedom all to be lords of our tiny skull-sized kingdoms, alone at the centre of all creation. This kind of freedom has much to recommend it. But of course there are all different kinds of freedom, and the kind that is most precious you will not hear much talk about much in the great outside world of wanting and achieving…. The really important kind of freedom involves attention and awareness and discipline, and being able truly to care about other people and to sacrifice for them over and over in myriad petty, unsexy ways every day.

He delivered that speech in 2005. Before the modern smartphone. All those people I mentioned earlier were strangers. That’s no longer the case because all of us chose to interrupt what we were doing and open up a little to someone unfamiliar. It’s a choice. Or, as Bob Dylan once sang,

Freedom, just around the corner from you

But with truth so far off, what good will it do

NaOH

这是一种选择。我每周去两次超市，买的也不多。大约三四个月前我换了家超市，但我已经开始了解那里的几位员工了。路易斯现在回到了他长大的地方，因为他97岁的祖父去世了。除了其他原因，他觉得祖父在新年后去世是件幸运的事，因为这关系到他的假期安排。尼基的假期过得很好，主要是因为她成年的女儿来这里待了一周。娜丁（“嘘”）决定在本月底退休，但还没告诉超市里的任何人。

拉菲，那位我一年可能只见五次的UPS快递员？他一切都好，假期结束后终于感觉事情慢了下来。他的未婚妻今年春天将完成研究生学业，然后他们将决定是留在这里还是搬回他们出生的州。他们喜欢这里，但认为家乡的就业机会会更好。

我相信这里的很多人都熟悉大卫·福斯特·华莱士的毕业演讲《这是水》。许多人常常引用他的一句话：“每个人都在崇拜”，这是他的一个观察，即我们都敬畏生活的某些方面，无论是否与宗教有关。这是一个精辟而有力的观点，但我一直认为他演讲的精髓在于后面的部分，而这部分却被广泛忽略了：

所谓的现实世界不会阻止你使用自己的默认设置运行，因为所谓由男人、金钱和权力构成的现实世界，在恐惧、愤怒、挫折、渴望和自我崇拜的泥潭中，欢快地运转着。我们当下的文化以某种方式驾驭了这些力量，从而带来了巨大的财富、舒适和个人自由。那种让我们每个人都能成为自己微小颅骨王国之主，独自立于万物中心的自由。这种自由有很多可取之处。但当然，自由有很多种，而最宝贵的那种，你在这个由欲望和成就构成的广阔外部世界里，是很少能听到谈论的……真正重要的自由，关乎注意力、觉知和自律，关乎能够真正地关心他人，并日复一日地在无数琐碎、不酷的方式中为他们做出牺牲。

他是2005年发表的那篇演讲，在智能手机普及之前。我前面提到的那些人，以前都是陌生人。情况不再是这样了，因为我们都选择停下手中的事，向一个不熟悉的人敞开一点点心扉。这是一种选择。或者，就像鲍勃·迪伦曾经唱过的那样，

自由，就在你转角处 但真相如此遥远，又有何用

Kagi releases alpha version of Orion for Linux #

https://news.ycombinator.com/item?id=46554476

This is a healthy thing to happen to the Linux browser ecosystem imho.

We talk a lot about browser diversity, but on Linux and Windows, it is a lie. You have firefox (gecko) and fifty flavors of chromium. Webkit on Linux has essentially been relegated to embedded devices or the GNOME epiphany browser, which I’ll admit while is a noble effort, lags a bit in the stability and power-user features department. Big reason for that is that it lacks the commercial backing to keep up with the modern web standards rat race.

Kagi bringing orion to Linux changes the calculus. It introduces a third commercially incentivized , consumer-grade engine to the platform. Even if you never use orion, you want this to succeed because it forces WebKitGTK upstream to get better, which benefits the entire open source ecosystem.

The sticking point like always will be media playback (read: DRM/widevine). That is the graveyard where Linux browsers go to die. If Kagi can legally and technically solve the widevine integration on a non-standard Linux webkit build, they win. If not, it will be a secondary browser.

Fiveplus

在我看来，这对Linux浏览器生态系统来说是一件好事。

我们经常谈论浏览器的多样性，但在Linux和Windows上，这简直就是个谎言。你有的不过是火狐（Gecko）以及五花八门的Chromium。在Linux上，WebKit基本上被局限于嵌入式设备或GNOME的Epiphany浏览器。我得承认，Epiphany浏览器虽是一项值得称赞的努力，但在稳定性和高级用户功能方面还是稍微落后了一些。一个很大的原因是，它缺乏商业支持，难以跟上现代网络标准的激烈竞争。

Kagi将Orion浏览器带到Linux，这改变了整个格局。它为该平台引入了第三个有商业驱动的、消费级的引擎。即使你从不使用Orion，你也希望它能成功，因为它会迫使WebKitGTK上游变得更好，而这将惠及整个开源生态系统。

一如往常，最大的障碍在于媒体播放（即DRM/Widevine）。这里是Linux浏览器的坟墓。如果Kagi能在法律和技术上，在一个非标准的Linux Webkit构建版本上解决Widevine的集成问题，他们就赢了。否则，它就会成为一个次要浏览器。

How Markdown took over the world #

https://news.ycombinator.com/item?id=46560618

Sound write-up. It is missing the #1 reason I like it though - it’s fundamentally text.

No format/vendor lock-in and very amenable to living in a git repo. For my note taking that’s already game over right there against everything else. I don’t want to worry about whatever cursed format OneNote uses is still something I can extract in 2035.

I also like that it’s become a defacto standard that LLMs speak. I can tell it to look at the code in this server repo and make me a API_documentation.md and it’ll grasp that I want a text based summary of how to use this endpoint

Havoc

写得不错。不过，它缺少了我最喜欢它的第一点原因——它本质上就是文本。

它不受格式或供应商的锁定，并且非常适合存放在 git 仓库中。就我记笔记而言，这一点就已经让它在与其他所有工具的比拼中完胜了。我不想操心 OneNote 用的那种鬼格式到 2035 年是否还能被提取出来。

我也喜欢它已经成为了大语言模型所使用的一种事实上的标准。我可以让它查看这个服务器仓库中的代码，然后为我生成一个 API_documentation.md 文件，并且它能理解我想要的是一份关于如何使用这个端点的文本摘要。

Cloudflare CEO on the Italy fines #

https://news.ycombinator.com/item?id=46556411

Italian here.

If somebody wants to read the full document about the fine (in italian) it’s here: https://www.agcom.it/sites/default/files/provvedimenti/delibera/2026/Delibera%20333_25_CONS_Cloudflare_Ordinanza%20Ingiunzione_CLEAN_per%20pubblicazione.pdf

Part of this doc states:

The rights holders also declared, under their own responsibility, providing certified documentary evidence of the current nature of the unlawful conduct, that the reported domain names and IP addresses were unequivocally intended to infringe the copyright and related rights of the audiovisual works relating to live broadcast sporting events and similar events covered by the reports.

So, I’m not sure anybody verified that what the right holders claimed was actually true. While I understand what AGCOM (the italian FCC, more-or-less) is trying to do, it seems that, as usual, a law was created without verifying how the implementation of such law would work in practice (something very common in Italy), and this is the result.

Cloudflare CEO seems irate, and some of his references are not great, but I’d be inclined at thinking he’s got at least some reason on his side.

alanfranz

意大利人。

如果有人想查看关于罚款的完整文件（意大利语），可以在这里找到：https://www.agcom.it/sites/default/files/provvedimenti/delibera/2026/Delibera%20333_25_CONS_Cloudflare_Ordinanza%20Ingiunzione_CLEAN_per%20pubblicazione.pdf

文件的部分内容如下：

“权利人也自行承担责任，提供了经认证的文件证据，证明了非法行为的当前性质，并声称被举报的域名和IP地址毫无疑问是为了侵犯与直播体育赛事以及报告所涵盖的类似事件相关的视听作品的版权和相关权利。”

所以，我不确定是否有人核实过权利人声称的情况是否属实。虽然我理解AGCOM（意大利的FCC，差不多就是这个意思）想要做什么，但似乎和往常一样，一项法律在制定时并未验证其在实践中如何执行（这在意大利很常见），而这便是结果。

Cloudflare的首席执行官似乎很愤怒，他的一些言论也并非无可指摘，但我倾向于认为他至少有几分道理。

How Markdown took over the world #

https://news.ycombinator.com/item?id=46561911

I added Markdown support to Google Docs as a 20% project. Honestly honored to be included in this Markdown history :)

tomeraberbach

我作为20%项目为Google Docs添加了Markdown支持。能被纳入Markdown的历史真的感到很荣幸 :)

Allow me to introduce, the Citroen C15 #

https://news.ycombinator.com/item?id=46565404

The C15 represents a time when a vehicle was a tool. I feel vehicles want to turn into a subscription service these days.

I still see these running in rural Spain and France, usually held together with wire and hope, clocking like what 400k+ km? The XUD diesel engines are practically unkillable. They have no ECU to brick, no adblue sensors to fail and put the car into limp mode and thankfully none of those DRM locked headlights.

The argument for the countryside need of a modern SUV usually cites reliability and safety, and in 2026, modern complexity is the enemy of reliability. If your C15 breaks down in a field, you can fix it with a wrench. If your Range Rover breaks down in a field because a sensor in the air suspension noticed a voltage variance…you are stranded until a tow truck takes it to a dealer.

Fiveplus

C15代表了一个车辆只作为工具的时代。我感觉现在的车辆都想变成一种订阅服务。

我在西班牙和法国的乡村地区仍然能看到这种车在跑，通常全靠铁丝和希望勉强维持着，里程数都跑到40万公里以上了吧？XUD柴油发动机简直坚不可摧。它们没有会失灵的ECU，没有会失效导致车辆进入跛行模式的AdBlue传感器，而且谢天谢地，也没有那些被DRM锁定的前大灯。

支持乡村地区需要现代SUV的论点通常会提及可靠性和安全性，但在2026年，现代的复杂结构恰恰是可靠性的天敌。如果你的C15在田里抛锚了，用一把扳手就能修好。如果你的揽胜因为空气悬架里的传感器检测到电压异常而在田里抛锚……你就只能被困在那里，直到拖车把你拖到经销商那里。

Cloudflare CEO on the Italy fines #

https://news.ycombinator.com/item?id=46558643

The appeal to JD Vance is properly craven and validates the view that their business model is effectively a protection racket.

Recall the unsavoury episode with taviso, when they lobbied the FTC to investigate him after he helped clean up their mess during Cloudbleed. They always pivot to aggression when challenged.

pop_calc

对JD·万斯的呼吁实在是卑劣至极，这印证了一个观点：他们的商业模式本质上就是一种保护勒索。

还记得他们与taviso那段不光彩的事件吗？在Cloudbleed期间，taviso帮忙解决了他们的烂摊子，他们却反过来游说联邦贸易委员会去调查他。每当受到挑战，他们总是转向攻击。

The Vietnam government has banned rooted phones fr… #

https://news.ycombinator.com/item?id=46556541

So, if you cannot cryptographically prove to a remote server that your device is running essentially unmodified, vendor-signed software, you are locked out of the economy?

The irrefutable part here is that the security model works. Locking down the bootloader and enforcing TEE signatures does stop malware. But it also kills user agency. We are moving to a model where the user is considered the adversary on their own hardware. The genius of the modders in that XDA thread is undeniable, but they are fighting a war against the fundamental architecture of modern trust and the architecture is winning.

Fiveplus

所以，如果你无法向远程服务器密码学地证明你的设备运行的是基本未经修改、由供应商签名的软件，你就会被排除在经济体系之外？

这里不可否认的一点是，这种安全模型是有效的。锁定引导加载程序并强制执行可信执行环境（TEE）签名确实能阻止恶意软件。但它也扼杀了用户的自主权。我们正在走向一种模式，在这种模式下，用户在自己拥有的硬件上被视为对手。XDA论坛上那些修改者的才华是毋庸置疑的，但他们正在对抗现代信任体系的基础架构，而后者正在获胜。

Oh My Zsh adds bloat #

https://news.ycombinator.com/item?id=46562912

I use oh my zsh for exactly one reason: I can get a good shell experience out of the box and immediately start working on stuff productively, whether it’s a new machine, a new remote host or a container.

I could spend hours figuring out all those things, bit I’d rather use that time for something more important.

g947o

我使用 oh my zsh 只有一个原因：它能开箱即用地提供出色的 shell 体验，让我无论是在新机器、新远程主机还是容器中，都能立即高效地开始工作。

我可以花上几个小时去研究那些配置，但我宁愿把时间用在更重要的事情上。

Show HN: I made a memory game to teach you to play… #

https://news.ycombinator.com/item?id=46557738

It’s a very cool little game! One suggestion: could you make it so you can noodle around on the keyboard without submitting the answer and then once you’ve worked it out, have a submission mode? Right now, it’s frustrating that if you enter a wrong note, it shows a message, so you can’t experiment on the keyboard to try to work it out.

allenu

这是一个非常棒的小游戏！有一个建议：能不能让你在键盘上随意弹奏，先不提交答案，等自己琢磨出来之后，再进入提交模式？现在的状况是，一旦按错音符就会弹出一个提示，导致无法在键盘上自由尝试和探索，这点有点让人沮丧。

Kagi releases alpha version of Orion for Linux #

https://news.ycombinator.com/item?id=46554170

It seems weird to run a closed-source browser on an open-source operating system when so many open alternatives exist—I certainly wouldn’t do it, and I’m a Kagi customer.

Does Kagi plan to open-source Orion on Linux?

hellcow

在有很多开源替代品的情况下，在一个开源操作系统上运行闭源浏览器似乎很奇怪——我肯定不会这么做，而且我本身就是 Kagi 的用户。

Kagi 计划在 Linux 上将 Orion 开源吗？

Replit founder Amjad Masad isn’t afraid of Silicon… #

https://news.ycombinator.com/item?id=46554641

I know this isn’t very on the topic, but these articles make me cringe physically.

“You should compete,” I suggested.

He smirked. “I always compete.”

Feels like a vocal jerk-off. Just tell me the details, idc how tuff the interview was.

ramon156

我知道这跟主题关系不大，但这些文章看得我浑身起鸡皮疙瘩。

“你应该去参加比赛，”我建议道。

他嗤之以笑。“我一直都在比赛。”

感觉就像在口头炫耀。直接告诉我细节就行了，我才不管面试有多难。

Cloudflare CEO on the Italy fines #

https://news.ycombinator.com/item?id=46557083

A person praising Vance and Musk obviously doesn’t value due process, judicial oversight and ultimately decency.

gkoz

一个赞扬万斯和马斯克的人，显然是不重视正当程序、司法监督，最终也是没有基本道德的。

Do not mistake a resilient global economy for popu… #

https://news.ycombinator.com/item?id=46551004

I find the S&P500 to be interesting as a demonstration for currency risk. Denoted in US, it went up ~18% or so. For me as an EUR investor, it went up just 4.6% when accounting for the loss of the USD. Comparing that to indicies that usually do not perform that well, Euro Stoxx 50 is up ~22% and MSCI Emerging Markets ~21%.

p0pularopinion

我发现标普500指数作为汇率风险的一个例子很有趣。以美元计价，它上涨了约18%。但作为一个欧元投资者，在考虑到美元的贬值后，我的收益率仅为4.6%。相比之下，那些通常表现不太好的指数反而涨势更猛：欧洲斯托克50指数上涨了约22%，MSCI新兴市场指数上涨了约21%。

Start your meetings at 5 minutes past #

https://news.ycombinator.com/item?id=46561749

We do this at my work and guess what - meetings tend to run 5 minutes late because everyone knows the next meeting doesn’t start until 5 past.

exegete

我们公司也这么干，结果你猜怎么着——会议基本上都会晚开5分钟，因为大家都知道下一场会议要等到5点才开始。