当Qardio公司破产时，其QardioArm血压袖带的用户发现设备因配套应用程序从应用商店下架而无法使用。一位开发者决心复活这些设备，创建了LibreArm——一个开源的iOS应用程序，用于恢复设备功能。 该项目涉及大量的逆向工程，因为没有任何文档存在。开发者使用蓝牙探索应用程序，识别出控制袖带和检索数据所需的关键通信协议和字节序列。该应用程序使用Swift和SwiftUI构建，直接将读数记录到Apple HealthKit，优先考虑简洁性和隐私性。 一个主要障碍是App Store的审核批准，需要在不*解读*数据，仅仅*记录*数据的条件下，应对医疗设备法规。最终，苹果公司基于这一区别批准了该应用程序。 LibreArm现在已在App Store上提供，并在GitHub上完全开源，确保社区控制并抵御潜在的移除。该项目强调了软件的持久性，并展示了开源解决方案如何为废弃的硬件注入新的生命力。

美国及其阿拉伯伙伴（埃及、沙特阿拉伯和阿联酋——被称为“四方机制”）正在积极斡旋，以和平解决苏丹不断升级的冲突。局势被描述为“非常复杂”，最近有关于暴行的报告，包括据称快速支援部队（RSF）在埃尔法谢尔一所医院杀害超过460人。 美国谴责了暴力行为，并坚称没有军事解决方案，敦促苏丹武装部队和快速支援部队进行谈判。此前关于三个月人道主义停火和过渡到文官统治的提议被拒绝，但四方机制重申了对该计划的承诺，并成立了一个委员会来协调努力。 这场战争已在喀土穆州 alone 造成超过 61,000 人死亡，并使超过七百万人流离失所，造成严重的人道主义危机。美国官员正与区域伙伴保持频繁沟通，重点关注人道主义援助通道和结束对交战派别的外部支持，而联合国等国际组织正在呼吁立即停火和谈判。

Please provide the content you want me to translate. I need the text to be able to translate it to Chinese.

``` v0.2.0 - 2025年11月 依赖类型。SMT验证。原生有限状态机。基于BEAM。一种强类型、依赖类型编程语言，为经过实战检验的BEAM虚拟机带来数学上的正确性保证。构建验证比便利性更重要的系统。现在包含12个完全编译的标准库模块和全面的文档。 ```

## 人类视觉与相机镜头 虽然常被比作50毫米镜头，但人类视觉系统（HVS）与相机的视角有显著差异。与相机通过圆形镜头捕捉的矩形图像不同，人类视觉既非严格的圆形，也非矩形——更像椭圆形。 至关重要的是，人类主要体验**双眼视觉**，利用双眼进行深度感知和更广阔的视野（水平190-200°，垂直130°）。相机通常是**单眼**的，用单个镜头捕捉图像。 双眼视野包含120°的共享视觉，额外的单眼区域扩展了整体范围。在摄影上复制这种体验很困难，因为广角镜头会引入HVS自然校正的失真。本质上，人类视觉是一个复杂的综合过程，远远超过单个镜头和矩形框架的能力。

## TikTok 因自杀内容在法国接受调查 法国当局已就TikTok平台涉嫌助长自杀和危害脆弱青少年展开刑事调查。此次调查源于议会调查和受害者家属的诉讼，将重点关注内容审核不足、算法放大有害内容以及与有组织犯罪的潜在关联。 一些家庭，例如15岁女孩玛丽·勒蒂埃克（Marie Le Tiec）的家人，声称TikTok的算法反复向他们的孩子推送有关自杀方法和鼓励自残的视频。最近的议会报告谴责TikTok的算法是一个“地狱般”的系统，它困住了孩子们，并将利润置于安全之上。 调查可能导致最高10年监禁和100万欧元罚款。TikTok否认了这些指控，强调了其安全功能和内容删除工作。与此同时，国际社会对这一问题日益关注，澳大利亚和丹麦正朝着更严格的社交媒体使用年龄限制方向发展，欧盟委员会也在考虑类似措施。

