Nvidia和联发科合作，基于Grace Blackwell超级芯片推出了Project DIGITS个人AI电脑，它运行定制的Ubuntu Linux系统，拥有强大的AI算力。这款售价3000美元的电脑，未来将推出更亲民的版本，价格预计在1000美元左右。这一合作标志着Nvidia进军桌面CPU市场，并试图通过与Windows Subsystem for Linux (WSL)的结合，将Linux操作系统带给更广泛的用户。此举将为用户提供性能强大的、原生支持Linux的电脑，特别是在ARM架构下具有显著优势。
阅读更多
近期高调的网络攻击事件频发，为慕尼黑再保险和丘博等保险公司带来了巨大的机遇，网络保险市场正快速扩张。人工智能使得网络攻击更加普遍和具有破坏性，慕尼黑再保险预计全球网络保险市场规模将在2025年达到163亿美元，高于2024年的153亿美元。到2030年，全球保费总额预计将增长一倍多，达到约300亿美元，年均增长率超过10%。
阅读更多
本文是针对F1官网加载性能的系列文章的第三篇，对Red Bull Racing的官网进行了深入分析。尽管Red Bull官网的加载速度已经比2019年版本快得多，但仍存在一些可以优化的地方。文章指出，减少不必要的内联代码、优化图片（特别是使用AVIF格式代替WebP格式）、以及改进图片加载方式等，可以显著提升网站性能。通过这些优化，Red Bull官网的加载速度将得到进一步提升。
阅读更多
Artifact 是一款面向硬件工程师的协同 IDE，旨在加速工程生命周期的每个阶段，涵盖设计、采购、制造、集成、测试和维护。它获得了 350 万美元的融资，用于构建一个集成的、可验证的 AI 辅助工具，拥有直观的 UI，并能反映硬件的实际构建过程。Artifact 的所有工件都是自动生成的，并可追溯到单一事实来源。Artifact 致力于使硬件工程更加严谨、周全和系统化，并与客户紧密合作，解决世界上最复杂的工程技术难题。
阅读更多
OpenAI 在推出 GPT-5 时意外下架了 GPT-4o 等旧模型，引发大量 ChatGPT 用户不满。许多用户依赖 GPT-4o 进行创意协作、情感交流等，而 GPT-5 在这些方面表现不同，导致工作和创作方式受到影响。OpenAI 虽然回应称将为付费用户恢复 GPT-4o，但此举凸显了大型语言模型用户需求多样化以及 OpenAI 在模型更新中对用户体验考虑不足的问题。这同时也引发了关于大型语言模型伦理问题的讨论，例如在处理高风险个人决策问题时应有的谨慎性。
阅读更多
fui是一个用C语言编写的轻量级帧缓冲区用户界面库，可在TTY环境下直接操作帧缓冲区。它采用分层绘图系统，支持像素绘制、基本图形绘制（线条、矩形、圆形）、位图字体渲染、键盘鼠标事件处理（使用libevdev）以及简单的基于alsa的声效系统（目前支持正弦波和和弦）。该库静态链接，包含示例和测试用例（使用cmocka）。其中，asteroids文件夹包含一个简单的同名游戏示例，展示了库的声效功能。
阅读更多
本文介绍了一个使用PyTorch实现的最小化概率扩散模型，用于处理二维数据集。作者通过一系列实验，探索了学习率、模型大小、扩散过程长度以及时间步编码等超参数对模型性能的影响。实验结果表明，合适的学习率至关重要，较长的扩散过程能生成更完整的样本，而模型容量并非主要瓶颈。此外，使用正弦嵌入对输入进行编码有助于学习低维问题域中的高频函数。
阅读更多
1973年的战争权力决议旨在限制美国总统未经国会同意即发动战争的权力。该决议源于越战期间国会对总统权力不断扩张的担忧，以及尼克松总统秘密轰炸柬埔寨事件的曝光。决议规定，总统在未经国会宣战或授权的情况下，只能在遭受攻击的情况下动用军队，且最长不得超过60天。尽管该决议存在宪法争议，并多次被指控违反，但它在一定程度上制衡了总统的战争权力，也引发了关于总统和国会战争权力平衡的长期争论。
阅读更多
面对特朗普政府削减NASA、NOAA等机构气候科研经费的举动，200多位美国气候和气象科学家发起为期五天、总时长100小时的YouTube直播马拉松。直播内容涵盖小型讲座、小组讨论和问答环节，旨在向公众普及气象学和气候科学知识，并呼吁公众关注气候变化，督促政府增加科研投入。此次活动获得了超过7.7万次的观看，科学家们用行动捍卫着气候研究的价值，也警示着经费削减可能带来的灾难性后果，例如对农业、沿海社区和灾害预警系统的影响。
阅读更多
一家小型旅游网站Travel Lemming因谷歌算法更新而损失了95%的流量。作者认为，谷歌利用AI更新，压制独立网站，为其AI主导的搜索引擎未来铺路。谷歌不仅垄断了搜索，还试图垄断答案本身，构建信息垄断。作者呼吁关注此事，避免信息流被单一企业控制。
阅读更多
微软宣布将于7月18日关闭其微软商店中的电影和电视商店，这意味着用户将无法再通过微软商店购买新的电影和电视内容。虽然此前微软已于2017年关闭了Groove音乐流媒体服务，但这标志着微软近20年在线销售电影和电视的业务正式结束。用户此前购买的内容仍可通过电影和电视应用程序访问，但微软建议用户转向Netflix、亚马逊Prime Video等第三方平台。此举对长期依赖微软平台的用户来说可能造成不便，他们需要重新适应新的平台和服务。
阅读更多
美国联邦通信委员会（FCC）正考虑重新分配6GHz频段，这引发了关于Wi-Fi未来和频谱拍卖的争议。专家指出，6GHz频段对Wi-Fi至关重要，因为它能显著提升速度和连接设备数量，支持VR等新兴应用。然而，该频段也面临着来自卫星和移动运营商的竞争压力，FCC主席Brendan Carr倾向于将更多频谱分配给移动运营商。目前，6GHz频段的Wi-Fi部署才刚刚起步，使其成为重新分配的潜在目标，这可能对Wi-Fi的未来发展产生重大影响。
阅读更多
美国总统拜登签署了一项行政命令，旨在确保美国在人工智能基础设施建设方面的领先地位。该命令概述了在联邦土地上建设先进人工智能数据中心的计划，并强调了与私营部门合作、利用清洁能源、保护国家安全和促进经济竞争力的重要性。该计划包括在联邦土地上建立至少三个先进人工智能数据中心，并配套建设清洁能源设施，以满足其巨大的能源需求。同时，该命令还致力于确保公平的竞争环境，并使美国工人和社区受益。
阅读更多
ROCKNIX是一个面向掌机游戏玩家的不可变Linux发行版，专注于复古游戏模拟。它由一个小型的爱好者社区开发，旨在提供满足玩家需求的功能，并兼顾开发乐趣。ROCKNIX集成了跨设备本地和远程网络游戏功能、触屏支持、电池续航和性能的精细控制、音乐和视频播放支持等。它还支持蓝牙音频和控制器、HDMI音频和视频输出以及USB音频，并能通过Syncthing和rclone进行设备间和设备与云端的同步。此外，它还内置了游戏信息抓取和RetroAchievements支持。
阅读更多
1969年，阿波罗11号宇航员完成登月任务返回地球后，竟然需要填写海关申报单！申报物品赫然写着“月球岩石和月尘样本”，出发地为“月球”，到达地为夏威夷檀香山。这份充满传奇色彩的申报单，不仅记录了人类首次登月的壮举，也展现了美国海关一丝不苟的执行力，以及一段关于宇航员尼尔·阿姆斯特朗与一位飞行员之间友谊的故事。
阅读更多
作者尝试使用Rust语言构建FastCGI服务器，并将其与Tide嵌入式Web服务器进行比较。实验发现，虽然FastCGI在处理脚本语言的HTTP请求时可能具有优势，但在Rust中，使用Tide构建简单的HTTP服务器更便捷高效，无需复杂的配置和进程管理。最终结论是：除非特殊需求，否则直接使用嵌入式Web服务器更佳。
阅读更多
一篇关于软件缺陷修复成本的文章揭示了一个长期存在的谬误：修复软件缺陷的成本随着时间的推移呈指数级增长，这源于一个根本不存在的IBM研究。实际上，现有研究对这一说法缺乏强有力的支持，甚至有些研究表明修复时间并无显著差异。文章呼吁重视软件工程的经验主义研究，强调代码审查、短迭代周期和反馈循环的重要性，并批判了学术界重理论轻实践的现状。
阅读更多
arXivLabs是一个框架，允许协作者直接在arXiv网站上开发和分享新的功能。参与arXivLabs的个人和组织都认同并接受了arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果您有想法可以为arXiv社区增值，请进一步了解arXivLabs。
阅读更多
一篇声称AI显著提高材料科学研究效率的MIT经济学论文被曝造假。论文作者Aidan Toner-Rodgers声称基于对1000多名研究人员的随机试验数据，得出AI工具显著提升了材料发现、专利申请和产品原型开发等方面的结论。然而，数据来源存疑，研究结果过于完美，且对材料科学的专业知识运用存在明显错误。MIT已确认论文造假，引发学术界震动。此事件凸显了对科研成果的严格审核和质疑的重要性，也暴露了在快速发展的AI领域中，对不实研究的警惕性不足的问题。
阅读更多
本文讲述了扎哈哈迪德的伯吉塞尔滑雪跳台，这座2002年竣工的建筑标志着这位曾被誉为“纸上建筑师”的建筑大师的职业生涯转折点。此前，她无数惊艳的设计方案都未能落地。而伯吉塞尔滑雪跳台的建成，证明了她的宏伟设计能够变成现实，也为她赢得了国际声誉，开启了她一系列重大项目建设的序幕。这座融合了滑雪跳台、咖啡馆和观景台的建筑，以其独特的造型和对周边环境的和谐融合，成为了因斯布鲁克的新地标。
阅读更多
作者分享了一系列改变其对编程语言和编译器理解的论文和博文，涵盖垃圾收集、代码优化、寄存器分配、正则表达式引擎、机器学习、SSA 形式、编译器设计等多个方面。这些文章以其简洁性、创新性和实用性，为作者提供了新的视角和思路，例如使用Z3作为证明引擎，利用模糊测试发现bug，以及高效的表达式解析方法等。文章体现了作者在持续学习和探索编程语言领域的深度和广度。
阅读更多
宇宙微波背景辐射（CMB）中存在一些细微的温度差异，这些差异是由早期宇宙等离子体中的声波引起的，而这些声波源于大爆炸初期空间结构中的微小量子涨落。科学家们试图通过分析CMB中的统计相关性来“解读”这些“宇宙音符”，以探究宇宙的拓扑结构。令人困惑的是，在60度角以上，CMB的相关性消失了，这可能意味着宇宙的拓扑结构限制了某些波长的存在，如同乐器只能发出特定音调一样。研究人员正在绘制不同拓扑结构的“音符”图谱，并利用CMB和星系分布数据来寻找宇宙的形状，这将是检验宇宙模型、解释CMB异常的关键。
阅读更多
大型语言模型（LLM）擅长处理文本和图像信息，但在处理表格数据方面却存在不足。目前，LLM主要依赖于已发布的统计摘要，而无法充分利用表格数据（如调查数据）中的知识。文章提出了一种新的方法，通过机械蒸馏技术，创建单变量、双变量和多变量摘要，并结合LLM提出问题和学习，从而更好地理解和利用表格数据。该方法包含三个步骤：理解数据结构、确定可提出的问题类型以及创建机械摘要和可视化结果。作者认为，这种方法可以用于增强检索式问答系统（RAG）和补充可能存在偏差的“世界数据”，并建议从科学论文数据存储库（如哈佛数据仓）和管理数据入手进行验证。
阅读更多
Librebox是一个开源游戏引擎，它运行Luau语言并旨在复制Roblox公共API，允许Roblox代码在Librebox引擎上运行。开发者可以完全掌控自己的游戏，从代码到引擎，创建沉浸式游戏体验。目前Librebox处于演示阶段，已支持基本场景渲染、光照、阴影等功能，并计划在未来版本中加入物理引擎、网络功能等。Librebox完全免费且开源，不依赖Roblox的任何代码或资产，为开发者提供了一个构建自主游戏平台的理想选择。
阅读更多
最近以色列和乌克兰利用无人机对敌方目标发动了一系列成功的袭击，这引发了人们对未来战争和全球力量平衡的担忧。文章分析了廉价无人机带来的颠覆性影响：它们能够以低成本对关键基础设施（如公路、桥梁和发电站）发动袭击，从而造成巨大的经济破坏，这与传统的大规模军事力量对抗形成了鲜明对比。这种不对称的战争能力使得大型国家也难以防御，并可能导致全球秩序的重塑，最终走向更加分散和去中心化的权力结构。
阅读更多
本文探讨了Clojure库的非凡稳定性，并揭示了其背后的原因并非静态类型，而是社区约定俗成的避免破坏性变更的实践。作者通过分析Clojure代码库的稳定性和流行库的代码保留率，以及一个修复bug的案例，论证了Clojure社区对稳定性的重视。文章指出，Clojure的稳定性源于其对数据结构（不可变性、EDN序列化）和命名方式（命名空间元素）的设计，以及避免重命名、改变函数签名等破坏性变更的策略。作者认为，与其依赖静态类型来避免变更带来的问题，不如从根本上避免破坏性变更，这才是维护库稳定性的关键。
阅读更多
一名在哥伦比亚大学参与反以抗议的巴勒斯坦籍研究生马哈茂德·哈利勒被美国移民执法局逮捕。当局以其支持哈马斯为由，撤销了他的学生签证和绿卡。此举被认为是特朗普政府打压学生政治抗议活动的升级行动，引发了关于言论自由和政治报复的争议。哈利勒曾是学生抗议活动的谈判代表，并面临学校对其社交媒体言论的纪律处分。此次逮捕事件也与特朗普政府此前威胁削减哥伦比亚大学拨款有关，该大学正因应对校园反犹太主义的措施而受到政府审查。
阅读更多
据路透社和CNBC报道，三星电子副董事长兼首席执行官韩钟熙因心脏病突发去世，享年63岁。韩钟熙于1988年加入三星，2011年成为显示器产品研发负责人，后领导三星电视业务，并于2021年出任三星DX部门（涵盖移动和消费电子）负责人，2022年正式成为副董事长兼CEO。尽管缺乏移动领域经验，他带领三星电视业务连续15年全球销量第一。去世前一周，他还出席了股东大会，就公司股价低迷和AI半导体市场应对不足等问题致歉，并表示公司在半导体并购方面面临监管挑战，但决心今年取得实质性进展。目前，韩钟熙的联合CEO全荣铉成为三星唯一的CEO。
阅读更多
本文探讨了利用智能体进行编程的革命性方法。作者将智能体定义为包含LLM调用的for循环，赋予LLM访问编译器、文件系统和测试套件的能力。这与仅使用LLM进行编程（类似于在白板上编程）形成对比，智能体通过环境反馈极大地提高了代码生成的效率和准确性。作者分享了使用智能体进行GitHub App身份验证和处理SQL中JSON的案例，展示了其在提高生产力和处理复杂任务方面的优势。尽管智能体需要更多时间和计算资源，但其效率提升和降低人为错误的潜力使其成为未来编程的强大工具。
阅读更多
许多企业面临着云基础设施的挑战：可扩展性准备不足导致资源浪费和成本飙升；工作负载难以预测，导致冷启动时间过长；数百甚至数千个应用程序需要持续维护和更新，漏洞修复和依赖项管理成为难题；跨云供应商、多区域和边缘部署也增加了复杂性。这些问题导致基础设施效率低下，并增加了运营成本。
阅读更多