此 PR 为 bash 和 zsh shell 的 nimbus 命令添加了补全生成功能，并支持通过 NIMBUS_COMPLETE_HIDDEN=1 环境变量选择性显示隐藏标志。 此次实现引入了一个新的 completion.go 模块，用于在生成补全时控制隐藏标志的可见性。completion_gen.go 中的 GenBash() 函数可输出 bash 补全内容，默认情况下 _nimbus_bash_complete 会屏蔽隐藏标志；导出 NIMBUS_COMPLETE_HIDDEN=1 即可显示这些标志。 此更改为增量式更新且向后兼容，现有的补全行为保持不变。测试覆盖范围已验证 TestHiddenFlagsMaskedByDefault 函数的可调用性。

亚特兰大的一名联邦法官正在裁定是否要在一起里程碑式的案件中排除证据，该案涉及一种名为“胁迫密码”的隐私功能，即输入特定代码后会自动抹除设备数据。亚特兰大居民塞缪尔·图尼克（Samuel Tunick）因其手机在被美国海关及边境保卫局（CBP）官员解锁后自动抹除数据，被联邦指控涉嫌销毁政府证据。 尽管政府声称此次拦截是例行检查，但图尼克的律师认为，这是一场以检查为借口、针对其激进活动的政治性调查。图尼克使用了一种名为 GrapheneOS 的注重隐私的操作系统，他声称自己在被剥夺法律顾问和未获任何法律告知的情况下，其权利受到了侵犯。 该案的关键在于，使用“胁迫密码”是否构成美国法典第 18 卷第 2232(a) 条所指的故意销毁证据。检方正面临重大障碍，包括需要证明图尼克有抹除设备数据的意图，以及如何处理宪法第五修正案中关于拒绝被迫解密的保护权利。这起诉讼被认为是美国首例此类案件，对旅客的数字隐私和边境执法权力具有重大影响。预计裁决将于 10 月底前作出。

Moonshot AI 的 **Kimi K3** 是全球首个三万亿参数级别（2.8T 参数）的开源模型，现已通过 Telnyx 推理 API 提供服务。 Kimi K3 专为高性能代理工作流设计，具备 100 万 token 的上下文窗口、原生多模态能力（支持文本、图像和视频）以及可配置的推理等级。它支持工具调用、JSON 结构化输出和自动前缀缓存等高级功能。 Kimi K3 弥合了开源模型与闭源前沿模型之间的差距，其性能足以与 OpenAI 和 Anthropic 的顶尖模型相媲美。通过利用 Telnyx 自有的 GPU 基础设施和兼容 OpenAI 的 API，开发者可以轻松地将该模型集成到现有技术栈中。 **核心规格：** * **架构：** Kimi Delta Attention 和 Attention Residuals。 * **定价：** 每百万 token 0.27 美元（缓存输入）、2.70 美元（输入）和 13.50 美元（输出）。 此次发布标志着人工智能领域的重大转变，证明了开源权重模型在强大的可扩展基础设施支持下，已能够媲美专有的前沿模型。

**Yap** 是一款轻量级的开源 macOS 听写工具，可实现极速的本地语音转文字功能。与依赖庞大 AI 模型、占用大量资源的同类软件不同，Yap 利用了 macOS 15 (Tahoe) 内置的原生 Apple Speech API，确保了卓越的运行速度、内存效率以及隐私保护。 **主要功能包括：** * **隐私至上：** 无需账户、API 密钥、遥测或网络连接。所有音频均在本地处理，绝不上传。 * **高性能：** 仅占用 4 MB 空间，运行时内存占用约为 60 MB，避免了基于浏览器框架所带来的臃肿。 * **无缝工作流：** 通过全局快捷键触发，Yap 提供实时波形和预览，并将转录文本自动粘贴到任何活动应用中。 * **离线高效：** 充分利用苹果系统级的语音模型，基准测试表明其速度和准确性均优于许多第三方解决方案。 * **开源：** 使用原生 Swift 开发，完全透明，欢迎社区贡献。 Yap 专为追求简洁、可靠听写工具的用户设计，主打极简与高速，需运行 macOS 15 或更高版本。可通过 Homebrew 安装或从源代码构建。