## Flutter Compositions：为 Flutter 带来的 Vue 风格响应式编程 Flutter Compositions 将 Vue 3 的 Composition API 的强大功能带到 Flutter 开发中。它提供了一种声明式且简洁的方式来管理状态和逻辑，使用了像 `ref`、`computed`、`watch` 和 `watchEffect` 这样的熟悉概念。 它构建于 `alien_signals` 之上，提供细粒度的响应式，从而实现高效的更新和优化的性能。主要特性包括通过自定义 composables 实现可组合逻辑，使用 `provide/inject` 进行类型安全的依赖注入，以及内置的 composables 用于常见任务，如控制器和动画。 该库通过单个 `setup()` 函数简化开发，取代了传统的生命周期方法并减少了样板代码。它还包含自定义 lint 规则以鼓励最佳实践。该项目是一个 Melos monorepo，提供结构化的开发环境和易于测试的机制。欢迎贡献！

## 欧洲经济复苏：2026年预测 国际货币基金组织（IMF）预测欧洲经济活动将出现复苏，预计到2026年总产出将达到31.4万亿美元（或27.0万亿欧元）。这标志着在连续两年缓慢增长后的复苏，预计西欧将获得最大收益。 德国有望领跑，经济增加近4000亿美元，达到5.3万亿美元——约占欧洲总GDP的17%。英国和法国紧随其后，预计分别为4.2万亿美元和3.6万亿美元，共同产生该大陆超过40%的经济产出。 虽然南欧（意大利和西班牙）预计将实现适度扩张，但东欧将由俄罗斯（2.5万亿美元）和波兰（1.1万亿美元）驱动。尽管东欧经济增长，但与西方国家相比，收入差距仍然显著。 国际货币基金组织指出，复苏得益于良好的政策决策和实际工资上涨，但面临全球贸易不确定性带来的阻力——特别是潜在的贸易战，这在一定程度上被基础设施和国防方面的政府支出增加所抵消。

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

1967年5月，我第一次见到了费尔南·布罗代尔。在与他的会面结束时，我问他一位历史学家最重要的财富是什么。我预计他会给出类似利奥波德·冯·兰克著名论断的回答（“好的历史需要三样东西：批判性地运用材料，洞察事物发生的方式，以及恰如其分地描述它们的好运”）。布罗代尔不同意。他毫不犹豫地回答：“想象力”。正是布罗代尔的想象力使他成为20世纪最伟大的西方历史学家。

这篇帖子详细介绍了作者将 Emacs 打造成其核心计算环境的过程，旨在实现无缝的工作流程，让想法可以直接在编辑器中转化为行动。他们通过使用 Hyprland 作为窗口管理器（因其 Wayland 兼容性和与 Emacs 的性能）以及一个自定义的 Go 脚本从系统中的任何位置快速启动 Emacs 函数，实现了深度集成。 该设置远不止文本编辑，还包括一个用于启动应用程序的通用启动器、SSH、密码（使用 `pass`）、文件浏览 (`dirvish`)、电子邮件 (`mu4e`)、信息源阅读 (`elfeed`)、音乐 (`emms`)，甚至可以直接编辑网页上的文本。Hyprland 中的键绑定会触发这些 Emacs 函数，以及 org-mode 集成，用于笔记、任务和日历事件。 作者曾考虑过 EXWM（将 Emacs *作为*窗口管理器运行），但由于 Emacs 的单线程特性以及 Wayland 的日益重要性而犹豫不决。最终，他们在其当前设置中复制了 EXWM 的许多功能，寻求一种整体的、以 Emacs 为中心的、最大化生产力的工作流程。他们邀请读者分享自己以 Emacs 为中心的设置。

