HAMi 现已用于评估桌面 AI 工作站的体验，Olares 公司将其集成到项目中，标志着桌面 AI 工作站的新发展。

微软推出了 Microsoft Surface RTX SPARK 开发工作站，搭载英伟达芯片，支持本地运行 AI 模型。该工作站配备 20 核心 CPU 和 6144 CUDA 核心的 GPU，内存为 128GB，外壳采用阳极氧化铝，设有1000个散热孔，确保高负荷下保持凉爽。预计将于今年晚些时候在美国市场发布。

AMD推出了Ryzen PRO 9000系列处理器，首次在商业工作站中应用3D V-Cache技术。这些新芯片适用于复杂的数据密集型工作，支持高达256GB的DDR5内存和PCIe 5.0，预计在2026年下半年上市。

由于内存供应紧张，英伟达将迷你 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的限制。