笔记列表-低调大师优秀个人博客

文章列表

共 185976 篇

2025-12-24

字节发布 Seed Prover 1.5：全新 Agentic 架构，更强数学推理表现

字节跳动 Seed 团队推出新一代形式化数学推理专用模型 Seed Prover 1.5，通过大规模的 Agentic RL 训练，其推理能力和推理效率取得显著进步。相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO...

阅读约2分钟

2025-12-24

LibreOffice 26.2 不再使用 “Community Edition（社区版）” 品牌名

在即将发布的 LibreOffice 26.2 中，官方决定不再使用“Community Edition”名称来称呼标准版本。之前 LibreOffice 曾试图用 “Personal Edition（个人版）” 命名，但因用户混淆而被否定，后来改为“Community Edition”。“Community Edition” 本意是和商业/企业版本做区分...

阅读约1分钟

2025-12-24

开源鸿蒙社区代码贡献者突破万人每一行代码都是改变世界的力量

近日，开源鸿蒙社区迎来重要发展节点——代码贡献者数量正式突破10000人。这一里程碑式的数字，不仅彰显了中国本土开源生态的强劲活力，也标志着开源鸿蒙迈入更高质量共建阶段。万名代码贡献者共同托举开源鸿蒙社区繁荣五年前，华为将其智能终端操作系统HarmonyOS的基础能力贡献给开放原子开源基金会，由开放原子开源基金会进行孵化和运营，并整合其他共建单位的贡献...

105

阅读约5分钟

2025-12-24

AutoMQ x FSx: 10ms Latency Diskless Kafka on AWS

介绍今天，我们正式宣布：继 S3 WAL、EBS/Regional EBS WAL[1] 之后，AutoMQ 将在 2025 年的 12 月的新版本中全面支持以 AWS FSx 作为新的 WAL 存储选项。AutoMQ 本身是一款完全兼容 Apache Kafka 协议、基于 S3 对象存储构建的新一代 Diskless Kafka，通过自研的「WAL +...

阅读约26分钟

2025-12-24

OpenAI 启用 AI 模拟黑客攻击

OpenAI 开发了一套“自动化攻击者”系统，通过模拟真实黑客的攻击手段，对 ChatGPT Atlas 进行全天候的压力测试。这套系统的核心在于对抗提示注入（Prompt Injection）攻击。在这种攻击中，恶意第三方会悄悄向 AI 代理发送指令，诱导其执行违背用户意愿的操作，例如在用户不知情的情况下转发敏感邮件或删除云端文件。 OpenAI 的“自...

阅读约2分钟

2025-12-24

面壁智能完成数亿元融资

面壁智能宣布，已于近期完成数亿元融资。本次融资由京国瑞、国科投资、中金保时捷基金、米聚资本与和基投资共同参与，募集资金将主要用于加大端侧高效大模型的研发投入，加速端侧AI的商业化进程。公告称，面壁智能顺利完成本轮融资，得益于端侧智能市场空间进一步打开，更有赖于投资方对面壁的技术实力、市场地位及行业前景的充分认可。作为国内在端侧智能领域布局最早的大模型厂商，...

阅读约2分钟

2025-12-24

2025 知乎 AI 产品榜年度榜单公布

知乎正式发布“年度 AI 产品榜单”。 “基于大家贡献的深度内容、真实互动与热度反馈，经过系统化的加权计算与多轮筛选，这份融合了广大用户心声与专业视角的 2025 年度 AI 产品榜单终于出炉。它既是一份来自社区的集体实测报告，也希望能为你接下来的选择，提供一份可靠的参考。” 在“知友年度爱用”榜单中，字节跳动旗下的豆包荣登榜首，其次分别是 DeepSeek...

阅读约1分钟

2025-12-24

Jan 团队发布 Jan-v2-VL，专为长周期执行任务设计的多模态模型

Jan团队发布了Jan-v2-VL-Max，一个30B多模态模型，专为长周期执行任务设计。模型基于Qwen3-VL-30B-A3B-Thinking，并采用LoRA-based RLVR技术提升稳定性并减少多步执行中的误差累积。据介绍，该模型在“幻象递减回报”基准测试中超越Gemini 2.5 Pro和DeepSeek R1，衡量了执行长度，被设计用于Ag...

