### 问题描述 在使用搭载全新 Apple M5 Pro 芯片的设备上，将网络模式设置为“桥接（Bridged）”时，虚拟机无法启动。 我测试了最新的 `ubuntu-24.04.4-live-server-arm64.iso` 镜像。 当网络模式设置为“仅主机（Host Only）”或“共享（Extended）”时，虚拟机可以正常启动。 ### 配置信息 * **UTM 版本：** 4.7.5 (118) * **macOS 版本：** 26.3.1 (a) * **Mac 芯片：** M5 Pro ### 崩溃日志 应用没有崩溃，只是在按下启动按钮后立即卡在加载界面。 ### 调试日志 很遗憾，系统还没运行到可以导出调试日志的阶段。 ### 上传附件 `VMconfig.plist.zip`

极客蚂蚁

俄罗斯数学的兴起并非源于自然的演进，而是彼得大帝发起的一项刻意的国家工程。为了实现帝国现代化，彼得大帝于1724年建立了圣彼得堡科学院，并将数学置于其核心地位。 科学院早期的成功得益于欧洲精英的迁入，特别是伯努利家族及其门生莱昂哈德·欧拉。欧拉于1727年来到俄罗斯，在此度过了三十多年的时光。期间，他创作了大量著作，扶持了该国第一个本土数学学派，并在官僚主义的敌意中力挺米哈伊尔·罗蒙诺索夫等本土人才。 欧拉留下的遗产为俄罗斯本土科学文化的蓬勃发展奠定了基石。到了19世纪，这一基础使俄罗斯学者得以从欧洲大师的学生转变为独立的创新者。以米哈伊尔·奥斯特罗格拉德斯基为代表的第一代本土数学家脱颖而出，他们在分析学和力学领域的原创性贡献足以与欧洲顶尖水平媲美，从而使俄罗斯稳固地跻身为全球数学卓越中心。

美国特勤局正在调查一段由隶属于伊朗伊斯兰革命卫队（IRGC）的塔斯尼姆通讯社所发布的视频，该视频煽动暗杀第一夫人梅拉尼娅·特朗普。这段名为《在哪里杀死梅拉尼娅？！》的视频列出了潜在的安全漏洞，并建议了袭击手段。视频中还包含对巴伦·特朗普的直接威胁，称：“巴伦·特朗普，等着我们。” 特勤局证实正在审查相关材料，但拒绝提供有关行动安全的进一步细节。此次事件标志着美伊之间持续紧张局势的升级，此前伊朗曾公开呼吁杀死唐纳德·特朗普总统，并有记录显示伊朗曾策划暗杀行动，以报复2020年伊斯兰革命卫队指挥官卡西姆·苏莱曼尼被击毙一事。特朗普总统此前曾针对此类威胁发出警告，称如果他的家人或他本人受到任何伤害，将面临严重的军事后果。

乌克兰近期大幅加强了针对俄罗斯的远程无人机攻势，不久前发动了一场由近400架无人机组成的规模化袭击，目标直指莫斯科地区。尽管俄罗斯官员声称大部分无人机已被拦截，但据报道，物流枢纽发生火灾，民宅也受到损坏。此外，别尔哥罗德地区的一辆巴士遭袭，造成至少19人受伤；克里米亚的一座变电站被击中，导致费奥多西亚市陷入停电。 乌克兰的战略正日益侧重于瘫痪俄罗斯的物流与基础设施，特别是针对多个地区的Wildberries仓库进行打击。目前身处华盛顿的乌克兰总统弗拉基米尔·泽连斯基，正利用这些无人机行动的所谓“战果”，向西方盟友施压以寻求更多支持。在与包括唐纳德·特朗普在内的美国官员会晤时，泽连斯基旨在争取获得先进武器，并为争取西方更深入的介入提供论据，尽管各方就“爱国者”导弹系统等装备的长期本土化生产仍存在争议。