## 意大利：犯罪与外国人 - 摘要 最近的意大利犯罪数据表明，在被捕者中，外国人的比例明显过高。虽然外国人占意大利人口的9%，但他们在2024年占所有逮捕人数的34.7%。在特定犯罪中，这种差异更为明显：60.1%的街头抢劫，69%的扒窃，43%的性侵犯，以及61%的入室盗窃都归因于外国嫌疑人。 分析表明，这并非在所有外国群体中都是一致的，来自非洲和北非的个人尤其过高。值得注意的是，非法移民——占总人口的极小一部分——与这些犯罪有很强的关联，特别是轻微盗窃，以及令人不安的是，性暴力，据研究和专家保罗·皮诺蒂（Paolo Pinotti）称。 外国居民集中度较高的地区，如普拉托、米兰和佛罗伦萨，外国人的逮捕率也较高。专家强调，合法居住的外国人犯罪率与意大利公民相当，这表明问题集中在非法移民的影响上。

## 肯·汤普森：计算机先驱 计算机历史博物馆发布了一段关于肯·汤普森的口述历史访谈，他是计算机科学的基础人物，以及 Unix 操作系统和 C 编程语言的创造者（与丹尼斯·里奇共同）。这些创新诞生于半个多世纪前的贝尔电话实验室，至今仍在支撑着当今的数字景观——从智能手机和笔记本电脑到超级计算机。 汤普森的工作因其卓越的清晰和优雅而备受赞誉；同事道格·麦克罗伊形容他的代码“读起来像小说”。除了 Unix 和 C 之外，汤普森还是一位著名的计算机国际象棋冠军，后来还在谷歌为 Go 编程语言的开发做出了贡献。 访谈详细介绍了汤普森早期对编程的热情，这源于他在伯克利大学的时间，并展现了他顽皮的一面——以他在贝尔实验室臭名昭著的办公室鳄鱼为例。他将 Unix 和 C 的持久成功归功于贝尔实验室独特的支持性、以好奇心驱动的研究环境。这段长达 4.5 小时的完整访谈，全面展现了这位极度私人但又深刻影响计算机领域的先驱的生活和职业生涯。

## 色彩革命：微生物染料与可持续时尚 时尚产业对合成染料的依赖是一个主要的环境问题，造成全球工业水污染的约20%，并消耗大量的水资源——单条牛仔裤就可能需要高达7000升水。传统的替代方案，如天然染料，缺乏鲜艳度和耐用性。然而，英国公司Colorifix正在开创一种突破性解决方案：**微生物色素**。 Colorifix不使用石油化工产品，而是通过工程化微生物，仅使用糖和盐来*生长*鲜艳且色牢固的染料。受自然界启发——复制来自蝴蝶翅膀和花瓣等来源的基因密码——这些“微型工厂”生产的染料需要显著减少用水量，并消除有毒化学物质。 Colorifix作为地球射手奖的决赛入围者，已获得H&M和宜家等主要品牌的资金支持，以扩大其技术规模。重要的是，该工艺被设计为易于集成到现有的染色设备中，从而最大限度地减少对制造商的干扰和成本。随着向印度和巴西等主要纺织中心不断扩张，Colorifix旨在净化时尚产业，并可能将其微生物染色工艺扩展到化妆品等领域。

您的请求已被阻止，原因是网络策略。请登录或在此处创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处注册或使用您的开发者凭据登录。此外，请确保您的User-Agent不为空，并且是独特且具有描述性的，然后重试。如果您正在提供替代的User-Agent字符串，请尝试改回默认设置，因为这有时会导致阻止。您可以在此处阅读Reddit的服务条款。如果您认为我们错误地阻止了您，或者想讨论更轻松地获取所需数据的方式，请在此处提交工单。联系我们时，请提供您的Reddit帐户以及以下代码：2e707920-97c2-40b4-aefb-bffc39b7189f。

这似乎是PDF文件的一部分，包含了一些内部数据和编码信息，而非可读文本。它主要由数字、符号和乱码组成，无法直接翻译成有意义的中文。

