1. YouTube首页设计越来越离谱了；
2. 芬兰立法限制校园手机使用；
3. 洛杉矶港预计下周货运量将暴跌35%；
4. 中美贸易战导致零售商库存仅剩7周；
5. 小米MiMo推理模型：解锁语言模型的推理潜能；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. YouTube首页设计越来越离谱了

🔗 jayd.ml: Someone at YouTube needs glasses

作者吐槽YouTube首页在32寸1440p屏幕上仅显示5个视频，且预留了巨大广告位。对比2019年首页能展示30个视频且无广告，如今体验大幅倒退。作者讽刺按此趋势，2026年首页可能只剩一个视频，最终甚至直接向大脑推送AI生成内容。全文表达了对平台过度商业化导致用户体验恶化的不满。

2. 芬兰立法限制校园手机使用

🔗 yle.fi: Finland Bans Smartphones in Schools

芬兰议会通过新法，禁止中小学生在课堂上随意使用手机，新规将于8月暑假后生效。特殊情况下（如学习辅助或健康需求）需教师批准方可使用。校方有权没收干扰教学的设备，但政府强调仍会支持学生数字技能发展。

3. 洛杉矶港预计下周货运量将暴跌35%

🔗 cnbc.com: Port of Los Angeles says shipping volume will plummet 35% next week

洛杉矶港执行董事Gene Seroka表示，受特朗普关税政策影响，多家美国大型零售商已停止从中国发货，导致下周入港货运量同比骤降35%。中国货物约占该港业务的45%，部分运输公司正转向东南亚其他地区补货。Seroka警告，若中美未达成协议，来自中国的货运量将长期低迷，5月抵港船只数量或减少25%。经济学家担忧，贸易萎缩可能引发美国运输零售业裁员及夏季经济衰退。零售商库存仅能维持5-7周，消费者未来将面临商品选择减少和价格上涨。

4. 中美贸易战导致零售商库存仅剩7周

🔗 fortune.com: Retailers will soon have only about 7 weeks of full inventories left

洛杉矶港执行董事Gene Seroka警告，受中美贸易战影响，零售商的完整库存即将降至约7周的供应量。这一紧张局势凸显了关税对供应链的冲击，可能导致未来商品短缺或价格上涨。目前港口数据正密切监测中，以评估长期影响。

5. 小米MiMo推理模型：解锁语言模型的推理潜能

🔗 github.com: Xiaomi MiMo Reasoning Model

小米推出MiMo-7B系列模型，专注于数学与代码推理任务。该模型通过优化预训练数据（25万亿token）和引入多阶段混合策略，显著提升小模型（7B参数）的推理能力，性能超越部分32B大模型。其强化学习（RL）训练采用难度驱动的奖励机制，结合高效推理引擎，在MATH500等基准测试中表现优异（95.8%准确率）。模型已开源，支持HuggingFace与vLLM部署，为社区提供高效推理解决方案。

6. DeepSeek-Prover-V2：基于强化学习的数学定理证明模型

🔗 github.com: DeepSeek-Prover-V2

DeepSeek-Prover-V2 是一款专为 Lean 4 形式化定理证明设计的开源大语言模型。它通过 递归证明搜索 生成初始训练数据，并利用 强化学习 优化模型性能，结合 非形式化数学推理 与 形式化证明。该模型在 MiniF2F-test 上达到 88.9% 的通过率，并解决了 PutnamBench 中的 49 道难题。同时发布的 ProverBench 数据集包含 325 道数学问题，涵盖竞赛与教材内容。模型提供 7B 和 671B 两种参数规模，支持 32K 上下文长度。

7. “AI优先”是新版”强制返工”

🔗 anildash.com: “AI-first” is the new Return To Office

