12月29日,针对微信安装包为何10多年来膨胀几百倍,微信官方在一档播客中表示,这是一个客观情况。呼应用户需求,微信提供了越来越更丰富的功能,它需要包含的代码、逻辑及资源,如图片、表情等,客观上会让安 … Continue reading 微信回应安装包10多年膨胀数百倍:不会无限增长,安卓版体积在持续下降
标签: 代码
字节推出形式化数学推理专用模型Seed Prover 1.5
12月24日,字节跳动Seed团队宣布推出形式化数学推理专用模型Seed Prover 1.5。据介绍,相比上一代模型,Seed Prover 1.5在16.5小时内,针对IMO 2025的前5道题目 … Continue reading 字节推出形式化数学推理专用模型Seed Prover 1.5
Linux之父批马斯克愚蠢,“不配在科技公司工作”,指其亲自审核代码淘汰程序员
近日在一档视频节目中,Linux创始人林纳斯・托瓦兹评论马斯克管理开发者的方式“愚蠢得不配在科技公司工作”。他所谈论的是以开发者代码数量来进行淘汰的行为。而被主持人点出这样做的人是马斯克后,林纳斯・托 … Continue reading Linux之父批马斯克愚蠢,“不配在科技公司工作”,指其亲自审核代码淘汰程序员
亚马逊内部文件曝光:力推自研Kiro 排挤外部AI编程工具
财联社11月25日电,根据一份亚马逊内部备忘录透露的信息,亚马逊(AMZN.US)建议其工程师们尽量不使用第三方AI代码生成工具,转而选用自家的解决方案,以此助力7月刚刚推出的专有服务Kiro。
智元发布灵心平台,可个性化定制机器人声音、性格、人设、记忆
11月24日,界面新闻获悉,智元机器人正式推出灵心平台,用户无需代码基础,即可通过拖拽点选定制机器人的声音、行为、人设、记忆并配置任务。目前,灵心平台支持远征A2旗舰款,需升级V1.3版本,以及灵犀X … Continue reading 智元发布灵心平台,可个性化定制机器人声音、性格、人设、记忆
OceanBase发布首款AI数据库seekdb并开源
11月18日,蚂蚁集团旗下OceanBase发布并开源了其首款AI数据库OceanBase seekdb。据介绍,开发者用三行代码,即可构建知识库、智能体等AI应用,实现百亿级多模数据检索。
蚂蚁推出全模态通用AI助手“灵光”
11月18日消息,蚂蚁集团发布全模态通用AI助手“灵光”,在移动端实现“自然语言30秒生成小应用”。作为全代码生成多模态内容的AI助手,灵光首批上线“灵光对话”、“灵光闪应用”、“灵光开眼”三个功能, … Continue reading 蚂蚁推出全模态通用AI助手“灵光”
财说|AI编程收费潮下,金现代“轻骑兵”能否杀出重围?
AI编程工具的收费化已成行业不可逆转趋势。从国际主流平台到国内新兴产品,几乎全面告别“免费午餐”,转向“订阅制+按量计费”的商业化路径。 近日,字节跳动旗下豆包编程正式推出收费方案,个人“Coding … Continue reading 财说|AI编程收费潮下,金现代“轻骑兵”能否杀出重围?
空调代码在哪里看
空调是家庭生活中不可缺少的家电,它能够调节室内温度,让家里的人们能够享受到舒适的环境。但是,空调的使用也需要遵守一定的规则,比如空调的代码。那么,空调代码在哪里看呢? 首先,空调代码是指空调的型号,它 … Continue reading 空调代码在哪里看
一个人干掉一个团队,他用“AI工作流”撑起千万美元营收
在今天这个AI喧嚣、算力狂飙的时代,创业这件事似乎又被重新定义了。你看到的是融资榜单上令人眼花缭乱的数字,是模型更新的一波接一波,是朋友圈里谁又跑去开源社区“割了一波星”。但在这些现象背后,真正决定成 … Continue reading 一个人干掉一个团队,他用“AI工作流”撑起千万美元营收
