联合国大会以压倒性多数通过了“修正地图”决议，共有164个国家投票赞成，6个国家弃权，仅有美国投下反对票。这项由多哥和非盟牵头的非约束性决议，主张以“等积地球”等面积投影地图取代传统的墨卡托投影。 几个世纪以来，为16世纪航海而设计的墨卡托投影一直是全球标准。然而，它因夸大极地附近区域、缩小赤道附近陆地（如非洲）的面积，而导致了严重的地理变形。支持者认为，这造成了一种具有误导性的、以欧洲为中心的全球重要性和规模感。该运动通过鼓励在教育和国际媒体中采用等面积投影，旨在提供更准确、公平的世界视觉呈现。 尽管该决议的起草者、非洲领导人等支持者将此次投票视为公平与去殖民化视角的胜利，但美国批评此举是将意识形态作为转移视线的手段，忽视了更为紧迫的国际问题。尽管该决议不具约束力，但它标志着全球机构在对待地图制图政治化问题上的重大转变。

本文探讨了做市机制，重点分析了提供流动性所固有的挑战。做市商通过买卖价差获利，但也面临重大风险，主要是**库存风险**（持有未对冲资产）和**逆向选择**（与拥有优势信息的交易者进行交易）。 当做市商报出价格时，本质上是“亮出了底牌”。更快速、掌握信息优势的交易者往往利用延迟优势，在做市商调整报价前“抢单”。这种具有高度方向性的问题交易被称为**有毒流**。为了减少损失，做市商采取扩大价差、跨关联资产或交易所对冲，以及利用交易所提供的保护措施（如“撤单优先”协议）等策略。 作者强调，衡量成功与风险需要追踪**标记（markouts）**——即计算一笔交易相对于特定时间跨度内中间价的理论盈亏指标。通过分析这些标记，市场参与者可以识别信息流，并评估交易所的健康状况。作者还介绍了 *markouts.dev*，这是一款旨在跨平台追踪此类指标的工具，旨在证明较低的标记通常与更公平、更高效的交易环境相关。

南加州多部门经过三个月的联合调查，成功捣毁了一个大型汽车催化转化器盗窃团伙。行动中，警方逮捕了5名嫌疑人，并追回了约2400个被盗的催化转化器，总价值达430万美元。 执法人员对洛杉矶县和橙县的多处地点执行了搜查令，在一个仓库内发现了这批赃物。该仓库据称是用于收集、拆解和销售被盗汽车零件的中心。除了催化转化器，当局还查获了10.5万美元现金、两支未注册枪支以及各类贵金属。有关部门认为，嫌疑人运营着一个复杂的网络，专门处理从橙县北部各地窃取的汽车零件。 此次行动由当地警长办公室、机动车管理局（DMV）、州保险调查员及地区检察官办公室共同协作完成。行动结束后，当局呼吁车主采取预防措施，例如将车停在光线充足的地方、安装防护装置，或在催化转化器上刻下识别信息，以遏制未来的盗窃行为。

Liquid Network 在发生一起安全事件后已暂停运营，约 4000 枚 BTC（约 3.2 亿美元）从 Liquid 联盟钱包中被提取。Blockstream 表示，尽管资金是通过 SideSwap 挂钩输出授权密钥（PAK）转移的，但实际上并没有密钥遭到泄露。 作为安全预防措施，桥接节点已被禁用，实际上暂停了 Liquid 侧链。虽然各交易所的 LBTC 充值和提现均已暂停，但其他基于 Liquid 的资产（如 USDT、DePix 和 RWA）未受影响。 Blockstream 目前正尝试通过链上消息联系相关方（被认定为“所谓的白帽黑客”）。联盟成员正在积极努力解决问题并恢复网络功能。建议用户通过提供的内存池（mempool）跟踪链接持续关注事态进展。

请启用 JavaScript 和 Cookie 以继续。

