edwinjhlee的博客

CrateDB 5.10.7版本发布，主要进行了一系列错误修复和性能优化。升级需注意：必须从4.0.2或更高版本升级，建议先升级至5.9版本；4.x版本创建的表需迁移数据至新表。主要修复包括：改进stddev函数计算精度、优化系统表查询错误提示、修正ALTER TABLE添加子列的数据类型问题、提升窗口函数性能、修复视图设置持久化问题，以及优化DELETE语句重试逻辑。升级前请务必备份数据。

NixOS 25.05 "Warbler" 正式发布，带来多项重要更新。该版本将获得7个月的错误修复和安全支持，直至2025年底。软件包仓库新增7840个包，更新28054个现有包。系统新增137个模块和1930个配置选项。主要软件更新包括GNOME 48、Linux内核6.12、LLVM 19和GCC 14。旧版本24.11将于2025年6月30日停止维护。

TypeScript 原生预览版发布，编译速度提升10倍！该版本采用Go语言重写编译器，新增JSX检查支持，并优化JavaScript文件分析。开发者可通过npm安装预览包或VS Code扩展体验。目前仍有限制，如暂不支持.d.ts输出和--build模式。团队计划年内推出更完整版本。详情见微软TypeScript博客。

本次 x-cmd 更新（v0.5.12 ~ v0.5.14）主要引入了新功能、优化了用户体验并修复了多个问题。新功能包括 ip tps 命令的端口发现功能、advise addon 的命令补全扩展机制以及 root repoint 的根目录切换功能。优化方面，改进了 otherwise app 的模块描述提示与对齐样式，提升了界面清晰度。修复了 PowerShell 与 Git Bash 的 UTF-8 编码兼容性问题，增强了 Test-Path 的兼容性，并解决了批处理标签缺失导致的问题。用户可通过安装脚

DBeaver 25.0.5 版本近日发布，带来了多项功能升级和问题修复。SQL 编辑器方面，CTE 补全和导航支持显著提升，新增了 STRAIGHT_JOIN 和 LATERAL JOIN 支持，并修复了列补全和导航快捷键冲突问题。元数据功能新增了调整多行字段大小的选项。导航器新增了显示文件夹中元素数量的功能，并修复了打开模式和数据库的问题。此外，新增了 CLI 运行器 dbeaverc，并改进了驱动版本管理。数据库支持方面，修复了 Clickhouse、MySQL、Oracle 和 PostgreSQL

腾讯近日发布了混元图像2.0模型（Hunyuan Image2.0），该模型在AI图像生成技术上取得显著突破。其最大亮点是实现了毫秒级的实时生图速度，大幅提升了用户体验，用户可同步看到图像生成过程，告别了传统的等待模式。此外，该模型在图像质量上也表现出色，通过强化学习和人类美学知识的引入，生成的图像真实感强、细节丰富，避免了常见的“AI味”。在国际权威测试中，其准确率超过95%。创新功能“实时绘画板”支持同步上色预览和多图融合，为设计师提供了更便捷的创作工具。该模型的发布标志着AI图像生成技术的进一步成熟。

OpenAI 近日在 ChatGPT 平台上推出了两款新 AI 模型：GPT-4.1 和 GPT-4.1 mini。GPT-4.1 专为编码和高效任务设计，在处理复杂编程需求时表现出色，运行速度更快，且输出更简洁可靠。GPT-4.1 mini 则是轻量级版本，适合资源有限的设备，同时保持较高精度。付费用户可通过模型选择器访问 GPT-4.1，而免费用户默认使用 GPT-4.1 mini。技术方面，新模型支持更大的上下文窗口，增强了多模态能力，并优化了用户界面，提升了操作便捷性。此次更新旨在提升 ChatGP

腾讯近日推出了名为CodeBuddy的AI编程助手，旨在提升开发者的工作效率。CodeBuddy的主要亮点包括：全新的英文品牌面向全球开发者；Craft模式允许AI智能体独立理解需求并完成多文件代码生成和改写；支持国内首个MCP协议，兼容开放生态；以及多项功能增强，如代码补全、工程理解、单元测试和代码评审等。详细介绍中，Craft模式通过自然语言指令让AI深度理解需求，独立完成代码编写与修改；Chat模式允许开发者随时提出问题并寻求建议；MCP协议兼容开放生态，支持腾讯生态产品及外部工具的连接。

