欢迎收看 Hacker News 每日播报，今天我们将探讨 Windows 11 引发的隐私担忧、从零开始训练 LLM 的激动人心时刻、TurboTax 如何阻碍免费报税、Zed 编辑器登陆 Windows 的得与失，以及食蚜蝇的迁徙如何引发了关于星际旅行的遐想。

随着 Windows 10 即将退役，一篇措辞严厉的文章指出，微软正通过 Windows 11 将用户推向一个“监控国家”。文章作者认为，Windows 11 在设计上对数据隐私构成了前所未有的威胁，现在是个人和企业用户认真考虑转向 Linux 的时候了。

文章列举了 Windows 11 的几大“罪状”：

鉴于这些问题，作者强烈建议客户转向 Linux，并推荐了 Zorin OS、PopOS、Ubuntu 等多个发行版。

围绕这一话题，技术社区展开了热烈讨论。许多人对作者的观点表示赞同，认为 Windows 11 的隐私问题和强制性功能确实令人不安。大家积极分享转向 Linux 的经验和建议，其中 Linux Mint 因其与 Windows 相似的用户体验而被誉为最平稳的过渡选择，而 Debian Stable 与 Cinnamon 桌面环境的组合也备受推崇。

对于游戏玩家这一特殊群体，大家指出，得益于 Valve 的 Proton 技术和 Steam Flatpak，如今在 Linux 上玩游戏已不再是难题，大多数非内核级反作弊的游戏都能良好运行。

不过，讨论也触及了 Linux 推广的现实挑战。有人提醒，普通用户可能并不像技术爱好者那样关心隐私问题，因此在推广时应更关注用户的实际需求，如速度、无广告和成本节约。此外，硬件兼容性仍是一个不容忽视的障碍，例如有用户就遇到了 AMD 显卡在 Linux 下的随机闪烁问题。

有趣的是，关于 TPM 和安全启动的看法也出现了分歧。一些人认为，这些技术本身具有安全价值，许多 Linux 发行版也能很好地支持它们；问题在于微软将其作为“强制性”的最低要求，限制了用户的选择自由。

Giles Thomas 的“从零开始编写 LLM”系列迎来了激动人心的第 22 部分——模型训练。经过漫长的铺垫，作者终于将所有组件整合，亲眼见证了自己搭建的 LLM 开始生成文本。

文章的亮点在于，在一个仅有 2 万字符的小数据集上，模型在 RTX 3090 上训练短短十秒，就能生成初步连贯的文本。更令人振奋的是，当加载 OpenAI 原始 GPT-2 模型的权重后，模型立刻展现出惊人的能力，这直观地展示了预训练模型的强大威力。

在技术细节上，作者分享了实践中的挑战。例如，由于代码中存在大量随机性，完全复现书中的结果变得异常困难。他还介绍了超越传统 SGD 的 AdamW 优化器，并形象地将其比喻为给梯度下降的“球”赋予动量，使其能越过局部最优解。为了避免模型简单地“鹦鹉学舌”般重复训练数据，文章还介绍了温度（temperature）和 Top-K 采样等技术，以增加生成文本的多样性和质量。

这篇文章在社区中引发了对学习方法和实践成本的深入探讨。许多人将这个系列与 Andrej Karpathy 的 nanogpt 等项目相提并论，认为这种从底层构建 AI 的方式极具教育意义。

关于如何更好地学习 LLM，社区出现了有趣的观点碰撞。有人认为，像 Sebastian Raschka 的《从零开始构建大型语言模型》这类书籍虽然代码详尽，但在“建立直觉”方面有所欠缺。另一些人则反驳称，在机器学习领域，理解背后的数学原理比模糊的“直觉”更重要。不过，Karpathy 的“Zero to Hero”系列视频因其在构建直觉方面的出色表现而备受推崇。

此外，关于训练成本的讨论也从理论走向了实践。有经验的开发者指出，在比较本地 GPU 与云端集群的成本时，绝不能只看硬件费用，还必须考虑数据传输、环境调试等“隐藏开销”，这些因素在实际项目中可能显著影响总成本和效率。

这篇来自 ProPublica 在 2019 年的深度调查报道，至今仍在技术社区中反复被提及。它揭露了 TurboTax 的母公司 Intuit 如何通过长达二十年的游说和商业策略，成功阻止美国政府为公民提供免费、简化的报税服务——而这种服务在许多发达国家早已是标配。

