Fedora 42 is out today as a fabulous update to this prominent leading-edge Linux distribution sponsored by Red Hat. I've been running Fedora 42 on several systems already -- including upgrading my main production system to it -- and it's been working out very well. Fedora 42 is packed full of new features and software updates making it a great H1'2025 Linux operating system release.

Fedora Workstation 42 ships the GNOME 48 desktop with HDR display support, Wayland improvements, and many other refinements. Fedora Workstation 42 is also now using its new web UI based Anaconda installer interface.

Fedora 42 also brings better Intel SGX support, Linux DRM Panic screen integration, the first Fedora COSMIC Spin release, SDL3 transition support, and much more.

Fedora 42 is also shipping the nearly-final GCC 15 compiler along with Golang 1.24, the LLVM 20 toolchain, PHP 8.4, Ruby 3.4, and a ton of other software upgrades. If GNOME isn't your thing, KDE Plasma 6.3 is available along with the Xfce 4.20 and LXQt 2.1 desktops. The Fedora Wiki outlines all the interesting Fedora 42 changes in full.

I've been running Fedora 42 even on my main production system for a few days already and very happy with the quality of this release. On test systems from laptops to servers it's also been very pleasant. Frankly the only critique I have of it so far in my usage is the default background... It looks like something out of a children's book or some cartoon film. Typically I don't care about desktop backgrounds much and 99% of the time just use the default background and am content with it, but with Fedora Workstation 42 I personally find it too funky/off-putting that I bothered to change it to one of the Fedora wallpaper alternative. Yes, very minor but really don't see how a cartoonish background of a forest ties into Fedora or its branding even compared to some of the backgrounds on prior Fedora Linux releases. So besides wishing it had a simpler/sleeker/more-professional looking default, I really haven't encountered any other real complaints with Fedora 42 thus far -- so all in all, Fedora 42 is looking to be a splendid success.

Those wanting to download Fedora 42 can go ahead and begin downloading it from Fedora mirrors. I'll have more Fedora 42 performance benchmarks and other Linux distribution performance comparisons for 2025 coming up soon on Phoronix.

Read More

抖音买的发货了，期待明天上手，我是顺丰快递员，自己给自己派送+国补激活，哈哈

Read More

突然发现一个好玩的东西诶，在b站一个博主的视频 x7u和findx8u对比，里面有提到一个OPPO的官方公众号“OPPO design”，里面有历代OPPO，一加产品的设计理念，里面有一期关于findx7u的设计理念，当初设计OPPOfindx7Ultra后面摄像模组里有圆形呼吸灯这个设计的，部分原文：

“ FindX7视觉符号「地月双环」
日月轮转，是地球的昼夜交替。
地月环绕，是永恒的吸引陪伴。
潮汐相随，是月球永远以一面与地球相伴。
保持同频，终成为彼此宇宙的终极浪漫。

FindX7环宇呼吸灯信息提醒功能（设计初期创新概念）仰望，光穿越遥远宇宙星系，宛如远道而来的信使，一呼一吸间传递思念的讯号。

FindX7环宇呼吸灯充电拍照交互功能概念（设计初期创新概念图）随着影像功能的强大，摄像模组面积也随之变大。因此，早在设计之初，我们更希望利用圆形呼吸灯使手机更有生命力，让后摄自拍更简单出片。”