Manus AI 智能体平台近日宣布全面开放注册，用户无需邀请码即可直接使用。该平台被誉为“全球首款通用智能体”，能够独立解决复杂任务，如简历筛选、旅行规划、数据分析、PPT制作、代码编写和网页游戏部署等。用户每天可免费执行一项任务（300积分），新用户还可获得1000积分的一次性奖励。付费订阅计划提供更多功能和优先服务，价格从每月19美元到199美元不等。Manus旨在通过AI技术赋能每个人，成为日常工作和生活中的超级助手。

随着微软宣布将于2025年10月14日终止对Windows 10的支持，数百万用户面临硬件升级或寻找替代方案的选择。为此，“End of 10”倡议应运而生，旨在推广Linux作为Windows 10的可持续替代方案，帮助用户延长现有设备的使用寿命，避免不必要的硬件更换。该倡议由多个开源项目和组织支持，强调Linux在性能、隐私、安全性和用户自主权方面的优势，并提供资源和社区支持，帮助用户顺利过渡。通过这一活动，用户不仅能够保持设备的功能性和安全性，还能减少电子垃圾，促进环保。

Node.js 24.0 版本近日发布，带来了多项性能提升、安全增强和开发体验的改进。核心更新包括：V8 引擎升级至 13.6 版本，支持新的 JavaScript 特性；集成 npm 11，提升包管理性能；Windows 平台构建工具链从 MSVC 切换到 ClangCL，简化构建过程；AsyncLocalStorage 优化，提升异步上下文跟踪效率；URLPattern API 全局可用；权限模型改进，简化启用标志；测试运行器增强，支持自动等待子测试完成；HTTP 客户端升级，集成 Undici 7，提

调整 x ping 默认参数为 bing.com，旨在提供一个稳定、响应速度快且公开可访问的默认测试目标，让用户无需额外输入即可快速检测与外部网络的连接状态。修复了 x ping 在某些使用 inetutils-ping (因其不支持 -O 选项) 的系统上无法正常运行的问题。现在，x ping 模块可以识别 inetutils-ping，并针对 inetutils-ping 做了兼容性处理。设置过别名（alias），需要重新手动设置一次，旧的配置将不再生效。变量的支持，改为使用。

此举旨在精简 Linux 内核代码，减轻维护负担，并使内核开发更专注于现代 x86 架构。对于绝大多数用户来说，这是一个积极的、几乎无感的后台优化。

该模型拥有70亿参数，旨在攻克当前预训练模型在推理能力方面的瓶颈，探索如何更有效地激发模型的深层推理潜能。MiMo的推出，标志着小米在人工智能领域，特别是在提升模型数学推理和代码生成能力方面迈出了重要一步。小米已将MiMo全系列模型在HuggingFace平台全面开源，方便广大用户和研究者访问和使用。小米近日正式发布了其首款针对推理（Reasoning）任务而设计的开源大型语言模型——小米表示，MiMo是其新成立的大模型核心团队的初步尝试。这些成绩充分展示了MiMo模型在推理任务上的优越性。

Auto-cpufreq，一款适用于 Linux 的免费开源自动 CPU 速度与功耗优化器，已发布其最新版本 2.6。该工具旨在根据系统当前的工作负载和电源状态，动态调整 CPU 调节器 (governor) 和频率设置，以平衡功耗、性能和散热管理。更多详细信息，请参阅官方发布。

官方 Arch Linux WSL 镜像的发布，是 Arch Linux 社区与 Microsoft 合作的积极成果。Arch Linux 社区与 Microsoft 合作，正式宣布 Arch Linux 现已提供官方的 Windows Subsystem for Linux (WSL) 镜像。此前，Windows 用户若想在 WSL 中使用 Arch Linux，往往需要依赖非官方的社区构建镜像，这些镜像的质量和维护情况可能不稳定。官方镜像的推出，为用户提供了可靠、标准的 Arch Linux 体验。

Moonshot AI 近日正式推出了 Kimi-Audio，这是一款开源的音频基础模型。Kimi-Audio 旨在成为一个通用的音频处理框架，在音频理解、生成和对话等多个领域展现出卓越能力。Kimi-Audio 的开源降低了音频 AI 技术的应用门槛，使开发者和研究人员能够更便捷地利用先进的音频处理能力构建创新应用。它采用了新颖的架构，结合了混合音频输入和基于大型语言模型（LLM）的核心。为了促进社区研究和开发，Kimi-Audio 以开源形式发布，提供了代码、预训练和指令微调的模型权重。

