2025年6月20日，由51CTO主办的"开发者系列沙龙：HarmonyOS NEXT 高效开发与创新实践"在北京正式召开！本场沙龙，旨在搭建一个深度学习与交流的平台，帮助开发者全面理解HarmonyOS NEXT的技术优势，掌握高效开发的核心方法论，并探索其在各行业场景中的创新应用。

清华大学、腾讯ARC Lab、香港中文大学和香港大学联手提出了一个新大模型——MindOmni，显著增强了AI的“推理生成能力”。 生成图像这件事，会推理的AI才是好AI。 举个例子，以往要是给AI一句这样的Prompt： （3+6）条命的动物。 我们人类肯定一眼就知道是猫咪 ...

AI智能体正重塑运维领域！开源工具Chaterm率先成为运维领域的「Cursor」，通过AI Agent实现云端资源自动管理，运维+AI释放强大生产力，未来还将上线语音控制功能，助力运维进入智能化新时代。 AI智能体的风终于吹到运维了！ AI Coding似乎已经成为程序员们的标配 ...

清华大学软件学院发布生成式时序大模型——日晷（Sundial）。告别离散化局限，无损处理连续值，基于流匹配生成预测，缓解预训练模式坍塌，支持非确定性概率预测，为决策过程提供动态支持。 最近，清华大学大数据系统软件国家工程研究中心的⼀项时序⼤ ...

本文将以Transformer架构为核心，深入探讨嵌入向量的生成过程，剖析其背后的“魔法”，并通过代码示例展示如何实现这一过程。 大家好，我是写代码的中年人，上一篇文章我们介绍了词元的概念及如何训练自己的词元，待训练的数据变成词元后，我们发现词元 ...

Go 目前使用的 IO 模型是 IO 多路复用，由 netpoll 模块实现，这部分没有特别的地方，重点是 Go 把 IO 模型和协程结合一起，大概的流程如下。 IO 模型是软件中非常重要的部分，软件架构也随着 IO 模型的变化而变化，比如服务器架构经历了一个请求一个进程+阻塞式 ...

Spring 状态机还有很多高级特性和应用场景等待我们去探索，比如工作流引擎、有限状态自动机等。只要我们合理运用，它就能成为我们开发过程中的得力助手，让我们的代码质量更上一层楼。 兄弟们，有没有那么一瞬间，看着自己写的那些处理状态逻辑的代码 ...

与2D相比，4D拓扑量子纠错码在编码效率、纠错能力、逻辑操作都非常出色，并且每个逻辑量子比特只需要极少的物理量子比特，可以一次性检查错误，并将错误率降低1000倍。 今天凌晨4点30，微软首席执行官SatyaNadella分享了，微软在量子计算的重大技术突破成果 ...

近日，一篇来自香港中文大学、北京大学及上海人工智能实验室的最新研究首次对 GRPO 和 DPO 算法在自回归图像生成中的应用进行了全面深入的比较，不仅评估了它们在域内（in-domain）和域外（out-of-domain）的性能，还细致探究了不同奖励模型及扩展策略对其能力 ...

近日，快手技术团队交出了他们的答卷，最新提出的「OneRec」首次以端到端生成式架构重构推荐系统全链路。 人人都绕不开的推荐系统，如今正被注入新的 AI 动能。 随着 AI 领域掀起一场由大型语言模型（LLM）引领的生成式革命，它们凭借着强大的端到端学习 ...

斯坦福大学、UC伯克利、MIT等机构联合发布研究论文《Solving Inequality Proofs with Large Language Models》，首次系统评估了29个顶级大模型在奥数级不等式证明任务上的能力。 这不是段子，而是正在发生的现象。 大语言模型解决不等式证明问题时，可以给出正确答案，但 ...

RAGFlow 与 MinerU 在复杂表格处理下的局限性、如何使用 Python-docx 等库实现把每一行表格数据都转化为一个独立且富含上下文的“事实”句子，以及如何可靠的提取单元格图片和存储实现。 一周前知识星球内有个星友，提了一个关于 Word 文档中的复杂表格处理问题 ...