科技CEO们的最新潮流是强制推行“AI优先”策略，要求员工将AI工具融入所有工作环节。作者指出，这种自上而下的命令式推广（如Shopify将AI使用纳入绩效考核）暴露了管理层对员工能力的隐性质疑——AI适合辅助技能不足者，而非顶尖人才。更讽刺的是，此举实为CEO们向风投圈表演”科技正确”的作秀，与早年自然普及的电子邮件等工具形成鲜明对比。文章呼吁回归理性：让工具价值驱动选择，而非跟风高压政策。

8. 谷歌应用商店应用数量一年内暴跌47%

🔗 techcrunch.com: Google Play sees 47% decline in apps since start of last year

根据Appfigures数据，2024年初至今，Google Play全球应用数量从340万骤降至180万，降幅达47%。相比之下，苹果App Store同期应用数量微增。谷歌此次大规模清理主要因提高审核标准，禁止低功能、低质量应用（如纯文本或单壁纸应用），并加强开发者验证与人工审核。此外，欧盟新规要求开发者公开身份信息，但苹果未受此影响。尽管应用减少，2024年新应用发布量同比上涨7.1%。

9. NotebookLM音频概述功能现已支持50多种语言

🔗 blog.google: NotebookLM Audio Overviews are now available in over 50 languages

NotebookLM的音频概述功能新增支持超过50种语言，包括南非荷兰语、印地语和土耳其语等。该功能可将文本源转换为类似播客的对话，现通过Gemini的原生音频支持实现多语言输出。用户可在设置中选择输出语言，随时切换并生成对应语言的音频内容。例如，教师可上传多语言资料，学生则能获取母语的关键信息摘要，有效打破语言障碍。立即访问notebooklm.google体验。

10. 秘密交易与外资涌入：特朗普加密公司的崛起

🔗 nytimes.com: Secret Deals, Foreign Investments: The Rise of Trump’s Crypto Firm

《纽约时报》调查发现，特朗普家族推出的加密货币公司World Liberty Financial曾通过加密通讯应用Signal向多家企业提出合作，要求对方支付数百万美元秘密费用以换取品牌关联。尽管部分公司因认为该交易不道德而拒绝，World Liberty仍通过类似交易在全球筹集超5.5亿美元，其中大部分利润流向特朗普家族。公司高管坚称操作合法，但合作方指控其变相出售总统背书并隐瞒公众。

11. OSU开源实验室面临关停危机

🔗 osuosl.org: Future of OSU Open Source Lab in Jeopardy

由于企业捐款减少，俄勒冈州立大学开源实验室（OSL）长期处于亏损状态。尽管工程学院（CoE）此前提供资金支持，但近期大学预算削减导致CoE无法继续填补缺口。若无法在5月14日前筹集25万美元，实验室将于年内关闭。OSL为全球500多个开源项目（如Firefox、Apache、Linux等）提供关键托管服务，并培养了大量技术人才。此外，校园数据中心因设备老化面临搬迁，但资金短缺是当前首要问题。呼吁各界通过donations@osuosl.org提供援助。

12. Linux内核漏洞利用：Vsock攻击剖析

🔗 hoefler.dev: Linux Kernel Exploitation: Attack of the Vsock

本文详细分析了CVE-2025-21756漏洞的利用过程。作者通过引用计数错误触发UAF（释放后重用），成功实现权限提升。关键步骤包括：利用vsock_diag_dump绕过AppArmor检测、通过管道喷射覆盖skc_net指针泄露内核地址，最终构造ROP链劫持控制流。该漏洞仅需数行补丁修复，却揭示了内核对象生命周期管理的重要性。整个利用过程涉及跨缓存攻击、侧信道泄露和堆布局操控等高级技术。

13. 40年前加入Sun微系统的传奇经历

🔗 akapugs.blog: Joining Sun Microsystems – 40 years ago (2022)