RTX 2080 Ti 显卡显存升级 - GPU 解决方案 RTX 2080 Ti 显卡显存升级服务详情 上门取送：是 上门取送费：50 迪拉姆 服务价格：0 迪拉姆 所需时间：12 天 服务代码：GCRUP-01 服务类型：保修 90 天 维修服务 周转时间 定价 产品 在线咨询 发送

电价上涨引发了全国范围内关于给予投资者所有的公用事业公司“股本回报率”（ROE）的辩论。随着通货膨胀导致家庭预算紧张，消费者权益倡导者认为，目前平均约9.7%的公用事业利润过高，不公平地加重了纳税人的负担。这导致政治压力日益增大，一些州正在探索通过立法改革来限制回报，联邦议员也提出了旨在降低获准利润的法案。 公用事业公司坚称，这些利润率对于吸引基础设施投资、电网可靠性和清洁能源转型所需的资本至关重要。他们认为，降低ROE可能会导致信用评级下调和长期的财务不稳定。 这种紧张局势在马里兰州的一起高风险费率案件中得到了体现：Pepco公司请求将ROE提高到10.5%，而消费者权益倡导者则要求将其降至7.7%。虽然公用事业公司强调需要满足投资者，但批评人士认为，当前的监管模式激励了在昂贵项目上的过度支出。随着公众不满情绪的增长，专家指出，该行业可能正处于一个转折点，传统的盈利模式必须做出调整，以满足现代社会对经济承受能力的需求，同时不能损害基本的电网服务。

美国左翼政坛正经历一场重大的内部权力斗争，其特征是民主党建制派与新兴社会主义派系之间的分歧日益加剧。建制派民主党人通常支持在资本主义框架内进行渐进式改革，而改良主义和社会主义革命者则越来越主张进行系统性变革，并致力于瓦解资本主义结构。 为了理清这些复杂局面，分析师卡琳·博里森科（Karlyn Borysenko）发布了一份题为《绘制现代左翼地图》（Mapping the Modern Left）的信息图。该图表将左翼政治划分为不同的层级，区分了涵盖传统自由派和进步派的“新自由主义左翼”，以及寻求后资本主义治理的“极左翼”。 这种意识形态的分裂已引起全国关注，保守派媒体和特朗普政府官员将这些激进力量的崛起定性为直接威胁。随着中期选举的临近，这种分歧已成为政治格局的定义性特征，反映出民主党及国家未来走向所面临的更广泛的较量。

作者对当前围绕“读写能力衰退”论调的“道德恐慌”提出了质疑，特别指出像《大西洋》杂志刊载的此类叙事具有危言耸听的点击诱导性质。作者认为，这些担忧源于一种“范畴错误”，即混淆了三个截然不同的问题：基础读写技能（解码能力）、印刷文化性质的演变，以及文学研究中专门的阐释实践。 作者主张，读写能力并非一种停滞的认知技能，而是一种受技术和语境影响的社会实践。通过将读写能力重新定义为一种依赖学校、图书馆及公共智识空间的“公共基础设施”，作者指出，现代所谓的“危机”实际上是这些制度遭到系统性侵蚀的征兆。我们不应指责学生无法像学者或前几代人那样阅读，而应着手解决那些将教育私有化和商品化的政治与经济力量。 归根结底，作者反对在传统印刷读写与数字时代变革之间设立二元对立。相反，作者呼吁采用一种教学方法：既要保护民主社会必不可少的深度阅读习惯，又要接纳在当今碎片化信息生态系统中导航所必需的多元、多模态的读写能力。

我们正在确认您是真实用户而非自动化机器人。通常，下方的验证码会自动完成。如果未能自动完成，请勾选验证码中的复选框进行验证。验证成功后，您将跳转至目标页面。请启用 JavaScript 和 Cookie 以继续。 如果完成验证后，页面不断循环要求您重新验证，请点击下方按钮联系支持团队。 联系支持 提交工单时，请提供“Ray ID: a21ff8621c145833”和“Client IP: 47.245.80.60”。