我觉得是个很好的设计，跟之前的一个小众手机“NothingPhone”系列很像，不知道因为什么原因最后x7u发布以后 呼吸灯设计没有了，有可能是太耗电，也有可能是太鸡肋没有高端味，或者只是个概念没有去规划去设计 甚至可能连概念机都没有，不过我还是觉得这个设计理念挺好的，虽然不是什么稀奇高端的技术，但也增添了不少功能和趣味，也算是一种创新理念，比如说手机来信息，拍照倒计时，充电光效，电量光效，来电光效等等等等...总之这是个不错的让人眼前一亮的设计，我很喜欢，希望将来OPPO能在find系列上用上这个概念设计。
OPPOfindx7ultra是find系列我最喜欢的一款产品，高端的表盘纹理，玻璃和PU皮革还有铝合金的边框拼接设计，尽显高端气质，让人感觉买手机的钱 花的很值，让人觉得很有设计感，仿佛像一个艺术品一样，让人忍不住收藏，用了将近一年下来，用着挺舒服的，我反正是觉得没什么缺点。机圈对x7u的评价还是挺高的，被机圈誉为 “ota之神”，不过OPPOfindx8ultra也是个挺不错的产品，有一种简约的美，但相较于OPPOfindx7ultra来说是两个不同的设计理念，一个是“匠心设计，中式审美”，另一个是“OPhone”，“简约之美”，少了点精致和高端设计，但简约并不能代表OPPOfindx8ultra不是一个好产品好设计，只是两者的设计理念不同罢了。可能是OPPOfindx7ultra的设计太戳中我的审美了吧，不出意外的话可能会继续用个几年，等出了新的能勾起我换机欲望的手机才会换吧。随便写了几句，大家也随便看看就好，也希望各位酷友互相友好交流，一起聊聊吧[呲牙]
#OPPOFindX8Ultra# #ColorOS15# #旧机博物馆#

Read More

Read More

【荣耀Power正式发布：起售价1999元】 📌售价 8G+256G —— 1999元（补后1699元） 12G+256G —— 2199元（补后1869元） 12G+512G —— 2499元（补后2124元） 配色：幻夜黑 / 沙漠金 / 雪原白 新机搭载骁龙7 Gen 3平台，配备8000毫安时青海湖电池，支持66W有线快充；拥有荣耀C1+芯片，支持北斗卫星通信功能。此外还配备全功能NFC、双频GPS及三频北斗定位系统。 屏幕方面，该机配备6.78英寸2700*1224分辨率 OLED等深四曲屏幕，支持120Hz刷新率，峰值亮度4000尼特，支持光学屏下指纹识别。 影像方面，新机配备后置50MP IMX906 OIS主摄+5MP超广角、前置16MP的组合。机身尺寸上，荣耀Power厚7.98mm，重209克，支持生活防水。 #今日热点# #MagicOS9.0#

Read More

The rings are real, and they're spectacular.

Read More

荣耀Power，这价格可还行？

8GB+256GB ￥1999/国补价￥1699
12GB+256GB ￥2199/国补价￥1869
12GB+512GB ￥2499/国补价￥2124

Read More

两个月后就号称要淘汰GPT-4.5的GPT-4.1，实力究竟如何？在众多实测中，它的表现的确可圈可点，但却依然打不过Gemini 2.5 Pro和Claude 3.7 Sonnet。那么问题来了，OpenAI为何要发布一个远远落后于谷歌的模型？

不过两月，GPT-4.5正式出局，前浪把后浪拍在了沙滩上。

GPT-4.1家族的出世，以更强编码性能，百万token上下文，更具性价比的价格，直接击穿了4.5。

nano版的GPT-4.1性能足以媲美GPT-4o mini，而且速度更快，价格更便宜。

这些模型目前仅在API中提供，不过目前爆火编码平台Windsurf、Cursor开启了福利大放送，七天免费体验GPT-4.1。

这不，全网首波实测已经来了。

GPT-4.1编码惊艳，却打不过Gemini 2.5

这款以超强编码著称的模型，在实际任务表现中又如何呢？

OpenAI科学家表示，GPT-4.1是不是推理模型，却可以在软件工程基准测试中拿下55%高分

网友Flavio Adamo用同一个提示——让小球在旋转的六边形中模拟自由落体，测试了GPT-4.1三款模型和GPT-4.5的编码表现。

不难看出，GPT-4.1精准模拟了小球物理运动过程，GPT-4.1-mini/GPT-4.1-nano却差了很多意思。

GPT-4.5的实力几乎不输GPT-4.1。

另一个类似的测试中，让GPT-4.1挑战旋转正方形，模拟出球体在正方形内真实弹跳的效果。

Kaggle开发者Parul Pandey表示，用GPT-4.1创建用于教育物理模拟的过程非常有趣。

如下，用小球击倒金字塔代码生成过程中，模型读取很少的不必要的文件，代码结构也非常简洁。

