在今年的春节期间，DeepSeek 火出了圈。凭借 DeepSeek-V3 与 DeepSeek-R1 的创新技术和卓越表现，DeepSeek 迅速成为了行业内外的焦点。不管是技术专家还是普通用户，都对 DeepSeek 赞不绝口。我们特别准备了这篇技术科普文章，期望无论你是不是技术同学，都能够读懂 DeepSeek。
聚合页广告将商家和优惠信息以多种形式聚合展示给用户，是美团广告业务中一个重要的业务场景。本文从最能影响用户决策的“发券”和“排序”两个方向出发，介绍了上下文感知建模在广告场景的落地方案，证明了聚合页上下文感知的收益空间。希望能对从事相关研究的同学带来一些启发或帮助。
刚刚，阿里云视频生成大模型万相2.1（Wan）重磅开源，此次开源采用Apache2.0协议，14B和1.3B两个参数规格的全部推理代码和权重全部开源，同时支持文生视频和图生视频任务，全球开发者可在Github、HuggingFace、魔搭社区下载体验。
面对千万级关系链与实时推送挑战，腾讯频道如何构建高性能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% 准确率，超越此前所有方法。