美国对委内瑞拉退出国际刑事法院（ICC）的决定表示赞赏，并将此举定性为旨在瓦解该法庭的广泛运动中的一场胜利。美国国务院谴责国际刑事法院“腐败”且“不合法”，理由是其存在政治偏见，且越权侵犯了国家主权。 此举发生之前，特朗普政府施加了为期一周的高强度压力，期间国务卿马尔科·鲁比奥誓言要“系统性地瘫痪”该法院。以色列总理本雅明·内塔尼亚胡也与这一立场保持一致，谴责国际刑事法院危害民主国家。 目前，这家总部位于海牙的机构正处于严重动荡之中，该机构最近投票解除了首席检察官卡里姆·汗的职务，指控其存在不当行为。委内瑞拉现任政府为其“不可撤销”的退出决定辩护称，该法院对“全球南方”存在“地域偏见”。这一转变标志着加拉加斯与华盛顿之间的联盟关系得到加强，并进一步推进了美国长期以来削弱国际刑事法院的战略，此前该法院曾对以色列官员发出逮捕令并对其军事行动进行审查。

arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们对开放、社区、卓越和用户数据隐私的重视。arXiv 致力于秉持这些价值观，且仅与遵守这些价值观的合作伙伴开展合作。您是否有意开展一个能为 arXiv 社区创造价值的项目？了解更多关于 arXivLabs 的信息。

首尔法院近日裁定，SK集团会长崔泰源需向其前妻卢素英支付9440亿韩元（约合6.45亿美元），这是韩国历史上金额最大的离婚赔偿金。 此次裁决源于一场涉及崔泰源SK Inc.股份估值的复杂法律诉讼。法院驳回了卢素英要求以当前人工智能驱动的价格进行估值的请求，转而采用了2024年4月的较低估值。法院指出，股票具有波动性，婚后增值部分不应纳入分割范畴。 赔偿金额减少的一个关键因素是最高法院就“秘密资金”问题进行的干预。法院认为，卢素英的父亲、前总统卢泰愚提供给SK创始人的政治资金属于“反社会和不道德”行为，因此不能被视为对夫妻共同财产的合法贡献。 尽管法院认可了卢素英通过家庭和公共贡献在维持公司价值方面的作用，但将其获得的财产份额从之前的35%下调至三分之一。为保持崔泰源对SK集团的控制权，法院要求他以现金而非公司股票的形式支付赔偿。

本文详细介绍了在现代 64 位 Ubuntu 系统上成功构建并运行 GCC 1.27 的过程。GCC 1.27 发布于 1988 年，是首个支持 x86 CPU 的版本。 在 Mikhail Maltsev 先前工作的基础上，作者更新了路径以及汇编器/链接器选项，以确保其与 64 位架构的兼容性。主要的修改包括调整编译器以处理现代系统头文件，并启用 DBX 调试格式，从而确保与当代调试器的兼容。 值得注意的是，构建完成后的编译器功能依然完备，支持 `-O`、`-S` 和 `-g` 等标准命令行选项，并能与现代汇编器和链接器无缝集成。构建该项目需要安装 32 位库支持（`gcc-multilib`）、应用特定补丁、通过符号链接配置源码，并执行多阶段构建流程。该项目证明了 GCC 设计的持久生命力，也证实了由近 40 年前的编译器生成的代码，依然能被现代开发工具所解读。

XKCD 是一部由兰德尔·门罗（Randall Munroe）创作的长篇连载人气网络漫画，探讨的主题涵盖浪漫、讽刺、数学和语言。新漫画于每周一、周三和周五更新。 该网站拥有丰富的往期作品存档，以及门罗的“What If?”科学问答系列和各类书籍项目。除了漫画，该平台还提供了其他网络漫画的链接、关于气候变化和技术的教育资源，以及各种轻松的科技梗。 网站内容受知识共享署名-非商业性使用 2.5 许可协议保护，允许用户以非商业目的分享和复制作品。该网站被广泛认为是互联网文化的重要组成部分，融合了科技智慧与创意幽默。