报道的核心观点是，Intuit 的商业帝国建立在美国税收制度的复杂性之上。为了维护这一模式，该公司采取了多种手段：

这篇报道的影响深远，每次报税季来临或有相关新闻出现时，它都会在 Hacker News 等社区被重新分享和讨论。这表明，大型科技公司如何利用其影响力操纵市场、阻止公共服务以及通过欺骗性营销牟利，是科技从业者持续关注的伦理焦点。这种反复的讨论也反映出社区对企业不当行为的普遍不满，以及对更公平、透明系统的持续呼吁。

美国国税局（IRS）最近开源了一个名为“事实图谱”（Fact Graph）的项目，这是一个用于建模美国税法的知识图谱。该项目源自已被取消的 IRS Direct File（免费直接报税）计划，旨在提供一个标准化的工具来以声明方式处理复杂的税法逻辑。

这个项目一经发布，便引发了社区的热烈讨论。首先，大家很快澄清了一个误解：这个 GitHub 仓库本身是知识图谱的引擎和工具，而实际的税法数据则存放在另一个相关的仓库中。

然而，讨论的焦点迅速转向了 Direct File 项目被取消一事。许多人对此表示极度失望和愤怒，认为这是 TurboTax 等商业报税软件公司游说成功的恶果，直接损害了普通纳税人的利益。这种“愚蠢的政治操作”让大家对现有体系感到不满。

在对商业软件的声讨中，许多用户开始积极推荐替代方案，其中 FreeTaxUSA 和 Cash App Taxes 因其更低廉的费用和更友好的用户体验而备受推崇。

此外，这个开源项目也激发了人们对 AI 应用的想象。有人提出，将 Fact Graph 与大型语言模型（LLM）结合，或许能提供有趣的税务建议。但大家普遍认为，虽然 LLM 可以帮助发现潜在的抵扣项，但鉴于税法的复杂性和 LLM 的“幻觉”风险，所有建议都必须经过人工核实并参考官方说明，否则可能带来严重的法律后果。

以高性能和原生体验著称的代码编辑器 Zed，在万众期待下终于正式登陆 Windows 平台。Zed 团队强调，其 Windows 版本并非简单的跨平台封装，而是通过直接调用 DirectX 和 DirectWrite 等底层 API 实现，旨在提供最原生的外观和性能。此外，它还深度集成了 WSL 和 SSH 远程开发功能，所有 AI 和扩展功能也已完全支持。

然而，Zed 的 Windows 首秀在社区中引发了复杂而激烈的讨论，主要集中在以下几个方面：

许多用户对 Zed 超过 400MB 的安装包大小感到震惊，这与大家对“高性能、轻量级”的期待相去甚远。深入探究后发现，这主要是由于 Rust 默认的静态链接方式以及庞大的依赖树（超过 2000 个 crate）所致，其中用于协作功能的 webrtc-sys 和 tree-sitter 语法解析器是主要的“重量级”组件。有人认为，与 Sublime Text（约 52MB）相比，这个体积“令人尴尬”；但也有人辩护称，考虑到 Zed 提供的丰富功能，应将其视为一个准 IDE，400MB 在当今环境下并非不可接受。

尽管以性能著称，但有用户报告称 Zed 的冷启动时间长达数分钟，远逊于 VSCode。在用户体验方面，一些基本的操作系统级快捷键（如 ALT+F）不工作，文件操作缺乏撤销功能也引起了用户的担忧。对于现代开发者而言，DevContainer 支持的缺失更是一个关键痛点，阻碍了他们将其作为主力编辑器。

尽管 Zed 团队强调使用了原生渲染技术，但仍有用户抱怨在非 HiDPI（高分屏）显示器上字体模糊，甚至导致头痛。这再次引发了关于子像素渲染重要性的辩论。虽然高分屏日益普及，但许多开发者指出，1080p 显示器在全球范围内仍是主流，清晰的字体渲染至关重要。

总而言之，Zed 登陆 Windows 备受关注，但要在竞争激烈的编辑器市场站稳脚跟，解决好社区反馈的这些实际问题将是关键。

数据库迁移工具 Liquibase 最近将其许可证从传统的开源协议转向了功能源代码许可证（FSL），但其在宣传材料中仍继续使用“开源”标签，此举在社区引发了一场关于“开源”定义的大辩论。

FSL 许可证的核心特点是限制“竞争性使用”，这直接违反了开源倡议组织（OSI）关于“不得歧视任何应用领域（包括商业用途）”的核心原则。因此，许多人坚持认为，无论其源代码是否公开，采用 FSL 的 Liquibase 都不能再被称为真正的“开源”软件。