Qwen3 的发布是通往通用人工智能（AGI）道路上的重要一步。未来，研发团队计划在模型架构、数据规模、上下文长度、多模态能力以及利用环境反馈进行长周期推理等方面持续优化，致力于从训练“模型”转向训练更强大的“Agent”，为用户的工作和生活带来更有意义的进步。这一新系列模型在性能上取得了显著突破，旨在提供更强大的智能体验。Qwen 团队近日发布了其大型语言模型系列的最新成员——

DeepWiki 有助于解决在面对大型、复杂或文档不完善的代码库时难以快速理解和导航的问题，为需要进行项目学习、代码重构或审计等工作的人员提供了极大的便利。这款工具利用人工智能技术，能够自动为任何 GitHub 代码库生成结构化、类似维基百科风格的文档。简化开发者（以及任何需要理解代码的人员）理解陌生代码库的过程。近期，Devin AI 公司推出了一款名为。

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

因为 Kali Linux 仓库更换了新的 GPG 签名密钥。旧密钥由于访问权限丢失（**注意：并非泄露或被攻破**）而无法继续使用，因此启用了新的密钥来签署软件包仓库。

此次 DeepSeek R1T Chimera 在 OpenRouter 的上线，标志着高性能开源 AI 在性能、效率和可访问性平衡方面取得了新的突破，为 AI 应用的探索提供了更经济、高效的选择。由 TNG Technology Consulting 研发的全新开源 AI 模型。平台，为全球用户和开发者带来了结合强大推理能力与高效率的先进 AI 工具。

Nginx 此版本汇集了 1.27.x 主线开发周期中的众多改进，建议用户升级以获取最新的功能和修复。此版本基于之前的 1.27.x 主线分支，整合了多项新功能、性能优化和错误修复。Nginx 官方于 4 月 24 日发布了最新的。

用户只需确保 Caddy 拥有操作其域名 DNS 记录的权限（通过配置 DNS 提供商模块），并指定一个用于 ECH 的公共域名即可。Caddy Web 服务器迎来了 2.10 版本，带来了一系列令人兴奋的新功能和改进，旨在提升隐私、安全性和易用性。为了确保所有用户都能尽快获得最新的安全和隐私增强功能（如后量子加密），Caddy 2.10 及更高版本。总而言之，Caddy 2.10 在隐私保护、前瞻性安全和配置便利性方面迈出了重要一步，推荐用户升级体验。）作为“外壳”，将用户真正想访问的域名（例如。

OpenAI 近日正式发布了其最新开源项目——Codex CLI，这是一款轻量级的代码智能体工具。该工具一经发布便迅速引起广泛关注，在短短1天内就在 github 中获得了超过10000颗星的评价，展现了其巨大的吸引力。Codex CLI 旨在将强大的AI能力直接带入开发者日常使用的终端环境。它不仅仅是一个聊天工具，更是一个能够理解代码库、执行操作、迭代优化的智能助手。它让AI不仅能理解您的代码需求，还能直接动手生成、修改和运行代码，一切都在版本控制下进行。

总而言之，Gemini 2.5 Flash 的推出，为广大用户和开发者提供了一个在速度、智能与成本效益之间取得更优平衡的强大 AI 工具。无论是需要快速响应的日常应用，还是需要更深度思考的任务，它都展现出了巨大的潜力。这款新模型是基于备受欢迎的 2.0 Flash 版本构建的，并在推理能力上实现了重大升级，同时依然将速度和成本效益放在首位。与其他一些先进模型相比，它在保持较低成本的同时，展现了具有竞争力的性能水平。用户可以在模型选择器中找到它，并可以配合 Gemini 应用中的新功能，例如。

Ubuntu 25.04 “Plucky Puffin” 现已于 2025 年 4 月 17 日正式发布。此版本致力于纪念 Debian 开发者及 Ubuntu 发布团队的长期成员 Steve Langasek。作为一个为期 9 个月的短期支持版本，它带来了众多最新的软件更新和底层技术改进，适合希望体验最新功能的用户。Ubuntu 25.04 是一个短期支持（Short-Term Release）版本，将提供。，直至 2026 年 1 月。版本，该版本将获得至少到 2029 年的支持。