另一位工程师通过Windsurf让GPT-4.1在30秒内，便生成了一个贪吃蛇的游戏。

微软研究员Dimitris Papailiopoulos分别用GPT-4.1、GPT-4o、GPT-4.5去画独角兽，推测出4.1要比4o参数量小。

有一说一，GPT-4.1生成的独角兽是当中最丑的那个。

沃顿商学院教授Ethan Mollick用GPT-4.1去生成飞船控制面板的p5js。他表示，相较于GPT-4，4.1进步非常大，整体上表现出色。

而且，Ethan表示GPT-4.1是第四款可以在twigl中首次运行着色器的模型。

网友让GPT-4.1和Gemini 2.5 Pro去模拟一个霓虹灯照亮的赛博朋克城市夜景，4.1模型在这个案例中还是比谷歌模型强不少。

以上demo中，不难看出GPT-4.1的编码性能确实非常惊艳，但从宏观来看，仍不如Gemini 2.5 Pro、Claude 3.7 Sonnet。

Aider多语言编码最新测试中，GPT-4.1得分为52.4%，接近Grok 3和DeepSeek V3。成本相较于o3-mini也降了一半。

网友对此吐槽到，GPT-4.1编程不如DeepSeek V3，但价格却贵了8倍。

同样，在最新Livebench基准评估中，也同样印证了GPT-4.1推理、编码、数学实力比Gemini 2.5差。

Abacus.AI创始人Bindu Reddy表示，4.1性能在GPT-4o之上，但Livebench结果表明，新模型只是对4o的一个增量更新。

哈佛科学家Pierre Bongrand更是一针见血地指出，OpenAI首次在谷歌之后发布了一个远远落后的模型。

在GPQA Diamond知识问答基准测试中，GPT-4.1系家族未达到人类博士级水平，更别提超越Gemini 2.5 Pro了。

网友一张恶搞图戏称，在OpenAI发布GPT-4和GPT-4.1期间，谷歌便将Bard进化到最强Gemini 2.5版本。

今年的AI大战中，显然是OpenAI与谷歌硬碰硬的终极较量。

谷歌包围圈已成，OpenAI依然不可小觑

随着GPT-4.1的发布，Ai2后训练负责人Nathan Lambert也在第一时间发了一篇分析文章。

他表示，虽然GPT-4.1是一个小版本的更新，但这让人们更清楚地认识到，驱动着最佳API业务的，是非常不同的模型。

如今，OpenAI正在用GPT-4.1，将API和ChatGPT分离。

它的模型正在优化每一美元的智能，我们以后还将继续看到，ChatGPT的处理方式和API业务的不同。

最近，OpenAI 一直在进行各种小幅更新，而他们最终的愿景，就是将ChatGPT打造成一个独立于其API的单体应用。

上周，ChatGPT的记忆功能得到了改进。

今天，OpenAI又宣布了一套仅限API的模型GPT-4.1，直接跟谷歌的Gemini形成了竞争。

单独来看，其实最近的发布都没有什么颠覆性的前沿突破，毕竟性能相当的模型，已经存在了。

不过，从这些更新中，却可以看出OpenAI的战略重心走向。

如今，它的周活跃用户已经破了19亿，此时，它需要的是ChatGPT及背后模型，与市场上任何其他AI产品都截然不同。

其他产品的中心，主要都是编码或信息处理，与它们不同，ChatGPT则格外注重个性、氛围感和娱乐性。

体现这一点的一个经典例子，就是GPT-4.5连同它的高昂定价一起，正从API中被弃用，不过仍会保留在ChatGPT中。

即将发布的o3、o4或开放模型，目前还让人看不清OpenAI的宏观战略方向。

从下图可以看出，OpenAI传递的核心信息很简单——提供性能更好、推理速度更快的模型。

以下是新的OpenAI模型与谷歌Gemini每百万Token的价格对比（单位为美元）。

OpenAI新模型:

GPT-4.1：输入/输出：2.00/8.00 | 缓存输入：0.50

GPT-4.1 Mini：输入/输出：0.40/1.60 | 缓存输入：0.10

