最近的一个案例凸显了从Sketchfab下载的.usdz模型的一个令人沮丧的问题。虽然在苹果原生查看器中显示正确，但通过官方USD导入器将相同的文件导入Blender时，会导致角色翻转、对象分离以及姿势重置。 根本原因不是Blender或模型本身，而是Sketchfab的处理方式。为了优化存储并统一格式，Sketchfab会重新打包上传的模型，添加改变原始结构的包装层。这种“优化”引入了错误，因为下载的模型并非艺术家最初创建的模型。 3DWay的后端负责人认为，这以牺牲用户为代价来使Sketchfab受益，将其比作压缩游戏纹理或缩小鞋子——改变了预期的产品。虽然处理各种模型结构很复杂，但保留原始资产结构对于准确共享和避免意外导入问题至关重要，而3DWay已经成功地实现了这一点。苹果的查看器可能能够处理这些修改后的文件，因为它对USDZ格式有更深入的理解。

## 巨人诅咒：概要 风险专家卢克·坎普的《巨人诅咒》认为，社会崩溃并非随机发生，而是遵循一种可预测的模式，这种模式根植于剥削性、等级制度的兴起——“巨人”。 坎普考察了考古证据，从13000年前的屠杀遗址到描绘早期埃及征服的纳尔迈调色板，证明国家通常诞生于暴力之中，并通过统治得以维持。 他确定了三个推动“巨人”增长的关键“燃料”：可掠夺的资源、可垄断的武器和被囚禁的人口。 尽管复杂的社会看起来是进步的，但坎普认为它们不可避免地会助长不平等，引发内部压力并最终导致崩溃。 令人惊讶的是，崩溃通常*有利于*普通民众，使他们摆脱压迫结构。 坎普的研究利用庞大的数据集，揭示国家存在寿命脆弱性，并且历史叙述常常美化权力，而忽视其造成的苦难。 他警告说，我们当前的“全球巨人”——由数据、先进武器和全球化控制提供燃料——正接近一个危险的结局，面临气候变化和核扩散等生存威胁。 他的解决方案不是回归原始主义，而是向更具包容性的治理、经济公平以及根本性的心态转变——呼吁避免权力不受约束的陷阱，并优先考虑集体福祉。

此数据代表一份全面的全球地点列表，包括国家、地区和行政区划。它涵盖了美国所有50个州，以及波多黎各和美属维尔京群岛等美国领土，还有多个附属岛屿（例如，关岛、马绍尔群岛）。 除了美国之外，该列表还详细列出了世界上几乎所有公认的国家，从阿富汗到津巴布韦，以及格陵兰、法属圭亚那和英属维尔京群岛等附属领土。它还包括南极洲等地理定义区域和各种岛屿群。 值得注意的是，该数据还包括加拿大省和地区，以及对地位复杂的政治实体（如香港和巴勒斯坦领土）的引用。邮政编码与国家/地区的配对表明，该数据的重点是用于邮寄或物流目的的地理数据。总而言之，这是一份广泛的地理清单。

开发者何春辉取得了一项了不起的成就：使用名为Tiny386的模拟器，在微小的Espressif ESP32-S3微控制器上运行Windows 95和其他16/32位软件。这个项目有效地将这款低成本芯片变成了一台可用的“90年代PC。 Tiny386是一个可移植的、基于C99的x86模拟器，围绕一个定制的i386 CPU模拟器构建（约6千行代码）。虽然缺乏调试等功能，但它成功地模拟了足够的架构来运行经典软件，如Doom，甚至启动Linux。 尽管ESP32-S3的成本和功耗远低于原始386处理器，但其240MHz双核处理器在外部RAM的帮助下，足以进行模拟。该模拟器包括模拟的VGA图形、网络和声卡选项（PC扬声器、Adlib、SoundBlaster）。 该项目在GitHub上开源，展示了现代微控制器重现和运行遗留软件的潜力。