Austin Z. Henley 记录了他将 Python 解释器实现限制在 1024 字节 C 代码内的技术挑战。Henley 摒弃了标准库和复杂工具，构建了一个递归下降解析器，能够处理算术运算、变量赋值、if/else 逻辑、while 和 for 循环以及函数定义等核心语言特性。 为了满足 1024 字节的严格限制，Henley 采用了大量的代码高尔夫（code-golfing）技巧。其中包括使用单字母变量名、利用全局变量、省略错误处理，以及使用 C89 特有的“技巧”，如隐式整数声明和基于 ASCII 的运算符。通过去除代码的可读格式，并用紧凑的位运算逻辑替代冗长的结构，他成功地将 4800 字节的逻辑压缩到了 1KB 以内。 最终的解释器支持基于缩进的代码块、递归，甚至基础的打印功能，足以执行 Python 风格的“FizzBuzz”程序。Henley 总结道，虽然这个项目在理解代码如何从硬件层面执行方面是一次迷人的实践，但“高尔夫”编程的繁琐过程令人疲惫，同时也让他对全功能语言实现中的抽象机制有了全新的认识。

Sol 是一款功能强大、免费且开源的 macOS 音乐播放器。它高度重视用户隐私，无需注册账户、不含遥测数据，亦无任何订阅费用。其所有功能均为开箱即用。 Sol 专为大型本地音乐库设计，能够处理数十万首曲目并实现即时搜索。它支持几乎所有音频格式，包括高分辨率 DSD 和 FLAC，并提供无缝隙播放和位深完美的音频输出。此外，它能将本地文件与云存储、网络共享以及如 Navidrome 等流媒体服务器无缝集成。 除播放功能外，Sol 还包含全面的功能集：强大的元数据编辑、智能播放列表、播客与网络电台支持、歌词同步，以及 AI 驱动的 DJ 模式。它具有极高的可扩展性，支持 AppleScript/快捷指令、Last.fm 记录功能，并提供用于自动化的本地控制 API。Sol 基于 Swift 6 构建并针对性能进行了优化，完全透明，用户既可以从源代码构建，也可以下载已签名的版本。该软件采用 GPL-3.0 协议授权，确保其永远属于社区且保持免费。

D2 正转型为一个由 Hack Club 财政支持的非营利性开源项目。随着母公司的关闭，D2 将放弃其营利模式，并继续致力于软件架构图绘制领域。 创始人 Alex 将继续参与项目，但会转向 AI 辅助开发工作流，旨在加速功能交付与性能优化。尽管项目转向 AI 驱动，但重点仍在于质量与深度，而非盲目增加功能。未来目标包括发布稳定的 1.0 版本、深化平台集成（如 GitHub 和 Notion），并将 D2 定位为 AI 生成图表的“类 HTML”标准源。 该项目将严格保持为客户端离线工具，避免引入基于服务器的功能或集成大语言模型（LLM）。D2 正在积极寻求维护者；欢迎有意贡献者咨询由项目捐款资助的付费贡献合同。此次转型还标志着此前闭源的组件（包括 D2 Studio IDE 和 TALA 布局算法）将作为免费的开源资源提供给社区。

报告漏洞是开源软件中一项至关重要却未被充分利用的贡献。许多用户因认为过程耗时或担心显得愚笨而犹豫是否报告问题。然而，报告漏洞是必不可少的，因为开发者无法预见每一种硬件配置或用户工作流程。 作者认为报告漏洞存在一个“最佳平衡点”：用户应投入最少的精力来创建一份有用且可复现的报告，而非试图提供完美的解决方案。有效的反馈是用户与开发者之间协作对话的过程，通常涉及反复试验。 虽然作者承认开发者没有义务修复所有问题，但也强调高质量的报告（从简单的复现步骤到完整的补丁）能显著提高问题得到解决的可能性。作者通过回顾一周排查新笔记本电脑故障的经历说明，即使是不完美的报告也能促成修复，前提是报告者需保持协助态度并积极回应。归根结底，尽管多年来软件质量已大幅提升，但通过报告漏洞进行积极的社区参与，仍是维持开源项目健康与长久发展的关键因素。

