2024-03-14 Hacker News Top Stories #

一句话摘要 #

Nvtop: Linux Task Monitor for Nvidia, AMD and Intel GPUs NVTOP 是一个类似于 htop 的任务监视器，用于监控 Linux 系统上的 Nvidia、AMD 和 Intel GPU。

JIT WireGuard Fly.io 介绍了 JIT WireGuard，一种改进的 WireGuard 实现，通过按需管理对等体来提高网关效率。

House passes bill to force TikTok sale from Chinese owner or ban the app 美国众议院通过法案，要求 TikTok 母公司字节跳动出售 TikTok 或面临在美国的禁令。

A generalist AI agent for 3D virtual environments DeepMind 推出了 SIMA，一个通用的 AI 代理，能够在 3D 虚拟环境中遵循自然语言指令执行任务。

Bluesky’s stackable approach to moderation Bluesky 社交平台开源了 Ozone 工具，采用可堆叠的内容管理方法，让用户和社区共同审核和标记内容。

Direct File officially opens in 12 pilot states IRS 在 12 个州推出 Direct File 服务，允许符合条件的纳税人免费在线直接报税。

How Mandelbrot set images are affected by floating point precision FloatCompMandelbrot 项目探索不同浮点精度对 Mandelbrot 集图像生成的影响。

Show HN: Flox 1.0 – Open-source dev env as code with Nix Flox 是一个开源项目，提供了一个基于 Nix 的开发环境即代码的解决方案，简化依赖管理。

IRS has launched its free tax filing service, Direct File, in 12 states IRS 在 12 个州推出 Direct File 免费报税服务，旨在简化简单税务情况纳税人的报税流程。

Paul Alexander, ‘the man in the iron lung’, has died 被称为“铁肺男子”的小儿麻痹症幸存者 Paul Alexander 去世，他在铁肺中生活了 70 多年。

Nvtop: Linux Task Monitor for Nvidia, AMD and Intel GPUs #

https://github.com/Syllo/nvtop

这个 GitHub 仓库是关于名为"NVTOP"的项目，全称为 Neat Videocard TOP，是一个类似于 htop 的任务监视器，用于监控 GPU 和加速器的进程。它支持多个 GPU，并以 htop 熟悉的方式显示有关它们的信息。目前支持的供应商有 AMD（Linux amdgpu 驱动程序）、Apple（有限的 M1 和 M2 支持）、华为（Ascend）、英特尔（Linux i915 驱动程序）、NVIDIA（Linux 专有驱动程序）、高通 Adreno（Linux MSM 驱动程序）。

该项目提供了详细的安装和使用说明，包括交互式设置窗口、保存偏好设置、命令行选项、各种 GPU 供应商的支持（如 AMD、英特尔、NVIDIA 等）、构建过程以及针对不同发行版的安装过程（如 Ubuntu、Fedora、Arch Linux 等）。此外，还提供了故障排除指南和许可信息。

总体而言，NVTOP 是一个功能强大的 GPU 和加速器进程监视工具，适用于多个供应商的设备，提供了丰富的功能和灵活的定制选项。

HN 评论 79 comments | 作者：alexzeitler | 21 hours ago #

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

有评论认为 nvidia-smi 的利用率并不是性能的良好代理，建议使用其他工具进行个别内核的性能分析。
另一种观点认为 nvtop 中的功耗报告通常与训练性能相关，并指出温度是第二个有用的宏观指标。
有人认为 FLOPs 利用率是当前效率的行业标准指标，但 nvtop 中的报告利用率可能具有误导性。
评论中提到了对于不同 GPU 的监控工具，以及其他类似工具的推荐和讨论。
有人提到了对于 CUDA 的安装和更新可能会遇到一些问题，但总体来说安装过程并不困难。
评论中还涉及到了关于 GPU 在不同应用场景下的使用和监控，以及对不同 GPU 品牌的支持情况等讨论。

JIT WireGuard #

https://fly.io/blog/jit-wireguard-peers/

这篇文章介绍了关于 JIT（Just-In-Time）WireGuard 的内容。Fly.io 是一个将容器转换为虚拟机并在全球硬件上运行的平台，使用 WireGuard 作为其客户 API 的一部分。

