本网站正在使用安全服务来抵御网络攻击。您刚才的操作触发了安全防护机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。

本报告总结了全球 SSH 蜜罐项目头 30 天（2026 年 7 月）的运行情况，该项目涉及分布于 5 家 VPS 服务商的 15 台服务器。该网络通过 Ansible 进行管理，并使用 Podman 容器化的 Python/Paramiko 脚本运行，共记录了来自 6,790 个唯一 IP 地址的 1,531,053 次登录尝试。 **主要发现：** * **地理趋势：** 虽然亚洲贡献了最多的攻击源唯一 IP（60.1%），但欧洲产生的登录尝试总量最高（60.2%），主要受罗马尼亚和荷兰的高强度活动驱动。 * **凭据：** 分析显示共有 131,922 对唯一凭据。攻击模式依然简单，其中“root”是主要用户名，“123456”是最常用的密码。 * **基础设施：** 大量流量源自不同的 ASN，其中 TechTies Inc. (AS197170) 的登录尝试量占比异常突出。 该项目目前处于进行中阶段，数据可通过采用 CC BY 4.0 许可的开源存储库获取。未来的目标包括扩展至其他服务（数据库、Web、FTP），与 AbuseIPDB 等威胁情报平台集成，并开发实时仪表板。欢迎提供反馈及进一步分析的建议。

2026年7月30日下午6:22，Robin Candau 写道： 大家好， 由于目前 AUR 中出现了大量恶意软件包接管及后续提交的情况，我们在处理该问题期间已暂时禁用软件包接管功能。待问题解决后，我们会另行通知。在此期间，请随时举报尚未处理的可疑接管事件或提交，并保持警惕！感谢您的理解。 祝好， Antiz（代表 Arch Linux DevOps 团队） 大家好， 在我们处理该情况的同时，我们目前已完全禁用了推送功能。对于造成的不便，我们深表歉意。 顺颂商祺， Robin Candau / Antiz

开发者工具的演变——从 Vim 和 Emacs 的高度可定制性到现代代理式 AI——凸显了在效率与信任之间寻求平衡的持续博弈。尽管 AI 代理能快速生成代码，但其非确定性及其带来的“信任鸿沟”在代码审查、验证和基础设施管理方面制造了新的瓶颈。 本文认为，仅靠工具无法解决这些问题；如果不更新组织文化和流程而过度依赖 AI，往往会导致工作流的崩溃。为了重获可靠性，开发团队必须转变观念，不再将工具视为单纯的生产力助推器，而是将其作为严谨的、以人为本的系统的一部分。 重建信任的关键策略包括： * **保持人为问责：** 确保开发人员对所提交的代码承担全部责任，无论 AI 参与程度如何。 * **建立明确的工作流：** 用清晰的规范和共享的上下文取代模糊性。 * **优先考虑可持续性：** 关注代码重用，并避免在传统确定性代码更可靠的场景下使用非确定性 AI。 归根结底，成功的工程组织将是那些将 AI 整合到能够保留人类判断力的反馈回路中，而非仅仅追求原始产出速度的组织。

田纳西州共和党众议员安迪·奥格尔斯（Andy Ogles）宣布，计划对美国联邦地区法官艾利森·伯劳斯（Allison Burroughs）提起弹劾，原因在于该法官裁决阻止特朗普政府终止索马里国民的临时保护身份（TPS）。 包括奥格尔斯众议员和国土安全部总法律顾问詹姆斯·珀西瓦尔（James Percival）在内的批评者认为，伯劳斯无视最高法院六月做出的裁决，是在进行“司法能动主义”。在当时那项6比3的裁决中，最高法院认定联邦法院无权干涉国土安全部关于终止TPS的决定。 支持弹劾的人士声称，伯劳斯是有意无视最高法院的先例，以破坏总统的行政权。他们认为，如果她的行为不受到惩罚，将开创一个危险的先例，即允许下级法院法官无视最高司法机构。对于共和党人而言，弹劾被视为一种必要的宪法制衡手段，旨在针对这位被指控为实现特定政治目的而改写法律的法官。