GPT-4.1 Nano：输入/输出：0.10/0.40 | 缓存输入：0.025

OpenAI旧模型:

GPT-4o：输入/输出：2.5/10.00 | 缓存输入：$1.25

GPT-4o Mini：输入/输出：0.15/0.60 | 缓存输入：$0.075

谷歌Gemini:

Gemini 2.5 Pro （≤200K Tokens）：输入/输出：1.25/10.00 | 缓存：不可用

Gemini 2.5 Pro （>200K Tokens）：输入/输出：2.50/15.00 | 缓存：不可用

Gemini 2.0 Flash：输入/输出：0.10/0.40 | 缓存输入：0.025（文本/图像/视频），0.175 （音频）

Gemini 2.0 Flash-Lite：输入/输出：0.075/0.30 | 缓存：不可用

虽然OpenAI的模型学术评估结果表现强劲，但这并未完全反映它们的实际情况。毕竟在实践中，它们需要执行的是重复性的小众任务。

显然，这些新模型是用来直接对标Gemini Flash和Flash-Lite的（在 Gemini 2.5 Pro惊艳发布之后，备受期待的Gemini 2.5 Flash也即将面世）。

相比之下，GPT-4o-mini的性能已经落后，且不如Flash好用。

想在API业务上取得成功，OpenAI就需要在Gemini已经占据优势的这个前沿领域实现突破。

都是从GPT-4.5蒸馏来的？

很多人已经发现了：在OpenAI的官方宣传中，这些新模型的发布模式如出一辙——有广泛改进，却很少解释具体原因。

所以几乎可以肯定，这些五花八门的新模型，都是为了获得更好的个性和推理能力，从GPT-4.5蒸馏而来的。

或者是在编码和数学上，借鉴了像o3这样的模型。

可以看出，新模型在代码上已经取得了重大进步，要知道，曾经OpenAI早期的模型在这方面曾经差得离谱，几乎挂0。

不过，在编码和数学的评估上，这些新模型仍然明显落后于Gemini 2.5（推理模型）或 Claude 3.7（可选推理模型）这样的顶尖模型。

如今，我们正处于模型向包含推理转变的早期阶段，但究竟什么是单一的最佳模型，这个概念已经变得更为复杂了。

这些推理模型会通过消耗远多于以往的Token，来实现性能的大幅提升。性能固然是王道，但若性能相当，则是成本更低者胜出。

但先发优势仍难以撼动

但说到底，对大多数普通用户来说，上面这些技术细节其实意义不大。

对他们来说，那个被戏称为「模型投入度」的、令人头疼的滑块反而更直观——

长期以来，相对于API的价格，很多人对聊天机器人的订阅费会更感到犹豫。

但显然，一个日渐清晰的现实就是，真正个性化的、受用户喜爱的体验，往往只存在于这些集成的应用程序中。

当然，开发者也可以通过API构建竞品，积累用户交互数据，但鉴于 OpenAI在产品层面已经建立起了巨大的先发优势，想要胜过OpenAI，恐怕没那么容易。

所有这些，都再次印证了我们的认知：产品化，是当前AI发展的重中之重。

记忆功能，以及将ChatGPT这条产品线与API服务进行更清晰的切割，都有助于OpenAI铺平未来的发展道路。

但要完全实现这一愿景，OpenAI前方仍有很长的路要走。

参考资料： 

https://x.com/bindureddy/status/1911865521504747563 

https://x.com/paulgauthier/status/1911927464844304591

https://x.com/flavioAd/status/1911848067470598608

本文来自微信公众号“新智元”，作者：新智元，36氪经授权发布。

Read More

英伟达宣布了一项开创性计划，在美国制造AI超级计算机，通过与台积电、富士康等巨头合作，打造价值5000亿美元的AI基础设施。

英伟达周一抛出重磅消息，宣布将首次在美国制造AI超级计算机。 

未来四年内，英伟达将通过与台积电、富士康、纬创资通、安靠（Amkor）和矽品（SPIL）的合作，在美国打造出价值5000亿美元的AI基础设施。

目前，位于亚利桑那州凤凰城的台积电工厂已经率先开工，开始生产Blackwell芯片。

