随着飞行汽车行业转向商业化,广汽合创首席执行官苏庆鹏指出,固态电池是实现空中出行所需能量密度与安全性的关键技术。与视固态电池为降本工具的汽车行业不同,航空业能够承担其较高的初期成本,从而使其能更早地应用于飞行器生产。
目前,飞行汽车行业正处于类似于电动汽车市场的发展初期,预计到2030年将形成可持续的商业生态系统。广汽合创正积极推进这一时间表:其旗舰产品“Govy AirCab”将于2026年投入生产,并计划在2027年取得全面适航认证。
然而,规模化生产仍是一项复杂的挑战。苏庆鹏指出,尽管技术不断进步,但由于航空业有着严格的适航标准和苛刻的安全验证,飞行汽车的产能爬坡速度将慢于汽车行业。归根结底,电池技术的进步与监管政策的推进之间的协同效应,将决定低空交通从原型机走向大众市场的速度。
研究人员日益担忧全球 50 岁以下成年人癌症发病率上升的问题。虽然专家们提出了各种潜在原因,包括超加工食品、肥胖和农用化学品,但目前仍未找到明确的解释。
数据表明,这并非单一现象,而是几种截然不同的趋势。部分增长与临床定义的改变和检测方法的改进有关,例如胰腺癌。然而,其他癌症(尤其是结直肠癌、子宫癌和肝癌)的发病率确实出现了激增,尤其是在较年轻的“出生队列”中。
专家警告称,随着这一群体年龄增长,这种上升趋势可能预示着一场更广泛的公共卫生危机。尽管肥胖是多种癌症的已知风险因素,但临床医生指出,许多年轻患者身体健康,并不符合传统的风险特征。因此,研究人员正将重点转向识别可能对年轻一代产生独特影响的新型环境暴露和生物触发因素。了解这些因素至关重要,因为今天早发的诊断可能预示着这一代人在步入中老年时,癌症负担将大幅增加。
作者认为,生成式人工智能行业是一个建立在炒作、欺诈和不可持续的算力承诺之上的经济泡沫,在商业上并不可行。OpenAI 和 Anthropic 等公司正在烧掉数十亿美元,它们需要极大规模的未来收入增长来证明由云巨头和英伟达主导的万亿美元基础设施建设是合理的,而作者认为这种增长是不可能的。
文章指出,企业正日益意识到人工智能工具的投资回报率较低,这些工具往往以高昂的成本产出“劣质软件”(slopware),且缺乏可衡量的生产力提升。随着企业转向不可预测的基于 Token 的定价模式,许多公司正遭遇“账单冲击”并限制使用。作者认为,整个生态系统是一个循环的金融陷阱:人工智能实验室需要持续的资金来支付给云巨头,而云巨头反过来又对实验室进行再投资,所有这些都是为了维持英伟达估值的增长假象。
作者否认了有关其仅仅是“末日论者”或受空头头寸驱动的指控,并将自己的批评定性为对该行业及其受虐待员工的维护,以抵制那些“商业白痴”式的领导层。文章最后预告了一篇即将发表的深度调查,承诺将揭露足以刺破人工智能泡沫的信息。
本指南旨在提供 **Dune** 的实用入门介绍,它是 OCaml 生态系统中不可或缺的构建系统。本指南专为初学者设计,介绍了如何高效地组织、构建、测试及记录 OCaml 项目。
**核心组件:**
* **`dune-project`**:项目的根元数据文件,用于定义 Opam 等工具所需的配置和依赖项。
* **`dune` 文件**:位于子目录中的构建说明文件,用于定义“节”(stanzas)——即配置库、可执行文件和测试的声明性模块。
* **核心命令**:
* `dune build @all`:编译整个项目。
* `dune exec`:运行已编译的可执行文件。
* `dune build @doc`:通过 `odoc` 生成 API 文档。
* `dune runtest`:执行测试,包括用于验证命令行输出的“cram”测试。
**入门指南:**
虽然手动配置有助于开发者理解 Dune 的底层运作方式,但推荐使用 `dune init` 命令来创建新项目。该命令会自动生成包含所有必要文件的标准目录结构,让开发者能立即专注于编写代码。通过掌握这些基础知识以及 Dune 与 Opam 之间的交互,开发者可以在项目规模扩大时可靠地管理其 OCaml 项目。
5月份美国破产申请总量同比上升7%,主要受个人破产申请增加8%以及小企业破产申请激增36%所推动。美国破产协会指出,这一趋势反映了持续通胀、高利率和高运营成本带来的累积压力,这些因素限制了企业获得负担得起的信贷。
尽管5月份商业破产重组(Chapter 11)申请总量下降了7%,与今年早些时候的激增趋势有所背离,但专家警告称,由于宏观经济的不确定性和地缘政治紧张局势,更大规模的企业破产潮可能仍在后头。
尽管面临这些财务逆风,小企业主表示正在采取适应性策略,例如提高价格或寻找更便宜的供应商,以保护利润空间。与此同时,更广泛的美国经济显示出喜忧参半的信号:就业增长保持稳定,主要股指也出现上涨,但失业救济申请人数已升至四个月以来的高点。为应对这些挑战,美国小企业管理局已扩大了贷款计划,旨在为企业提供更充足的资金渠道和长期融资支持。
“Souls Only” 是一个将字体作为解密层的工艺项目。与字符和字形一一对应的标准排版不同,该项目将两者解耦:存储的字节显示为随机噪点,而字体则充当渲染可读文本的密钥。
该系统采用同音替换法,将每个字符编码为四个 ASCII 符号,并通过字体的 GSUB 规则将其合并为平铺的半字形。由于映射存在于字体内部(通过 `cmap` 和 `GSUB`),标准复制粘贴操作或数据抓取工具只能获取无意义的乱码。
该项目包含一款静态字体和一款具备 “REVL”(显示)轴的可变字体(VF)。在默认状态下,字形扭曲到无法辨认;只有在特定轴值下,它们才会组合成可读文本。该项目旨在表达对数字隐私的关注,而非作为高安全性加密手段,因此如果遍历 “显示” 轴,仍易受到自动化 OCR 的破解。项目提供了键盘固件集成、自定义编码及网页实现的工具,所有资产均采用 SIL Open Font License 1.1 协议授权。
小米与 TileRT 共同发布了 **MiMo-V2.5-Pro-UltraSpeed**,这是首个解码速度超过 1000 tokens/s 的万亿参数人工智能模型。这一性能突破将 AI 从高延迟工具转变为人类认知的实时、无缝延伸,能够实现快速并行推理、高效率编程,以及在医疗和金融等时间敏感领域进行即时决策。
这一成就得益于在商用 GPU 上而非专用硬件上实现的“极限模型-系统协同设计”。主要创新包括:
* **选择性 FP4 量化**:对混合专家模型(MoE)的专家层应用 FP4 精度,同时在其他部分保持原始精度,在不牺牲推理质量的前提下减少带宽瓶颈。
* **DFlash 推测解码**:一种块级掩码并行预测方法,最大限度地减少了串行限制,使模型能够同时验证多个 Token。
* **TileRT 基础设施**:一种全新的执行模型,以持久的、微秒级的软硬件融合取代了传统的算子处理方式,确保了连续的数据流和最高的计算利用率。
该模型目前通过限时申请制 API 试用(2026 年 6 月 9 日至 23 日)开放,价格为原来的 3 倍,性能提升达 10 倍。此外,该检查点(Checkpoint)已在 HuggingFace 上开源,以鼓励社区创新。
纽约联储五月份的调查显示,在消费者等待即将公布的CPI数据之际,其前景预期呈现出复杂态势。尽管受汽油价格预期下调的影响,一年期通胀预期小幅降至3.46%,但食品和租金成本的预期却有所上升,且房价增长预期达到自2022年7月以来的最高水平。
劳动力市场的情况喜忧参半:失业担忧日益加剧,而受访者认为找到新工作的可能性已降至多年来的最低点。矛盾的是,“预期离职率”——通常被视为员工信心的指标——却达到了自2023年2月以来的最高水平。
消费者对个人财务状况的看法依然严峻,家庭财务状况报告显示其处于自2023年初以来的最差水平。受对信贷获取渠道的担忧以及低收入群体债务违约风险上升的影响,消费者对未来财务健康的预期已降至2022年10月以来的最低点。尽管近期就业数据表现强劲,但这些调查结果凸显了消费者对通胀压力和整体财务稳定性的普遍焦虑。
Wix 宣布进行“组织重组”,其中包括裁员约 20%,涉及员工约 1,055 人。此次重组旨在精简运营并削减优先级较低的计划,使公司能够将资源重新分配到核心增长领域,并提高盈利能力。
此前,该公司 5 月和 6 月的合作伙伴业务增长放缓幅度超出预期。因此,Wix 将 2026 年的预订量和收入增长预期下调至 10% 至 15% 左右。不过,公司预计通过大幅削减成本来抵消这一影响,目标是今年节省约 7,000 万美元,年化节省额达到 1.5 亿美元,主要通过缩减工资和管理费用来实现。
Wix 预计与遣散费相关的重组税前费用为 3,000 万至 3,500 万美元。尽管公司努力将 2026 年的自由现金流提高至预计的 4.2 亿美元,但投资者反应消极,盘前交易中股价下跌了 10%。目前,大多数华尔街分析师仍对该股持乐观态度,平均目标价为每股 84 美元。
在加密货币市场因一笔 32 枚比特币的象征性抛售而短暂下跌后,MicroStrategy (MSTR) 积极重返市场,以 1.013 亿美元买入 1,550 枚比特币。目前该公司共持有 845,256 枚比特币,约占总供应量的 4%。
在市场波动之际,迈克尔·塞勒(Michael Saylor)提出了一个框架,将比特币社区划分为四个互补的群体——极简主义者、资本家、技术专家和原教旨主义者——并指出他们的共同影响对比特币的长期发展至关重要。
与此同时,金融分析师认为比特币的价格目前由其“能源底线”支撑。鉴于最高效矿工生产一枚比特币的成本接近 60,000 美元,市场专家认为这构成了一个自然的支撑位。尽管近期许多投资者目前面临未实现亏损,但行业转型——例如矿工采用混合模式进行人工智能计算——预计将提供更稳定的收入。尽管当前处于熊市,但历史数据表明,当网络处于亏损状态时,这往往预示着潜在的复苏,而非彻底崩溃。
气候专家警告称,赤道太平洋创纪录的升温与一场长达9000英里的海洋热浪汇合,可能引发“哥斯拉级厄尔尼诺”现象。该事件在年中发生的概率高达80%,科学家担忧其影响可能超过1877年导致全球大范围饥荒的“超级厄尔尼诺”等历史性气候灾难。
其潜在影响严峻且深远。预计该现象将破坏海洋生态系统,大幅削减渔获量,并改变全球气候模式。关键农业区(特别是美国腹地)可能面临严重干旱和极端高温,威胁小麦、玉米和大豆等关键作物的生产。
鉴于全球粮食安全本已脆弱,世界气象组织警告称,这一气候事件叠加现有的供应链压力和通货膨胀,可能导致全球粮食供应系统性下降。预测显示,基本商品价格可能飙升10%至100%,给全球粮食安全带来灾难性后果。由于粮食需求缺乏弹性,世界各地本已难以负担生活成本的家庭,可能很快面临严重的短缺和前所未有的价格飙升。
由前拜登政府司法部官员布伦丹·巴卢(Brendan Ballou)领导的法律倡导组织“公共诚信项目”(Public Integrity Project)已提起联邦诉讼,旨在阻止定于6月14日在白宫南草坪举行的UFC“自由250”(Freedom 250)活动。
原告方由与ActBlue关联的组织代理,他们声称该活动违反了国家公园管理局关于禁止在联邦公园用地进行私人商业活动的规定。诉状特别针对未经国会批准的大型临时建筑搭建,以及未根据《国家环境政策法》(NEPA)进行强制性环境审查的行为提出了质疑。
诉讼将该活动描述为一种“腐败计划”,称其优先考虑UFC及其相关方的私人经济利益,而非公众利益。该活动恰逢特朗普总统80岁生日及“美国250周年”(America 250)纪念活动期间。
被告方包括内政部和国家公园管理局,目前面临紧急初步禁令申请。法院预计将于本周作出裁决,关键在于原告方是否具备法律诉讼资格,以及该活动的许可程序是否符合既定的行政和环境法律。
兰斯·罗伯茨(Lance Roberts)为投资者指出了一个令人担忧的趋势:创纪录的股票供应浪潮正冲击着估值已达极致的市场。随着 2026 年预计有超过 7000 亿美元的 IPO 和限售股解禁,市场正面临流动性的历史性考验。
从历史上看,股票发行量的激增往往是周期末期的信号,因为内部人士通常会在估值见顶时抛售股票——这一模式在 2000 年和 2022 年的市场顶部都曾出现过。尽管有些人认为,得益于人工智能相关企业的高质量以及强制性指数买盘,本轮周期有所不同,但罗伯茨警告称,高质量并不能让投资者免受估值过高的影响。对人工智能基础设施的集中押注增加了系统性风险,因为单一的负面催化剂就可能波及整个行业。
罗伯茨建议不要恐慌,但强调了严格风险管理的重要性。他建议投资者避免追逐历史上表现不佳的新 IPO,而应在估值仍处于高位时,精简投机性人工智能持仓。归根结底,新供应的涌入是一个信号,提醒投资者优先考虑质量并保持耐心,确保在市场不可避免的调整到来之前,采取防御性的布局。
爱德华·格莱泽认为,“15分钟城市”的概念虽然因强调步行友好和混合用途街区而值得称赞,但从根本上说是一种有害的模式,可能会导致孤立和隔绝的城市飞地。
格莱泽主张,城市的真正目的在于充当“机会引擎”,连接多元化的群体。通过将居民限制在狭小的地理范围内,这种模式可能会使低收入群体困在局部且相互隔绝的领域中,这更像是乡村贫困的停滞,而非城市成功所带来的流动性。他警告称,用虚拟工作取代现实互动会进一步加剧不平等,因为大多数低技能工人无法享有这种特权。
格莱泽主张建立一个互联互通的大都市,而不是将城市拆解成各自独立的“15分钟”碎片。他建议改善交通基础设施,实施拥堵收费以资助公共交通,并推行能够适应新兴技术的灵活城市规划。他最终断言,我们必须优先考虑城市流动性和面对面的交流,以确保城市能够继续履行其历史使命:为人们,尤其是起点较低的人们,提供向上流动的途径。
18岁的亨利·诺瓦克(Henry Nowak)被维克鲁姆·迪格瓦(Vickrum Digwa)谋杀一案,在英国引发了关于体制失灵和“双重标准”执法的舆论风暴。尽管此前已有明确警告,包括迪格瓦挥舞枪支的视频证据及其对武器的痴迷史,但警方多次未采取行动。迪格瓦甚至因威胁行为被当地寺庙驱逐,但当局依然对此漠不关心。
在这起持刀行凶事件后,后续调查又陷入了更多争议:汉普郡警方最初试图将诺瓦克描述为袭击者,且在将迪格瓦送往警局的途中,未能对其进行妥善搜身,导致他身上仍携带凶器。
包括前警务官员和言论自由联盟在内的批评者认为,这些失职源于警队内部的意识形态偏见,即“觉醒”多元化议程以及对被贴上种族主义标签的恐惧,已凌驾于确保公共安全的职责之上。此案被视为一个悲剧性的例子,凸显了一个将叙事管理和身份政治置于法律平等保护之上的制度。诺瓦克一家及活动人士目前正要求进行重大改革,取消对宗教武器的危险豁免,并要求对导致亨利丧生的体制性失误进行全面问责。
英特尔股价在盘前交易中飙升近12%。此前据《The Information》报道,谷歌已下单订购超过300万枚张量处理单元(TPU),并计划由英特尔在2028年负责代工。
这一进展对英特尔的代工业务而言是一次重大胜利。目前,英特尔正努力重建其先进制程制造能力,但在与台积电的竞争中举步维艰。台积电目前的产能限制使英特尔成为了大型AI芯片设计厂商的一个可行“备选”制造商。虽然据报道英伟达正在评估英特尔的技术以考虑未来的生产合作,但目前尚未达成正式订单。
该消息为半导体行业提供了急需的提振,该板块近期遭遇了剧烈抛售;费城半导体指数上周五经历了自2020年以来的最大单日跌幅。受此消息影响,整个板块出现广泛反弹,VanEck半导体ETF上涨近5%,英伟达、AMD和美满电子等公司均录得涨幅。在行业应对生产瓶颈和制造竞争之际,该报道为AI相关股票起到了暂时的稳定作用。
受强于预期的就业数据影响,市场对美联储政策转向鹰派的重新定价导致全球市场动荡。上周美国股市大幅抛售,纳斯达克指数周五下跌4.18%,半导体指数创下2020年以来的最大单日跌幅。中东局势的紧张进一步打击了市场情绪,尽管近期迹象显示各方正努力避免局势全面升级。
目前的焦点转向周三发布的美国CPI报告,这是美联储下一次政策会议前的关键指标。随着非农就业人数增加17.2万人且各行业实现广泛增长,继续加息的理由已然增强。经济学家预计,受能源成本推动,整体通胀率将同比升至约4.3%,而核心通胀仍保持坚挺。
全球央行同样备受关注,欧洲央行预计将在周四加息25个基点。与此同时,投资者将密切关注中国的贸易和通胀数据、日本的政策动向以及英国的GDP数据。根据历史趋势,CPI若持续高于4%,可能预示着美股将面临持续的阻力,这使得本周的数据发布对于市场未来走向至关重要。