1982年5月3日，作者作为第8号员工加入初创公司Sun Microsystems。此前他在Amdahl公司从事UNIX移植工作，因对创业热潮心动而主动寻找机会。凭借UNIX技术背景和兄弟在Xerox的工作站经验，他敏锐关注到斯坦福的SUN项目。经Bill Joy推荐，Scott McNealy邀他面试，最终因Bill Joy的加盟和Sun的技术愿景选择加入。早期团队在Santa Clara办公，他成功修复磁盘驱动bug，助力Sun-1发货。一年后，Sun已成长为拥有Mountain View新园区、大量搭载BSD UNIX和以太网的工作站明星企业。

14. JetBrains因删除AI助手差评引发争议

🔗 devclass.com: JetBrains defends removal of negative reviews for unpopular AI Assistant

JetBrains为其在插件市场删除AI助手的负面评价辩护，称此举或因内容过时，或违反政策（如含辱骂）。该工具下载量超2200万次，但评分仅2.3/5。用户指责公司删除差评损害信任，而官方解释称已修复提及的问题。争议暴露了该助手的诸多缺陷，如强制安装、高延迟和功能限制。同期推出的新AI工具Junie虽获好评，但被指定价过高。JetBrains面临开发者工具市场竞争压力，需平衡免费策略与付费模式。

15. Espressif ESP32-C5芯片已进入量产阶段

🔗 espressif.com: Espressif’s ESP32-C5 Is Now in Mass Production

Espressif Systems宣布其ESP32-C5芯片正式投入大规模生产。该芯片属于ESP32-C系列，主打高性能与低功耗特性，适用于物联网设备开发。官网同步更新了产品线信息，涵盖SoC、模块、开发工具及云服务解决方案（如ESP RainMaker），并提供了丰富的SDK支持（如ESP-IDF、ESP-Matter）。开发者可通过Espressif生态获取硬件设计、技术文档及社区资源。

16. 攻破Ladybird浏览器：LibJS引擎UAF漏洞分析

🔗 jessie.cafe: Pwning the Ladybird Browser

本文深入研究了新兴浏览器引擎Ladybird（源自SerenityOS项目）的JavaScript引擎LibJS。通过Fuzzilli模糊测试工具，作者发现了10个独特崩溃案例，其中最关键的是一个堆使用后释放（UAF）漏洞。该漏洞源于代理构造函数调用时，参数缓冲区在原型获取阶段被意外释放，导致后续执行时访问无效内存。文中详细分析了漏洞触发条件（如恶意[[Get]]处理程序的操作），并提供了修复方案——将原型获取操作延后至参数缓冲区初始化完成之后。攻击面涉及glibc的malloc堆，虽可利用性受限，但仍具备潜在危害。

17. 机械联动与铰链实现的可逆计算

🔗 tennysontbardwell.com: Reversible computing with mechanical links and pivots

随着“摩尔定律失效”的担忧加剧，可逆计算因理论上能达到能量效率极限（兰道尔原理指出不可逆操作至少消耗2.9×10⁻²¹ J/次）而备受关注。当前CPU（如AMD Ryzen）的能效仍比理论值低9个数量级。一篇论文提出仅用机械连杆与旋转关节构建图灵完备计算机：基础元件“锁”通过三角形滑动实现互斥，结合“平衡器”和“曲柄”可组成通用NAND门。该设计甚至能以30nm碳结构实现，为后摩尔时代计算提供新思路。

18. 兆芯KX-7000：国产x86处理器的世纪大道架构突破

🔗 chipsandcheese.com: Zhaoxin’s KX-7000

兆芯KX-7000采用新一代世纪大道架构，升级为4宽解码、支持AVX2指令集，性能较前代KX-6640MA显著提升，主频达3.2GHz。其8核芯片组设计类似AMD锐龙，共享32MB L3缓存，但内存子系统仍存短板，如L3延迟较高（27纳秒）、分支预测性能较弱。作为VIA与上海政府合资企业产品，兆芯依托x86-64生态优势，瞄准国产化市场，但整体性能仍落后于国际主流水平。

19. 二战美军密码破译专家朱莉娅·帕森斯逝世，享年104岁

🔗 nytimes.com: Julia Parsons, U.S. Navy Code Breaker During World War II, Dies at 104