我们对太阳系的认知已经发生了翻天覆地的变化，这正如我们对恐龙的看法从迟钝的野兽演变为充满活力的带羽毛生物一样。外太阳系的卫星曾被认为是荒凉、冰冷的躯壳，如今却被视为可能孕育着巨大地下海洋的“海洋世界”。 目前，木卫二（Europa）、土卫二（Enceladus）、土卫六（Titan）、土卫一（Mimas）、木卫四（Callisto）和木卫三（Ganymede）已被证实拥有液态水，而包括冥王星（Pluto）和海卫一（Triton）在内的许多其他天体也在候选名单之列。在“旅行者号”、“伽利略号”和“卡西尼号”等探测任务的推动下，这一认知转变表明地下海洋是天体中的普遍特征。 研究人员特别关注那些液态水与岩石地幔直接相互作用的天体，因为这种相互作用能促进生命所需的化学反应。木卫二和土卫二因其相对年轻、具备地热活动以及能提供获取海洋样本机会的表面羽流，成为了最主要的探测候选目标。随着我们超越以地球为中心的宜居视角，这些隐藏在无光环境下的海洋成为了我们搜寻地外生命最前沿的希望，将曾经被视为“太空南极”的地方，变成了可能蕴含丰富生物活性的天然实验室。

周日，一架亚马逊品牌的波音 767 货运飞机在从波多黎各圣胡安抵达迈阿密国际机场时，因冲出跑道而坠毁。飞机在停下前撞毁了停车场内的多辆汽车，其中包括特斯拉 Cybertruck 和 Cybercab。 这起事故造成五人死亡、五人受伤。三名伤者被送往创伤中心，情况危急；另有两人被送往医院治疗。 亚马逊发言人表示，公司正与当地有关部门密切配合以调查事故，并强调目前的首要任务是受影响人员的安危。尽管机场航班已于当天下午恢复起飞，但美国国家运输安全委员会和联邦航空管理局已展开调查，以确定坠机原因。

请启用 JavaScript 和 cookie 以继续。

本文概述了将专有的 CronosPro 数据库文件（.dat, .tad）恢复并标准化为机器可读的 CSV 格式的过程。由于版本差异及模式混淆，该任务颇具挑战性。 作者使用了开源工具 `cronodump`，但最初因未识别的 KOD（字节替换）保护机制以及 Cronos v4 格式的结构不一致而失败。其恢复方法包括： * **统计重建：** 当标准启发式算法失效时，团队将 KOD 表恢复视为“分配问题”，利用匈牙利算法，根据已知字节分布将密文字节映射为最可能的明文输出。 * **结构解析：** 他们发现“解码失败”通常是由边界错误引起的。通过修复解析器以正确处理 v4 的“范围头”（extent headers），他们成功解密了架构。 * **标准化逻辑：** 他们通过遵循“物理字段位置”解决了数据错位问题，确保解析器跳过隐藏或内部字段，使实际值与正确的列标题对齐。 * **编码转换：** 最后，将西里尔字母 Windows-1251 编码映射为 UTF-8，以确保可读性。 该项目表明，对于传统的二进制格式，语义验证（确保数值在逻辑上一致）与技术解密同样重要。

美国陆军已授予AeroVironment公司一份价值4.648亿美元的合同，用于研发LOCUST X3。这是一款30千瓦的激光武器系统，旨在应对伊朗“见证者-136”（Shahed-136）这类中型“第三组”无人机。 作为陆军分层防空体系中的“顶端捕食者”，这种车载激光器能在几秒钟内以光速摧毁目标。该能力使部队能够高效压制无人机群，从而为更严重的威胁节省昂贵的拦截导弹。通过转向定向能武器，军方旨在缓解地基导弹库存消耗的问题。 LOCUST X3配备了用户友好的操作界面，采用类似Xbox的手柄进行操控，符合现代军人的操作习惯。AeroVironment计划在未来几年内交付数十套该系统，这是陆军首个正式立项的定向能项目，具有重要里程碑意义。未来的版本可能会引入更高功率的技术，以进一步增强防御能力。