访问受限 抱歉，您所在的地区无法访问此页面。感谢您的理解。

**Garden Eternal** 是由 Khalid Alshaikh 创建的一个数字保存项目，它通过基于浏览器的功能性 Windows 98 环境，重现了 20 世纪 90 年代的网络体验。 该网站不仅限于静态截图，还还原了早期互联网“失落”的交互性。它允许用户体验现代浏览器不再支持的旧技术，如 Flash、Java、MIDI 音频、VRML 3D 世界以及动态留言板等。该平台是一项数字历史的活体实验，记录了 Alshaikh 在归档沙特阿拉伯近代史及业余无线电（7Z1FP）方面的工作，同时也为“Gopher”协议提供了一个罕见的访问入口。 该项目的名称体现了其初衷：为那些在其他地方已被删除或废弃的数字遗迹提供“第三生命”，使其能够再次生长并发挥作用。通过将归档视为一个主动过程而非被动记录，Garden Eternal 确保了那个早期互联网的阅读空间能够像内容本身一样充满活力。

请启用 JavaScript 和 Cookie 以继续。

本仓库提供了一系列工具，用于在 NVIDIA DGX Spark 和 Asus Ascent GX10 系统上运行 **Nix**。用户既可以直接在默认的 DGX OS（Ubuntu）上运行 Nix 配置，也可以进行 **NixOS** 的完整安装，以获得完全可复现的系统体验。 **核心功能：** * **灵活部署：** 可作为原生 NixOS 系统运行，也可在现有的 DGX OS 安装中使用 Nix 开发 Shell。 * **硬件支持：** 包含一个专用的 NixOS 模块，提供优化的 NVIDIA 内核、通过 DGX Dashboard 进行系统遥测，以及通过 `fwupd` 进行固件更新支持。 * **简化配置：** 自定义 Flake 模板可实现轻松的项目初始化，智能化的内核配置管理则最大限度地降低了维护开销。 * **性能优化：** 集成二进制缓存（Flox 和 Cachix），显著加快了 CUDA 和 AI 工作负载的构建时间。 * **广泛的工作负载：** 仓库内置了针对主流 AI 任务（如 ComfyUI、FLUX.1 微调、vLLM 和 TensorRT-LLM）的预配置开发 Shell。 **入门指南：** 如需部署，请更新固件、构建自定义 USB 镜像，并遵循标准的 NixOS 安装步骤。对于现有的 DGX OS 系统，只需安装 Nix，并按照文档说明配置实验性功能和缓存即可。

**Kakehashi** 是一个以 CLI 为核心的翻译层，能够让 macOS (Darwin) aarch64 二进制文件直接在 Linux aarch64 主机（如 Docker、Colima 或裸机 UTM）上运行。 Kakehashi 不使用指令模拟（JIT），而是让访客代码在 CPU 上原生执行。它的工作原理是映射一个独立的 `libSystem.B.dylib` 并翻译 BSD 系统调用，从而允许 `7-Zip` 和 `curl` 等 Darwin 工具在 Linux 上运行。 **主要特性：** * **性能：** 虽然系统调用边界的开销使得它在处理高频交互任务时比原生 macOS 慢约 5 倍，但与昂贵的 macOS CI 运行器相比，其性价比显著更高。 * **CI 友好：** 专为将 Darwin CLI 工作负载分流至成本更低的 Linux aarch64 基础设施而设计，无需专用 SDK。 * **无缝集成：** 使用“容器（bottle）”系统来桥接文件系统，将 Linux 目录映射到 Darwin 环境（例如 `/Volumes/linux/`）。 * **零安装运行：** 必要系统库已嵌入二进制文件中，安装过程仅需执行 `cargo install kakehashi`。 Kakehashi 并非商业产品，而是一款用于在 Linux 环境中运行已验证 Darwin CLI 制品的专用工具，旨在 Apache 2.0 协议下平衡性能与基础设施成本。