英伟达已在亚利桑那州设立生产基地，用于制造和测试其Blackwell芯片，并在德克萨斯州设立生产基地，用于生产和测试AI超级计算机

与此同时，在德克萨斯州，富士康和纬创资通正紧锣密鼓地搭建超级计算机制造工厂。

预计在未来12至15个月内，位于休斯顿和达拉斯的工厂就能逐步开启大规模生产。

英伟达已经投入超过100万平方英尺的场地，在亚利桑那州制造和测试其Blackwell芯片，和在德州生产AI超级计算机。

关于英伟达芯片全面本土生产的可行性，仍然存在重大疑问。

报告显示，虽然Blackwell芯片的前端处理可以在亚利桑那州进行，但这些芯片可能仍需使用台积电的CoWoS技术进行先进封装，而该技术目前在亚利桑那州的工厂尚未配备。

AI芯片和超级计算机的供应链极其复杂，对制造、封装、组装以及测试技术的要求极高。

为了啃下这块硬骨头，英伟达找来了得力帮手。

在亚利桑那州，它与安靠（Amkor）和矽品（SPIL）合作，开展芯片的封装和测试工作。

构建用于加速AI模型训练和推理的GPU供应链，需要合作伙伴共同提供先进制造、封装和测试技术。

混乱中的五千亿美元豪赌

英伟达携手一众合作伙伴，开启了在美国本土的大规模制造计划。

这些世界领先的公司正通过与英伟达的合作，期望在拓展全球业务的同时，让供应链更有韧性。

英伟达的AI超级计算机，堪称新型数据中心的「心脏」，是推动AI产业飞速发展的关键基础设施。

黄仁勋表示，「全球AI基础设施的引擎首次在美国建造。美国制造不仅能满足市场对AI芯片和超级计算机日益增长的需求，还能增强供应链，提升企业应对风险的能力。」

该公司将利用其先进的AI、机器人和数字孪生技术来设计和运营这些设施。

包括用NVIDIA Omniverse创建工厂的数字孪生，以及用NVIDIA Isaac GR00T制造机器人以实现制造自动化。

这表明该公司打算在其美国制造业务中引入大规模自动化。

英伟达也在公告中强调了其在美国创造就业机会的潜力，声称其芯片制造计划有望在未来几十年创造数十万个就业岗位，并推动数万亿美元的经济活动。

然而，鉴于现任美国政府国内和国际贸易政策的不确定性，很难说这些计划是否真的会按设想实现。

贸易制裁与极限施压

特朗普政府致力于推动本土制造业发展。这一决策并非偶然。

据报道，如果台积电不在美国建立新的芯片工厂，将不得不缴纳高额罚款。

不少分析师认为，如果不是来自政府的压力，英伟达不太可能把生产环节搬到美国。

此前，特朗普政府宣布对半导体展开贸易调查。

据报道，英伟达通过与其达成本土制造协议，躲过了对H20芯片的出口管制。

H20是功能强大的AI芯片，在当前美国限制下仍可合法出口。其规格有所降低，以符合出口管制规定，同时保持与CUDA平台的兼容性。

其他科技公司也纷纷效仿。

今年1月，OpenAI与软银和甲骨文合作，推出了一项5000亿美元「星际之门」计划。微软则承诺在2025财年投入800亿美元建设AI数据中心，其中50%将在美国。

然而，推动美国芯片制造业发展的计划面临着巨大且日益严峻的挑战。

针对中国的贸易限制反过来影响了原材料的供应，而且组装芯片所需的熟练制造工人也严重短缺。

与此同时，特朗普政府企图破坏《芯片法案》，可能阻碍半导体巨头的投资。

参考资料： 

https://techcrunch.com/2025/04/14/nvidia-says-it-plans-to-manufacture-some-ai-chips-in-the-u-s/ 

https://blogs.nvidia.com/blog/nvidia-manufacture-american-made-ai-supercomputers-us/ 

本文来自微信公众号“新智元”，作者：新智元，36氪经授权发布。

Read More

iglu – 想法、灵感、创意、微日记，碎片化私密记录应用[iPhone]

via 小众软件

Read More