这场争议迅速演变成一场关于开源理念的深刻探讨：

总而言之，Liquibase 事件再次点燃了关于开源核心原则的长期辩论，反映了在云计算时代，开发者如何在理想主义与商业现实之间寻求平衡的持续探索。

Rust for Linux 项目不仅在推动 Rust 进入 Linux 内核，也在反向促进 Rust 语言本身的发展。一篇来自 LWN.net 的文章详细介绍了几个为满足内核开发需求而即将推出的 Rust 语言新特性，这些特性旨在提升系统级编程的安全性、可靠性和开发效率。

社区对这些进展的讨论，也深入到了 Rust 语言的核心特性和应用价值上。

许多人承认 Rust 是一门复杂的语言，但其复杂性与 C++ 有着本质区别。大家普遍认为，Rust 的复杂性是“可控的”，因为编译器会强制执行规则，从而在编译时就消除大量的潜在错误，而不是像 C++ 那样将问题留到运行时。

生命周期（Lifetimes）仍然是许多开发者学习过程中的一个痛点。一些人坦言，在面对复杂的生命周期问题时，会选择使用引用计数（Rc<>）来规避，认为在非极致性能场景下，这是一种务实的权衡。

对于 Rust for Linux 项目的价值，尽管有人质疑其进展缓慢，但更多人通过实际案例证明了其重要性。例如，Asahi Linux 的 GPU 驱动就是用 Rust 编写的，其开发者表示 Rust 的安全特性帮助他们避免了大量的并发问题。这些成功的应用表明，Rust 正在为 Linux 内核带来实实在在的可靠性优势。

Ollama 最近发布了一系列新的编码模型和工具集成，旨在提升 AI 辅助编程的体验。其中，新推出的 GLM-4.6 模型备受瞩目，同时，像 Qwen3-Coder-480B 这样的巨型模型也已上线，尽管其本地运行需要超过 300GB VRAM 的强大硬件。

这次更新在社区中引发了多方面的讨论：

尽管存在争议，但 Ollama 在技术上仍在进步，例如实验性的 Vulkan 支持有望加速在更多类型 GPU 上的模型运行。

一篇关于北海石油钻井平台上“苍蝇云”现象的科学文章，意外地在 Hacker News 社区引发了一场关于人类未来的深刻哲学思辨。

文章揭示，这些神秘的访客其实是食蚜蝇（hoverflies），它们在从欧洲大陆到斯堪的纳维亚半岛的漫长迁徙途中，将钻井平台当作了至关重要的“休息站”。更令人惊讶的是，这种迁徙是跨越数代的壮举，每一代食蚜蝇都只完成了旅程的一部分，它们的后代则继续向着最终目的地前进。

这个“跨越多代的旅程”瞬间点燃了社区的想象力，大家不约而同地联想到了人类探索宇宙的终极方式——“世代飞船”（generation ship）。

除了对星际旅行的遐想，讨论还涉及了石油钻井平台的意外生态价值（成为人工鱼礁）以及昆虫长距离飞行的惊人效率。这篇关于小昆虫的科学发现，最终变成了一场关于人类未来、社会演变和我们在宇宙中位置的广泛讨论。

一个名为“构建一个超标量 8 位 CPU”的 YouTube 视频系列在 Hacker News 上引起了关注。这个系列的目标极具吸引力：将现代高性能 CPU 中的核心概念——超标量架构（即在单个时钟周期内并行执行多条指令），应用到一个相对简单的 8 位处理器设计中。

对于希望深入理解计算机底层工作原理的软件开发者和硬件爱好者来说，这是一个绝佳的学习资源。它将带领观众从最基本的逻辑门开始，一步步构建出一个能够并行处理指令的复杂系统。

这类实践性极强的教育内容，通常会在社区中引发热烈的技术交流。可以预见，讨论会围绕以下几个方面展开：

相关链接：

• Retiring Windows 10 and Microsoft's move towards a surveillance state
• Writing an LLM from scratch, part 22 – training our LLM
• TurboTax’s 20-year fight to stop Americans from filing taxes for free (2019)
• IRS open sources its fact graph
• Zed is now available on Windows
• Liquibase continues to advertise itself as "open source" despite license switch
• Upcoming Rust language features for kernel development
• New coding models and integrations
• Flies keep landing on North Sea oil rigs
• Build a Superscalar 8-Bit CPU (YouTube Playlist) [video]