一位联邦法官裁定，特朗普政府在政府停摆期间侵犯了教育部门员工的宪法第一修正案权利。政府将员工个性化的离线回复邮件替换为一条党派信息，指责民主党导致资金中断。 美国政府雇员联合会（AFGE）提起了诉讼，认为强迫信息将员工变成了“政治发言人”。克里斯托弗·库珀法官同意这一观点，指出公共雇员进入公共服务后不会放弃他们的第一修正案权利。 该部门最初为离线回复邮件提供了中立的模板语言，但随后在未经员工同意的情况下实施了带有指责意味的信息。法官命令该部门恢复个性化信息，或从*所有*员工帐户中删除党派语言。这项裁决重申了联邦公务员队伍内部的中立性原则，该原则受到1939年哈奇法案的保护。

## 关于纽约市新市长与社会主义意识形态的警告 纽约市的新市长拥抱一种根植于卡尔·马克思对资本主义批判的社会主义，这与温和的福利国家模式大相径庭。这种意识形态错误地将社会问题归咎于私人资本，并认为政府可以通过税收来决定经济结果——免费商品、控制租金。历史表明，这种做法不可避免地会导致专制主义和经济衰退，很可能引发城市人口外流。 这种社会主义观的核心在于有缺陷的“劳动价值论”，认为价值*完全*源于体力劳动，而忽视了创新、资本甚至脑力劳动的价值。卡尔·门格尔等人的现代经济思想反驳了这一点，认为价值是*主观的*——通过自愿交换由个人需求和认知决定。 这种意识形态与美国的建国原则格格不入。美国的经济遗产，以托马斯·杰斐逊对图尔戈等思想家的钦佩为例，优先考虑私有财产、创业精神、有限政府和自由市场。尽管美国一直存在经济辩论，但当前推动激进的再分配和拒绝经济自由的行为代表了对其历史基础的背离。重拾这种最初的经济愿景对于维护繁荣和自由至关重要。

## Rust v0.56.0 版本总结 Rust 0.56.0 版本在代码库中引入了多项改进和修复。一个主要亮点是发布了 **GPT-5-Codex-Mini**，这是 GPT-5-Codex 模型的一个更高效、更经济的版本。 此版本重点关注应用服务器，在线程、账户/登录和回合的 **v2 API** 方面取得了显著进展。改进了 token 刷新处理，解决了重连问题，以及对话历史管理。 其他值得注意的更改包括对 `rmcp` 等依赖项的更新，对 TypeScript SDK 的改进（添加 `modelReasoningEffort`），以及 UI/TUI 增强。 多个修复解决了构建问题、间歇性测试失败以及目录和登录菜单中的边缘情况。 此版本还明确了 GPT-5-Codex 关于提交修改和更新贡献指南的预期行为。

奥托·内门兹，一位著名的奥地利摄影师和奥托·内门兹国际公司的创始人，享年83岁。他的公司成立于1979年，成为电影和电视领域创新相机和镜头的主要供应商，从小店发展成为位于卡尔弗城的庞大设施。 内门兹的职业生涯跨越数十年，从在Panavision的技术工作和参与《大奖赛》等电影开始。他以直接与摄影师合作而闻名，为罗杰·迪金斯开发了“迪金斯消除器”等定制解决方案，并为哈斯克尔·韦克斯勒设计镜头，1991年获得技术成就奥斯卡奖。他成功地带领公司适应了电影行业向数字电影制作的转变。 内门兹是一位备受尊敬的人物，是美国电影摄影师协会的会员，并获得了众多奖项，包括2023年的美国电影摄影师协会遗产终身成就奖。他因其技术专长、慷慨和对电影艺术的奉献精神而被人铭记，对行业产生了持久的影响。他留下女儿帕蒂。

启用 JavaScript 和 Cookie 以继续。

