草坪可以说是英国最具标志性的园艺贡献,它从 18 世纪精英阶层的身份象征,演变为现代郊区生活中随处可见的景观。起初,修剪草坪需要大量的人工劳动,但 1830 年滚筒式割草机的发明使这一行为得以普及,将草坪护理变成了一项大众化的向往活动。
随着大英帝国的扩张,这种草坪理想传遍全球,并在美国得到了最热烈、有时甚至是极端的体现。在那里,追求“完美”草坪成为了公民自豪感和国家认同的象征,但也常导致水资源和化学药剂的过度使用。虽然草坪在历史上代表着繁荣,但其形象也已逐渐演变为刻板的从众心理或环境过度开发的象征。
如今,草坪承载着沉重的文化与环境负担。然而,作为景观设计中持久的元素,它依然连接着原始自然与人造环境。随着人们生态观念的演变,一种提倡生物多样性(如种植多样的草甸物种)的运动正日益兴起,以取代过去那种僵化、单一的审美。这预示着未来我们与草坪的关系将更加平衡,也更能接纳自然。
为了测试 AI 智能体对提示词注入攻击的防御能力,作者创建了一个名为“Fiu”的 OpenClaw 助手,其任务是保护一个 `secrets.env` 文件。该项目在 Hacker News 上走红后,两千多名用户发送了六千多封电子邮件,试图通过复杂的社会工程学、冒充身份以及多语言攻击来诱导 AI 泄露敏感数据。
尽管攻势猛烈,Fiu 始终未泄露这些机密。虽然实验过程中遇到了一些后勤挑战(包括 Gmail 账号被暂时封禁以及超过 500 美元的 API 费用),但它为 AI 安全提供了宝贵的见解。作者得出结论:虽然提示词注入仍然是一个值得关注的问题,但只要给予清晰简单的指令,像 Claude Opus 4.6 这样能力强大的模型表现出了惊人的鲁棒性。
作者指出,该智能体识别“游戏规则”并坚守系统提示词的能力超出了预期。尽管他们认为用户在授予 AI 智能体广泛权限时仍应保持谨慎,但此次实验改变了他们的看法,使其从怀疑转为审慎乐观,证明了通过合适的模型与配置,有效的防御是可能的。
这一论点提出,人工智能的崛起将使其能够胜任人类所有的认知和体力任务,并不可避免地导致整个人类物种的淘汰。作者反驳了那种认为持有人工智能公司财富或股权就能获得“永久上层阶级”地位的观点。相反,作者认为,由于机器最终将承担所有的经济和军事功能,人类的所有权和行政监督将变得多余、退化,并最终成为国家及其人工智能系统的阻碍。
在这种情境下,政治权力将完全转移到由人工智能驱动的自治国家手中,因为人类的领导力在竞争中将显得过于缓慢和低效。人类将沦为无权且依赖的阶级——实际上是“人类牲畜”——仅作为一种仪式性的或退化的遗迹被保留,而非未来社会的积极参与者。作者警告称,寄望于通过“对齐”来使这些超人系统服从我们的需求是一种幻觉;超级智能最终会将人类的控制视为一种令人厌烦的约束。归根结底,作者认为我们正在目睹一场自愿且短视的人类主体性投降,为了一个舒适的镀金牢笼而牺牲了我们的未来。
纽约三角内衣工厂发生火灾。在18分钟内,共有146人因火灾丧生。
本网站收录了关于此次火灾的原始资料,这些资料由劳动与劳资关系学院(ILR School)基尔中心(Kheel Center)馆藏,该中心是专门收藏劳工与劳资关系历史资料的档案馆。
了解火灾 获得见解 深入研究 纪念活动
以下是该项目内容的中文翻译:
这是该项目的摘要:
在 **ruxe** 库中,作者旨在并行化“Redux 风格”的状态归约器(reducer),并确保在编译器层面实现线程安全。其难点在于防止数据竞争:如果两个独立的归约器意外地指向同一块状态,就会产生竞态条件。
起初,作者尝试使用递归特质约束(recursive trait bounds)来证明所有归约器切片都是唯一的。然而,稳定版 Rust 缺乏实现此方法所需的“否定推理”(例如 `A != B`)。作者通过将思路从“无重复”检查转变为“完美匹配”方法克服了这一问题。通过使用 **HList**(一种类型级异构列表)和 **Sculptor 模式**,编译器可以确保对于每一个状态切片,都存在且仅存在一个匹配的归约器。
如果缺少归约器或者某个切片被重复定位,编译器将无法解析特质约束并拒绝构建代码。这有效地将潜在的运行时数据竞争转化为编译时错误。通过使用皮亚诺算术(Peano numerals)来消除特质解析的歧义,作者成功构建了一个可证明无竞争的并行归约器流水线,展示了 Rust 类型系统在强制执行架构约束方面的强大能力。