Shopify 首席执行官托比亚斯·吕特克（Tobias Lütke）近日因支持“分级纳税”投票制度而引发争议。在一场社交媒体讨论中，吕特克支持了一项提议：不缴纳所得税的个人（包括退休人员、学生和低薪劳动者）将失去投票权，而高收入者则根据其纳税额最多可获得五张选票。 该提议反映了历史上已被否决的“财产选举制”，即将政治权力与财富或财产所有权挂钩。批评者认为，这一制度将巩固财阀政治，剥夺数百万弱势美国人的公民权利，同时成倍增加富人的影响力。 这场辩论凸显了人们对“老年寡头政治”的广泛焦虑，即在住房短缺等经济危机背景下，富有的房主和老一辈人拥有不成比例的政治影响力。具有讽刺意味的是，这位首席执行官在 Shopify 持有“创始人股份”，无论其持股比例如何，该结构都赋予了他超额的投票控制权。尽管一些人将这些观点视为追求财政责任的尝试，但反对者认为，这是一种对普选权的危险倒退，威胁到了“一人一票”的民主原则。

肯塔基州共和党籍联邦众议员托马斯·马西（Thomas Massie）加入了一个由纽约州民主党籍联邦众议员格雷戈里·米克斯（Gregory Meeks）领导的跨党派议员小组，共同推动起诉白宫，理由是白宫无视国会关于终止在伊朗未经授权的军事敌对行动的决议。 该决议于今年早些时候通过，是国会首次利用1973年《战争权力法》指示总统终止军事行动。议员们认为，特朗普政府通过无视该授权，并利用临时停火来规避60天的军事行动限期，属于“公然违反”该法案的行为，他们将这种做法描述为法律“诡计”。 这项拟议的立法旨在迫使众议院议长迈克·约翰逊（Mike Johnson）对行政部门采取法律行动，以执行该决议。马西及其同事主张，行政部门违宪地越权，法院必须介入以维护宪法赋予国会的宣战权力。该小组认为，由于没有任何法院曾裁定1973年《战争权力法》违宪，行政部门有义务遵守该法案。

7月，世界大型企业联合会（The Conference Board）的消费者信心指数降至90.8，不及预期的92.4，延续了自2021年底以来的下滑趋势。现况指数触及自2021年2月以来的最低点，反映出人们对当前商业和劳动力市场状况的看法有所软化。相反，预期指数基本保持不变，持续处于负面区间。 不同人口群体的信心水平依然存在差异：年轻一代（Z世代和千禧一代）及高收入群体的乐观程度最高，而“沉默的一代”的信心则有所下降。从政治倾向来看，民主党人和独立人士的情绪有所转弱，而共和党人的情绪则略有回升。 尽管失业救济申请人数处于历史低位，但越来越多的消费者表示找工作变得更加困难。虽然通胀预期有所缓和，但消费者对食品价格上涨仍感到担忧。对利率上升的预期依然普遍，且对整体经济前景的情绪仍以悲观为主，地缘政治冲突和持续的成本压力继续对消费者信心造成影响。

请提供您需要翻译的内容。

Segue 是一项通过独特的“三音节标识符”在不同平台间管理和共享 AI 上下文的服务。通过利用开放标准模型上下文协议（MCP），Segue 使 Claude、ChatGPT 和 Cursor 等 AI 工具能够安全地访问已保存的数据。 设置非常简单：只需粘贴一条提示词，您的 AI 助手就会自动完成配置，并引导您完成登录过程。安全与隐私是其核心功能；标识符为账户专属，他人无法访问。此外，Segue 不会获取或读取您的对话内容；仅在您明确触发时，才会保存或加载数据。 该服务提供免费层级。如果您停止订阅，您现有的已保存上下文仍可完全访问、编辑和导出，仅会限制创建新的保存。简而言之，Segue 为您在不断发展的 MCP 生态系统中携带 AI 上下文提供了一种安全、集中且中立的解决方案。

