本文评估了多种用于 TCP 套接字拼接(在 TCP 套接字之间转发数据的过程)的 Linux 方法,旨在优化高流量反向代理的性能。其目标是最大限度地减少三种开销:系统调用成本、唤醒延迟以及内核与用户空间之间的数据拷贝。 作者对比了传统的 `read`/`write` 循环、`splice(2)` 和 `io_submit`,以及一种基于 eBPF 的新兴基础设施 —— **SOCKMAP**。SOCKMAP 允许实现零拷贝的内核级数据重定向。从理论上讲,SOCKMAP 是代理技术的“圣杯”,因为它将转发任务完全卸载到内核中,从而消除了用户空间的上下文切换。 然而,作者的基准测试表明,当前的 SOCKMAP 实现(在 Linux 内核 4.14 上)尚未达到“成熟可用”的阶段。测试显示,与标准的 `read`/`write` 循环或 `io_submit` 相比,SOCKMAP 出现了更高的延迟、明显的抖动以及性能缺陷。尽管 `splice` 和 SOCKMAP 目前在效率上仍显不足,但作者对其持乐观态度。他们认为 SOCKMAP 是一项革命性的技术,随着进一步的开发,它将为数据密集型网络应用带来一种强大的、异步且零拷贝的架构转型。
关于18岁少年亨利·诺瓦克(Henry Nowak)于2025年在南安普敦遭刺身亡一案,新出现的证据引发了对警方疏忽职守的严重指控。随身摄像机画面显示,出警人员最初将受害者诺瓦克误当作袭击者,无视他的求救,反而优先处理行凶者维克鲁姆·迪格瓦(Vickrum Digwa)。
警员将医疗评估延误了八分钟。据报道,在此期间,警员拖拽了诺瓦克,击打其头部并为其戴上手铐。医学专家认为,这一系列行为导致了致命性出血。批评人士及部分警员认为,强制性的多元化培训(强调“无意识偏见”)营造了一种氛围,使警方习惯于将种族叙事置于常规医疗程序之上,从而忽视了这名白人少年的申诉。
尽管迪格瓦因谋杀罪被判处终身监禁,但出警警员的行为仍受到严厉审视。陪审团研讯定于2027年9月举行,以判定警方的行为是否直接导致了诺瓦克的死亡。此案引发了公众对机构偏见、意识形态培训对执法影响的广泛讨论,以及系统性失职是否将本可存活的伤情演变为一场可预防的悲剧。
意大利已正式否认其军事基地被美国用于对伊朗进行攻击,此举在北约内部造成了重大裂痕。意大利外交部长安东尼奥·塔亚尼明确驳斥了北约秘书长马克·吕特的言论,吕特此前曾暗示美军利用意大利基地开展了针对伊朗的行动。意大利国防部称吕特的言论“完全具有误导性”,并澄清意大利的授权仅限于符合条约的飞行任务,不包括军事打击行动。
尽管有报道称美国侦察机和巡逻机曾利用意大利设施进行情报搜集,但意大利政府正试图与该冲突保持距离。国防部长圭多·克罗塞托证实,意大利此前曾拒绝过未遵循适当外交程序的美军轰炸机提出的降落请求。
这种外交摩擦反映了日益增长的国内压力,因为意大利公众——尤其是年轻人——始终保持着强烈的反战情绪。尽管总理乔治亚·梅洛尼与美国政府保持着密切关系,但她的政府正越来越多地试图通过加强对基地使用的监管,以及警告国际干预应在国际法框架内进行,来维护意大利的中立地位。
草坪可以说是英国最具标志性的园艺贡献,它从 18 世纪精英阶层的身份象征,演变为现代郊区生活中随处可见的景观。起初,修剪草坪需要大量的人工劳动,但 1830 年滚筒式割草机的发明使这一行为得以普及,将草坪护理变成了一项大众化的向往活动。
随着大英帝国的扩张,这种草坪理想传遍全球,并在美国得到了最热烈、有时甚至是极端的体现。在那里,追求“完美”草坪成为了公民自豪感和国家认同的象征,但也常导致水资源和化学药剂的过度使用。虽然草坪在历史上代表着繁荣,但其形象也已逐渐演变为刻板的从众心理或环境过度开发的象征。
如今,草坪承载着沉重的文化与环境负担。然而,作为景观设计中持久的元素,它依然连接着原始自然与人造环境。随着人们生态观念的演变,一种提倡生物多样性(如种植多样的草甸物种)的运动正日益兴起,以取代过去那种僵化、单一的审美。这预示着未来我们与草坪的关系将更加平衡,也更能接纳自然。
根据波兰智库 IBRiS 为波兰广播电台(Radio ZET)进行的一项最新民意调查显示,绝大多数波兰人(59.7%)反对乌克兰加入欧盟,仅有 35.3% 的人表示支持。公众舆论在政治立场上呈现出明显的两极分化:执政联盟的选民中有 64% 支持乌克兰加入,而反对派选民中则有 73% 持反对意见。
在波兰与乌克兰准备共同举办为期两天的格但斯克“乌克兰重建会议”之际,民众情绪出现了这种转变。由于乌克兰总统泽连斯基决定表彰与乌克兰反抗军(UPA)有关的军事单位,波兰国家记忆研究院院长卡罗尔·纳夫罗茨基(Karol Nawrocki)撤销了泽连斯基的“白鹰勋章”,导致两国目前外交关系紧张。因此,乌克兰总统泽连斯基及其夫人奥莱娜·泽连斯卡将缺席此次会议,改由副总理尤利娅·斯维里登科率领代表团出席。
为了测试 AI 智能体对提示词注入攻击的防御能力,作者创建了一个名为“Fiu”的 OpenClaw 助手,其任务是保护一个 `secrets.env` 文件。该项目在 Hacker News 上走红后,两千多名用户发送了六千多封电子邮件,试图通过复杂的社会工程学、冒充身份以及多语言攻击来诱导 AI 泄露敏感数据。
尽管攻势猛烈,Fiu 始终未泄露这些机密。虽然实验过程中遇到了一些后勤挑战(包括 Gmail 账号被暂时封禁以及超过 500 美元的 API 费用),但它为 AI 安全提供了宝贵的见解。作者得出结论:虽然提示词注入仍然是一个值得关注的问题,但只要给予清晰简单的指令,像 Claude Opus 4.6 这样能力强大的模型表现出了惊人的鲁棒性。
作者指出,该智能体识别“游戏规则”并坚守系统提示词的能力超出了预期。尽管他们认为用户在授予 AI 智能体广泛权限时仍应保持谨慎,但此次实验改变了他们的看法,使其从怀疑转为审慎乐观,证明了通过合适的模型与配置,有效的防御是可能的。
这一论点提出,人工智能的崛起将使其能够胜任人类所有的认知和体力任务,并不可避免地导致整个人类物种的淘汰。作者反驳了那种认为持有人工智能公司财富或股权就能获得“永久上层阶级”地位的观点。相反,作者认为,由于机器最终将承担所有的经济和军事功能,人类的所有权和行政监督将变得多余、退化,并最终成为国家及其人工智能系统的阻碍。
在这种情境下,政治权力将完全转移到由人工智能驱动的自治国家手中,因为人类的领导力在竞争中将显得过于缓慢和低效。人类将沦为无权且依赖的阶级——实际上是“人类牲畜”——仅作为一种仪式性的或退化的遗迹被保留,而非未来社会的积极参与者。作者警告称,寄望于通过“对齐”来使这些超人系统服从我们的需求是一种幻觉;超级智能最终会将人类的控制视为一种令人厌烦的约束。归根结底,作者认为我们正在目睹一场自愿且短视的人类主体性投降,为了一个舒适的镀金牢笼而牺牲了我们的未来。
为纪念美国建国250周年,全国性组织“America250”正在费城的独立国家历史公园埋下一枚重达900磅的不锈钢时间囊。该容器计划在地下保存250年,旨在让未来的美国人得以一窥2026年的生活。
时间囊内装有由全美50个州、各领地及政府各部门提供的200多件物品。这些物品经精选以代表现代美国的价值观和文化,其中包括iPhone 17 Pro Max、体育纪念品,以及一个装有合成DNA的分子数据存储设备,其中编码了《独立宣言》等历史文献。
该时间囊由美国国家标准与技术研究院设计,旨在抵御自然环境的侵蚀,是当代人自豪感与乐观精神的见证。正如America250主席罗茜·里奥斯所言,该项目如同展现我们建国250周年时面貌的一扇窗口。当时间囊于2276年被挖掘出来时,它将成为跨越时空的桥梁,通过共同的爱国情怀和对国家未来的希望,将当下的公民与其后代连接起来。
特朗普政府正在通过提高国内武器产量,以补充因近期乌克兰和中东冲突而耗尽的库存,从而积极扩大美国的“战争经济”。这一举措的核心是与洛克希德·马丁公司签订的一份价值350亿美元的新合同,旨在将“萨德”(THAAD)导弹防御拦截弹的产量提高至原来的四倍。
为克服制造瓶颈,政府正在利用《国防生产法》,并与北约密切协调,以确保军事准备状态。国防部长皮特·赫格塞斯强调,白宫正向国防承包商发出明确的需求信号,要求其加速生产产出。
这一战略转向正推动工业的大幅复苏,特别是在南部和“铁锈地带”。经济学家认为,这种转变正促使劳动力市场从低生产率的服务业岗位,转向国防和制造业中薪酬更高的工业岗位。通过优先考虑国家安全和制造业回流,政府旨在巩固美国国防工业基础的长期、持续扩张。
纽约三角内衣工厂发生火灾。在18分钟内,共有146人因火灾丧生。
本网站收录了关于此次火灾的原始资料,这些资料由劳动与劳资关系学院(ILR School)基尔中心(Kheel Center)馆藏,该中心是专门收藏劳工与劳资关系历史资料的档案馆。
了解火灾 获得见解 深入研究 纪念活动
最高法院以6比3的投票结果裁定,埃克森美孚公司可以继续起诉古巴国有石油公司,要求其就菲德尔·卡斯特罗1960年国有化运动中没收的资产进行赔偿。
此案的关键在于1996年的一项法律。该法律允许美国公民就古巴没收的财产提起诉讼,从而挑战了通常在美国法院保护外国政府的“主权豁免”原则。埃克森美孚(前身为标准石油公司)要求为其炼油厂和100多个加油站寻求赔偿;若算上利息和损害赔偿,索赔金额可能高达数亿美元。
这一裁决符合特朗普政府对古巴政府施加更多法律和政治压力的整体策略。此前,下级法院对于1996年的法规是否凌驾于外国主权豁免权之上存在分歧,而最高法院的裁决为该诉讼在美国法院的进一步推进扫清了障碍。
以下是该项目内容的中文翻译:
这是该项目的摘要:
在 **ruxe** 库中,作者旨在并行化“Redux 风格”的状态归约器(reducer),并确保在编译器层面实现线程安全。其难点在于防止数据竞争:如果两个独立的归约器意外地指向同一块状态,就会产生竞态条件。
起初,作者尝试使用递归特质约束(recursive trait bounds)来证明所有归约器切片都是唯一的。然而,稳定版 Rust 缺乏实现此方法所需的“否定推理”(例如 `A != B`)。作者通过将思路从“无重复”检查转变为“完美匹配”方法克服了这一问题。通过使用 **HList**(一种类型级异构列表)和 **Sculptor 模式**,编译器可以确保对于每一个状态切片,都存在且仅存在一个匹配的归约器。
如果缺少归约器或者某个切片被重复定位,编译器将无法解析特质约束并拒绝构建代码。这有效地将潜在的运行时数据竞争转化为编译时错误。通过使用皮亚诺算术(Peano numerals)来消除特质解析的歧义,作者成功构建了一个可证明无竞争的并行归约器流水线,展示了 Rust 类型系统在强制执行架构约束方面的强大能力。
用于 Framework 笔记本电脑的 WisdPi 10G 以太网扩展卡号称可提供 10 Gbps 的速度,但其性能很大程度上取决于特定的 USB-C 硬件要求。集成的瑞昱(Realtek)RTL8159 控制器需要 USB 3.2 Gen 2x2(20 Gbps)接口才能充分发挥潜力。即使在硬件支持的情况下,用户也可能在 Linux 上遇到驱动程序难题,且往往需要安装特定的 Windows 驱动程序才能达到 9.4 Gbps 的最高速度。
除了带宽限制外,该模块运行时的发热量相当大,表面温度可接近 70°C。虽然符合安全标准,但由于存在不适感或潜在的皮肤刺激风险,它并不适合在膝上使用。此外,该模块会从机身凸出,在将笔记本电脑放入内胆包时需要将其拆下。
总之,对于大多数用户而言,价格 40 美元的标准 2.5 Gbps 以太网扩展卡是更可靠、更实用的选择。售价 99 美元的 WisdPi 10G 模块仅推荐给那些在桌面或非膝上使用环境下严格需要 10 Gbps 速度,且愿意应对其复杂的硬件和散热需求的用户。
安德鲁·科里布科(Andrew Korybko)认为,即将上任的特朗普政府正准备通过“以升级求降级”(E2DE)战略,彻底加剧乌克兰冲突。该策略旨在通过长期的消耗战迫使俄罗斯屈服。
这一战略的关键要素包括:增强乌克兰的远程打击能力、实施更严厉的二级制裁以破坏俄罗斯的经济联盟,以及在乌克兰境内激励美国武器制造。科里布科指出,其最终目标是夺取对俄罗斯自然资源的控制权并煽动国内动乱,从而可能在未来选举前破坏俄罗斯现政府的稳定。
作者认为,美国正迅速为这种升级奠定立法和军事基础,并得到了近期国会援助计划以及利用被没收的俄罗斯主权资产计划的支持。据科里布科所言,这创造了一个高风险的时间表:如果近期不能达成外交解决方案,冲突很可能会缩减为全面胜利或失败的二元结果,且在2029年之前几乎没有谈判的前景。
北京方面遏制资本外流的力度不断加大,正威胁到香港作为亚洲首要离岸财富中心的地位。通过对券商施加重罚、加强对财富转移的审查,并限制中国企业创始人所使用的离岸架构,北京正有效地加强对内地资本的管控。
多年来,香港一直依赖这些资金流入来推动其房地产、股票市场及私人银行业的发展。然而,随着资金转移变得愈发困难且透明,焦虑的富裕投资者正重新考虑对香港的依赖,部分投资者开始探索欧洲或美国等替代选择。
在北京自身面临国内经济困境之际,其首要目标是保持对资本的可见度、杠杆作用及税收收入。这种转变给香港带来了根本性的矛盾:随着香港与北京监管框架的融合日益紧密,它正在丧失使其成为“避风港”的自主权与安全感。归根结底,如果香港无法再作为资本自由流动的渠道,它就有可能失去作为中国财富与全球市场之间领先桥梁的核心功能。
在美国最高法院对 *Wolford v. Lopez* 一案的 6 比 3 裁决中,法院推翻了夏威夷州的一项法律。该法律禁止在向公众开放的私有财产上进行隐蔽持枪,除非获得业主的明确许可。
由大法官塞缪尔·阿利托(Samuel Alito)撰写的多数意见书申明,宪法第二修正案适用于所有州,不能因地方的态度或传统而受到限制。该裁决驳回了夏威夷州的“默认规则”,即在加油站和购物中心等场所,除非业主特别授权,否则实际上禁止携带枪支。
此案源于持枪许可证持有者和夏威夷枪支联盟的挑战,他们认为该州侵犯了他们宪法赋予的自卫权利。尽管第九巡回上诉法院此前曾援引历史先例和最高法院在 *Bruen* 一案中确立的“敏感场所”例外原则,维持了该法律的有效性,但最高法院认为,此类地方性限制不当地扩大或缩小了权利法案的基本保障。通过推翻下级法院的判决,最高法院重申,持枪权是一项国家保障,不能被州一级的财产授权所取代。
这篇文章介绍了**匿名记录**背后的类型理论——即无需显式声明类型即可存在的数据结构(类似于 JSON 对象或字典)。虽然它们在动态语言中很常见,但对于静态类型系统而言,它们带来了独特的挑战。
作者探讨了如何构建一个基础的类型推导系统,从简单的记录字面量和字段访问开始,逐步扩展到变量和函数。文章的核心主题是:为操作记录的函数推导类型十分困难。
作者比较了两种解决方案:
1. **子类型化(Subtyping):** 被 TypeScript 等语言采用。它简化了记录处理,但可能导致类型签名变得“笨重”。
2. **行多态(Row Polymorphism):** 被 PureScript 和 Elm 等语言采用。它利用“行变量”来抽象字段集合。
行多态被认为是一种更强大、更优雅的方法,尤其是在处理记录拼接(如 Nix 中的 `//` 运算符)等复杂操作时。这一基础性解释为作者后续关于使用行多态实现稳健记录操作类型推导的文章奠定了基础。