周六，莫斯科市中心一家高档意大利餐厅发生恐怖爆炸袭击，造成至少3人死亡，20多人受伤，有报道称死亡人数可能进一步上升。爆炸发生时，一名安保人员在餐厅外拦截了一名携带简易爆炸装置的女子，当时餐厅内正在举行一场私人活动。 俄罗斯当局谴责了这一“残暴的恐怖行径”，而关于肇事者和袭击目标的猜测层出不穷。未经证实的报道称，此次袭击的目标可能是一名高级军事官员，也有理论认为袭击者可能是携带远程引爆装置的无意载体。尽管一些俄罗斯战地博主将矛头指向乌克兰，但基辅方面尚未发表评论。 自俄乌战争爆发以来，俄罗斯境内发生了一系列高调的暗杀和爆炸事件，包括2023年军事博主弗拉德连·塔塔尔斯基遇害案。分析人士指出，这起最新事件加剧了暴力定向行动的趋势，尽管目前尚无证据将这些事件与外国情报机构联系起来。随着受害者在当地医院接受治疗，当局仍在对该事件进行调查。

在1930年代至1990年代之间，由密尔沃基电力铁路与照明公司（Milwaukee Electric Railway & Light Company）开创的密尔沃基公交系统，曾推出过一系列既美观又实用的周票。从1930年代起，公交管理部门超越了单纯的实用主义设计，开始制作色彩丰富、手工绘字的车票，票面上印有独特的插画、城市历史和当地活动信息。即使在系统从私营转为市政管理后，这种手工设计的传统依然得以保留。 如今，档案库保存了大约300张1932年至1969年间的“袖珍珍品”。尽管最初的设计者大多已不可考，但这些车票仍是公共环境下平面设计持续演变的杰出范例。在公交卡已变得标准化且平淡无奇的今天，这些历史文物为设计师提供了灵感，也提醒着人们视觉识别的力量。随着各城市寻求振兴公共交通客流量，密尔沃基车票的历史表明，将“视觉愉悦”带回日常通勤，或许是与乘客重建联系的一种有效方式。

大型语言模型（LLM）近期的进步让许多曾经被认为不可行的创举成为了可能，例如让 Claude 3 Opus 根据《指环王》开篇的内容，程序化生成一整套 3D Three.js 环境。该模型利用巨大的 Token 配额，编写了 5,500 行代码来统筹复杂的 3D 资源和动画——由于工作量极其繁重，人类通常不会手动完成此类任务。 这种能力预示着未来我们可以按需生成“即时、高度定制的虚拟世界”，从而创造出类似于定制版《侠盗猎车手》（GTA）那样个性化、可游玩的体验。然而，这也凸显了当前一个重大的局限性：LLM 无法原生“观看”或与其构建的环境进行交互。由于模型无法实时测试或视觉化审核其作品，生成结果往往会出现“卡顿”或瑕疵。尽管其原始生成能力令人印象深刻，但在世界构建方面若想取得实质性进展，仍需模型具备更强的多模态感知能力，并能够测试自己的输出结果。

在最近的一次证词陈述中，亨特·拜登宣誓称自己实际上已经一贫如洗，除了画作之外没有任何资产，且背负着1700万美元的法律费用。乔纳森·特利认为，这种财务状况标志着拜登一个时代的终结，其过去的财富在很大程度上得益于利用其父亲政治权力进行的所谓权钱交易。随着乔·拜登卸任，那些有利可图的收入来源——以及捐赠者资助其生活方式或购买其艺术品的意愿——已经消失。 特利指出，具有讽刺意味的是，尽管亨特声称其家族也已破产，但由于公众吸引力下降和个人财务负担，拜登家族卸任后的前景依然黯淡。尽管亨特声称自己贫困，但特利认为，他依然受益于自己作为媒体和民主党精英“宠儿”的地位。特利无视亨特的法律麻烦和过去咄咄逼人的策略，认为这是一种反复出现的模式，并总结道：对于亨特·拜登而言，即使是没钱，也只不过是另一种诈骗形式。