阅读约1分钟

2025-12-24

为什么那么看重代码覆盖率？

大家好，我是陈哥。我看到有不少读者给我留言吐槽代码覆盖率很像自欺欺人的数字游戏，低了怕影响质量，高了又怕陷入“为了覆盖而覆盖”的无效内卷。明明功能测得差不多了，为啥非要揪着这个百分比不放？今天，我们就一起谈谈为什么那么看重代码覆盖率。一、测试人员的经验和责任没法量化很多人觉得，测试用例写得够不够，全靠测试人员的经验和责任心。这话没错，但经验和责任心是...

阅读约5分钟

2025-12-24

LoongArch64 已成为 Debian 官方支持架构

Debian 项目宣布：在进入 Debian Ports 两年多之后，LoongArch 64-bit 架构（简称 loong64）正式成为 Debian 的官方架构之一，将包含在即将发布的 Debian 14 “Forky” 版本中。官方支持有助于加强软件兼容性，提升 Debian 在 LoongArch 平台上的可用性和成熟度。这对国产架构生态是利好，...

阅读约2分钟

2025-12-24

Elasticsearch 9.2.3 发布

Elasticsearch 是一个基于 Lucene 库的搜索引擎。它提供了一个分布式、支持多租户的全文搜索引擎，具有 HTTP Web 接口和无模式 JSON 文档。Elasticsearch 基于 Java 开发，并在 SSPL + Elastic License 双重授权许可下作为开源软件发布。 Elasticsearch 9.2.3 现已发布，更新内...

阅读约3分钟

2025-12-24

Qwen-Image-Edit-2511 开源发布，一致性再提升

阿里通义Qwen团队宣布推出Qwen-Image-Edit-2511，称相比于Qwen-Image-Edit-2509，新版本进行了包括一致性提升在内的多项增强。如需体验最新模型，访问Qwen Chat并选择“图像编辑”功能。注意，线上版本有一定优化加速，如果要获取模型最佳效果，可以去ModelScope本地部署以获取最佳性能。 Qwen-Image-Ed...

阅读约2分钟

2025-12-24

智谱团队预告即将发布自研 IDE：Zcode

近日，智谱团队在 r/LocalLLaMA 举行了 AMA 问答，回答了关于模型迭代与开发生态等问题。在关于模型迭代的提问中，针对社区关于是否会有 GLM-4.8 或 GLM-4.9 版本的询问，智谱团队表示，版本号的命名取决于模型性能的进展。只有当模型性能有足够显著的改进时，才会将其命名为 GLM-5。此外，团队成员透露，公司内部正在开发一款名为 Zco...

阅读约2分钟

2025-12-24

Lima v2.0 发布，为安全 AI 工作流带来新特性

Lima 项目团队发布了 Lima 的第二个重大版本。在此版本中，团队将项目重点扩展到 AI 领域，同时继续支持容器。 Lima（Linux Machines）是一个命令行工具，用于启动本地 Linux 虚拟机，主要用于在笔记本上运行容器。该项目始于 2021 年 5 月，目标是向 Mac 用户推广 containerd 和 nerdctl（contaiNE...

阅读约6分钟

2025-12-24

Qwen3-TTS 全面升级: 音色设计与音色克隆

Qwen3-TTS家族新推出两款模型，音色创造模型Qwen3-TTS-VD-Flash（可通过Qwen API访问）和音色克隆模型Qwen3-TTS-VC-Flash（可通过Qwen API访问）。主要特点：音色创造：Qwen3-TTS-VD-Flash 支持复杂自然语言指令输入，实现对音色、韵律、情感、人设等的精细化调控，实现从“说什么”到“如何说”的...

117

阅读约3分钟

2025-12-24

2026年，本地化部署CRM系统选型指南

本地化部署 CRM 将系统安装在企业自有服务器上,数据完全自主可控,适合对安全合规要求高、需深度定制或长期使用的企业。一、为何选择本地化部署? 核心优势: 数据主权掌控:完全拥有数据所有权,满足金融、医疗、军工等行业监管要求安全合规保障:符合等保三级、数据不出境等特殊行业标准定制化自由度高:支持深度业务流程定制,满足企业独特需求长期成本优势:一次性买...