他们在文章中分享了一些他们为了使 WireGuard 更快速、更可扩展而做出的改进。在过去，Fly.io 的网关服务器上运行着一个简单的系统，用于接受传入的 WireGuard 连接并将其连接到适当的私人网络。然而，他们遇到了一些问题，比如 NATS 消息系统不保证交付，以及 flyctl 退出后创建的 WireGuard 对等体会留在网关上，导致大量过时的对等体，使内核 WireGuard 操作变得非常缓慢。

为了解决这些问题，他们提出了一种新的方法：JIT WireGuard 对等体。通过让网关根据需要从 API 中拉取对等体配置，而不是将配置推送到网关，可以更有效地管理对等体。文章详细介绍了如何实现 JIT WireGuard 对等体，包括使用 BPF 过滤器和数据包套接字捕获 WireGuard 连接请求，以及如何在内核中安装对等体。这种方法使得网关只有在客户端想要连接时才需要将对等体添加到内核中，从而提高了效率。

最终，Fly.io 通过这种方法成功地减少了网关上过时的 WireGuard 对等体数量，使网关更快速、更可靠。

HN 评论 123 comments | 作者：Lwrless | 16 hours ago #

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

评论中的观点归并如下：

有关 Linux 内核 WireGuard 缺乏按需安装对等体功能的讨论；
讨论使用 Netlink API 从内核 WireGuard 获取公钥的建议；
讨论避免在用户空间运行 WireGuard 的原因和性能问题；
对“JIT WireGuard”术语的理解和使用；
对 NATS 消息丢失问题和可靠性的疑问；
对 Fly.io 平台部署体验的积极和消极评价；
对 Fly.io 用户空间 WireGuard 实现的讨论；
对 Fly.io CLI 功能和用户空间 TCP/IP 栈的解释；
对 Fly.io 创建对等体的讨论；
对 Fly.io CLI 的喜爱和对其 CLI 功能的疑问。

House passes bill to force TikTok sale from Chinese owner or ban the app #

https://www.nytimes.com/2024/03/13/technology/tiktok-ban-house-vote.html

这项立法获得了广泛的两党支持，表明共和党和民主党都希望在中国问题上显得强硬。如果 TikTok 法案成为法律，可能会加深美中之间在重要技术控制上的冷战。参议院将面临通过的困难，一些议员已经表示要反对。

自 2020 年以来，国会议员一直认为北京与 TikTok 母公司字节跳动的关系会带来国家安全风险。该法案旨在要求字节跳动在六个月内将 TikTok 出售给非中国所有者。如果这种销售解决了国家安全问题，总统会签署销售协议。如果没有发生这种销售，该应用将被禁止。

法案通过后，可能会加深美国和中国在重要技术控制上的冷战。北京谴责美国议员的行动，并拒绝认为 TikTok 对美国构成危险。美国政府一直在努力说服议员，中国对该平台的所有权构成了严重的国家安全风险。有些专家表示，即使法案通过了国会、签署成法并在法庭挑战中取得胜利，也有可能在新政府下崩溃。

特朗普政府曾威胁称如果字节跳动不出售 TikTok 的股份，将将其从美国应用商店中删除。特朗普政府试图寻求立法解决方案，白宫在制定法案时提供了 “技术支持”。白宫一再派国家安全官员私下向国会议员阐述该法案的重要性，并对 TikTok 目前所有权带来的风险发出严重警告。

在周二，联邦调查局、国家情报总监办公室和司法部的官员就与 TikTok 相关的国家安全问题向议员进行了机密简报。该法案被视为某种对抗该公司的最后一战，最新法案被视为对抗公司的最后一战。 Gallagher 最近表示他不会竞选第五个任期，因为 “制宪者打算让公民在国会中任职一段时间后回到他们的私人生活中”。

HN 评论 832 comments | 作者：jbegley | 8 hours ago #

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