语言是我们世界日益复杂的缩影。现代词汇已从1953年那些具体的家庭用语——如“面粉”或“烘焙”——转向了更具系统性和抽象性的表达。如今，我们的言谈中充斥着表示程度和确定性的副词（如“大约”或“绝对”），这反映了一个要求时刻保持精确、规范与互联的全球化环境。 尽管人们对“面包”的基本需求依然存在，但其手工制作方式的消失，标志着我们已告别了那种自给自足、以厨房为中心的生活。我们现在置身于一个由庞大机构和经济体系构成的世界，这要求我们使用一种更广阔、更具分析性的语言。归根结底，我们的词汇就像一本历史账簿，记录了我们从一个触手可及的世界，向一个由复杂的远程系统所定义的世界的转变。

正在检查您的浏览器……需要 JavaScript。

2026年5月，166名成员及嘉宾齐聚乌得勒支参加 Rust All Hands 大会，这是一场聚焦 Rust 编程语言未来的协作活动。该活动是 RustWeek 的一部分，由 RustNL 组织，为期三天的活动通过 73 场会议促进了深入的合作，并为生态系统维护者举办了同期举行的非正式会议（Unconference）。 主要讨论议题涵盖项目治理、文化与可持续性，以及对编译器内部机制、互操作性（包括 C++ 和 Linux 内核集成）的深度剖析，还有诸如常量泛型（const generics）和自定义 lint 等语言演进话题。与会者强调，此次活动的核心价值在于通过即兴的走廊交流和协作会议，打破障碍并建立人际联系。 此次活动获得了极好的反响，与会者表示在长期以来的技术难题上取得了突破，并改善了跨团队协作。鉴于此次成功，Rust All Hands 将于 2027 年 5 月 27 日至 29 日重返乌得勒支举办 RustWeek 2027。这一传统被证明对项目的发展至关重要，它使贡献者能够同步工作、解决复杂的开发任务，并加强社区的协作文化。

20世纪80年代，挪威通过向日本成功推销大西洋鲑鱼，实现了经济转型，将一种过剩产品变成了全球性的烹饪主食。如今，鲑鱼已成为挪威第二大出口商品，推动了一个被政府视为“新石油”的庞大产业。 然而，这种快速扩张引发了关于生态和伦理成本的激烈争论。批评者认为，密集的开放式网箱养殖用鱼类排泄物和化学物质污染了峡湾，导致水体缺氧并破坏了当地的海洋生态系统。此外，该行业在鱼类福利方面也面临审查，因为疾病和寄生虫率的上升导致“生产鱼”（即带有痛苦伤口和缺陷而被捕捞的鲑鱼）数量显著增加。 尽管行业游说者为该部门的可持续性和经济重要性进行辩护，但挪威政府仍面临着平衡增长与环境承载能力的压力。目前，诸如“封闭式”潜水养殖网箱等创新技术正在接受测试，以减少废物和生物风险。随着产业趋于成熟，挪威面临着一项挑战：如何在不造成不可逆转的损害的前提下，既维护其作为全球供应商的主导地位，又保护维持其最赚钱水产资源的峡湾。

折叠地球仪 免费地球仪 定价 关于 MapScaping 呈现 免费纸质地球仪 可打印的折叠地球仪模板——每一个都可以免费下载、打印和折叠，并且每一个都可以通过自定义地球仪构建器制作成其他形状，或添加你自己的标记点。 太阳系 太阳 月球 火星 水星 金星 木星 木卫一 木卫二 土卫六 冥王星 谷神星 太空看地球 夜间地球 蓝色弹珠 绿色地球 海洋温度 海洋生物 无水的地球 积雪与冰川 云层 降雨量 陆地温度 世界生物群落 人口密度 撒哈拉沙尘与气溶胶 数据地球仪 百年大地震 世界火山 陨石坠落点 世界遗产 板块构造 时区 地图采用 Natural Earth 数据 · MapScaping 出品 地球仪构建器 免费地球仪 定价 关于 每一个地球仪均基于开放许可数据制作——来源已在各主题页面注明。 折叠地球仪 —— 一个 MapScaping 项目。

