Josherich的博客 Josherich的博客 ·

Terence Tao - Machine-Assisted Proofs (February 19, 2025)
📝

内容提要

Terence Tao - Machine-Assisted Proofs (February 19, 2025)

➡️

继续阅读

  1. Hubert 'depesz' Lubaczewski：等待PostgreSQL 19 – 添加REPACK的CONCURRENTLY选项
    PostgreSQL 19引入了REPACK的CONCURRENTLY选项，允许在不获取独占锁的情况下重组表。该功能通过共享更新锁创建初始副本，并利用并发...
  2. Presentation: Dynamic Moments: Weaving LLMs into Deep Personalization at DoorDash
    Sudeep Das and Pradeep Muthukrishnan explain the shift from static merchandis...
  3. 从零构建在线直播编辑分布式系统：架构设计与实现
    本文介绍了设计高并发、可扩展的在线直播编辑系统的方法，涉及实时转码、截图、HLS切片和任务调度等技术挑战。系统采用Manager-Worker架构，使用G...
  4. 具身智能公司自变量发布了机器人模型 WALL-B，35 天后进入真实家庭
    上周末，北京亦庄举行的机器人马拉松比赛显示，先进的人形机器人速度已超越顶尖马拉松选手。自变量公司发布新一代具身智能模型WALL-B，计划在35天后将其机器...
  5. Clerk Chat 更名为 Clerk AI，加倍投入面向企业大规模语音和消息传递的对话式 AI 代理
    Clerk AI于2026年4月20日更名，专注于为效果营销构建对话式AI代理。该平台支持智能语音和消息代理的大规模部署，能够进行个性化沟通并与CRM系统...
  6. Talkdesk 利用 AI 驱动的客户体验自动化技术，瞄准本地部署的联络中心
    Talkdesk 推出客户体验自动化 (CXA) 产品，旨在将 AI 功能整合到现有联络中心，支持多语言和全渠道客服。CXA 增强人工客服能力，降低运营成...
👤 个人中心
在公众号发送验证码完成验证