## OpenAI 与过去泡沫的相似之处 OpenAI 领导层的最新声明引发了人们对类似 Enron 和 Lehman Brothers 等濒临崩溃公司的担忧。尽管收入达 130 亿美元，OpenAI 承诺的基础设施支出已超过 1.4 万亿美元，这一差距受到投资者的质疑。财务长 Sarah Friar 没有解决这些问题，反而驳斥了市场上的“焦虑”，并呼吁对人工智能表现出更多的“热情”——这种策略历史上常被用来转移对潜在财务问题的注意力。 担忧的核心在于 OpenAI 的融资模式，该模式严重依赖与 Nvidia 等公司的循环交易，投资和承诺相互循环。虽然 OpenAI 否认这一点，但批评人士指出其支出不可持续，并且可能存在高估。 值得注意的是，OpenAI 现在正积极寻求政府支持以确保融资，可能通过联邦贷款担保。这一举动对于科技巨头来说并不寻常，表明 OpenAI 意识到自身处境的岌岌可危，并采取策略来降低风险——这种模式在重大公司倒闭之前曾出现过。这种情况值得密切关注，因为寻求政府干预通常预示着避免不可避免的崩溃的最后努力。

## 俄罗斯的新军备与分裂的世界秩序 佩佩·埃斯科巴详细介绍了俄罗斯在核武器方面的快速进展——包括高超音速“奥列什尼克”、核巡航导弹“布列维斯特尼克”、无法探测的鱼雷“波塞冬”及其运载系统“哈巴罗夫斯克”，旨在确保21世纪的“战略均势”。普京强调了这些武器的国产组件以及将这些“紧凑型核系统”适应为新能源的可能性，甚至包括在北极地区的应用。萨尔玛特洲际弹道导弹和“先锋”滑翔导弹等进一步的研发也即将到来。 这种军事建设与俄罗斯和中国关系的加强相吻合，这体现在保护俄罗斯公司的投资保护协议以及合作的欧亚物流项目上。与此同时，美国在潜在的“特朗普2.0”领导下，表现出“绝望”，可能会升级干预政策——特别是针对委内瑞拉，以军事行动相威胁并指控其“贩毒恐怖主义”。 埃斯科巴认为，美国在乌克兰面临战略失败，与中国的竞争也处于劣势，因此诉诸欺凌战术和转移视线。他将此描述为“混乱帝国”由于自身内部衰落和工业竞争力不足而发出的反击，而去美元化正在金砖国家推动下加速。尽管紧张局势不断升级，俄罗斯和中国似乎已经为“艰难的旅程”做好了准备，在正在展开的地缘政治转变中保持现实的展望。

## Brain-IT：从大脑活动重建图像 这项研究介绍了Brain-IT，一种从个体fMRI大脑记录中直接重建所见图像的新方法。Brain-IT解决了现有方法在图像保真度方面的局限性，利用大脑交互Transformer (BIT) 有效分析功能相似的大脑区域之间的交互——这些区域在所有受试者中共享。 BIT预测高级语义特征（图像内容）和低级结构特征（图像布局），以引导扩散模型，从而实现更准确的图像重建。一个关键创新是共享的“体素到簇”映射，即使在数据有限的情况下也能实现高效训练。 结果表明，Brain-IT在视觉质量和客观指标方面均优于现有技术。值得注意的是，它仅使用*一小时*的新受试者数据，就能达到与训练40小时fMRI数据的方法相当的性能，甚至仅用15分钟，也能实现有意义的重建。这标志着更易获取和更高效的大脑解码技术迈出了重要一步。

根据Investopedia的分析，实现传统的“美国梦”现在预计一生花费超过500万美元。这种日益增长的不负担能力体现在不断上升的房屋购买者年龄中（56岁，1981年为31岁）以及创纪录的低生育率。 最大的单一支出是舒适的退休生活，预计为160万美元，已考虑通货膨胀。房屋拥有权紧随其后，为957,594美元，基于当前的房价中位数和抵押贷款利率。一个家庭的汽车拥有权（每十年两辆新车）总计900,346美元，而抚养两个孩子，包括大学教育，达到876,092美元。甚至一场婚礼也会为总费用增加38,200美元。 这些不断上涨的成本表明，对于许多人来说，美国梦的标准越来越难以实现。