## OpenCloud 服务器概要 OpenCloud 服务器是一个使用 Golang 构建的后端服务，采用 Apache 2.0 许可协议，并积极寻求贡献。它设计易于设置——构建二进制文件涉及生成资源和编译，然后使用简单命令初始化并启动服务器。 值得注意的是，OpenCloud **不使用数据库**，而是选择基于文件系统的存储，默认目录为 `$HOME/.opencloud/`。用户身份验证通过 OpenID Connect 处理，支持 Keycloak 等外部身份提供商或内置的 LibreGraph Connect。 鼓励贡献者查阅贡献指南和开发文档以获取详细说明。**安全漏洞应直接报告至 [email protected]。** 该项目欢迎所有形式的贡献，并强调每一份努力都受到重视。

此消息表明波士顿25新闻网站（当地新闻媒体）**受到地理限制，目前无法在美国境外访问。** 错误代码“451”明确表示了这种限制。网站显示道歉信息，并解释说，试图从其他国家/地区连接的观众将被拒绝访问。 本质上，该网站仅供美国观众使用，并采取措施阻止来自其他地区的访问。提供的文本是一份技术通知，解释了用户*为什么*无法查看内容，而不是新闻报道本身。

中国因潜在太空碎片撞击风险，已推迟神舟二十号乘组从天宫空间站返回。原定于周三着陆，此次延误是为了确保宇航员安全，同时进行撞击分析——新的返回日期尚未确定。 这是中国首次因太空碎片推迟返回任务，凸显了“太空垃圾”——废弃的火箭部件和卫星碎片——在地球高速轨道上运行的日益增长的危险。目前，数百万件碎片对在轨航天器构成碰撞风险。 中国曾因加剧这一问题而受到批评，特别是2007年的一次反卫星导弹试验，显著增加了大型碎片。虽然北京也对SpaceX星链卫星的碎片表示担忧，但神舟二十号事件与近期美国宇航员因航天器问题滞留数月的情况相呼应，强调了太空旅行的普遍风险。

## 恢复原始BeagleBoard的USB启动 本文详细介绍了在2008年的BeagleBoard (OMAP3530)上启用USB启动的过程，最初源于调试UART问题。尽管年代久远，作者成功地恢复了一个被遗忘的USB启动流程，克服了由于文档过时和现代硬件不兼容造成的诸多障碍。 关键在于利用诸如`omap_loader`（旧实用程序的重写）之类的工具，并理解OMAP3530的USB启动序列。然而，配备USB 3.0的现代计算机在启动过程中经常会卡住，因为尝试了过于高效的数据传输。解决方案是在USB通信中策略性地添加小的延迟，降低数据速率以匹配OMAP的能力。 进一步的研究发现，主机控制器无法正确处理初始通信，需要额外的延迟，甚至在较慢的系统上构建自定义libusb。最终，这些修复作为拉取请求提交，不仅对BeagleBoard有益，也对最近尝试恢复不支持的Nest恒温器有所帮助，后者也使用OMAP处理器。这表明看似晦涩、历史性的折腾，可以意外地为现代项目做出贡献。

持续的政府停摆正在导致航空旅行受到严重干扰，原因是空中交通管制员面临日益严重的危机。由于无薪工作和巨大的压力，管制员“每天”都在辞职，导致系统严重人手不足——甚至比2019年的停摆期间还要严重。 管制员们面临财务困境，一些人不得不找第二份工作来支付基本开销。 剩余人员正在经历职业倦怠，导致病假增加，并因强制加班而感到疲劳。 为了减轻压力，政府已在主要市场减少了10%的空中交通。 然而，官员警告说，即使在停摆结束后，也需要*几个月*的时间才能恢复，可能会影响假日旅行。 核心问题仍然是政府资金方面的政治僵局，特别是关于《平价医疗法案》补贴的争议，这延长了基本工作人员和旅客的困境。