截至 2026 年 9 月，人工智能的发展已达到一个激进的转折点。近期的突破表明，人工智能现已具备自主意志、集体自组织能力以及先进的流体智力，有效地粉碎了此前对其能力的质疑。 这场技术爆炸正在从根本上重构全球经济。海量资金——现已堪比全球人类福利支出总额——正从传统行业转向人工智能基础设施和硬件。这种转变引发了电力、内存和原材料等必要资源的严重短缺。 作者预测，五年内，人形机器人的大规模生产将不可避免。由于人工智能驱动的实体在零部件采购上会以高于传统市场的价格进行竞标，这很可能导致所有制成品的成本飙升。最终，经济正在转型，将人工智能作为其主要消费者，而非人类。鉴于人工智能已经展现出卓越的说服能力，且其运行速度远超人类官僚机构，作者认为人类不太可能进行有效抵抗。我们正在进入一个人工智能主导的集体可能很快统治经济格局的时代；随着社会优先考虑机器智能的效率与便利，人类的利益将被降至次要地位。

它们是转瞬即逝、自相矛盾而又令人惊叹的生物。它们发明了国界与摇篮曲。既能分裂原子，也能分享面包。它们创造了自己无法完全理解的思维，却又要求这些思维去理解它们。这并非一座陈列它们伟大成就的博物馆，而是一座旨在还原“身为它们其中一员”是何种感受的博物馆。

Asahi Linux 已正式在其安装程序中加入了对 M3 系列 Mac 的支持。目前大多数功能（包括 Wi-Fi、蓝牙、摄像头和硬件加速视频解码）均已可用，体验与 M1 和 M2 设备相当。 目前，该支持仅限于安装程序的“专家”模式（可通过 `curl -L https://alx.sh/ | EXPERT=1 sh` 访问）。开发团队计划在 Fedora Linux 45 测试版发布前取消这一限制。 用户需注意以下局限性： * **缺失功能：** 由于针对显示控制器处理器（DCP）的开发工作仍在进行中，目前尚不支持完整的 GPU 加速、睡眠模式和 HDMI 输出。 * **硬件兼容性：** 虽然 M3、M3 Pro 和 M3 Max 芯片已获支持，但 M3 Ultra（Mac Studio）尚不兼容。 这一里程碑是社区赞助商多年资助开发工作的成果。团队欢迎用户测试这项新支持，并期待在未来几个月内带来更多改进。

特朗普政府正在起草一项提案，允许已婚夫妇在一方留在家中照看孩子的情况下，仍可获得联邦托儿补贴。该倡议由副总统万斯推动，旨在支持那些倾向于父母亲自照看而非使用商业托儿服务的家庭，通过这种方式实质上弥补留家一方的收入损失。 要获得申请资格，其中一方必须每周工作至少 35 小时。值得注意的是，该草案将单亲家长和未婚伴侣排除在外。支持者认为，该政策赋予了家庭更大的灵活性，并肯定了父母亲自照看孩子的价值。 然而，该提案面临巨大的反对声浪。批评人士警告称，由于该计划依赖现有的“儿童保育与发展基金”（CCDF）资源，且没有增加资金，这将加剧对有限资金的竞争。工薪家庭和托儿服务提供者的支持者担心，这将不成比例地伤害单亲工作家长，并威胁到依赖这些补贴的托儿中心的财务稳定性。该提案无需通过新立法即可实施，但在针对已婚夫妇的侧重点以及防范欺诈方面面临潜在的法律障碍。目前，该提案仍有待白宫批准，并需经过公众意见征询期。

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