有人认为禁止 TikTok 应基于对等原则，而非道德或安全考虑，因为中国限制外国应用在其市场运营，美国为何要让中国公司在其市场无限制地运营。
有人认为不应向压迫政权妥协，认为 TikTok 类似于印刷机，应受到第一修正案保护，不应设立类似中国的“防火墙”限制公民访问网站。
有人指出 TikTok 部分由 CCP 控制，影响美国人看到的内容，认为不应允许外国政府控制的广播在美国传播。
有人认为外国宣传在美国受到第一修正案保护，不应成为干涉使用哪些应用的理由。
有人认为美国与中国实际上处于战争状态，认为应警惕中国对美国的潜在威胁。
有人认为外国公司不应该享有与美国公司相同的保护，应限制其影响力。
有人认为应限制外国政府拥有的传播平台，以保护国家安全。
有人认为应限制外国宣传对美国的影响，以防止信息战争。
有人认为美国应对外国宣传采取类似措施，以减少其影响。
有人认为外国宣传可能对美国构成威胁，应加以限制。
有人认为应限制外国宣传对美国的影响，以保护国家利益。
有人认为应限制外国政府拥有的传播平台，以保护国家安全。
有人认为应限制外国宣传对美国的影响，以防止信息战争。
有人认为应限制外国宣传对美国的影响，以保护国家利益。

A generalist AI agent for 3D virtual environments #

https://deepmind.google/discover/blog/sima-generalist-ai-agent-for-3d-virtual-environments/

在这篇文章中，Google DeepMind 团队介绍了一种名为 Scalable Instructable Multiworld Agent（SIMA）的新型研究成果，该代理程序可以遵循自然语言指令在各种视频游戏环境中执行任务。视频游戏是人工智能系统的关键验证场所。与现实世界一样，游戏是丰富的学习环境，具有响应灵敏、实时变化的设置和不断变化的目标。Google DeepMind 在 Atari 游戏的早期工作，以及 AlphaStar 系统在 StarCraft II 中达到人类大师级别的游戏中具有悠久的历史。今天，他们宣布了一个新的里程碑 - 将重点从单个游戏转向通用的、可指导的游戏 AI 代理。

在一份新的技术报告中，他们介绍了 SIMA，即 Scalable Instructable Multiworld Agent，这是一个用于 3D 虚拟环境的通用 AI 代理。他们与游戏开发者合作，在各种视频游戏中对 SIMA 进行训练。这项研究标志着一个代理程序首次展示了它能够理解广泛的游戏世界，并按照自然语言指令执行任务，就像人类一样。这项工作并非旨在取得高游戏得分。学会玩一个视频游戏对于 AI 系统来说已经是一个技术壮举，但学会在各种游戏环境中遵循指令可能会为任何环境中更有用的 AI 代理解锁更多可能性。

他们的研究展示了如何通过语言界面将先进 AI 模型的能力转化为有用的现实行动。他们希望 SIMA 和其他代理研究能够利用视频游戏作为沙盒，更好地理解 AI 系统如何变得更有帮助。

SIMA 是一个多才多艺的 AI 代理，可以感知和理解各种环境，然后采取行动实现指定目标。它包括一个专为精确图像-语言映射设计的模型和一个预测屏幕上接下来会发生什么的视频模型。他们在 SIMA 组合中的 3D 设置的训练数据上对这些模型进行了微调。

SIMA 不需要访问游戏的源代码，也不需要定制的 API。它只需要两个输入：屏幕上的图像和用户提供的简单自然语言指令。SIMA 使用键盘和鼠标输出来控制游戏的中心角色执行这些指令。这种简单的界面是人类使用的，这意味着 SIMA 可能与任何虚拟环境进行交互。

当前版本的 SIMA 在 600 个基本技能上进行了评估，涵盖导航（例如“向左转”）、物体交互（“爬梯子”）和菜单使用（“打开地图”）等方面。他们已经训练 SIMA 执行大约在 10 秒内完成的简单任务。

他们希望未来的代理能够处理需要高级战略规划和完成多个子任务的任务，例如“找到资源并建立营地”。这对于 AI 来说是一个重要目标，因为尽管大型语言模型已经催生了可以获取关于世界知识并生成计划的强大系统，但它们目前缺乏代表我们采取行动的能力。

他们展示了在许多游戏上训练的代理比只学习如何玩一个游戏的代理更好。在他们的评估中，从他们的组合中的九个 3D 游戏上训练的 SIMA 代理明显优于专门在每个游戏上训练的所有专门代理。更重要的是，在所有但一个游戏上训练的代理在那个未见过的游戏上表现几乎和专门训练的代理一样好，平均而言。这种在全新环境中运行的能力突显了 SIMA 在训练之外的泛化能力。这是一个有希望的初步结果，但需要更多的研究让 SIMA 在已知和未知游戏中表现出人类水平。

