到2025年底,瑞士人口已达约910万,这主要得益于2002年《人员自由流动协议》签署后的劳务移民。“可持续发展倡议”旨在将常住人口限制在2050年前不超过1000万。 根据该倡议,如果人口超过950万,政府必须在庇护和家庭团聚方面实施限制措施,并可能需要重新谈判国际条约。如果突破1000万的门槛,该倡议要求终止与欧盟的《人员自由流动协议》。 联邦委员会警告称,此举将导致整个“双边协议一”一揽子方案失效,并危及瑞士在申根和都柏林协定中的参与,从而严重影响国家安全和庇护合作。有关联邦委员会的官方详细信息和解释可供进一步查阅。
华尔街对餐饮业的情绪正趋于谨慎,因为退税带来的短期提振作用正在减弱,经济压力也在加剧。瑞银分析师丹尼斯·盖格(Dennis Geiger)警告称,汽油价格上涨、大宗商品持续通胀以及消费者信心下滑构成了“毒药组合”,很可能会在今年下半年抑制消费支出。
该报告指出,低收入群体、年轻人和拉美裔人群的需求疲软最为显著。尽管存在这些结构性阻力,但盖格认为,从历史角度来看,餐饮股目前可能被低估了。不过他指出,股价若要实现显著回升,可能需要销售势头的转变或更利好的宏观经济条件。
盖格的投资前景保持选择性:他看好Dutch Bros、Brinker International和百胜餐饮集团(Yum! Brands),同时对芝士蛋糕工厂(Cheesecake Factory)和Cracker Barrel持看跌态度。总体而言,该行业被视为处于困难的周期性低迷期,而非长期结构性衰退,但随着消费者压力持续增加,眼下的风险依然较高。
美国联邦地区法官里奥·索罗金(Leo Sorokin)裁定,唐纳德·特朗普总统对H-1B专业技术人员签证收取的10万美元费用为非法。在长达42页的判决书中,索罗金法官指出,行政部门无权征收此类税款,并强调征税权仅属于国会,且并未授权给总统。
此外,法官认定该费用违反了《行政程序法》,因为其实施过程中未经过公众评议期。因此,法院下令撤销该政策。
此次裁决源于包括马萨诸塞州在内的20个州提起的诉讼。这些州在2025年9月该费用出台(旨在限制移民并增加收入)后对其提出了挑战。尽管另一位法官曾在2025年底裁定该费用合法(目前该判决正在上诉中),但这一最新裁决标志着该政策遭遇了重大的法律挫折。白宫尚未就此裁决发表评论。
美国司法部已在全国各联邦法院提出申请,要求撤销17名个人的美国公民身份。这些申请针对的是涉嫌通过隐瞒刑事定罪(包括性犯罪、毒品犯罪和欺诈)而获得入籍身份的人员。
相关案例包括:让-克劳德·阿尔弗雷德(Jean Claude Alfred)未披露其1996年因涉及家庭成员的性侵犯而被定罪的记录;阿曼多·门多萨(Armando Mendoza)在2011年申请公民身份时,未披露其持有未成年人色情图片的犯罪记录。
代理司法部长托德·布兰奇(Todd Blanche)表示,该举措旨在追究那些通过谎报过往刑事犯罪行为来“滥用入籍程序”的人的责任。国土安全部长马克韦恩·马林(Markwayne Mullin)强调,公民身份是一种必须通过诚实途径获得的特权,并警告称,那些违反美国法律并在移民程序中提供虚假信息的人,将面临被剥夺公民身份的后果。
据美国地质调查局(USGS)报告,古巴海岸附近于美东时间下午2点左右发生6.4级地震,佛罗里达州部分地区的居民表示有震感。
此次近海地震发生在古巴西部的皮纳尔德尔里奥(Pinar del Río)附近。初步报告显示未造成重大损失,也未引发海啸威胁。
美国国家气象局(NWS)迈阿密办公室表示,“过去30分钟内,佛罗里达州西南部地区有震感”。
*后续报道中……
某些显示屏上文字呈现出的“倾斜”外观,往往是逐行扫描更新带来的副作用,类似于相机的“果冻效应”(rolling shutter)。尽管这种倾斜的方向——以及我们对它的偏好——更多是源于习惯而非必要,但这凸显了有意识的设计选择的重要性。
无论这些效果是无意的伪影还是刻意的制约,它们都邀请我们去欣赏那些出现在意想不到之处的排版“工艺”。通过拥抱技术局限,设计师往往能创造出令人惊喜的创意方案。无论是受限于像素的体育场图标、巧妙的垂直连字,还是机器部件和键盘上极具针对性的排版,这些细节都证明了深思熟虑的工艺即便在最平凡的场景中也能大放异彩。归根结底,无论是得益于技术上的偶然契机,还是精益求精的努力,这些“令人愉悦的瞬间”都在提醒我们:关注微小的设计选择,能将标准的功能性转化为值得细细品味的事物。
作者发现 Thunderbird 存在一个漏洞,即每次启动程序时都会在用户的主目录下强制创建一个不必要的空文件夹 `~/thunderbird`。由于无法忍受这种“不礼貌”的行为,且没有时间深究其根本原因,作者采取了一种自动化的权宜之计。
为解决此问题,作者编写了一个 fish shell 脚本,利用 `inotifywait` 监控主目录,一旦发现 `thunderbird` 文件夹便立即将其删除。为了确保脚本能在后台持续运行,作者将其封装为一个 systemd 用户服务。该服务启用后会自动检测并移除该目录,从而在官方修复该漏洞前保持主目录的整洁。
美国国防部更新了其在美运营的“中国军事企业”名单,正式将阿里巴巴、百度、比亚迪、华大基因和道通智能等大型企业列入其中。根据第1260H条的规定,这些认定凸显了五角大楼对中国“军民融合”战略的担忧。在该战略下,人工智能、生物技术、电动汽车和机器人等领域的商业实体被视为中国人民解放军或国防工业基础的延伸。
此次更新具有重大的经济影响:自6月30日起,五角大楼将被禁止与名单上的实体直接签订合同。针对间接采购的更广泛禁令(涵盖包含这些公司产品的商品或服务)将于2027年6月生效。
通过将目标锁定在享誉全球的品牌以及半导体和航空航天巨头身上,美国旨在表明其不再承认中国商业技术部门与国家安全机构之间存在明确界限。此举是旨在遏制中国对关键基础设施和军民两用技术影响力的出口管制及投资限制行动的一部分。被列入名单的公司可以通过向五角大楼提供证据来对这一认定提出异议。
xAI 近期与 Anthropic 和 Google 达成多项高额基础设施协议,向其出租了位于孟菲斯数据中心的大量 GPU 算力。这些合作每月价值超过 20 亿美元,为现已与 SpaceX 合并的实体提供了即时收入,引发了外界对于该公司在潜在巨额 IPO 前进行财务运作的猜测。
这些交易有着实际的考量:Anthropic 正面临严重的算力短缺,而 xAI 以创纪录速度构建基础设施的独特能力,为行业持续的算力紧缺提供了关键解决方案。尽管怀疑论者认为,这些举措可能是受马斯克与 OpenAI 的竞争关系或为了提升 SpaceX 估值的动机驱动,但这些交易更可能反映了对过剩算力务实的货币化处理以及战略重心转移。
通过出租原本计划用于其模型 Grok 的算力,xAI 似乎正在对冲风险。归根结底,xAI 正越来越不像一家传统的 AI 实验室,而更像一家高增长的数据中心房地产投资信托(REIT)。这些合作关系的长期成功以及未来的 IPO 前景,取决于这种基础设施主导地位能否与其在尖端 AI 竞赛中保持竞争优势并行不悖。
随着特朗普政府调整区域立场,美以关系正面临巨大压力。在近期以色列与伊朗的相互打击中,美军显著地未参与以方行动,也拒绝拦截伊朗的来袭导弹。官员证实,美方未采取任何防御行动,这标志着其脱离了以往为以色列提供一贯军事掩护的传统角色。
特朗普总统已公开表示希望“立即停火”,并声称自己主导美国对伊政策,以色列别无选择,只能接受美伊即将达成的外交协议。尽管华盛顿通过保持距离来促成谈判,但德黑兰对此持怀疑态度;伊朗官员驳斥了美国的立场,坚称以色列的行动与美国的政策不可分割。
尽管存在摩擦,但目前已出现暂时缓和的迹象:伊朗示意将停止行动,而特朗普政府也继续优先考虑外交手段,而非军事介入该冲突。
据报道,特朗普政府正在探讨购买查戈斯群岛的计划,以绕过英国将主权移交给毛里求斯的协议。美国仍深感忧虑,认为这项涉及350亿英镑的移交协议可能会危及迪戈加西亚岛的安全,该岛是一个至关重要且高度敏感的军事基地,用于远程轰炸机行动和区域监视。
美国官员担心,将该领土移交给一个与中国和伊朗有联系的国家可能会招致间谍活动,并削弱全球军事能力。特朗普总统曾公开谴责英国的主权协议是“彻底软弱的表现”,这促使他的政府考虑其他方案,包括直接谈判以取得该环礁的控制权。
尽管英国政府坚称移交主权对于确保该基地的长期未来至关重要,且此前已排除了美国购买的可能性,但该协议在等待美国同意的过程中仍处于悬而未决的状态。在与伊朗和中国关系日益紧张的背景下,美国继续将该基地视为不可或缺的国家安全资产,这使得英毛协议的未来充满了不确定性。
随着飞行汽车行业转向商业化,广汽合创首席执行官苏庆鹏指出,固态电池是实现空中出行所需能量密度与安全性的关键技术。与视固态电池为降本工具的汽车行业不同,航空业能够承担其较高的初期成本,从而使其能更早地应用于飞行器生产。
目前,飞行汽车行业正处于类似于电动汽车市场的发展初期,预计到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 美元。