由于内存供应紧张，英伟达将迷你 AI 工作站 DGX SPARK 的价格从 3,999 美元上涨至 4,699 美元，涨幅达18%。该工作站支持本地运行200B参数模型，推理性能达到1petaFLOP。

Ardour 9.0 正式发布，新增钢琴卷帘窗口、MIDI 图形编辑和直接录制支持，改善用户体验，支持多点触控，适用于 Linux、Windows 和 macOS。

联想推出基于兆芯处理器的多款计算解决方案，包括信创AIPC和高性能双路工作站，具备强大算力和扩展性，适合复杂计算任务。

Super Micro Computer将在拉斯维加斯展示其高性能Super AI Station，集成NVIDIA GB300超级芯片，人工智能计算能力提升5倍。同时推出搭载Intel Xeon和AMD CPU的工作站及边缘AI系统，支持高效能边缘计算。

文章探讨了通过“脱糖”将复杂的Rust语言简化为核心Rust，降低复杂度，确保一致性，并简化形式化验证。脱糖将表面语法转化为核心语法，使Rust更可预测和易于实现。

Super Micro Computer将在密苏里州圣路易斯的Supercomputing 2025大会上展示其最新的AI工厂和高性能计算创新，包括液冷系统和新平台，旨在提升HPC和AI环境的性能，以满足各行业需求。

软通华方推出3700四卡液冷工作站，具备1120T INT8推理算力和384GB显存，支持复杂AI任务。液冷技术降低噪音50%，提升能效，助力智慧教育发展。

NVIDIA推出RTX PRO 4000 SFF和RTX PRO 2000 Blackwell GPU，提升工程、内容创作和3D可视化性能，支持AI加速，体积小、能效高，显著提高建模和渲染速度。

AMD最新的Zen 5架构Ryzen Threadripper Pro 9000 WX系列CPU将于7月23日上市，最高售价11699美元，具备96核192线程，专为工作站设计，支持专业渲染和本地AI部署，性能显著提升。其他型号起价1649美元。

AI助手正在改变软件开发，提高开发者效率，减少重复工作。它们可在云端或本地运行，本地助手在NVIDIA RTX GPU上表现优异，适合敏感项目。工具如Continue.dev和Tabby支持本地开发，提供即时反馈和个性化支持，提升学习和开发体验。

Ardour数字音频工作站已完全移除对GTK2的支持，转而使用本地化的YTK工具包，提供触摸输入和改进的macOS支持，简化在移除GTK2的Linux发行版上的构建。但Ardour仍依赖X.Org服务器，并存在GTK2的限制。

AMD发布线程撕裂者9000系列处理器基准测试，旗舰款9995WX拥有96核心和192线程，性能显著提升，预计7月上市，领先英特尔至强处理器。

本文介绍了在虚拟机上安装Arch Linux和Windows 7的步骤，包括磁盘分区、系统安装、网络配置和双启动设置。首先启动虚拟机并进入BIOS选择安装镜像，调整键盘布局，使用fdisk和cgdisk进行磁盘分区，安装Windows 7并配置网络，最后安装Arch Linux并设置双启动，以便选择启动Windows或Arch Linux。

华硕发布安全更新，修复四款工作站主板中AMI BIOS/UEFI的高危漏洞CVE-2024-54085（评分10/10），该漏洞可能被黑客远程利用，导致恶意软件感染和硬件损坏。用户应立即更新固件以确保设备安全。