ChatGPT Plus、Pro 和 Team 用户即日起可在模型选择器中体验 o3、o4-mini 和 o4-mini-high。它在非 STEM 任务和数据科学领域也优于前代 o3-mini，并支持比 o3 更高的使用限制，是高吞吐量推理任务的理想选择。OpenAI o3 和 o4-mini 不仅是迄今为止最智能的模型，在大多数实际使用场景下，它们也比前代模型（o1 和 o3-mini）更高效、更经济。在 AIME 等测试中，o3 和 o4-mini 的成本-性能曲线均严格优于其前代。

智谱此次开源的 GLM-4-32B-0414 系列模型，包括基座模型、推理模型和沉思模型，均采用宽松的 MIT 许可协议，允许免费用于商业用途和自由分发。本次发布的 GLM-4-32B-0414 系列模型，性能卓越，在部分任务上甚至可以媲美 OpenAI 的 GPT 系列和 DeepSeek 的 V3 / R1 系列等拥有更大参数规模的顶尖模型。GLM-4-32B-0414 系列模型在多项基准测试中表现优异，在指令遵循、任务自动化、搜索增强问答、代码修复等方面均取得了领先水平。

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

现在，GitHub 为**公共代码仓库**免费提供了基于 **Windows arm64 架构**的托管运行器（Hosted Runners），目前处于**公共预览**阶段。

OpenAI 宣布，新一代 GPT-4.1 模型系列正式发布，包括 GPT-4.1, GPT-4.1 mini 和 GPT-4.1 nano 三款模型，该系列模型在各项性能指标上全面超越 GPT-4o 和 GPT-4o mini，尤其在代码能力和指令遵循方面取得了显著提升，目前仅支持通过 API 调用。GPT-4.1 是 4o 的升级，未来还会进一步优化。

备受欢迎的 Arch Linux 发行版 ArcoLinux 近日宣布，其项目将逐步结束。ArcoLinux 以其作为 Linux 教育平台和提供多种安装选项（从完整桌面环境到最小化基础安装）而闻名。ArcoLinux 项目方为用户提供的平稳过渡计划，体现了对社区负责任的态度。虽然项目的结束令人惋惜，但其在过去八年中的贡献以及留下的宝贵资源，将继续为 Linux 社区带来价值。

虽然 GPT-4 曾是 ChatGPT 发展中的一个重要里程碑，带来了许多突破，但 GPT-4o 在此基础上构建，旨在提供更强的能力、更高的一致性和更丰富的创造力，为您带来更好的使用体验。对于开发者而言，GPT-4 模型将继续通过 API 提供服务。此次变更主要影响 ChatGPT 的直接用户。

OpenSSH 10.0 已于 2025 年 4 月 9 日发布，现在可以从官网列出的镜像站点获取最新版本。OpenSSH 是一个广泛使用的 SSH 协议（版本 2.0）的完整实现，提供了安全的远程登录和文件传输功能（包括 SFTP 客户端和服务器）。

Meta AI 近日发布了其最新、最先进的 Llama 4 系列人工智能模型，标志着 AI 技术进入了一个原生支持多种信息类型（文本、图像、视频）的新时代。Rust 是一种致力于让每个人都能构建可靠、高效软件的编程语言。此版本带来了多项备受期待的功能和改进。

xAI 现已发布 Grok-3 API，包括 Grok-3 和 Grok-3 mini 两个系列，每个系列都提供了 fast 版本。备受 Debian 和 Ubuntu 用户喜爱的包管理器 APT 迎来了 3.0 版本。这次更新带来了多项重要改进，旨在提升性能、用户体验和安全性。总而言之，APT 3.0 是一次重要的升级，为 Debian 和 Ubuntu 生态系统的用户带来了更快速、更智能、更安全、更友好的包管理体验。

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

x-cmd 新增 uninstall 模块，提供跨平台的软件卸载能力，使用户能够快速查询并移除已安装的软件。等）以及第三方包管理器，简化了卸载流程，并可交互式选择需要删除的软件。

此次将其推向公开预览并提供更高的使用额度，是为了满足开发者日益增长的需求，推动基于 Gemini 技术的创新应用发展。总的来说，Qt 6.9 在图形渲染、文本处理、性能、网络功能和开发者工具方面都带来了显著的改进和新功能，鼓励用户升级以利用这些优势。对于最多 200000 个 tokens 的输入，Gemini 2.5 Pro 的费用为每百万输入 tokens 1.25 美元。因此，Gemini 2.5 Pro 的定价比谷歌当前提供的其他任何 AI 模型都要贵，且高于一些前沿 AI 模型。