为确保科学出版物的易读性，研究人员应核实其图像对色盲人群的可解读性。通过使用 ImageJ 中的自定义脚本，作者可以模拟八种色觉障碍，从而识别出具有问题的图像叠加层（例如红/绿组合），这类叠加层会导致部分读者无法读取数据。 尽管红/绿叠加层在展示共定位时仍很常用，但作者提出了一种实用的策略：始终在彩色叠加图旁提供各通道的灰度版本。这样即使读者无法分辨合并图像中的特定颜色，也能准确解读底层数据。 在将此方法应用于自己的出版物后，作者确认此前不清晰的面板在所有模拟视觉类型下均变得易于解读。该方法提供了一种无需重新设计复杂布局即可提高图像清晰度的简便途径。作者计划通过 Fiji 的“quantixed”更新站点发布该脚本，并鼓励色盲群体提供反馈，以进一步完善无障碍标准。

请启用 JavaScript 并关闭任何广告拦截器。

在《美国思想者》（American Thinker）的这篇文章中，刘易斯·多夫兰（Lewis Dovland）认为，民主党政客将“保护儿童”作为推动威权议程的修辞护盾。他主张，《儿童在线安全法案》（KOSA）和《儿童互联网与数字安全法案》（KIDS）等立法，其运作方式与枪支“普遍背景调查”提案如出一辙。 多夫兰断言，这两项议程的目的都是为了建立政府可访问的集中式数据库——即枪支登记制度，以及针对互联网的强制性数字身份验证。他警告称，若要求使用政府签发的身份证件才能访问在线平台，这些法律将有效终结互联网匿名制和化名的使用，而这些正是目前保护公民免受政治报复的手段。 最终，作者声称这些倡议并非为了安全，而是为了结构性控制。通过迫使公民进入强制性的实名认证数据库，国家构建了一种可以被武器化以识别和打击政治异见者的基础设施。多夫兰总结道，“公共安全”不过是建立大规模监控机制的借口，此举削弱了个人自由和《第一修正案》。

三星在伦敦举行的 Galaxy Unpacked 发布会上推出了三款全新的折叠屏设备：Galaxy Z Flip 8、Z Fold 8 和 Z Fold 8 Ultra。其中最引人注目的是 Galaxy Z Fold 8，它采用了全新的机身形态，拥有更宽的 4:3 屏幕比例，旨在直接对标传闻中即将发布的 iPhone Ultra Fold。 Z Fold 8 以 201 克的重量被称为“全球最轻折叠屏手机”，配备了一块 7.6 英寸的 AMOLED 显示屏，折痕几乎隐形。该机搭载骁龙 8 Elite Gen 5 芯片组，并采用耐用的“Armor Flexhinge”技术。尽管其核心性能与 Ultra 版本持平，但影像系统定位更为亲民，专注于社交媒体友好的功能，如 AI 驱动的“My Fancam”工具。 Z Fold 8 提供四种颜色可选，起售价为 1899.99 美元，配备 12GB 内存和 256GB 存储空间。目前已开启预订，将于 8 月 7 日正式全面上市。对于那些比起 Z Fold 8 Ultra 的专业级影像系统，更看重便携性和多任务处理能力的用户来说，这是一款平衡的平板式折叠手机选择。

01 视图与界面 声明式页面、布局、组件、设计标记及可移植的交互契约。 02 服务器与运行时 服务器二进制文件、路由、SSR、数据访问及明确的运行时边界。 03 原生目标 由同一产品模型生成的 Web、桌面窗口、Jetpack Compose 及 SwiftUI。 04 智能体工作流 机器可读的约束、早期诊断及智能体可修复的确定性工件。