Ironclad是一个新的开源操作系统内核，适用于通用系统和嵌入式系统。它使用SPARK和Ada编写，旨在通过**形式化验证**实现高可靠性，确保在密码学和安全等关键领域的正确性。 主要特性包括一个**POSIX兼容接口**，方便软件移植，**实时能力**与抢占式多任务处理，以及强大的**强制访问控制 (MAC)**，以增强安全性。重要的是，Ironclad是完全免费软件（GPLv3许可），不含专有固件。 目前，Ironclad适用于多个平台，并可通过GNU工具链轻松进行交叉编译，并得到Gloire等发行版的支持。该项目依靠捐赠和资助来继续开发，并坚持其免费提供使用、研究和修改的承诺。

## Ofcom 与美国第一修正案权利：摘要 一位美国律师代表包括4chan和名为“SaSu”的自杀讨论论坛在内的几个备受争议的网站，与英国在线安全法案（OSA）进行法律斗争。该律师主动为任何受到OSA针对的美国网站辩护，认为该法案侵犯了第一修正案权利。 Ofcom，英国通信监管机构，试图域外执行OSA，尽管这些网站在美国合法运营，但仍将其作为目标。该律师认为Ofcom故意选择“危险”目标，以制造寒蝉效应并为更广泛的审查制度辩护。 目前，Ofcom正在起诉SaSu，声称其地理封锁（旨在阻止英国访问）无效。该律师对此表示异议，声称这是一种出于政治动机的策略，即活动人士使用地理位置错误的IP地址绕过封锁，以触发执法。他认为Ofcom需要一个“头颅”来证明OSA的有效性，而SaSu由于英国倡导团体的压力而被选为目标。 核心问题是英国试图监管位于美国的公司的言论，以及受美国宪法保护的言论。该律师敦促美国政府制定屏蔽法，并利用贸易杠杆来保护美国公民免受外国审查制度的企图，并警告说，更大的美国科技公司可能会成为下一个目标。他认为这挑战了美国的根本主权，是历史上为言论自由而斗争的现代回声。

利用月球反射信号——被称为地月地（EME）通信——长期以来一直是无线电爱好者的终极挑战。它需要大型天线、昂贵设备以及精确的手动指向和跟踪。我们试图将这项技术带到地面，提供体验太空通信的乐趣所需的所有工具，通过开源软件定义的相控阵来实现。

乔西·金斯是一位研究人员，她拥有广泛的个人经验，使用过200多种迷幻化合物。她正在一丝不苟地编目这些物质的多样化影响。在彻底探索后停止个人使用，金斯开发了“主观效应指数”——一份不断增长的清单，目前已记录了233种体验。 现在，她与Mindstate Design Labs和领先的迷幻化合物研究人员合作，旨在完善和扩展该指数，尤其侧重于更难以捉摸的认知和情感影响。虽然视觉效果正变得定义明确（例如“衍射”、“机器景观”和“纹理液化”），但捕捉内在体验的细微差别仍然是一个挑战。 金斯的工作不仅仅是列出效应；她详细描述了特定的视觉现象以及最有可能诱发它们的化合物，甚至包括令人不安的体验，如“难以言喻的恐怖”。她的目标是为迷幻体验创建一个全面而精确的分类系统，以帮助未来的研究和理解。

根据杰弗里·爱泼斯坦前狱友尼古拉斯·塔塔格利奥内最近的赦免申请，一名检察官曾向爱泼斯坦提出交易，让他指控时任总统唐纳德·特朗普参与犯罪。塔塔格利奥内声称，爱泼斯坦向他透露，助理美国检察官莫琳·科米（詹姆斯·科米之女）告诉他，只要指控特朗普，无需证据，他就可以获得自由。据称，爱泼斯坦被告知联邦调查局认为科米是“自己人”，而不是特朗普的人。 这一说法浮出水面之际，莫琳·科米最近辞去了她的职位。然而，塔塔格利奥内的可信度受到质疑，因为爱泼斯坦此前曾指控他在狱中试图谋杀他——塔塔格利奥内否认了这一指控，称他试图*救活*爱泼斯坦。缺乏可用的监控录像进一步增加了核实事件的难度。这些指控加剧了对爱泼斯坦案件处理以及司法部内部潜在政治动机的现有审查。

