面对千万级关系链与实时推送挑战，腾讯频道如何构建高性能Feeds流系统？本文深度解析三层架构设计策略，揭秘读写扩散混合方案与扩散量剪枝优化，破解超大社区场景下的空拉难题，为复杂社交产品架构提供实战经验。
从 Chrome 125 开始，支持了一个全新的 CSS 特性 - Anchor Positioning，翻译过来即是锚点定位。 在之前的文章中，我们较为系统的讲述了这个新特性的使用，感兴趣的可以翻开一下前文：抢先体验！超强大的 Anchor Positioning 锚点定位[1]。 在本文中，我们将使用锚点定位，实现一个简化版本的 Popover 功能。下面，我们将一起一探究竟。
DeepSeek 加速了模型平权，随之而来的是大模型推理需求的激增，大模型性能提升的主战场从训练转移到了推理。推理并发的提升，将催生计算、存储、网络、中间件、数据库等领域新的工程化需求。 本文将分享 SSE 和 WebSocket 这两个大模型应用的标配网络通信协议，一起重新认识下这两位新时代里的老朋友。 目录： SSE 和 WebSocket 是什么？ 大模型应用出现前的主流网络通信协议是什么？ 为什么大模型应用没有沿用 Web 类应用的主流通信协议？ 为什么 SSE 和 WebSocket 更适合支持大模型应用？ 实时通信协议的技术挑战和应对方案 What's Next？
近日，豆包大模型团队提出 BFS-Prover，一个基于大语言模型 (LLM) 和最优先树搜索 (BFS) 的高效自动形式化定理证明系统。 团队通过该成果发现，简单的 BFS 方法经过系统优化后，可在大规模定理证明任务中展现卓越性能与效率，无需复杂的蒙特卡洛树搜索和价值函数。 在数学定理证明基准 MiniF2F 测试集上，BFS-Prover 取得了 72.95% 准确率，超越此前所有方法。
作为一种新的商品表现形态，内容几乎存在于手淘用户动线全流程，例如信息流种草内容、搜索消费决策内容、详情页种草内容等。通过低成本、高时效的AIGC内容生成能力，能够从供给端缓解内容生产成本高的问题，通过源源不断的低成本供给倒推消费生态的建立。过去一年，我们通过在视频生成、图文联合生成、个性化文案、人设Agent等核心技术上的持续攻关，AIGC内容生成在手淘多个场景取得了规模化落地价值。本专题《淘宝的AIGC内容生成技术总结》是我们摸索出的一部分实践经验，我们将开启一段时间的内容AI专题连载，欢迎大家一起交流进步。
2025 年 2 月 21 日，vLLM 通过官方博客宣布了由字节跳动开发的 AIBrix 大模型推理系统正式开源，为 vLLM 推理引擎提供可扩展且高性价比的控制面。本文译自 vLLM 博客，由 AIBrix 团队校对。
在流量日益增长的今天，随着用户需求的不断增加和性能要求的提升，一个能够更好地处理高并发、低延迟和资源有效利用的计算层是十分重要的。尽管在过去我们平台使用Java开发的计算层提供了稳定的服务支撑，但面对日益增长的流量和低延迟的需求，Java不可避免地开始显现局限性： 垃圾回收：Java 的自动内存管理依赖于垃圾回收机制，而垃圾回收虽然简化了开发工作，却可能引入不可预测的延迟。 内存使用效率：Java 的内存管理通常比手动管理的语言消耗更多的内存，因为它必须保留足够的空间来处理对象分配和回收。 异步处理瓶颈：虽然Java近年来强化了异步编程支持，但在极限性能优化方面，仍存在不可忽视的不足。 在此背景下，经过调研和实验验证，我们发现了Rust这个计算层改造升级的语言选型。Rust语言以其出色的内存管理、安全性和高效性能而闻名。Rust的所有权模型可以在编译时捕捉大多数内存错误，从而减少运行时错误，这对需要高可靠性和稳定性的系统尤为重要。此外，Rust没有垃圾回收机制，这意味着我们可以更好地预测和控制内存使用，提高应用程序的性能和资源利用率。
【1】OpenAI首个智能体Operator大测评 【2】腾讯落子，AI后手入场 【3】字节OmniHuman-1人体动画生成新突破 【4】2025年最佳项目管理工具对比 【5】DeepSeek爆火，巨头开始反击 【6】微软SWE Agent首曝光 【7】山姆·奥特曼提出AI经济学观察 【8】华为小艺版DeepSeek和R1有何差别 【9】AI霸屏第二年，硅谷大佬们Pick哪些产品 【10】OpenAI发布全新VI设计指南
在人工智能领域，大型语言模型的快速发展引发了无数关于技术革新和未来趋势的讨论。随着各类AI技术的不断突破，越来越多的创新模型开始崭露头角，而最近备受关注的DeepSeek更是成为了热议的焦点。它被一些人称为“AI技术的重大突破”，甚至被认为是下一代人工智能发展的重要方向。 今天，我们邀请了13位工程师同事，来一起聊聊DeepSeek。
本文介绍了服务端在搭建 Web 版的百万人级别的群聊系统时，遇到的技术挑战和解决思路，内容包括：通信方案选型、消息存储、消息有序性、消息可靠性、未读数统计。
