每日HackerNews RSS

## 连锁互锁:确保安全与顺序 **连锁互锁**是一种安全机制,在系统的两个部分之间建立相互依赖关系,只有在满足特定条件后才能进行操作。这些可以是机械的、电气的,甚至是计算机化的,旨在保护操作人员和设备免受损坏。 一个常见的例子是**钥匙锁连锁互锁**,用于工业环境。该系统要求操作人员遵循精确的顺序,释放和取回钥匙以访问和控制机器——确保在进行维护(例如电窑)之前隔离电源。 连锁互锁不仅限于工业应用。汽车方向盘使用钥匙激活的机械连锁互锁,而发电机转换开关可以防止危险的反向馈电到电网。更高级的系统包括用于机器和安全设置(如使用门或生物识别访问的“人困笼”)的双按钮启动。 即使是“可绕过”的连锁互锁也存在,允许合格人员使用工具绕过安全措施,电压高达600伏。连锁互锁还在计算机体系结构中发挥作用,防止处理流水线中的数据危害。最终,有效的连锁互锁需要操作人员的配合,并解决在压力下绕过安全协议的倾向。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 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文件的一部分,包含了一些内部数据和编码信息,而不是可读的文本内容。因此,无法翻译成有意义的中文。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 新尼克·博斯特伦论文:超级智能的最佳时机 [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 | 联系 搜索:

更多

联系我们 contact @ memedata.com