➡️
继续阅读
-
Palomar——Lean验证数学注册表
陶哲轩宣布Palomar数学验证注册表开放提交,旨在验证Lean证明的可靠性。该注册表由Lean FRO和ICARM孵化,检查代码是否通过类型检查、无额外...
-
摩尔线程MTVSR视频超分技术合入VLC开源社区
摩尔线程自主研发的MTVSR视频超分辨率技术已合入开源播放器VLC官方代码库,成为国内首家实现该技术的GPU厂商。该技术利用AI模型和GPU硬件加速,将低...
-
宇树科技上市首日开盘暴涨:中一签赚47万 雷军、梁文锋赢麻了
宇树科技登陆科创板,开盘大涨629%,市值达4449亿元。公司主营人形机器人,2025年出货量全球第一,营收从2023年1.59亿元增至2025年16.9...
-
Stingr 将为 IBC2026 带来流畅的第二屏幕交互体验
Stingr公司推出第二屏幕交互平台,观众用手机对准电视即可识别内容,推送购物、赞助等信息,无需二维码或中断播放。广播公司可集成至自有应用,掌控数据与商业...
-
GPU云狂飙283%,百度的AI算力生意比想象中更暴力
百度二季度财报显示,AI新业务收入125亿元,占总收入50%,标志其转型为AI公司。智能云基础设施收入增长50%,GPU云业务增长283%,但传统广告收入...
-
Cilium / eBPF 数据面内核 — 系列规划
> 本文是写作规划,不是可发布正文。拆解对象:Cilium 在 Kubernetes 上的 eBPF 数据面内核——以 Cilium v1.20.0...