## 连锁互锁：确保安全与顺序
**连锁互锁**是一种安全机制，在系统的两个部分之间建立相互依赖关系，只有在满足特定条件后才能进行操作。这些可以是机械的、电气的，甚至是计算机化的，旨在保护操作人员和设备免受损坏。
一个常见的例子是**钥匙锁连锁互锁**，用于工业环境。该系统要求操作人员遵循精确的顺序，释放和取回钥匙以访问和控制机器——确保在进行维护（例如电窑）之前隔离电源。
连锁互锁不仅限于工业应用。汽车方向盘使用钥匙激活的机械连锁互锁，而发电机转换开关可以防止危险的反向馈电到电网。更高级的系统包括用于机器和安全设置（如使用门或生物识别访问的“人困笼”）的双按钮启动。
即使是“可绕过”的连锁互锁也存在，允许合格人员使用工具绕过安全措施，电压高达600伏。连锁互锁还在计算机体系结构中发挥作用，防止处理流水线中的数据危害。最终，有效的连锁互锁需要操作人员的配合，并解决在压力下绕过安全协议的倾向。
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Interlock (Engineering) (wikipedia.org)
3 分，by downboots 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## AIStor 项目状态与替代方案 该项目已不再积极维护。仓库将不会收到进一步的更新或更改。 对于寻求持续功能的用户，MinIO 提供了两种替代方案： * **AIStor Free:** 一个功能齐全的独立版本，适用于社区使用。可在 [https://min.io/download](https://min.io/download) 下载免费许可证密钥。 * **AIStor Enterprise:** 一个专为商业企业使用而设计的分布式版本，提供商业支持和生产级 SLA/SLO。订阅详情请参见 [https://www.min.io/pricing](https://www.min.io/pricing) 和 [https://blog.min.io/introducing-new-subscription-tiers-for-minio-aistor-free-enterprise-lite-and-enterprise/](https://blog.min.io/introducing-new-subscription-tiers-for-minio-aistor-free-enterprise-lite-and-enterprise/)。 请注意，MinIO 的使用受 AGPLv3 许可协议约束。支持通过 GitHub 和 MinIO Slack 频道提供尽力而为的服务。旧版本二进制发布可供参考，但也不受支持。
MinIO 开源对象存储仓库 (github.com/minio) 已停止积极维护，Hacker News 报道称。此前他们已转向闭源产品，暗示了有计划的转型。
用户正在寻找替代方案，一位评论员特别提到了 AIStor。更广泛的选择包括 garage、rustfs、seaweedfs、Supabase Storage、Scality CloudServer 和 Ceph。
该消息引发了关于“维护模式”和项目完全废弃之间的区别的讨论，一些人指出状态的改变意义重大。另一些人则专门请求针对本地开发用例的建议。相关的 Hacker News 讨论 (item?id=46136023) 提供了关于 MinIO 转型进一步的背景信息。
欢迎来到 Ruby 用户论坛！👋 本论坛是供所有背景的 Ruby 用户交流、互相学习和支持的平台。无论您是初次探索 Ruby 还是深入研究高级主题，您都在这里…
Ruby Newbie网站，一个面向Ruby编程语言初学者的资源，即将停止服务。其内容正在整合到Ruby用户论坛 (rubyforum.org)，以创建一个更强大和最新的学习环境。
所有现有的Ruby Newbie帖子现在都可以在论坛的“Getting Started”标签下找到，“Getting Started with Ruby Guide”也作为可下载资源提供。此举旨在整合知识，并促进新手和经验丰富的Ruby开发者之间的更好联系。
团队鼓励任何对Ruby感兴趣的人加入Ruby用户论坛参与和协作。你可以在这里找到“Getting Started”资源：[https://www.rubyforum.org/tag/getting-started](https://www.rubyforum.org/tag/getting-started) 和 [https://www.rubyforum.org/t/getting-started-with-ruby/24](https://www.rubyforum.org/t/getting-started-with-ruby/24)。
Please provide the content you want me to translate. I need the text to be able to translate it to Chinese. Just paste it here, and I will give you the Chinese translation.
最近的一个Ring广告似乎适得其反，导致一些用户退回他们的Ring安全摄像头。Hacker News上的讨论强调了该广告的意外影响——似乎在一个周末就抹去了隐私倡导者十年的批评。
用户指出营销活动造成了它可能试图避免的问题的讽刺。一位评论员提到了理查德·斯托尔曼长期以来的隐私担忧，而另一位则将此事与乔治·奥威尔的《1984》相提并论，提及持续的监控。
对话还涉及Ring最近暂停与Flock的合作，并质疑这一事件是否会改变现状。总的来说，帖子反映了对Ring营销的强烈负面反应以及对隐私的 renewed 担忧。
## 在模糊测试中接口异步 Rust 与同步 C++
Antithesis 使用确定性虚拟机（“Determinator”）和模糊测试器来查找软件中的错误。模糊测试器最初用单线程 C++ 编写，通过发送控制信号来控制 Determinator。为了利用 Rust 的优势来实现新的控制策略，他们将异步、多线程 Rust 代码与现有的 C++ 核心集成。这带来了由于同步/异步不匹配和线程安全问题而产生的挑战。
该解决方案利用 `cxx` crate 进行互操作，定义 Rust 暴露的 C++ 类型，反之亦然。最初，管理跨线程的 C++ 对象生命周期由于 C++ 非线程安全的引用计数而证明很困难。这通过 `CppOwner` 和 `CppBorrower` 结构体来解决，后来使用 `SendWrapper` 进行改进，以安全地将 C++ 对象跨线程传递，并将删除推迟到主线程。
第二个挑战来自于 C++ 函数本身并非线程安全的。他们引入了 `SYNC` 和 `UNSYNC` 宏来对 C++ 方法进行分类，相应地标记不安全的 Rust 函数，并使用 `MainThreadToken` 提供安全的替代方案，以确保在主线程上执行。这种方法将线程安全的责任转移到 C++ 侧进行定义，同时允许 Rust 编译器强制正确的使用。
最终设计优先考虑“Rust 风格”的方法，利用编译器进行安全检查，并允许其他开发人员用于生产。后续文章详细介绍了这些原语的正式验证。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
我们用单线程 C++ 与多线程 Rust 进行了接口 (antithesis.com)
5 分，lukastyrychtr 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录
MMAcevedo，又名 Lena，作者：qntm (qntm.org)
13 分，来自 stickynotememo 1 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论
matheist 3 分钟前 | 下一个 [–]
我记得第一次读这个故事时非常着迷，现在看来却显得过时了。 当时， “模拟人类” 似乎是未来社会进行大规模智力劳动的一种奇妙的设想，但并非荒谬。但现在有了现代 LLM， 根本无法认真对待它。 当时它还是一种可能性；现在，它只是在花园小径上走错了方向。一个高方差的故事！它本可以具有预见性，但现在却无关紧要。回复
lsb 5 分钟前 | 上一个 [–]
它以历经数十年数据压缩测试的图像命名：https://en.wikipedia.org/wiki/Lenna
购买这本书！https://qntm.org/vhitaos
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## 黑色犬：梗概 《黑色犬》于2024年上映，是对“人与狗”题材的全新演绎，呈现了一部背景设定在中国经济困难且荒凉地区的、冷酷而克制的剧情片。影片讲述了前囚犯郎回到几乎被废弃的家乡，以及一只被怀疑患有狂犬病的流浪黑狗的故事。他们都是被遗弃者，彼此映照着不信任和孤独，并在恶劣的环境中建立了一种不太可能的联系。 除了生存之外，这部电影还充当了对2008年金融危机对中国农村影响的社会学评论。导演关虎故意避免了过多解释，让观众自行拼凑角色的背景故事和城镇的衰落。郎的任务是作为振兴计划的一部分捕捉流浪动物，该计划由他的叔叔姚监管，这与黑狗和充满报复心的当地屠夫胡产生了冲突。 《黑色犬》以其稀疏的对话、极简的配乐和惊人的摄影而著称，描绘了经济崩溃的现实。影评人赞扬了其独特的视觉风格，让人联想到西部片和末日惊悚片，以及对人性和动物性的探索。虽然对于导演和主演彭于晏来说是一次尝试，但该片在戛纳电影节上获得了赞誉，并讲述了一个在世界被遗忘角落里，关于救赎和联系的安静而强大的故事。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
野兽的本质 (cinemasojourns.com)
4 分，由 jjgreen 1小时前发布 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
新尼克·博斯特罗姆论文：超级智能的最佳时机 [pdf]
New Nick Bostrom Paper: Optimal Timing for Superintelligence [pdf]
4 小时前
这似乎是PDF文件的一部分，包含了一些内部数据和编码信息，而不是可读的文本内容。因此，无法翻译成有意义的中文。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
新尼克·博斯特伦论文：超级智能的最佳时机 [pdf] (nickbostrom.com)
15 分，作者 uejfiweun 54 分钟前 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 从泥土到现代墙壁：建筑的历史
尽管《我的世界》存在局限性，但用泥土建造的想法并非牵强——历史上，我们确实这样做过！古老的编织枝条和泥土的土坯墙结构，展示了一种6000年前的墙体建造技术。这演变成了石膏板和木条，这是一个劳动密集且容易开裂、难以悬挂物品的过程。
20世纪初，石膏板（石膏板）兴起，这在建筑领域是一项变革。与它的前身不同，石膏板的生产旨在保证一致性和易于安装。这种“不可食用的冰淇淋三明治”（由石膏和纸制成）提供了一个坚固、光滑的表面，简化了从绘画到悬挂装饰的各个方面。
石膏板还在墙内释放了空间，以改善隔热和布线。虽然最初容易受水损坏，但创新仍在继续，产生了防霉、防火，甚至带有集成传感器的“智能”石膏板。尽管看似平凡，但墙体结构的演变凸显了重要的建筑进步往往不为人注意，默默地改善着我们的日常生活。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
现代石膏板的奇妙之处 (worksinprogress.co)
7 分，作者 zdw 2小时前 | 隐藏 | 过去 | 收藏 | 1 条评论
elephanlemon 9分钟前 [–]
“如果你一直想把墙连接到wifi，那你很幸运了。” 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 多语言LLM安全护栏评估：摘要
有效评估大型语言模型 (LLM) 需要根据特定语境、语言、任务和领域进行调整。随着开发者越来越依赖定制基准和“安全护栏”——确保安全且符合语境输出的工具，一个关键问题出现了：这些安全护栏是否在不同语言中保持一致性？
本研究结合了Mozilla的多语言AI安全评估和开源`any-guardrail`框架，使用模拟来自寻求庇护者的实际问题的情景，并将其翻译成波斯语，来调查安全护栏的行为。对三种安全护栏（FlowJudge、Glider 和 AnyLLM）进行了测试，分别使用英语和波斯语策略，并将它们的性能与人工评估进行比较。
结果显示存在显著的不一致性。仅基于策略语言（英语 vs. 波斯语），Glider 和 FlowJudge 显示出很大的分数差异，即使语义含义相同。AnyLLM 表现出分类差异。定性分析强调了安全护栏的“幻觉”——捏造信息——和有偏差的假设，尤其是在使用波斯语策略时。
该研究强调需要具有事实核查搜索能力的护栏、为了可靠性进行多次评估，以及针对特定用例（包括语言特定示例）定制的策略。最终，确保对难民等弱势群体的AI安全，需要超越以英语为中心的基准，并优先进行上下文感知、多语言评估。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
评估多语言、上下文感知的护栏：人道主义LLM用例 (blog.mozilla.ai)
5点 由 benbreen 1小时前 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：