安德鲁·怀尔斯（Andrew Wiles）自十岁起便对费马大定理着迷，并致力于解决这一困扰数学界三百年的谜题。该定理指出，当整数 $n$ 大于 2 时，方程 $x^n + y^n = z^n$ 没有正整数解。 1986年，怀尔斯意识到，只要证明谷山-志村猜想（Taniyama-Shimura conjecture），就能破解费马大定理。他进行了七年自我封闭式的研究，全神贯注地构建证明过程。尽管他在1993年宣布成功，但随后在其长达150页的复杂论证中发现了一个细微错误。怀尔斯并未气馁，他与理查德·泰勒（Richard Taylor）合作，又耗费了一年艰苦的时间完善论证，最终修正了错误。 怀尔斯认为，鉴于解决该问题需要现代复杂的数学工具，费马本人很可能从未拥有过有效的证明。尽管童年的痴迷终结让他感到一丝怅惘，但怀尔斯将其视为一种深刻的荣幸。他的经历凸显了坚持的力量，以及追求具有个人意义的问题的重要性，并留下了一份激励后世数学家去挑战各自“不可能”难题的宝贵遗产。

Dolmenwood 是一款基于备受赞誉的《Old-School Essentials》规则构建的奇幻角色扮演游戏。它呈现了一个既熟悉又极为详尽的世界，其灵感源自不列颠群岛的童话故事与诡谲传说。精简的规则和实用的入门资料能够引导新玩家快速上手，而老玩家也能在此体验到新鲜的未知感，包括全新的角色选项、魔法、怪物和宝藏。了解更多关于 Dolmenwood 的信息。

我创建了 **tale.fyi**，旨在为互联网上的虚构文学提供一个专属空间。在我看来，在以非虚构内容为主导的生态系统中，虚构文学一直被忽视了。通过架起计算机科学与文学之间的桥梁，我打造了一个将虚构作品视为数字化“核心公民”的平台。 该网站充分利用了庞大的公共领域资源库——整合了古腾堡计划（Project Gutenberg）、Standard Ebooks 和 LibriVox 的成果——以提供流畅、高质量的阅读与收听体验。功能包括跨设备进度同步、笔记分享以及用户友好的界面。 除了阅读经典作品，你还可以使用 **tale.fyi/tell** 来发布自己的故事。与大多数平台不同，你拥有对自己内容和受众的完全所有权。 在这个技术终于能够复刻人类散文细腻情感的时代，tale.fyi 是我针对一个更具同理心、以故事为导向的互联网所提出的概念验证。它是免费、易用且旨在促进深层人类联系的。我诚邀你探索这个资源库，开始创作，并与我共同构建我们真正向往栖居的数字空间。

强生公司已提议以 55 亿美元的金额达成和解，旨在解决约 7.6 万起指控其滑石粉产品导致卵巢癌的诉讼。此举旨在结束长达 15 年的法律纠纷，前提是代表至少 95% 待决索赔案的律师事务所同意该条款。赔付结构定于 2027 年开始，2028 年前不会有额外的支出。 尽管达成了和解，强生公司仍坚称其滑石粉产品是安全的，且不含石棉。该公司已于 2023 年在全球范围内停止销售含滑石粉的爽身粉，并主张近期的法律进展已表明原告无法证明具体的科学因果关系。 华尔街分析师对此消息反应积极，认为 55 亿美元的金额优于此前预期的 100 亿美元负债。虽然之前的和解尝试均告失败，但分析师指出，原告方证据的减弱使得此次和解更有可能成功。消息公布后，强生股价上涨约 2%，分析师的整体情绪依然极为看涨，目前尚未给予该股“卖出”评级。

蒙德拉贡公司（Mondragon Corporation）是一家总部位于西班牙巴斯克地区的知名工人合作社联合体。该组织由何塞·玛丽亚·阿里斯门迪亚里埃塔神父于1956年创立，植根于团结、民主参与和社会变革的人文主义哲学。其业务涵盖金融、工业、零售和知识四大领域。 蒙德拉贡以其独特的商业模式而闻名，该模式强调共同所有权，并对管理层与员工之间的薪酬比例进行规范，通常最高比例控制在5:1左右。在其发展历程中，该公司不断向全球扩张，通过建立众多子公司以保持竞争力。 近年来，该组织克服了诸多重大挑战，包括2013年其主要子公司法格电器（Fagor Electrodomésticos）的破产，以及2022年两家核心工业合作社ULMA和Orona的退出。尽管经历了这些变动，蒙德拉贡依然是巴斯克地区领先的商业集团，也是全球公认的替代性经济结构典范。截至2024年，该公司拥有超过7万名员工。其对教育（以蒙德拉贡大学为代表）和技术创新的长期重视，继续定义着它在商业盈利与合作价值之间寻求平衡的发展路径。