📯 H — 按喇叭以访问 0 km/h 手刹 06:00 继续驾驶 HARD ROAD 继续 新游戏 操作说明 W A S D / 方向键 — 驾驶与转向 空格键 — 手刹 H — 喇叭（访问地标） L — 车灯 F — 翻转车身 R — 重生 C — 自由视角 ESC — 菜单 返回 HARD ROAD 正在加载物理与世界……

糟糕！访问被拒绝：错误代码 bf584155dcd667f7。返回首页。由 Techaro 的 Anubis 保护。在加拿大用心制作 ❤️。吉祥物设计：CELPHASE。本网站运行的是 Anubis v1.25.0 版本。

“All Your Codebase”组织为 Zig 构建系统封装 C/C++ 项目。通过提供 `build.zig` 文件，该项目实现了可靠的跨平台编译，同时不再依赖 CMake、Make、autoconf 和 Clang 等传统工具。 **主要优势：** * **简洁性：** Zig 充当了集构建系统、编译器和包管理器于一体的综合工具，用户只需一条命令（`zig build`）即可构建项目。 * **跨平台编译：** 无需为跨平台发布配置复杂的 Docker 容器或持续集成矩阵。 * **上游集成：** 该组织鼓励上游维护者将这些 Zig 构建文件直接集成到其项目中。在不添加新依赖的前提下，他们为这种过渡提供支持。 **工作原理：** 该组织使用两种方法：将 Zig 构建文件作为外部依赖添加，或在必要时通过分支（fork）项目来清理或修补构建脚本。 **如何贡献：** 该组织欢迎社区贡献。贡献者必须使用宽松的开源协议，避免添加特定于项目的绑定，并承诺维护其封装的项目。这一举措有助于在不断发展的 Zig 生态系统中规范 C/C++ 的构建方式。

请启用 JavaScript 和 Cookie 以继续。

作者对 **SlopCodeBench** 进行了评估。这是一个旨在测试 AI 在多阶段“长周期”挑战中保持代码库质量能力的基准测试。与一次性展示全部任务的标准基准测试不同，该测试要求模型逐步迭代代码，这反映了真实的软件工程场景。 在对包括 Claude 3.5 Sonnet 和 Opus 5 在内的模型进行测试后，作者发现当前的前沿模型表现依然困难。即使在“简单”任务中，也没有模型能在不引入回归或缺陷的情况下完成挑战。尽管 Opus 5 表现最好，但其严格通过率仅为 24%。此外，所有模型在需求演变过程中都表现出了“平庸代码化”（slop）倾向，即代码变得愈发冗长、复杂，且技术债务不断增加。 作者得出以下结论： 1. **模型缺乏“无人值守”的可靠性**：在没有人工引导的情况下，它们难以长期保持代码的可维护性。 2. **“平庸代码化”是可量化的**：圈复杂度、代码重复率和依赖熵等指标，为评估代码库健康状况提供了参考。 3. **未来的评估方向**：一个有前景的能力评估方式是：让一个“智能”模型构建初始代码库，然后测试“较小”的模型能否成功进行扩展。以此证明原始代码是否具备高质量和可维护性。

DConf ’25 将于伦敦市中心的 CodeNode 举办，该地点靠近 Moorgate、Liverpool Street 和 Old Street 车站，交通十分便利。演示环节将在底层的 CTRL 会议室进行，而下层的 ESC 区域将作为参会者休息和交流的专用空间。 由于物价上涨，建议您尽早预订住宿；许多参会者通常会选择入住附近的伦敦市中心城市路 Travelodge 酒店。如果您的行程尚未确定，请考虑预订可退款房型。 DConf 的夜晚安排有“BeerConf”非正式社交聚会。我们目前正在联系活动的酒吧，如果未能确定，官方备选地点为伦敦市中心城市路 Travelodge 酒店的酒吧。有关酒吧预订的最新信息将在确认后发布。期待在那里见到您！