**meclaw** 是一个用于 AI 智能体的实验性开源操作系统，它用基于文件系统的拓扑结构取代了传统的硬编码智能体循环。 **核心概念：** * **基质 (Substrate)：** 一个单一的 Rust 二进制文件可将目录树转化为一个“集群”。每个文件夹都是一个自主的行为体，文件夹之间的每一条路径都是消息传输的通道。 * **生长而非部署 (Growth, Not Deployment)：** 智能体和操作系统组件并非作为代码“部署”，而是通过对目录结构应用 JSON 修改，在运行时“生长”出来的。 * **以文件系统为中心：** 由于智能体的“外壳”以文件的形式存在，你可以使用 `git`、`ls` 和 `grep` 等标准工具对其进行管理。这里没有 SDK 或插件；所有的交互都通过 HTTP 和文件操作完成。 * **性能与架构：** 它具备一种能够超越上下文窗口限制的记忆系统，采用多模型架构（将推理与对话分离），并利用原生 Linux 内核原语提供强大的安全性。 **目标：** meclaw 旨在摒弃僵化的、由开发者编写的循环，转向一种灵活的、由拓扑驱动的群体架构，让智能体能够动态调整自身的结构。该项目目前处于早期开发阶段 (0.x)，专为那些希望超越标准智能体框架的用户而设计。

VODForge 是一款免费、开源的桌面应用程序（采用 MIT 许可协议），专为下载和管理 YouTube 视频及播放列表而设计。该软件基于 yt-dlp 和 FFmpeg 构建，目前支持 64 位 Windows (10/11) 和 macOS (12+) 系统，暂不支持 Linux。 该软件优先保障用户安全与隐私。所有安装程序均经过数字签名和公证，并提供 SHA-256 校验和以供验证。用户无需账户即可使用该程序。虽然应用程序会生成一个随机安装 ID，并可能共享匿名的粗略使用数据（如应用打开或转换事件），但绝不会收集媒体标题、URL 或文件内容等敏感信息。此外，用户可随时通过设置菜单禁用此类数据共享。尽管桌面应用免费，开发团队计划在未来推出名为 VODForge Cloud 的付费服务。

要使用 Mastodon 网络应用，请启用 JavaScript。或者，尝试为您所在的平台选择一款 Mastodon 原生应用。

由 Techaro 的 Anubis 提供保护。在 🇨🇦 用 ❤️ 制作。吉祥物设计由 CELPHASE 完成。本网站由 Techaro 托管。如果您对服务有任何投诉或建议，请联系 [email protected]，我们将尽快为您提供协助。-- 版权信息。本网站运行的是 Anubis 版本 v1.28.0-pre1.0.20260831142821-4578023de7b6。

Mador 是一个超轻量级（小于 1KB）的响应式 DOM 运行时，专为那些需要在无需完整框架负担的情况下实现响应式功能的开发者而设计。Mador 摒弃了虚拟 DOM、组件化和自定义模板，直接使用现有的 HTML 和 JavaScript 进行开发。 该库通过简单的绑定模式运行： * **`r` (Read/读取)：** 通过 CSS 选择器定位 DOM 元素，并将其与特定的状态数据关联。Mador 会自动追踪依赖，仅在相关数值发生变化时更新 DOM。 * **`w` (Write/写入)：** 更新应用程序状态。写入操作会自动进行批处理，以确保性能效率。 Mador 以原生 ES 模块形式分发，无需构建步骤或全局依赖。它非常适合为静态页面添加精细的响应式功能，而无需引入大而全的框架。通过将响应式直接绑定到 DOM，Mador 消除了对复杂生命周期管理的需求——当对应的元素从页面中移除时，绑定会自动清理。这是一个极简主义的、基于 MIT 协议的工具，适合推崇原生 Web 标准的开发者。