借用查尔斯·布考斯基（Charles Bukowski）的智慧，作者批判了现代科技行业对无限产出的痴迷。布考斯基深知创造力需要耐心；当面对写作障碍时，他选择退避而非强行产出次品，他宁愿舍弃平庸之作也不愿将其发表。 作者将这种深思熟虑与当今的软件开发人员进行了对比。尽管人工智能工具现在能秒速完成过去需要数周才能做完的工作，但开发者并没有利用这种效率来换取闲暇时间。相反，他们陷入了“996”奋斗文化的怪圈，痴迷于提交成千上万个合并请求，而这些请求往往无法解决真正的实际问题。 文章提出了一个挑战：为什么我们是在更努力地工作，而不是更聪明地工作？引用尼尔·德格拉塞·泰森（Neil deGrasse Tyson）的观点——人工智能本应让我们有更多时间在海滩上放松——作者建议科技从业者应停止将“数量”置于“价值”之上。通过放慢脚步，拒绝“粗制滥造”，并专注于有意义的人际连接，我们或许能产出更高质量的作品，并由此夺回技术本应赋予我们的自由。

**ctrlb-decompose** 是一款高性能日志分析工具，能够将数百万行非结构化日志转换为精简且具可操作性的结构化模式。通过结合 CLP 编码、Drain3 聚类以及统计估算（DDSketch 和 HyperLogLog）的流式处理管线，它无需多轮处理即可将日志数据量减少 99% 以上。 **主要功能：** * **智能解析：** 自动提取并识别变量类型（如 IP、UUID、持续时间、枚举），提供细粒度的洞察。 * **可操作统计：** 识别每种模式的异常标志、错误级联、频率峰值及分位数分布（p50/p99）。 * **灵活部署：** 提供命令行工具 (CLI)、Rust 库或 WebAssembly 支持。 * **大模型友好：** 支持专为大模型 (LLM) 摄入优化的 JSON 和精简 Markdown 输出格式。 * **无缝集成：** 提供 Claude Code 插件，支持用户使用自然语言查询（如“总结这些日志并高亮显示异常”）来分析日志。 ctrlb-decompose 专为高效率和低内存开销设计，是开发者和 SRE 将嘈杂的日志流转化为清晰、结构化诊断信息的理想工具。

本项目展示了首个经过形式化验证的 3D 构造实体几何（CSG）网格求交算法实现。该算法使用 Lean 4 语言编写，其核心机制确保了输出的网格表面与输入实体的交集完全吻合，并保证了结构的规范性。 一项关键创新在于利用人工智能生成了超过 60,000 行证明代码，这些代码与 1,000 行的实现部分共同构成了一个“黑盒”。人类审查员只需审核 93 行形式化规范即可认证其正确性。随后，Lean 4 编译器会在编译时验证实现是否严格符合这些规范，从而无需信任人工智能生成的代码。 尽管该实现目前比最先进的非验证工具运行速度慢（其优先级为正确性而非性能），但该项目证明了形式化验证可以有效处理复杂的几何边界情况（例如共面重叠和非流形交集），而这些情况在传统的未验证软件中极易导致错误。通过利用形式化方法，本项目为认证关键几何算法提供了一个稳健的框架，无需进行高可靠性软件通常所需的那种详尽的人工测试。