SIMA 的表现显示了开发新一代通用、语言驱动的 AI 代理的潜力。这是早期研究，他们期待在更多的训练环境中进一步完善 SIMA，并整合更强大的模型。通过让 SIMA 接触更多的训练世界，他们期望它变得更具普遍性和多功能性。随着更先进的模型，他们希望提高 SIMA 理解和执行更高级别语言指令以实现更复杂目标。最终，他们的研究旨在构建更通用的 AI 系统和代理，能够理解并安全地执行各种任务，以帮助在线和现实世界的人们。

HN 评论 205 comments | 作者：nuz | 7 hours ago #

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

这篇帖子中的评论观点可以归纳为：

AI 在游戏中的表现受到限制，但仍然令人印象深刻；

AI 在某些方面比人类更优越，但在整体策略方面存在不足；

AI 在复杂任务上表现更出色；

AI 在即时反应方面具有优势；

AI 在技术方面表现出色，但战略性不足；

AI 在游戏中的表现受到控制输入限制。

Bluesky’s stackable approach to moderation #

https://bsky.social/about/blog/03-12-2024-stackable-moderation

这篇文章介绍了 Bluesky 社交平台在内容管理方面的创新举措。Bluesky 旨在让用户和社区掌控在线社交空间。他们开源了名为 Ozone 的协作式内容管理工具，让个人和团队可以共同审核和标记整个网络上的内容。用户可以运行独立的内容管理服务，与 Bluesky 应用无缝集成，从而实现对社交媒体体验的前所未有的控制。

Bluesky 投资于安全性，建立了自己的内容管理团队，并意识到没有一种内容管理方法适用于所有国家、文化和社区。因此，他们正在建立一个内容管理和开源安全工具生态系统，赋予社区创造自己空间的权力。Bluesky 的内容管理服务遵循三项原则：简单而强大、用户选择和开放性。

用户可以订阅独立的内容管理服务，将其叠加在 Bluesky 应用的基础上，实现个性化体验。这种混合方法旨在提供一致的体验，Bluesky 的内容管理服务与社区定制的额外层次相结合。开发者可以通过 Ozone 等工具为内容打标签，也可以通过 API 直接应用标签。这种“可组合的内容管理”可以在整个 atproto 网络上运作，而不仅仅是 Bluesky 应用。

Bluesky 鼓励用户选择和自由离开，用户可以选择使用自己的内容管理系统，但所有在 Bluesky 应用中显示的内容必须符合 Bluesky 的社区准则。他们还开源了 Ozone 工具，以促进 AT Protocol 上独立内容管理者之间的合作和透明性。这种内容管理方法与 Mastodon 上的社区管理有所不同，Bluesky 的内容管理不受服务器限制，而是通过工具和服务来帮助社区自我组织。

HN 评论 166 comments | 作者：steveklabnik | 1 day ago #

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

这篇帖子中的评论观点归纳如下：

1. Bluesky 实施的可选信任模式获得认可，类似 Reddit、Mastodon 等平台也被提及；
1. Bluesky 的基础设施设计允许用户自定义标签和过滤器，以及社区标签功能；
1. Bluesky 的架构允许用户自行选择标签服务，但也存在对非法内容和网络滥用的基础设施清除机制；
1. Bluesky 的分布式模式可能面临不同司法管辖区法律冲突问题，但其可堆叠的审查系统可能有助于解决这一问题。

Direct File officially opens in 12 pilot states #

https://www.irs.gov/newsroom/direct-file-officially-opens-in-12-pilot-states-following-positive-early-reviews-eligible-taxpayers-can-file-online-directly-with-the-irs-for-free

内容概述：文章介绍了美国国内税务局（IRS）推出的创新项目 Direct File 的全面启动。该项目允许符合条件的纳税人在 12 个州在线直接向 IRS 免费申报纳税申报表。经过测试阶段后，数千名纳税人成功使用该系统，并给予了积极的评价。