朱莉娅·帕森斯（Julia Parsons）于4月18日在宾夕法尼亚州阿斯平瓦尔的退伍军人疗养院去世，享年104岁。她是二战期间美国海军密码破译团队的最后幸存者之一，曾参与破解德国U型潜艇的恩尼格玛密码机加密信息。帕森斯从小热爱解谜游戏，其破译工作为盟军提供了关键情报，帮助击沉敌方潜艇。恩尼格玛密码最初由波兰数学家破解，后经英国数学家艾伦·图灵改进的”炸弹”解码机最终由英美合作攻克。这段历史曾是二战最高机密之一。

20. 用Google Sheets轻松定制专属AI模型

🔗 promptrepo.com: Show HN: Create your own finetuned AI model using Google Sheets

该工具允许用户通过Google表格数据直接训练和部署AI模型，支持OpenAI、Mistral和LLaMA等平台，无需编程即可创建分类、提取和生成式模型。提供API集成、版本控制及模型评估功能，适用于客户对话分析、电子签名等场景，尤其适合需要快速迭代的领域专家。

21. 美国防部长如何绕过官方通讯设备使用Signal

🔗 electrospaces.net: How the US defense secretary circumvents official DoD communications equipment

2025年4月30日报道，美国防部长皮特·赫格斯在五角大楼办公室内安装了一台私人电脑，直接连接公共互联网，以便使用加密通讯应用Signal。此举绕过了国防部的安全协议，引发争议。赫格斯此前因五角大楼内手机信号不佳，试图通过Signal与白宫及其他官员沟通。尽管国防部已配备SecDef Cables通讯中心提供多重安全通讯渠道，赫格斯仍坚持使用私人设备，可能带来安全隐患。

22. OCaml的机器学习翅膀：Raven生态系统

🔗 github.com: OCaml’s Wings for Machine Learning

Raven是一个为OCaml打造的机器学习与数据科学工具集，旨在结合OCaml的类型安全与高性能优势，提供媲美Python的开发体验。当前处于预-alpha阶段，核心组件包括多维数组库Ndarray、可视化工具Hugin、自动微分库Rune等。项目采用ISC许可，欢迎开发者参与贡献，共同推动OCaml在AI领域的应用。

23. 2025年初纽约房价上涨10%，曼哈顿领跑

🔗 qns.com: NYC home prices rise 10% in early 2025

根据PropertyShark报告，2025年第一季度纽约市** median sale price同比上涨10%，达到76.8万美元。曼哈顿涨幅最显著，Hudson Yards以535.5万美元的 median sale price**位居全市最贵社区榜首。皇后区Malba以155万美元排名第11，而布鲁克林的Madison房价飙升145%，涨幅居全市之首。布朗克斯涨幅最小，未进入前50名。

24. 常春藤名校为何承受不起数亿美元损失？

🔗 economist.com: Why can’t Ivies cope with losing a few hundred million?

尽管哥伦比亚大学拥有约150亿美元的捐赠基金，但在特朗普政府扣留4亿美元联邦资金时，该校并未选择对抗。原因在于，巨额捐赠基金流动性差，难以快速变现。文章指出，常春藤盟校虽财力雄厚，却因资金结构问题无法灵活应对短期财务压力，凸显了精英大学在政治博弈中的脆弱性。

25. Boox推出首款彩色E Ink显示器Mira Pro Color

🔗 theverge.com: The Mira Pro Color is Boox’s first color E Ink monitor

Boox发布了其首款25.3英寸彩色E Ink桌面显示器Mira Pro Color，采用与Kindle Color相同的E Ink Kaleido 3技术，支持4,096色显示。这款显示器适合文字处理或表格工作，反射式屏幕更护眼，但刷新率较低，不适合游戏或视频编辑。其售价为1,899.99美元，仅从中国发货，可能需额外关税。配备前光调节、扬声器及多种接口，适合长时间办公用户。