计算机科学家 David Chisnall 最近分享了他对 Neovim 的不满，因为该软件永久删除了他长期的撤销历史记录。作为一名长期使用 Vim 的用户，Chisnall 依赖于 Vim 的“持久撤销”（persistent undo）功能——即使在重启或数月不使用后，该功能也能保存编辑历史记录，作为他数据的一项保障。 当他尝试使用 Neovim 时，软件在未经提示的情况下，以一种不兼容的格式覆盖了他现有的撤销文件。当 Chisnall 报告这一数据丢失问题时，开发人员不予理会，称用户不应依赖其自身数据的持久性。这次经历使 Chisnall 得出结论：该团队对用户缺乏基本的“注意义务”（duty of care）。 这一事件凸显了杰夫·拉斯金（Jef Raskin）在《人机界面》（*The Humane Interface*）中提出的第一法则：程序绝不能损害用户的数据，也不能因不作为而让数据受到损害。对于软件用户和设计者而言，这个故事提醒人们，可靠性和对用户劳动成果的尊重，与技术创新同样重要。当软件将用户生成的数据视为可丢弃之物时，就违背了人性化界面设计的核心原则。
每日HackerNews RSS
以下内容概述了 Hacker News 上关于 NeoVim 处理“持久撤销”（persistent undo）文件方式的一场激烈争论。
**问题所在：**
批评者指出，NeoVim 在引入一种新的、不兼容的撤销文件格式时，开始静默删除旧的撤销文件，包括由原版 Vim 创建的文件。由于许多用户在迁移到 NeoVim 时沿用了现有的 `vimrc` 配置，导致他们无意间共用了同一个撤销文件目录，从而在毫无预警的情况下永久丢失了编辑历史。
**争论焦点：**
* **批评者**认为，NeoVim 的维护者缺乏“尽责义务”。他们主张软件不应静默销毁用户数据（尤其是由其他程序创建的文件），开发人员应该提供迁移路径或直接忽略不兼容的文件，而非采取这种具有破坏性的设计。
* **辩护者**则认为，持久撤销只是一项“尽力而为”的便利功能，而非可靠的版本控制系统。他们指出，当文件被外部修改时，Vim 本身也会重置撤销历史。许多人还提到开源软件“按原样提供”的本质，认为用户应该依靠适当的版本控制（如 Git）来确保数据安全，且用户最终应对自己的配置选择负责。
在一间80美元的汽车旅馆房间里，一项旨在揭示生命起源的发现 In an $80 motel room, a discovery to shed light on the origins of life
2 天前
请启用 JavaScript 并关闭任何广告拦截器
《纽约时报》近日报道了一项科学研究：由于缺乏联邦资金支持，一支研究团队将一间 80 美元的汽车旅馆房间临时改造为实验室，对一种名为“保琳虫”（*Paulinella*）的微生物进行了研究。
“保琳虫”之所以重要，是因为它是内共生现象中一个罕见且相对近期的案例。内共生是指有核细胞吞噬蓝细菌的过程。尽管一些新闻标题将其描述为关于“生命起源”的突破，但 Hacker News 上的评论者指出，这项研究实际上是关于植物进化和真核生物复杂性的。通过研究“保琳虫”，科学家们能够观察到十亿多年前导致现代植物和藻类进化的杂交早期阶段。
此次讨论还引发了关于“公民科学”的更广泛交流，读者们分享了关于经济型显微镜的建议，并鼓励他人开展自己的实地研究。其他人则赞扬了研究人员的独创性，他们有效地将旅行的局限性转化为了移动研究站。这个故事提醒我们，即便资源有限，专注的科学家们仍在不断揭示生命进化史上根本性的见解。
该合集包含 31 个互动实验，灵感源自 20 世纪 70 年代至 2000 年代的经典计算技术、演示场景（Demoscene）美学以及开创性的图形技术。这些演示利用 WebGL 和 2D 画布，重现了从早期的线框地形、光线投射（Raycaster）和 CRT 示波器模拟，到流体动力学及“犹他茶壶”、“ASCII 环面”等程序化几何图形的标志性视觉风格。 该网站专为开发者设计，提供了一系列基于浏览器的轻量级实验目录。所有内容均采用 CC0 1.0 协议授权，用户可轻松复制并将代码集成到自己的项目中。无论是探索光线列渲染等基础技术，还是调色板火焰等艺术表现形式，该仓库都充当了复古计算机图形历史的功能性存档。该合集可通过直接浏览器交互、JSON API 和 llms.txt 进行访问，使源代码能够便捷地用于创意实现。
这篇文章探讨了 Rust 中“解析，而非验证”（Parse, don't validate）的惯用法。该方法提倡利用类型系统来强制执行数据不变性，而非依赖重复的运行时检查。 当程序只是在“验证”数据（例如检查一个 `Vec` 是否为空）时，类型系统并不知道这一事实，这迫使开发者必须处理不可能出现的边缘情况，或使用 `unreachable!` 宏。通过将数据“解析”为更具体的类型（如 `NonEmpty<T>` 结构体或 `NonZero<usize>`），不变性便被正式固化在类型之中。一旦转换完成，编译器即能保证数据有效，从而消除冗余检查并防止逻辑错误。 作者提供了几个实用的 Rust 示例： * **`NonEmpty<T>`**：确保集合至少包含一个元素。 * **`AbsPathBuf`**：将标准路径细化为绝对路径，防止在文件系统操作中进行重复验证。 * **`NonZero`**：利用类型系统防止除以零，同时为 `Option` 启用内存优化。 * **`serde`**：在反序列化过程中自动强制执行复杂的架构约束。 总之，这种方法将验证的负担从易错的手动运行时逻辑转移到了编译器，从而产出更清晰、更安全且性能更高的代码。
Hacker News 上的这篇讨论探讨了“解析，而非校验”（Parse, don't validate）这一原则，它通常被归类于更宏大的“让非法状态不可表示”（Make Illegal States Unrepresentable, MISU）这一编程哲学之下。
参与者认为，软件设计应当确保无效的数据状态在类型系统中无法被表述，而非依赖运行时的校验检查。以 Rust 为主要案例，参与者展示了如何使用代数数据类型（枚举）来取代模棱两可的结构——例如使用布尔值或可选字段——从而清晰地强制规范网络连接等状态。
讨论还涉及以下内容：
* **细化类型（Refinement Types）：** 在不牺牲标准库类型易用性的前提下，创建能够强制执行恒定条件的“非空”集合所面临的困难。
* **关于“解包”（Unwrap）的争论：** 在“极致类型化”（对类型安全近乎痴迷）与保持代码简单可维护之间存在张力。一些人认为不必要的复杂性是一种风险，而另一些人则主张将逻辑移至类型系统中，可以将开发者的记忆负担转移给编译器。
* **无类型与类型化：** 静态类型的批评者认为无类型语言避免了这种开销，但支持者反驳道，这些开发者只是将工作转移到了容易出错的运行时检查中，而非彻底解决了问题。
出于“修理胜于更换”的愿望，一位电子产品新手成功修复了两个用了十年的自行车灯。在原装电池无法充电后，作者前往当地的一家酷儿创客空间（queer makerspace）进行了首次 DIY 维修尝试。
整个过程包括：切开硅胶外壳、拆除旧组件，并在人工智能和同伴的帮助下识别出正确的电池型号（LIR2477）。在速卖通（AliExpress）上花费约 20 加元购买替换零件后，作者焊入新电池，克服了一些外观上的小瑕疵并重新组装，最后用硅胶封好。
尽管经验不足且出现了一些小挫折（如弄丢了几颗螺丝），但该项目最终圆满成功。这些自行车灯现已完全恢复功能，证明了即使是初学者，只要在支持性的社区空间内，也能完成基础维修。作者强调了学习新技能以及延长电子产品寿命、而非将其丢弃的价值。
**Fakecloud** 是一款功能强大的测试工具，允许开发人员通过本地环境使用标准 AWS SDK 来验证基于 AWS 的应用程序。它无需依赖复杂的轮询或私有测试钩子，通过直接的 API 调用即可实现对应用程序效果的无缝验证。 **主要功能包括：** * **全面的 SDK 支持：** 为 TypeScript、Python、Go、PHP、Java 和 Rust 提供的原生客户端，支持对重置、断言和异步处理器进行完全控制。 * **广泛的覆盖范围：** 支持 105 种 AWS 服务，包括 S3、Lambda、DynamoDB、EventBridge 和 Bedrock。 * **经验证的一致性：** 每次提交都会经过严格测试，基于官方 Smithy 模型实现的近 4,000 个 API 操作均保持 100% 的一致性。 * **真实场景集成：** 与模拟工具（Mock）不同，Fakecloud 能够模拟真实的云服务行为，支持超过 30 种跨服务交互（如 S3 通知、SNS 扇出和 DynamoDB Streams），以确保您的基础设施逻辑表现与生产环境完全一致。 Fakecloud 弥合了本地开发与云环境之间的差距，确保您的基础设施代码可靠、可测试，并完全符合 AWS 标准。
关于 **Fakecloud**（一款用于集成测试的本地 AWS 模拟器）的 Hacker News 讨论显示，社区对此项目持高度怀疑态度。许多用户质疑该项目的成熟度和安全性，特别批评了“直接运行 curl 下载脚本安装”这种反模式。
主要观点如下：
* **信任与稳定性：** 批评者指出作者身份不明，且项目网站看起来“感觉至上”（缺乏专业深度）。部分用户反映该工具在服务一致性上存在显著差异（尤其是 DynamoDB），因此他们更倾向于使用 DynamoDB Local 或 Moto 等成熟工具。
* **安全隐患：** 使用未经校验的 Shell 脚本安装软件引发了广泛争议，许多人认为使用包管理器或 Docker 容器是更安全、更易于维护的方案。
* **测试理念：** 核心争论点在于“模拟器”与“真实基础设施”的价值取向。一些工程师认为模拟器天生具有局限性，无法复现生产环境中服务的实际特性，因此主张通过配置临时的真实 AWS 资源进行集成测试，这种方法更为可靠。
总体而言，尽管社区欢迎本地开发工具，但相比于可能存在风险或“粗糙”的模拟器，用户更倾向于使用文档完善、可验证的项目。
以色列推土机在年度收获季前毁坏巴勒斯坦橄榄树 Israeli bulldozers smash Palestinian olive trees ahead of annual harvest
2 天前
请启用 JavaScript 并关闭所有广告拦截器
**RapidsMPF** 是一款高性能、外存式（out-of-core）库，旨在解决分布式数据洗牌（shuffling）中固有的内存、传输和同步难题，而洗牌操作对于连接（joins）和排序等任务至关重要，且开销巨大。
从历史上看，洗牌操作非常消耗内存，因为它通常需要跨节点实例化大型数据子集。RapidsMPF 通过流式、外存式架构解决了这一问题，从而避免了“内存溢出”（OOM）错误。它通过加速传输（如 UCXX/GPUDirect RDMA）接收数据或将其溢出到主机内存，动态管理内存压力，而不是在设备和主机之间进行冗余的数据交换。
在 DGX B200 上的基准测试表明，RapidsMPF 在理想条件下可实现约 1.8 TiB/s 的全局吞吐量。即使在人为的内存压力下，该库也能保持稳定，通过智能利用主机内存来避免不必要的驱逐，从而实现平稳扩展。虽然随着带宽达到极限，性能会自然下降，但系统避免了 OOM，并为处理超过 GPU 显存的数据集提供了一条平滑且可预测的路径。RapidsMPF 同时提供 C++ 和 Python 接口，为现代 ETL 引擎和分布式数据流水线提供了坚实的基础。
通过 Claude Code 部署。只需一条命令即可安装。然后提问：“将此项目部署到 Light Cloud。” 如果你没有账户，Claude 会为你注册，询问两个问题，并返回一个实时 URL。同一个 MCP 服务器可在 GitHub Copilot 和 Claude Desktop 中使用；CLI 则可直接在终端中运行。 Claude Code - 输入一条命令，然后提问 $claude mcp add light-cloud -- npx @light-cloud/mcp-server
“作为语言模型”：聊天模板切换了大语言模型的自指语态 "As a Language Model": Chat Template Switches LLM Self-Referential Voice
2 天前
arXivLabs 是一个允许合作者直接在我们的网站上开发和分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于秉持这些价值观，并仅与遵守这些价值观的合作伙伴进行合作。如果您有能为 arXiv 社区增值的项目想法，请了解更多关于 arXivLabs 的信息。
这份 Hacker News 讨论探讨了一篇名为《“作为一名语言模型”：聊天模板如何改变大语言模型的自指语音》的研究论文。对话重点包括以下几个主题：
* **对 AI “臃肿软件”的批评：** 用户对随处可见的“作为一名语言模型”免责声明表示强烈不满。许多人认为这是不必要的企业套话，掩盖了工具的实用性；特别是在医疗场景中，用户寻求的是快速指导，而非法律式的说教。
* **医疗自诊：** 关于大语言模型在医疗领域可靠性的讨论。虽然一些用户分享了 AI 成功识别出医生遗漏病情的案例，但另一些人警告称大语言模型容易出错，甚至像“卖假药的”，可能导致用户进行不必要或有害的检查。
* **拟人化与设计：** 参与者讨论了大语言模型是否应该模拟人类身份。许多人认为“爱聊天”的人格是一种具有操纵性的“黑暗模式”，建议采用更实用、像“星际迷航计算机”那样的界面，这样会更诚实且有效。
* **技术起源：** 用户讨论了基础模型为何采用“经验性”语音，结论是这是模型基于海量人类对话进行训练的结果，随后又通过人类反馈强化学习（RLHF）和系统提示词得到了进一步巩固。