这项研究探讨了背景如何影响六种前沿多模态大模型对价值的感知。研究人员将同一条价值 2.43 美元的项链置于不同场景（正式场合、派对、庭院及平铺）中进行测试。 研究发现，模型存在显著的“光环效应”：即便物体完全相同，模型给出的估价最高可相差 3.6 倍。这证明模型的估值取决于背景，而非视觉证据。主要发现包括： * **虚构证据**：模型会将偏见伪装成客观事实。例如，仅在正式场合的背景下，模型便常将该物品臆断为“镀金”或“包金”材质。 * **“纯文本”光环**：即便不提供图片，这种偏差依然存在，说明该效应是由语言联想而非图像分析驱动的。 * **否认与不一致**：当被追问时，模型往往否认存在偏见，或无法识别不同图片中的是同一件物品，甚至断言它们是完全不同的东西。 * **政策与实践的脱节**：拒绝评估图片等安全机制并不能防止偏见；当模型被迫仅依赖文本提示时，往往会表现出更大的偏差。 该研究强调了使用 AI 进行评估或财务判断的风险，因为模型始终倾向于将价值锚定在主观的社交线索上。

请启用 JavaScript 和 Cookie 以继续。

美国联邦航空管理局（FAA）已提议发布一项新的适航指令，要求对波音 737-8、737-9 和 737-8200 型飞机的客舱座椅轨道配件进行检查。该机构收到了关于座椅安装不当的报告，这种情况可能导致座椅在遇到湍流或紧急降落时脱落，从而可能造成乘客受伤并阻碍疏散。该指令得到了波音公司的支持，预计将影响 453 架飞机，给运营商带来超过 265 万美元的成本。 在此进展之前，FAA 最近决定恢复波音公司为部分 737 和 787 机型签发适航证的权限。这表明在 2018 年和 2019 年 737 Max 致命空难引发多年审查后，监管机构对该制造商的生产质量信心有所增强。尽管仍面临安全挑战，波音公司报告称其财务表现有所改善，市场需求强劲，自由现金流表现超出预期。该公司在继续提高 737 Max 产量的同时，仍处于 FAA 的监督之下，以确保维持安全标准。

美国20个大城市的房价在5月份上涨了0.3%，表现优于预期，年度涨幅为1.63%。尽管这一增长反映了春季的季节性强劲，但专家强调，经季节性因素调整后，涨幅较为温和，且在实际价值方面为负增长。 市场在地域上仍然存在分歧：以芝加哥（+6.9%）为首的东北部和中西部城市正在经历增长，而西部和阳光地带（包括拉斯维加斯和西雅图）的房价则持续下跌。 住房负担能力仍然是一个主要障碍。由于30年期抵押贷款利率徘徊在6.5%左右，且通胀率持续超过房价涨幅，潜在买家仍然受到制约。通胀已连续12个月导致实际房价回报率为负。尽管总体数据有所回升，但高昂的借贷成本和不断上涨的生活成本持续给房地产市场带来压力，这表明实际房价的走势仍倾向于下行。

尽管 DMARC 自 2012 年起就已经发布，但在实际安全执行层面的普及率依然很低。一项针对 67,336 个域名的研究发现，45.1% 的域名根本没有设置 DMARC 记录。而在已设置记录的域名中，有 42.5% 被设置为 `p=none`，这原本是一种旨在作为临时阶段的纯监控模式，却经常被长期搁置，从而处于一种不执行安全策略的状态。 综合来看，所有被分析的域名中，有 68.4% 无法提供针对域名滥用的有效防护。 阻碍执行的主要原因并非缺乏意愿，而是 `rua` 报告系统的操作复杂性。域名管理员每天都会收到包含大量匿名 IP 地址和晦涩厂商字符串的汇总报告。要从中分辨哪些来源是合法的，哪些是恶意的，需要进行大量的研究，而非简单的配置。 虽然 SPF 的采用率相对较高（72.7%），但 MTA-STS、BIMI 和 DNSSEC 等更高级的协议使用率极低。即便 DMARC 在 2026 年正式列入 IETF 标准轨道，数据表明大多数组织仍停滞在监控阶段，无法跨越从报告到主动执行之间的鸿沟。