## 大规模法律嵌入基准测试 (MLEB) 总结 Isaacus 发布了大规模法律嵌入基准测试 (MLEB)，这是一个全新的、全面的基准，旨在评估法律文本嵌入模型。现有基准测试在质量、多样性（主要集中在美国合同）和准确的标注方面存在不足——有些甚至依赖于法律文本的错误自动配对。 MLEB 通过包含来自多个司法管辖区（美国、英国、澳大利亚、欧盟、新加坡）、法律领域和文档类型（案例、立法、合同）的 10 个多样化数据集来解决这些问题。它侧重于现实世界的法律任务，如检索、分类和问答，需要法律知识和推理能力。 目前，Isaacus 的 Kanon 2 Embedder 在 MLEB 上取得了最高分，与 Voyage 和 Gemini 等商业竞争对手相比，展现出更高的准确性和速度。在 MLEB 上的表现与特定领域的法律训练密切相关。 MLEB 及其数据集和评估代码是公开可用的，以促进法律人工智能领域的开放和可重复研究。Isaacus 计划通过法律基础 API 和持续发布 Blackstone Corpus 来进一步贡献该领域。

这个系列展示了各种基于终端的工具，主要用 Rust 编写，旨在提升开发者工作流程和系统监控。其中一些工具专注于**系统实用程序**：磁盘空间分析 (`dua`)、进程/系统监控、网络诊断（结合 `traceroute` & `ping`）、以及实时网络使用情况视图。 **提高效率是关键主题**，例如模糊查找器 (`Television`，make 目标执行器)、终端文件管理器（多种选择，包括基于 Rust 的异步版本）、以及数据库/API 交互工具。 值得注意的是，**人工智能集成** 正在成为一种趋势——一个 AI 编码代理和一个终端聊天应用程序 (`Oatmeal`)，可以连接到 ChatGPT 或 Ollama 等 LLM。其他有趣的新增功能包括终端示波器、Kafka 集群浏览器 (`Yōzefu`)，甚至基于终端的游戏，如填字游戏和扫雷。这些工具旨在将强大的功能直接带到命令行。

## 守护行动：打击非法移民司机 俄克拉荷马州最近为期两天的行动导致70名非法移民被捕，其中包括34名驾驶商用车辆者——部分人没有合法驾照。这是“守护行动”的一部分，该行动是由州主导的倡议，旨在遣返违反移民法律者，特别是涉及商用驾驶方面。 此次行动凸显了公共安全问题，美国移民及海关执法局（ICE）指出，无证驾驶员构成威胁。许多被捕者来自实行“庇护政策”的州，这些政策限制了与联邦移民执法部门的合作。印第安纳州类似行动导致223人被捕，其中包括146名卡车司机。 联邦行动也在进行中，包括审计显示向外国国民发放商业驾照（CDL）存在广泛的违规行为，以及新的法规要求对商用司机进行更严格的移民审查和英语能力测试。美国交通部甚至威胁要扣留对不合规州的联邦资金。虽然支持者强调安全，但批评者认为这些措施会加剧现有的卡车司机劳动力短缺，并损害移民工人的利益。

## 温斯顿·丘吉尔：在经历中塑造 温斯顿·丘吉尔是一位20世纪的关键领导人，他刻意通过军事服务来寻求经验，以此作为通往政治权力的途径。他不喜正规学校教育，在桑德赫斯特皇家军事学院表现出色，随后因在古巴、印度、苏丹和南非的冲突中担任战地记者和士兵而闻名。他的勇敢——例如在布尔战争期间领导救援行动以及从俘虏中大胆逃脱——塑造了他的公众形象，并为他的写作提供了引人入胜的素材。 除了冒险之外，丘吉尔还是一位致力于历史和政治辩论的学者，基本上是自学成才，以建立知识和智慧的基础。这与坚定不移的原则相结合，导致他两次转党——最初从保守党转向自由党，原因是贸易政策，后来又回到保守党，因为他反对社会主义。 丘吉尔的远见卓识，经由历史研究磨练，被证明是惊人地准确，他预见了希特勒的崛起和苏联联盟的复杂性等危险。他的奉献精神和预见性最终使他能够领导英国度过第二次世界大战，这似乎是他从小就预见到的命运。他的勇气、原则和即使在不受欢迎时也敢于说真话的意愿，巩固了他作为历史上最伟大的领导人之一的地位。

