daily blog

小米重磅发布：首个推理大模型MiMo开源，70亿参数展现卓越性能 小米近日正式发布了其首款针对推理（Reasoning）任务而设计的开源大型语言模型——Xiaomi MiMo。该模型拥有70亿参数，旨

Auto-cpufreq 2.6 版本发布：带来增强的 TUI 监控及多项改进 Auto-cpufreq，一款适用于 Linux 的免费开源自动 CPU 速度与功耗优化器，已发布其最新版本 2.6。

Arch Linux 正式登陆 Windows Subsystem for Linux (WSL) Arch Linux 社区与 Microsoft 合作，正式宣布 Arch Linux 现已提供官方

Moonshot AI 发布 Kimi-Audio：开源音频基础模型，赋能音频理解、生成与对话新时代 Moonshot AI 近日正式推出了 Kimi-Audio，这是一款开源的音频基础模型。Kimi

Qwen3 正式发布：更深思考，更快行动的新一代大语言模型 Qwen 团队近日发布了其大型语言模型系列的最新成员——Qwen3。这一新系列模型在性能上取得了显著突破，旨在提供更强大的智能体验。 核心亮

DeepWiki：由 Devin AI 打造的 GitHub 代码库理解新工具 近期，Devin AI 公司推出了一款名为 DeepWiki 的免费新工具。这款工具利用人工智能技术，能够自动为任何 G

阿里云将于5月7日起提高多个域名的注册和续费价格 阿里云宣布自 2025年5月7日零时 起，对包括 .COM, .NET, .TOP, .XYZ, .VIP 在内的多个域名后缀的注册、续费及转入价格进

Kali Linux 重要通知：必须手动更新仓库签名密钥 摘要 近期，Kali Linux 用户在尝试更新系统时（运行 sudo apt update），可能会遇到签名验证错误，提示信息类似： 或者

DeepSeek R1T Chimera 模型正式登陆 OpenRouter 平台 由 TNG Technology Consulting 研发的全新开源 AI 模型

Nginx 1.28.0 稳定版发布 Nginx 官方于 4 月 24 日发布了最新的 1.28.0 稳定版本。此版本基于之前的 1.27.x 主线分支，整合了多项新功能、性能优化和错误修复。

Caddy 2.10 正式发布 Caddy Web 服务器迎来了 2.10 版本，带来了一系列令人兴奋的新功能和改进，旨在提升隐私、安全性和易用性。 主要亮点 新增支持加密客户端问候 (ECH)：

智谱开源 GLM-4-32B-0414 系列 AI 模型 国内人工智能领军企业智谱华章正式开源新一代 GLM-4-32B-0414 系列大语言模型，为开发者带来前所未有的强大 AI 能力！ 开源赋能，

Fedora 42 正式发布 Fedora Linux 42 现已正式发布！此版本基于最新的 Linux 内核 6.14 构建，带来了众多激动人心的新特性和改进，旨在提供更现代化、更强大、更易用的 L

GitHub Actions 更新：Windows arm64 托管运行器现已推出公共预览版 现在，GitHub 为公共代码仓库免费提供了基于 Windows arm64 架构的托管运行器

OpenAI 推出 GPT-4.1 系列 OpenAI 宣布，新一代 GPT-4.1 模型系列正式发布，包括 GPT-4.1, GPT-4.1 mini 和 GPT-4.1 nano 三款模型

ArcoLinux 项目宣布逐步结束 备受欢迎的 Arch Linux 发行版 ArcoLinux 近日宣布，其项目将逐步结束。

OpenSSH 10.0 已于 2025 年 4 月 9 日发布，现在可以从官网列出的镜像站点获取最新版本。 OpenSSH 是一个广泛使用的 SSH 协议的完整实现。

Llama 4 家族登场：开启原生多模态 AI 创新新纪元; Rust 1.86 引入重大语言特性

xAI 发布 Grok-3 系列 API 及其价格 xAI 现已发布 Grok-3 API，包括 Grok-3 和 Grok-3 mini 两个系列，每个系列都提供了 fast 版本。 Grok 3：

GitHub Copilot 全面升级，推出AI代理模式，可支援MCP；Devin 2.0 正式发布：带来全新的 AI 协作开发体验