Usenet 存档工具包（UAT）是一套旨在离线保存、整理和搜索 Usenet 存档的工具。鉴于 Google Groups 等传统平台正在衰落，且公共存档往往不完整或碎片化，UAT 允许用户构建、合并和清理属于自己的永久性本地合集。 UAT 通过删除垃圾信息、去除重复邮件、过滤无关内容以及将标题转码为 UTF-8，解决了常见的 Usenet 数据问题。它采用了一种高效的内存映射存储格式，即使面对海量数据集，也能在占用极低系统资源的情况下实现快速搜索和即时访问。 该项目为处理来自 NNTP 服务器、mbox 文件和 maildir 目录等来源的原始数据提供了一套完整的工作流程。数据处理完成后，用户可以使用 `tbrowser` 工具浏览存档，或通过 `libuat` 集成到其他应用程序中。UAT 专为 64 位系统设计，通过将存档完全保留在本地磁盘上，摆脱对“云”服务商的依赖，从而优先保障数据的长期性、完整性和隐私安全。该项目以 GNU Affero 通用公共许可证发布。

**Projektor** 是一款原生支持智能体的项目管理工具，旨在通过模型上下文协议 (MCP) 自动处理开发工作流，例如创建问题、管理工单以及规划迭代。 Projektor 专为效率与扩展性而设计，通过内置的注册表和冲突解决系统，允许多个智能体在同一代码库中协同工作。它填补了轻量级基于文件的追踪工具与 Jira 等企业级解决方案之间的空白，提供了一种经济高效且可自托管的替代方案，能够随需求增长而扩展。 其整体架构运行在 Cloudflare 边缘端（利用 Workers、D1、KV 和 R2），无需复杂的服务器或容器管理。通过“纯配置”的部署流程，你可以在几分钟内完成整个技术栈的配置，甚至可以直接指派智能体为你部署。Projektor 通过自身开发过程进行测试（Dogfooding），确保了以开发者为中心的精简体验，并将自动化与无缝集成置于首位。

Kimi 团队推出了 **Kimi Linear**，这是一种创新的混合注意力架构。该架构在短文本、长文本及强化学习场景中的表现均超越了传统的全注意力模型，标志着一个重要的里程碑。 该架构的核心是 **Kimi Delta Attention (KDA)**。这是一种具有高表现力的线性注意力模块，它通过细粒度的门控机制增强了 Gated DeltaNet，从而优化了 RNN 的记忆管理。通过采用专门的分块算法和对角加低秩（DPLR）转移矩阵，该模型在保持计算精简的同时，实现了极高的硬件效率。 团队使用 KDA 和多头潜在注意力（MLA）的混合结构，预训练了一个拥有 3B 激活参数（总参数 48B）的模型。实验结果证实，在相同的训练条件下，Kimi Linear 的表现始终优于全 MLA 架构。至关重要的是，它带来了显著的运行效率提升：在 1M 上下文长度下，KV Cache 的使用量降低了高达 75%，解码吞吐量提升了最高 6 倍。 Kimi Linear 可作为标准注意力架构的高性能直接替代方案。团队已开源其 KDA 内核、vLLM 实现及模型检查点，以促进进一步的研究与开发。

Scala 教程 交互式、小篇幅的教程，每页都配有实时编辑器。免费且开源。代码运行在 Scala Center 的在线实验平台 Scastie 上。无需安装，无需注册。 在 X 上分享 // 按下运行按钮来尝试！ // 例如：欧拉计划第 1 题： (1 until 1000).filter(x => x % 3 == 0 || x % 5 == 0).sum 边读边运行 每节课程都配有由 Scastie（Scala Center 的在线实验平台）驱动的实时编辑器。 小步快跑 四十多个专注的主题页面，从算术到类，每一篇只需一两分钟即可读完。 支持 Scala 3 本教程面向 Scala 3，并设有专门章节介绍自 Scala 2 以来的变化。 代码运行于 Scastie（Scala Center 的在线实验平台） · GitHub 源码 · Atom

请启用 JavaScript 和 Cookie 以继续。