由于持续且创纪录的美国政府停摆，交通部长肖恩·达菲宣布，从周五开始，40个主要机场的航班运力将减少10%。这将影响每天约3500-4000个航班。 这一决定在近期行业历史上前所未有，是FAA为应对日益增长的压力而采取的一项主动措施，以维持安全标准。担忧源于空中交通管制员和TSA工作人员无薪工作，导致潜在的人员短缺和自10月1日起已经感受到的中断。 受影响的具体机场尚未公布，但官员预计除了最初的10%减幅外，还将有更多航班取消。该措施没有设定结束日期，并且是在达菲部长警告如果停摆持续，可能会关闭整个空域之后做出的。工会代表表示，从停摆的影响中恢复可能需要数周时间。

## 虚假两难陷阱 本文探讨了“虚假二元对立”的普遍使用——将情况呈现为只有两种选择，而实际上存在更多可能性——作为一种控制和操纵的手段。这种谬误根植于古代逻辑，简化了复杂的问题，扼杀了细致的讨论和批判性思维。从历史上的哲学辩论到现代政治叙事（“与我们同在或反对我们”），它强迫两极分化的观点，并阻碍妥协。 Off-Guardian.org的Kit Knightly积极剖析这种策略，强调它被用于控制围绕COVID-19和选举等事件的叙述，并且经常以分裂性的框架渗透到另类媒体中。作者认为，虽然议程利用了这种倾向，但它源于人类对确定性和归属感的更深层次的偏好，而非复杂性和模糊性带来的不适。 最终，抵制这种操纵需要拥抱细微差别，容忍认知失调，并积极质疑简单的叙述——这是一种具有挑战性但对于真正理解至关重要的实践。本文提倡批判性思维，以此来逃脱这些“精神陷阱”，并超越人为制造的分裂。

## 闹鬼房屋的持久魅力 从1991年关于一栋闹鬼的纽约房屋的诉讼，到现代的“幽灵旅游”，闹鬼房屋的概念对人类的想象力有着强大的吸引力。尽管对超自然活动的法律披露很少见（日本是一个例外），但这一概念有着丰富的历史，从关于附着于人或景观的灵魂的故事，演变为霍雷斯·沃波尔在18世纪推广的家庭闹鬼现象。 凯特琳·布莱克威尔·贝恩斯认为，现代闹鬼房屋的出现伴随着核心家庭和私人住宅概念的兴起，创造了一个封闭的空间来容纳焦虑和未解决的过去。通常，这些闹鬼现象反映了历史创伤——从悲惨的爱情故事到奴隶制的黑暗现实——尽管故事经常被夸大以获取利润。 追寻幽灵不仅仅是关于信仰；它与安慰、好奇心，甚至经济利益有关。无论是通过在历史遗址设置的惊吓，还是对悲剧人物的浪漫化，闹鬼房屋都提供了一种面对——或者也许是*回避*面对——艰难历史的方式。最终，闹鬼房屋的力量并不在于潜在的幽灵遭遇，而在于它反映我们自己的恐惧、记忆以及我们选择讲述的关于我们所居住的地方的故事。

客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接，禁用任何广告拦截器，或尝试使用不同的浏览器。

尽管特朗普吹风称达成了一项关于稀土矿产的“贸易休战”，但中国已经开始收紧关键材料的出口。北京虽然为稀土提供了一年的宽限期，但现在正以环保为由实施对银、锑和钨的出口管制——这一说法被广泛认为是虚假的，考虑到中国在资源加工方面一直以来宽松的环境标准，例如污染严重的白音鄂博矿和其放射性废物问题。 此举表明了一种战略转变：在一些材料上做出让步，同时限制其他对美国制造业至关重要的材料，从而制造新的供应链漏洞。中国的钨出口*已经*在减少。这种“出口打地鼠”策略凸显了美国继续依赖中国获取必需矿产，以及实现自给自足的漫长道路，这需要大量投资，并且可能在国内面临类似的环境挑战。这种情况有利于投资于专注于这些受限材料的美国本土矿业公司。