开源项目 servo（一个用 rust 编写的网页布局／渲染引擎）发布了 0.0.3 版本，servo 最初由 mozilla 基金会发起，后来交由 linux 基金会接管。
本次更新整合了过去一个月内的多项优化，涵盖性能提升、嵌入式 API 增强以及为更多网页内容添加上下文菜单等改进。
Servo 0.0.3 更新亮点包括：
现支持链接、图片及其他内容的上下文菜单
支持 HTML5 视频标签的控制功能。
压缩/解压缩流新增 Brotli...
著名开源开发者 fabrice bellard（因 qemu、tinycc、ffmpeg 和 quickjs 等项目而知名）开源了一个全新 javascript 引擎：microquickjs，特点是极低的资源占用，专为嵌入式系统和受限内存环境设计。
开源地址：https://github.com/bellard/mquickjs
根据介绍，MicroQuickJS（又名 MQuickJS）是一款面向嵌入式系统的 JavaScript 引擎。它仅需 10kB 的...
12月24日消息，影石法务部官方社交媒体账号于12月22日发布声明称，近期网络上持续涌现大量针对其全新无人机产品“影翎 antigravity”的恶意虚假信息，涵盖伪造用户差评、蓄意贬损产品质量、损害品牌公信力以及编造不实销售数据等内容。
12月23日，影石创始人兼CEO刘靖康转发该声明，并配文：高调者明面阴阳，低调者暗处捅刀，因果终有报。Franklin Marvolo Riddle。
注：“karma is a bitch”为英文俚语表达，直译为“业力是个泼妇”，...
从iphone 18系列开始，苹果公司将实施一项重大的战略调整，打破多年秋季统一发布新品的传统，转而采用每年两次推出iphone的模式。这一新策略旨在优化产品发布节奏，以适应市场需求，并提升用户体验。
根据计划，2026年秋季将推出三款重磅机型：iPhone 18 Pro、iPhone 18 Pro Max以及备受期待的折叠屏iPhone。同时，基础款的iPhone 18和iPhone 18e则会在2027年春季上市。这样的安排不仅为高端机型提供了更多市场空...
12月24日快讯，随着ces 2026大幕渐近，各大主板厂商已加速推进新一轮“前瞻适配”工作。
近日，华擎面向AMD 600/800系列及Intel 800系列主板发布了正式版BIOS更新，明确标注将兼容即将发布的下一代处理器。
在AMD平台方面，华擎推出了基于AGESA v1.2.7.1的稳定版固件（版本号4.03），适配范围涵盖多款主流600与800系主板，具体包括：
X870 Nova WiFi
X870 Riptide WiFi
X870 Steel Leg...
ubuntu开发商canonical确认了ubuntu 26.04长期支持版（lts）将采用linux 6.20内核。
此举并不令人意外，去年他们已宣布Ubuntu版本将始终搭载当时最新的上游内核，随后在Ubuntu 25.10中便采用了当时刚发布的Linux 6.17内核。如今在全新内核版本策略下，首个LTS版本即将面世，他们将全力押注Linux 6.20（或更可能更名为Linux 7.0）。
因此Canonical官方宣布Ubuntu 26.04“Reso...
近日，battlestate games工作室首席执行官尼基塔·布亚诺夫在与知名游戏主播welovegames的联合直播中，正式公布了拓展《逃离塔科夫》世界观的全新蓝图。此次直播中，官方明确表示，正以这款备受瞩目的硬核战术射击游戏为基石，同步推进一部完整电视剧集及代号为“塔科夫2.0”的重大版本升级。
不同于此前推出的实验性短片，《塔科夫》剧集将是一部制作精良、体量庞大的影视项目。尼基塔透露，剧情时间线横跨数十年——既深入挖掘诺文斯克地区战乱爆发前的历史根源，也呈现...
小米高端旗舰机型的价格门槛正加速迈向7000元区间。
近日，小米集团合伙人、总裁卢伟冰在一场直播中明确表示：小米17 Ultra不仅将上调售价，而且涨幅“较为显著”，提前向用户释放了价格调整信号。
推动此次涨价的关键因素在于内存芯片成本的大幅攀升。卢伟冰指出，自2022年底起，AI产业迎来爆发式发展，由此引发的存储需求激增，已使2025至2027年成为DRAM与LPDDR内存价格持续走高的关键周期。
权威数据显示，2025年第三季度DRAM均价同比飙升171.8%；...
12月24日消息，据鞭牛士最新报道，直播电商企业东方甄选即将迎来新一任执行总裁，由新东方教育科技集团副总裁、广州学校校长孙进接任。
公开资料显示，孙进自2006年加入新东方，长期专注于出国考试类培训及校区运营管理，在教学实践与组织管理方面积淀深厚，具备丰富的实战经验。
回溯此前动态，2023年底，时任东方甄选CEO的孙东旭因在处理与核心主播董宇辉关于文案署名权争议过程中的应对方式引发舆论广泛讨论，其决策风格与团队管理能力受到多方质疑，最终于2023年12月被解除东...
字节跳动 seed 团队推出新一代形式化数学推理专用模型 seed prover 1.5，通过大规模的 agentic rl 训练，其推理能力和推理效率取得显著进步。相比上一代模型，seed prover 1.5 在 16.5 小时内，针对 imo 2025 的前 5 道题目生成了完整可编译验证的 lean 证明代码，换算成绩为 35/42，达到此前 imo 评分标准的金牌分数线。
更系统的评估中，Seed Prover 1.5 在完整的 Putnam 历史评估集上解决...