本项目是一个使用 SDL 2 构建的经典 Fasttracker II 便携式 C 语言克隆版。它支持跨平台使用，源代码及编译说明可在 GitHub 上获取。 用户需注意各操作系统的相关事项： * **Windows：** 若使用 NVIDIA 显卡，用户必须禁用 GeForce Experience 的 ALT+F4 和 ALT+F5 快捷键，以确保程序内的复制/粘贴功能正常运行。 * **macOS：** 首次启动时，用户可能需要通过“隐私与安全性”设置手动授予应用程序运行权限。某些系统快捷键可能也需要重新映射。 * **Linux：** 必须更改系统级的 ALT+F4 和 ALT+F5 键盘快捷键，以启用全部功能。 * **通用：** 在使用不同刷新率的多显示器时，可能会遇到显示问题。 最新版本（v2.22）现已可供下载，详细信息和更新日志可通过该项目的 GitHub 仓库查看。

据《华盛顿邮报》报道，美国欧洲司令部（EUCOM）司令亚历克苏斯·格林克维奇（Alexus Grynkewich）将军向五角大楼发出警告，称海军驱逐舰严重短缺。他表示，若无增援，他必须在保卫美国本土和保护以色列免受伊朗潜在导弹袭击之间做出抉择。 部署在地中海的美国驱逐舰是以色列防御系统的核心，负责提供雷达预警和导弹拦截。然而，这些军事资产目前已超负荷运转，面临维护问题，且昂贵且难以补充的拦截导弹库存也在减少。报告指出，美军消耗的防御弹药（如“萨德”和“爱国者”导弹）甚至已超过以色列自身。 在特朗普总统升级与伊朗冲突之际，这一短缺问题显得尤为突出，据报道他计划针对伊朗能源基础设施进行打击。尽管以色列总理内塔尼亚胡积极游说要求进一步升级冲突并实施陆地封锁，但以方官员表示更希望由美国及其盟友代为出战。欧洲司令部的警告凸显了华盛顿在应对全球承诺的同时，还要承担以色列防御重任所带来的军事资源压力。

在这篇散文里，厄休拉·勒古恩挑战了一种常见的误解，即认为由于她并非“硬”科幻作家，她的作品就缺乏技术含量。她指出，社会经常误用“技术”一词，错误地将其仅仅等同于计算机或喷气式轰炸机这类高科技、复杂的机械。 勒古恩将技术广义地定义为“人类与物质世界之间的主动交互”——即各种文化在驾驭物理现实时所采取的实用手段，包括基本工具、医药和食物制备。她断言，如果不描绘异星文明或未来社会的居民如何与环境互动，就无法构建出一个可信的社会。即使是简单的工具也代表着习得的技术能力，然而现代社会因工业进步而变得麻木，以至于我们根本无法将基础发明视为技术。 最终，勒古恩坚持认为，无论侧重点如何，所有科幻小说本质上都是科技性的。虽然她拒绝接受“硬科幻”的标签，但她打趣地说，她自己的作品或许可以被称为“软”科幻，其中的技术如同骨骼的内部结构一样，从内部支撑着故事，而不是作为一种外部的机械外骨骼存在。