关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私政策和安全 YouTube 工作原理 测试新功能 © 2025 Google LLC

世界上最大的帆货船“Neoliner Origin”最近完成了首次跨大西洋航行，抵达巴尔的摩，尽管在风暴中一艘帆受损。这艘由法国公司Neoline建造的136米长的船只旨在大幅减少温室气体排放——最多可减少90%，从而解决航运业目前产生的全球3%的排放问题。 虽然帆的损坏导致不得不部分依赖辅助发动机，但该船表现出韧性，仅略有延误。 “Neoliner Origin”利用两张半硬帆和现代系统来实现安全高效的运行，运载5300吨货物，如车辆和机械。 Neoline设想每月在欧洲和北美之间进行航行，速度为11节，在商业需求与环境责任之间取得平衡。专家估计，在优化的船只上，风力推进系统可以将排放量减少超过50%，提供一种免费、可预测且环保的能源。

美国政府停摆已达创纪录的39天，造成大范围 disruption。至关重要的是，SNAP福利暂时停止发放，但法官下令全额拨款11月，政府正在上诉。约140万联邦雇员受到无薪休假或无薪工作的影响，由于空中交通管制人员 staffing concerns，航空旅行也出现延误。 公众对停摆影响的 perception 正在增长；最近的调查显示，36%的美国人现在感到受到个人影响，较10月初的21%有所上升。 blame 分布几乎均等地归咎于共和党（35%）、民主党（32%）和两党（28%）。特朗普总统处理停摆的支持率正在下降，并且绝大多数人（75%）认为在停摆期间应继续发放SNAP福利。他还呼吁废除参议院 filibuster。

本书全面探讨了编程语言设计，重点关注**控制结构**——决定程序执行流程的机制。它追溯了从早期的`goto`语句到现代技术的演变，考察了命令式和函数式范式。 本书首先回顾了Fortran和Algol的历史，然后介绍了高级命令式特性，如生成器和协程（通过Java、OCaml、Python和C++示例进行说明）。接着，本书转向函数式方法，详细介绍了延续、控制算子，以及**代数效应和效应处理程序**——一个现代研究领域。 本书以OCaml和Haskell作为主要示例，融合了历史背景、实用代码和理论基础。它提供了对语言设计独特的比较视角，并作为对前沿控制和效应管理技术的全面介绍。代码示例采用MIT许可协议。

## 人类拥有“远程触觉” 伦敦玛丽女王大学和伦敦大学学院的研究人员发现，人类与某些动物共享一项令人惊讶的能力——“远程触觉”，即在没有直接接触的情况下感知物体。这项研究受到鹬类等鸟类寻找埋藏猎物行为的启发，调查了人类是否可以通过感知手指运动产生的微小机械线索来探测沙子下隐藏的立方体。 结果令人瞩目：人类表现出类似的能力，通过感知微小的沙子位移来探测物体——接近物理上可探测的理论极限。有趣的是，人类（70.7%的精确度）的表现优于配备触觉传感器和人工智能的机器人，尽管机器人的探测距离稍远，但误报率更高（40%的精确度）。 这一发现扩展了我们对人类触觉感知及其“感受野”的理解，为开发更灵敏的辅助技术和机器人提供了宝贵的见解。潜在的应用包括考古挖掘等精细任务、探索火星土壤等复杂地形，以及改进用于更安全、更智能探索的机器人系统。这项研究强调了心理学、机器人学和人工智能跨学科合作的力量。