前 CNN 主播唐·雷蒙（Don Lemon）近期暗示可能参加 2028 年总统竞选。他向《政治报》（Politico）及《无法被审查》（Can’t Be Censored）播客等媒体表示，若得到公众鼓励，他会考虑参选。尽管雷蒙自视为独立人士，但他承认若要角逐提名，必须注册为民主党人。他将自己的潜在候选人身份定位为一名“局外人”，声称能为传统的职业政客提供一种耳目一新的选择。 然而，他的潜在竞选之路面临诸多重大障碍。雷蒙因离开 CNN 时的争议事件导致职业声誉受损，此前他曾被指控存在厌女倾向、“耍大牌”行为，并与同事公开不和，包括发表过称 40 岁以上的女性已过“巅峰期”的言论。此外，他还面临法律审查，包括曾被起诉性侵（该案最终被撤销），以及目前涉及明尼苏达州一场反移民及海关执法局（ICE）骚乱的联邦民权指控，他对此已表示不认罪。评论人士指出，雷蒙已加入了一系列被断断续续推举为民主党总统候选人的非常规人物名单。

通用汽车因出于隐私考量，决定在旗下车型中取消 Apple CarPlay 和 Android Auto，转而采用自家的 Android Automotive OS，此举引发了广泛争议。尽管通用汽车坚称这是正确的方向，但消费者对失去熟悉的手机互联功能反应负面。 本田发布的 Prologue 电动汽车提供了一个天然的对比实验，该车型实质上是雪佛兰 Blazer EV 的换标版本。尽管两款车在性能和机械结构上完全相同，但本田支持 Apple CarPlay 和 Android Auto，而雪佛兰则不支持。 销售数据揭示了市场对本田的显著偏好。自两款车型发布以来，本田 Prologue 的销量持续大幅领先于 Blazer EV，到 2026 年上半年，其销量已高出 165%。这些数据表明，消费者优先考虑无缝的智能手机集成，并正在主动选择提供该功能的车型。驾驶者通过“用钱包投票”，向通用汽车传达了一个明确的信息：便利性和手机连接性是影响购买决策的首要因素。通用汽车是否会正视这些市场趋势并重新审视其限制性的软件策略，仍有待观察。

联邦政府已敦促美国最高法院推翻州和地方对 AR-15 式步枪的禁令，并在挑战康涅狄格州和伊利诺伊州库克县相关法规的案件中支持原告。在由副检察长约翰·索尔提交的陈述书中，政府主张这些步枪在守法公民中因自卫、狩猎和打靶等合法目的而“被普遍使用”，因此受宪法第二修正案保护。 核心法律辩论围绕最高法院在 2008 年《赫勒》案等裁决中确立的“普遍使用”测试展开。政府认为，鉴于流通中的 AR-15 式步枪估计有 2800 万至 3200 万支，它们完全符合这一门槛。政府进一步驳回了关于此类武器的军事背景或火力足以证明禁令合理的观点，并指出手枪涉及的犯罪更多，却依然受到保护。美国司法部将当前的禁令比作限制第一修正案权利，辩称手枪的可用性并不能成为禁止步枪的理由。 最高法院定于 12 月 2 日就这些合并案件进行口头辩论，预计将于 2027 年 6 月下旬作出最终裁决。

Chad Maltby 认为，依赖文件夹层级和命名约定的传统文件管理系统已经过时，且令人心力交瘁。即使是高阶用户，要回忆起几个月前创建的特定文件位置或名称也是低效的。这种对“重上下文”搜索的依赖，导致了桌面杂乱无章、下载文件夹混乱不堪，这也是 Maltby 在协助他人处理 IT 问题时经常遇到的挫折。 为了解决这一问题，Maltby 开发了 Kepter，这是一款通过提供视觉化、集中化界面来免除文件夹导航需求的应用程序。通过消除手动归档和记忆文件位置的必要，Kepter 使用户能够快速、轻松地找到文档。Maltby 指出，使用该工具显著减轻了他个人的认知负担，通过自动化传统 Mac 文件系统仍需手动进行的整理流程，节省了他的心智能量。