项目背景：Direct File 项目是为了帮助纳税人更轻松、准确地在线向 IRS 申报纳税申报表而推出的。该项目是为了简化纳税人的纳税流程，特别是对于那些税务情况较为简单的纳税人。

参与资格：在 12 个试点州居住并符合一定条件的纳税人可以使用 Direct File 项目。这些州包括亚利桑那州、加利福尼亚州、佛罗里达州、马萨诸塞州、内华达州、新罕布什尔州、纽约州、南达科他州、田纳西州、得克萨斯州、华盛顿州和怀俄明州。

申报流程：纳税人可以登录 Direct File 网站开始填写并随时在 4 月份截止日期之前完成申报。该系统会引导纳税人完成纳税申报表，包括计算退税或税款。纳税人可以随时暂停填写，并在截止日期之前安全地登录完成。

其他特点：Direct File 项目还提供在线客服支持，纳税人可以通过实时聊天功能获得帮助。与其他电子申报选项一样，选择直接存款时，纳税人通常可以在不到 21 天内收到退款。

未来展望：IRS 计划在 2024 年的纳税季推出 Direct File 项目。该项目旨在帮助纳税人更轻松地准备和在线申报他们的联邦所得税申报表。

HN 评论 168 comments | 作者：lykahb | 22 hours ago #

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

可以总结为以下几点：

1. 一些人认为政府应该使用 login.gov 而不是 ID.me，因为前者更安全可靠。
1. 有人认为 ID.me 已经在 IRS 平台上运行，用于防止欺诈，虽然不完美但正在改进。
1. 也有人担心个人数据隐私问题，认为政府服务不应该使用外部服务进行身份验证。
1. 还有人提到了政府应该更好地保护公民权利，而不是通过外部公司验证身份。
1. 有人认为使用 USPS 邮寄税单是免费的，也是一个选择。

How Mandelbrot set images are affected by floating point precision #

https://github.com/ProfJski/FloatCompMandelbrot

这个 GitHub 地址（ https://github.com/ProfJski/FloatCompMandelbrot）包含了一个名为 FloatCompMandelbrot 的项目，旨在探索浮点精度对 Mandelbrot 集计算的影响。

该项目提供了一个用于比较三种不同浮点实现计算结果的 C++ 程序，分别使用标准 float、double 类型以及 Boost::Multiprecision 库中的 cpp_bin_float 类（可实现用户选择的扩展精度浮点类型）。程序是多线程的，同时生成三种不同浮点类型的 Mandelbrot 集图像。用户可以通过按键来查看不同精度计算结果的图像，以及通过减法操作来突出任何不同的像素。

程序还提供了基本统计信息，如不同像素的数量、不同像素占总图像的百分比以及像素值之间的最大差异。用户可以根据需要自定义设置，如选择浮点类型、调整多线程偏好、计算起始点等。此外，程序还提供了一些基本控制功能，如重新定位图像中心、缩放、增加/减少最大迭代次数等。

整体而言，该项目旨在研究浮点精度对 Mandelbrot 集图像计算的影响，以及探讨不同浮点实现对图像生成的影响。

HN 评论 91 comments | 作者：todsacerdoti | 1 day ago #

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

有评论指出代码中未使用融合乘加（FMA），建议使用 FMA 来提高浮点精度；
有人建议作者学习渲染 Mandelbrot 集合的技术，以实现更深层次的缩放；
有评论提到使用 posits 进行分形图像处理取得成功，但速度较慢；
有人认为使用技术来改善性能不符合研究的目的，因为研究旨在突出精度问题；
有人讨论了计算机科学和数学之间的关系，认为计算机科学是数学的一个子领域；
有人提到了固定点整数运算在过去是比浮点运算更快的选择；
有评论讨论了浮点数的舍入模式对计算结果的影响，以及使用 IEEE 浮点系统配置舍入模式的可能性。

Show HN: Flox 1.0 – Open-source dev env as code with Nix #

https://github.com/flox/flox

这个 GitHub 地址 https://github.com/flox/flox 是关于一个名为 Flox 的项目，它提供了开发者可以随身携带的开发环境。Flox 是一个虚拟环境和包管理器的结合体。通过 Flox，你可以创建环境，共享你的环境，构建容器镜像等。它允许你在软件生命周期中轻松管理依赖关系，使得环境可移植性更强。