阅读约8分钟

2025-12-24

东方晶源以AI赋能破局良率瓶颈，荣膺2026 IC 风云榜“年度AI赋能企业先锋奖”

近日，备受瞩目的“2026半导体投资年会暨IC风云榜颁奖典礼”在上海隆重举行。东方晶源凭借在AI赋能半导体先进制程良率提升领域的突破性创新与卓越实践成效，经主办方评委会从AI技术应用的深度与广度、实际业务提升效果、行业影响力与创新性三个维度严苛遴选，成功斩获“年度AI赋能企业先锋奖”，成为AI技术与半导体产业深度融合标杆。本届IC风云榜由半导体投资联盟和集...

阅读约5分钟

2025-12-24

普利策得主领衔起诉六大 AI 巨头

由两届普利策奖得主约翰·卡雷鲁（John Carreyrou）领衔，数十位知名作家近日向美国加州北区地方法院提起集体诉讼，将OpenAI、谷歌、Meta、Anthropic、xAI与Perplexity AI六大AI公司列为共同被告，指控其系统性地使用盗版书籍训练大模型，构成“故意版权侵权”。若罪名成立，每部作品最高可索赔15万美元，总赔偿或达数十亿乃至上...

阅读约3分钟

2025-12-24

企业数据资产管理核心框架：L1-L5分层架构解析

背景分层结构的背景主要源于数据仓库和大型信息系统建模的实践，特别是受到以下方法论的影响：维度建模：由 Ralph Kimball 提出，强调从业务过程（对应主题域）出发，构建事实表和维度表（对应逻辑实体）。范式建模：由 Bill Inmon 提出，强调集成的、面向主题的、非易失的数据集合，其EDW（企业数据仓库）的构建需要自上而下的分层设计。企业架构...

阅读约8分钟

2025-12-24

🔥（史上最长更新）OpenSolon v3.8, v3.7.4, v3.6.7 发布

导引历时 8 年磨砺，1.7 万次代码提交，9个分仓库，几百个模块，20多万代码量， 1200 万次半年下载量 —— OpenSolon（即 Solon）正在重新定义 Java 企业级应用开发的性价比。今日，我们正式发布 OpenSolon v3.8 及其 LTS 维护版本。是一次架构级的跨越：从 AI 领域的 MCP 无状态集群支持，到 Flow 流程...

阅读约26分钟

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

文章列表

字节发布 Seed Prover 1.5：全新 Agentic 架构，更强数学推理表现

LibreOffice 26.2 不再使用 “Community Edition（社区版）” 品牌名

开源鸿蒙社区代码贡献者突破万人 每一行代码都是改变世界的力量

AutoMQ x FSx: 10ms Latency Diskless Kafka on AWS

OpenAI 启用 AI 模拟黑客攻击

面壁智能完成数亿元融资

2025 知乎 AI 产品榜年度榜单公布

Jan 团队发布 Jan-v2-VL，专为长周期执行任务设计的多模态模型

为什么那么看重代码覆盖率？

LoongArch64 已成为 Debian 官方支持架构

Elasticsearch 9.2.3 发布

Qwen-Image-Edit-2511 开源发布，一致性再提升

智谱团队预告即将发布自研 IDE：Zcode

Lima v2.0 发布，为安全 AI 工作流带来新特性

Qwen3-TTS 全面升级: 音色设计与音色克隆

2026年，本地化部署CRM系统选型指南

东方晶源以AI赋能破局良率瓶颈，荣膺2026 IC 风云榜“年度AI赋能企业先锋奖”

普利策得主领衔起诉六大 AI 巨头

企业数据资产管理核心框架：L1-L5分层架构解析

🔥（史上最长更新）OpenSolon v3.8, v3.7.4, v3.6.7 发布

资源下载

优质分享App

Mario

Spring

Rocky Linux

欢迎您来访！

开源鸿蒙社区代码贡献者突破万人每一行代码都是改变世界的力量