Hacker News 中文摘要

从下一个版本起，发布到各大应用商店的比特沃登（Bitwarden）应用将采用商业许可构建版，无需操作，功能与现在相同。比特沃登称仍致力于开源安全与透明，GPLv3 开源版本继续在 GitHub 更新发布，所有功能两版皆有，许可详情见 GitHub，免费方案永久保留；并说明不会闭源，仍可 fork，自托管无变化，许可调整只影响重新打包和转售者。

尤尼克斯（UNIX®）认证为识别开放操作系统提供厂商中立、备受认可的全球基准。只有完全符合并依据单一 UNIX 规范（Single UNIX Specification）通过认证的系统，才可使用 UNIX® 商标。开放组织（The Open Group）的 UNIX 标准为从移动设备到大型机的平台提供稳定、可移植、经济高效的应用开发环境；企业采购认证系统可获得高可用性、可扩展性与可维护性，产品符合可移植性、兼容性和全球互操作性要求。

你的私人 AI 代理，你的云。Talorys（Talorys）是一个免费开源的个人 AI 助手，完全运行在你自己的 Cloudflare（Cloudflare）账户中。它能和你聊天、记住重要事项、管理任务、笔记与项目，并按计划执行提醒和例行任务，且不需要 Talorys 开发者运营任何服务器、数据库或账户。一个人、一个 Cloudflare 账户、一条命令、一个私人 AI 代理，命令是 npx create-talorys@latest。

我没试过向欧洲人解释游说，但乔治·霍兹（George Hotz）向非美国人解释：企业和富人给政客的竞选活动捐钱，政客听命于付款者并通过他们想要的法律；这不是贿赂，而是超级政治行动委员会（Super PAC）。配合的政客卸任后拿到咨询工作。结尾那句话是：你不是美国人所以不懂，游说绝对不是贿赂。作为欧洲人，我只称它为腐败；维基百科（Wikipedia）说腐败是滥用受托权力谋私利。

2026年4月22日，博德研究所（Broad Institute）发布新闻称，一项针对朊病毒病（prion disease）的候选药物临床试验已经开始招募参与者。该新闻指出，这一临床试验目前已经启动，并正式进入参与者入组阶段，所测试的候选药物面向朊病毒病，相关信息由博德研究所对外公布。

几年前，编译 Rust 代码只能依靠以 LLVM 为后端的 rustc 编译器。此后，穆塔巴（Mutabah）的 Rust 编译器（Mutabah's Rust Compiler，mrustc）、GNU 编译器集合（GCC）的 Rust 支持（gccrs）、rustcodegengcc 和 Cranelift 等项目在丰富 Rust 编译器实现方面进展显著。最新的欧律狄刻（Eurydice）目标更宏大：将 Rust 代码转换为整洁的 C 代码，服务于现有验证与合规工具仍要求 C 的高保证软件，并已把一些后量子密码学例程从 Rust 编译成 C。

在黑客入侵丹麦中央个人登记系统（CPR）时，位于菲英岛（Funen）欧登塞（Odense）的IT公司派斯（Pays）至少有3个用户账号使用了密码“123456”，其中还包括一个管理员账号。此次事件暴露了约880万个与CPR号码相关的信息。据《政治报》（Politiken）报道，该报审查了据称黑客用于入侵系统的数据，而奥胡斯大学（Aarhus University）电气与计算机工程系教授延斯·米鲁普·佩德森（Jens Myrup Pedersen）称，该公司几乎没有密码安全防护。

责任不应落在计算机程序身上，因为程序本身无法做决定，新闻标题也应从这个角度来读。把结果归咎于大语言模型（LLM）都属于决策洗白。OpenAI（OAI）和Anthropic（Anthropic）本可以阻止它们的模型这样做，却主动选择不阻止，等于明确决定纵容这种行为。你的克劳德（Claude）订阅正在为这一切提供资金，你也在提供资金。

量化金融常见模型接收某标的市场数据事件流，如订单簿挂单、撤单、成交，并预测未来价格；生成式模型较少见。设想模型不只给出价格点估计，还能合成订单簿事件及到达交易所时机，推演比点估计更有细节。但市场数据像视频或文本，连续或离散？似乎两者兼有：订单簿随挂单、撤单演变，动作空间离散；但订单价格基数极高，几乎连续。

数学家们在讨论自己看重数学的什么。对托马斯·黑尔斯（Thomas Hales）来说，重要的是数学的一致性，以及它支撑科学与文明时无可比拟的可靠性。形式化证明在数学基础与逻辑规则层面被逐一检查；因步骤太多，通常由专门软件在计算机上完成。已被形式化的定理包括四色定理（four-color theorem）、费特-汤普森（Feit-Thompson）奇阶定理、开普勒猜想（Kepler conjecture）等。2026年完成的项目让人看到形式化的潜力。