Anthropic 首席执行官达里奥·阿莫代（Dario Amodei）澄清，他并不支持禁止开源权重 AI 模型，并强调安全、开源的工具具有重要的公共价值。他认为，对中国模型实施保护主义禁令无法解决他所担心的核心国家安全问题，即威权政权开发军事级 AI 以及网络或生物攻击的风险。 阿莫代建议通过以下三项战略性干预措施来取代全面禁令： 1. **硬件限制：** 对先进芯片的销售和走私实施严格管控，以防止外国对手训练出更强大的模型。 2. **打击模型蒸馏：** 实施政策以遏制国家支持的、工业规模的“模型蒸馏”行为，防止对手绕过硬件限制并模仿先进的 AI 能力。 3. **强制性安全测试：** 要求所有高能力模型——无论其来源或架构如何——在发布前必须进行严谨的实证测试，以识别并减轻灾难性风险。 阿莫代坚持认为，虽然开源权重模型带来了独特的安全挑战，但应通过有针对性的监管和基于证据的测试来解决，而不是实行全行业禁令，从而确保 AI 创新在不损害全球安全的前提下继续发展。

Save A Lot 关闭了芝加哥南部和西部的七家杂货店，成为该市近期又一批撤离的零售店。尽管作为一项2600万美元重建计划的一部分，这些由 Yellow Banana 运营的门店获得了超过1300万美元的纳税人补贴以缓解“食品沙漠”问题，但它们最终未能实现盈利。 虽然该公司将其归因于普遍的财务压力和 SNAP（食品券）福利的削减，但此次关闭遵循了沃尔玛、奥乐齐（Aldi）和沃尔格林（Walgreens）等零售商因持续亏损、盗窃和安全问题而撤离该地区的趋势。批评人士认为，这些门店的关闭凸显了芝加哥当前治理模式的失败，并指出持续的无序状态和恶劣的商业环境正在导致大范围的食品和药店沙漠。 这些门店的关闭引发了关于纳税人补贴零售模式可行性的广泛争论。当地领导人提议采取进一步的政府干预和倾向社会主义的政策来解决食品获取问题，而怀疑论者则警告称，如果不解决公共安全和经济可行性的根本问题，这些模式仍将不可持续，并最终无法服务于它们旨在支持的社区。

洛杉矶市长凯伦·巴斯（Karen Bass）与其挑战者、市议员妮蒂亚·拉曼（Nithya Raman）在2026年大洛杉矶地区无家可归者统计数据发布后爆发了争论。数据显示，该市无家可归人口增加了3.4%，其中露宿街头的人数增长了8%。 担任市议会无家可归与住房委员会主席的拉曼将这一增长称为“领导力的失败”，并以她选区内露宿街头人数减少49%为例，将其作为全市改革的典范。她批评巴斯的“安全入住”（Inside Safe）计划成本高昂且成效不彰。 巴斯的竞选团队予以反击，指责拉曼虚伪，称其一方面攻击市府项目，另一方面却将选区内由市府主导的举措（如清理房车和“安全入住”行动）归功于自己。巴斯捍卫了其任内的政绩，指出自2023年以来，露宿街头的人数其实减少了11%。她将近期无家可归人数的上升归咎于联邦和州政策的变动、生活成本的上涨以及县政府提供的心理健康服务不足。 随着11月3日选举的临近，这场分歧凸显了在如何应对该市最顽固的危机这一问题上，政治阵营之间的裂痕正在加深。

肯塔基州共和党参议员米奇·麦康奈尔在6月14日摔倒并短暂失去意识住院后，目前仍在康复中心接受治疗。这位84岁的参议员正在进行高强度的物理治疗，以改善行动能力并降低跌倒风险。据指出，他童年时期患小儿麻痹症留下的后遗症是影响其康复的重要因素。 虽然医疗团队尚未批准他重返参议院，但麦康奈尔表示，他正努力争取早日恢复履职。受治疗影响，他将缺席本周六在肯塔基州举行的年度“Fancy Farm”活动。 此前，这位参议员的健康状况已引发关注，包括他在面对媒体时曾出现过身体僵硬的情况。麦康奈尔此前已宣布不会寻求连任，他目前的任期将于2027年1月结束。初选结果已经确定，众议员安迪·巴尔与前众议员查尔斯·布克将角逐他的继任者席位。