一些关键特点和功能包括：

从包含超过 80,000 个软件包的最大开源仓库（nixpkgs）安装软件包。快速开始，通过简单的命令创建、搜索、安装和激活环境。 Flox 带来了软件开发生命周期中的可复制性和一致性，解决了不同依赖关系管理的问题。

Flox 的起源可以追溯到在 D. E. Shaw 集团部署 Nix 时，Flox 为新手提供了更简单的 Nix 使用方式，并提供了对软件包的集中控制。它是 Nix 最大、最有影响力的企业部署之一。

如果你有问题、想交流，或者遇到问题，你可以通过他们的 Discourse 论坛、Flox 的 Twitter 账号、Slack 或 Discord 直接联系他们。同时，如果你发现了 Bug 或希望增加某些功能，欢迎在 flox/flox 仓库上提交新的问题或拉取请求。

该项目的许可证是 GPLv2。

HN 评论 104 comments | 作者：ronef | 7 hours ago #

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

Nix 在开发环境中的实用性备受认可，有多种工具如 devenv、devbox、daytona、devshell 等。
Nix 可以通过单一的锁文件管理所有依赖，有利于团队协作。
有人推荐使用 mise 来管理开发工具，也有人提到 devenv 的 v1.0 PR。
有人认为 Nix 的学习曲线陡峭，使用体验不佳，期待有更友好的工具。
有人讨论 Nix 的存储空间管理问题，提到 Flox 使用 flakes 版本控制，可轻松回滚环境。
Flox 相对于 Nix-shell 或 nix develop 更加用户友好，提供更多便利性和可视化操作。
有人担心 Flox 等工具可能会停止维护，建议学习 Nix 本身以确保长期支持。
某人认为学习 Nix 和 Flox 并存可能会增加负担，但也有人认为 Flox 提供更便捷的用户体验。
有人认为 Flox 可能减少对 Nix 工具的支持和文档工作，提高用户体验。
有人认为 Flox 可能减轻基础设施负担，提高共享环境配置和 Nix 代码的便利性。

IRS has launched its free tax filing service, Direct File, in 12 states #

https://arstechnica.com/tech-policy/2024/03/irs-free-tax-filing-service-now-available-but-most-people-dont-qualify/

根据 Ars Technica 的报道，美国国内税收局（IRS）推出了名为 Direct File 的免费报税服务，目前在 12 个州提供。这项服务适用于税务简单的纳税人，提供英语和西班牙语版本，经过“数周成功测试”后正式推出。

Direct File 是一个免费、安全的选项，让纳税人可以直接向 IRS 报税，无隐藏费用，适用于智能手机、平板电脑或台式电脑等设备。该服务会展示数学计算，确保报税准确，确保纳税人获得应得的退税。纳税人可以在 directfile.irs.gov 上检查自己是否符合使用该系统的资格。

根据 IRS 计划的资格限制，财政部估计有三分之一的联邦所得税申报可以使用 Direct File 进行准备。在 12 个符合条件的州，财政部估计有 1870 万纳税人有资格使用 Direct File。政府称今年的 Direct File 版本为试点项目，未来可能会扩展到更多州，并可能减少对谁可以报税的限制。各州的税务选项各不相同，有些州与 IRS 合作将州税整合到 Direct File 试点项目中。

Direct File 支持就业收入、失业补偿、社会保障福利以及 1500 美元以下的利息收入。但有许多限制会阻止纳税人使用该系统，例如无法报告来自付款应用程序、在线市场或支付卡的收入，独立承包商和零工工作的收入，租金、奖金和奖励的收入等。

此外，Direct File 还受到收入金额的限制，例如工资超过 20 万美元或有多个雇主的情况下超过 16.02 万美元的纳税人无法使用该系统。对于使用“分开报税的已婚人士”身份并且工资超过 12.5 万美元的纳税人，也无法使用 Direct File。如果您从 HealthCare.gov 市场购买了健康保险或从健康储蓄账户中提取了资金，也无法使用 Direct File。

Direct File 支持儿童税收抵免、劳动收入税收抵免和其他受抚养者抵免，但不支持其他类型的抵免。此外，不支持列支扣除，尽管 IRS 表示大约 90% 的联邦税务申报人使用标准扣除。