**Katharos** 是一个将函数式编程抽象与强大并发能力相结合的 Python 库。通过利用函子（Functors）、单子（Monads，如 Maybe、Result、IO）以及代数结构等概念，Katharos 允许开发者将错误、状态和副作用处理为类型安全、可组合的值，而非传统的异常或 `None` 检查。 主要功能包括： * **单子控制流**：使用 `do-notation` 和链式调用来简化嵌套逻辑，消除可选值和错误传播所需的模板代码。 * **错误处理**：将错误视为 `Result` 类型。`Result.catch` 等特性可将高风险函数转换为安全、可追踪的值，无需手动编写 `try/except` 代码块。 * **函数式并发**：实现了 Go 风格的 CSP（通信顺序进程），其中通道操作返回 `Result` 对象，允许开发者将闭包和超时处理为数据。 * **结构化并发**：提供上下文管理器以确保所有并发任务均能完成，并支持可替换的后端，以实现灵活的性能扩展。 通过将函数式核心逻辑与消息传递并发相结合，Katharos 将复杂的错误管理和并发编排转化为简洁、易于预测且更易于维护的命令式风格代码。详细文档请访问 [katharos.readthedocs.io](https://katharos.readthedocs.io)。

本文指出，近期涌入西班牙飞地休达的移民潮，打破了关于寻求庇护者全都“走投无路且心怀感激”的“多元文化”叙事。作者认为，许多移民表现出一种理所当然的态度，期望获得即时的经济支持和繁荣生活。 文中强调，当这些移民面对倒闭的商家、匮乏的就业机会，以及当地居民和合法移民的敌意时，许多人选择了自行离开。作者指责西方进步派媒体和政治精英，通过将西方描绘成可以大肆发放补贴的“富庶之地”，从而助长了移民不切实际的期望。 最终，文章认为，当政府无法守住边境时，民众可以通过营造不友好的环境来有效遏制非法移民。作者主张，通过确保非法移民的生存体验比留在原籍国更糟糕，民众可以促使那些政府政策迄今未能实现的离境效果。

F* 是一种通用的、以证明为导向的编程语言，专为高可靠性软件而设计。它将纯函数式编程、带有副作用的编程与依赖类型相结合，并利用 SMT 求解器和基于策略的定理证明来验证代码的正确性。 F* 是开源的，由微软研究院、法国国家信息与自动化研究所（Inria）及社区共同开发。虽然它默认使用 OCaml，但也支持通过 KaRaMeL 和 Vale 等专用工具将其提取到 C、Wasm、F# 和汇编语言。这种多功能性使其成为需要严格安全性和高性能项目的理想选择。 其关键应用包括 **Project Everest**，该项目生产的经过验证的加密库（如 HACL*、EverCrypt）已被 Linux 内核、Mozilla Firefox 和 Tezos 区块链等主流系统使用。此外，**EverParse** 提供经过形式化验证的高性能二进制解析器，已应用于微软 Azure 和 Windows Hyper-V。 除了密码学和系统领域，F* 还是形式化方法领域的一个活跃研究平台，涵盖了用于并发性、分离逻辑和信息安全的高级逻辑。它被广泛应用于学术界和工业界，用于开发经过验证的编译器、安全协议和稳健系统，通过数学证明确保关键软件免受漏洞攻击。

Coldcard 硬件钱包的一处关键安全漏洞导致约 4,500 个地址中总计约 1,367 枚比特币（约合 8,900 万美元）被盗。该漏洞源于 2021 年 3 月的一个固件错误，导致私钥生成时使用了较弱的软件备用方案，而非设备内置的硬件随机数生成器。 攻击过程分为三个阶段。早期的攻击易于追踪，但最新一波攻击展现出愈发复杂且隐蔽的手段，例如使用私密保险库和批量处理交易，这表明攻击者具有持续性和适应性。值得注意的是，每位受害者被盗金额的中位数已显著下降，意味着即使是小额余额也不再安全。 Coinkite 已承认该漏洞并发布了紧急更新。然而，官方强调，固件补丁无法保护已在受损设备上生成的助记词。受影响钱包的用户被敦促立即将资金转移至由新生成的助记词构成的钱包中。对此，赵长鹏等行业领袖发出警告称，没有任何硬件钱包能完全免于漏洞，并建议用户分散存储策略以降低风险。

```trait Functor[A]: fun map[B](self, f: A -> B) -> Self[B]; impl List[A]: fun fold[A, B](l: List[A], z: B, f: (B, A) -> B) -> B match l: Cons(h, t) => List::fold(t, f(z, h), f) Nil => z fun sum(l: List[i32]) -> i32 List::fold(l, 0, (a, b) => a + b) impl Functor[A] for List[A]: fun map[B](self, f: A -> B) -> List[B] List::fold(self, Nil[B], (t, h) => Cons(f(h), t)) fun fmap[A, B, F: Functor](f: A -> B, x: F[A]) -> F[B] x.map(f) fun main() -> IO[Unit] let l = Cons(1, Cons(2, Cons(3, Nil))) let l2 = fmap(x => x * 2, l) print(int_to_str(List::sum(l2))) ```