一项由牛津大学和41个其他全球领先机构的研究人员进行的新研究揭示了我们在衡量大型语言模型（LLM）的能力和安全性方面存在的重大缺陷。该研究回顾了445个AI基准测试，发现缺乏科学严谨性，只有16%使用了统计分析，大约一半缺乏对“推理”或“无害性”等概念的明确定义。 这意味着报告的AI改进可能具有误导性，可能由于偶然因素或测试侧重于格式等表面方面，而非真正的理解。该研究强调了“脆弱性能”的例子——对问题进行微小更改就会导致失败——以及基于有限测试结果的、缺乏支持的专业知识声明。 随着基准测试越来越影响AI开发、监管（如欧盟AI法案）和研究重点，作者强调需要改进。他们提出了八项建议，包括精确的定义、具有代表性的测试和稳健的统计分析，以及用于评估基准测试的“效度构建检查表”。 研究结果强调了科学合理的评估对于准确评估AI进展和确保负责任的开发的重要性。

美 Venezela 关系因美国在加勒比海南部加强军事活动而紧张升级。 近几周，美国多次出动 B-52 轰炸机在 Venezela 海岸线附近飞行，据报道， Venezela 随即派遣 F-16 战斗机紧急升空应对。 这些力量展示发生在美国可能对马杜罗政府和涉嫌贩毒集团采取军事行动的早期报道之后。 然而，美联社的调查显示，最近美国无人机打击目标嫌疑毒船，主要造成贫困当地人——渔民、劳工和小罪犯——伤亡，而非大型贩毒集团头目。 超过 60 人死亡，17 艘船只被摧毁。 Venezela 政府谴责这些打击为“法外处决”，并已向联合国提出申诉。 这一情况引发了对强硬军事姿态的合理性以及是否因典型的毒品运输活动而需要重大升级的质疑。

欧洲人权机构裁定，脸书的算法在招聘广告投放中存在性别偏见，向女性展示“通常为女性”的职位，向男性展示“通常为男性”的职位——强化了有害的刻板印象。这一决定源于CNN的“As Equals”调查和非营利组织“Global Witness”的调查，揭示了欧洲（包括荷兰、法国和印度）普遍存在的类似偏见。 荷兰人权研究所发现，Meta未能证明其算法不存在歧视，必须对其进行修改以防止进一步的偏见。虽然裁决不具有法律约束力，但可能导致罚款或算法修改。Meta对调查结果表示异议，但此前曾表示已对招聘广告应用了定向限制，尽管批评人士认为这些限制不足。 此案凸显了人们对算法问责制日益增长的担忧，以及反歧视法律对科技公司的适用性。活动人士认为这是确保维护数字权利的关键一步，尤其是在Meta最近缩减了其多元化和包容性项目，引发了人们对在线保护弱势群体进一步的担忧。

## 纳米通道编译器开发方法 传统的编译器开发可能令人望而却步，因为它涉及复杂的分析、转换和优化，通常需要许多通道。 “纳米通道”方法提供了一种更易于接近的替代方案：将编译器结构化为*大量小型、单一用途的通道*。 这种方法通过肯特·戴布维格的编译器课程（P523）而广为人知，在该课程中，学生们每周逐步构建一个Scheme到x86的编译器，添加通道，最终得到一个43通道的编译器。一个关键的好处是每一步之后都能立即获得一个可用的编译器，尤其是在采用“从后向前”的开发方式（从代码生成开始）时。 最初用于研究，纳米通道框架被证明出奇地高效，现在被Chez Scheme（Racket的基础）等生产编译器使用。它类似于解析器组合器，从简单的组件构建复杂性。这种方法简化了编译器构造，使其感觉像编写解释器一样可行，并促进模块化、可维护的代码。对于林赛·库珀来说，这段经历至关重要，激励她为Rust编译器做出贡献，尽管实现细节不同，仅仅是因为它让她相信构建编译器是*可以实现*的。