Equiv, check that an AI refactor did not change what your code does
开源工具Equiv提供确定性字节级验证,确保AI重构不改变代码行为,拒绝模型主观判断。
Article URL: https://github.com/Neelagiri65/equiv Comments URL: https://news.ycombinator.com/item?id=48515830 Points: 1 # Comments: 0
开源工具Equiv提供确定性字节级验证,确保AI重构不改变代码行为,拒绝模型主观判断。
Article URL: https://github.com/Neelagiri65/equiv Comments URL: https://news.ycombinator.com/item?id=48515830 Points: 1 # Comments: 0
揭秘LLM无法真正阅读,而是靠BPE分词器将文本切成词块,频繁内容整体化,罕见内容碎片化。
Here's a fact that breaks people's mental model of large language models the first time they really sit with it: A language model never sees your word…
豆包新增任务模式与专家模式,AI智能体自主执行全链路任务,效率再升级。
IT之家 6 月 12 日消息,前天,字节跳动旗下 AI 应用豆包已针对付费订阅开放灰度测试,除此之外,当时还有另一个“任务模式”也开启测试。 直到今天,豆包“任务模式”已经大范围上线。IT之家实测发现,大部分用户打开豆包首页就能看到官方提示。 用户打开豆包 App 后,界面顶部的模式切换选项也已经…
TVB与火山引擎联手,基于Seedance 2.0视频生成模型探索AI短剧新应用。
IT之家 6 月 12 日消息,字节跳动旗下火山引擎今日宣布,与香港电视广播有限公司(TVB)达成深度合作。 IT之家获悉,双方将 围绕豆包视频生成模型 Seedance 2.0 的应用落地 ,在影视内容智能化生产、短剧制作、IP 商业化探索及云基础设施建设等方面展开合作。 官方表示,火山引擎将与 …
36氪获悉,企查查显示,近日,北京云瑞长石科技有限公司成立,法定代表人为蔡强,注册资本为16亿元,经营范围包含:信息技术咨询服务;非居住房地产租赁;物业管理等。企查查股权穿透显示,该公司由字节跳动关联公司北京字跳网络技术有限公司全资持股。
字节AI手机项目核心负责人林夕离职,或影响其硬件战略布局。
IT之家 6 月 11 日消息,据 Z Finance 今日报道,多方信源确认,字节跳动 AI 硬件团队 Ocean 核心成员、豆包手机硬件产品负责人林夕已于近期离职。这是字节自 2024 年启动 AI 手机项目以来,首位出走的核心硬件负责人。 报道提到,林夕此前长期任职于华为终端,是 Pura X…
字节豆包启动付费订阅灰度测试,三档年费最高超五千元,AI商业化再提速。
IT之家 6 月 10 日消息,字节跳动旗下 AI 应用豆包已针对付费订阅开放灰度测试,今日有多位用户反馈在使用豆包专家模式时收到了“豆包专业版”付费订阅提醒。 而根据 36 氪爆料,豆包预计将在 6 月下旬正式上线付费订阅服务,并于同期举行的 Force 大会上公布相关功能更新。 IT之家此前报道…
IT之家 6 月 10 日消息,字节跳动火山引擎今日宣布,火山方舟版权商业化平台今日正式上线。同期,火山引擎与周星驰旗下比高集团达成版权合作, 周星驰经典影视 IP 首批入驻平台 。 IT之家了解到, 火山引擎已正式获得《喜剧之王》《食神》《长江七号》三部影片在 AI 视频创作场景下的版权使用权限 …
IT之家 6 月 10 日消息,据智能涌现今日消息, 字节跳动 AI 制药业务线已启动拆分与独立融资进程。 据悉, 拆分后字节仍将控股新公司 ,AI 制药核心团队、核心算法、技术平台和已有管线资产将整体进入新主体。同时,该业务也将继续从火山引擎获得算力支持。 消息称新公司将 由字节跳动 AI 制药团…
文|周鑫雨 编辑|张雨忻 《智能涌现》独家获悉, 字节跳动 AI 制药业务线已启动拆分与独立融资进程。 据悉,拆分后字节仍将控股新公司,AI 制药核心团队、核心算法、技术平台和已有管线资产将整体进入新主体。同时,该业务也将继续从火山引擎获得算力支持。 新公司将由字节跳动 AI 制药团队主导负责。字节…
赛力斯与字节跳动联合打造全新品牌AIVA,车标曝光,全系标配豆包大模型智能座舱,首款车型年内将面向海外市场。
IT之家 6 月 9 日消息,赛豆科技品牌发布会定档 6 月 9 日 19:00-20:00 举行。根据官方直播页面,这一新汽车品牌定名 AIVA 。 根据此前爆料信息, 赛力斯正在推进一个全新汽车品牌的筹备工作 ,其法律主体正是刚刚完成工商变更的“赛豆科技”;新品牌定位年轻、运动, 首款车型预计今…
字节跳动火山引擎推出9.9元/月起的Agent和Coding套餐,集成多款前沿AI模型,限时优惠至2026年8月。
IT之家 6 月 8 日消息,字节跳动旗下火山引擎今天公布 Agent Plan、Coding Plan 限时优惠计划,两种订阅套餐均集成 MiniMax M3、DeepSeek V4 系列、GLM-5.1 等前沿模型。 即日起至 2026 年 8 月 27 日,所有用户新购、升级或续费 Codin…
理想公关一把手杨继斌入职半年即离职,曾主导“头腾大战”公关战役,同时i6新SUV发布引发关注。
IT之家 6 月 8 日消息,今天多个大厂爆料账号爆出理想汽车公关一号位杨继斌从理想离职。 据鞭牛士消息,从内部可靠渠道获悉, 理想公关一号位杨继斌将离职的传言属实 。 IT之家注意到,2025 年 12 月,有报道称原字节跳动公关总监杨继斌在朋友圈宣布, 已于本月正式加盟理想汽车 。 如果杨继斌近…
Windows任务管理器之父用汇编语言打造仅2.7KB的记事本,传奇工程师的极简情怀之作。
IT之家 6 月 7 日消息,前微软员工戴夫 · 普卢默(Dave W. Plummer)前天公布了自己的最新作品:RetroPad 记事本软件。整个软件的体积只有 2729 字节(2.7KB),完全使用 x86 汇编语言打造。 作为参考,戴夫 · 普卢默于 1993 年加入微软, 期间曾亲手打造任…
“IT早报”时间,大家好,现在是 2026 年 6 月 7 日星期日,今天的重要科技资讯有: 1、字节跳动:没有造车或推出汽车品牌的计划,和赛豆没有股权合作 字节跳动发布声明,明确否认有造车或推出“豆包汽车”品牌的计划,并澄清与“赛豆”无股权合作。公司强调其汽车业务核心是向行业伙伴提供豆包大模型、火…
IT之家 6 月 6 日消息,字节跳动今日发表声明称,字节跳动没有造车或推出汽车品牌的计划。 IT之家附原文如下: 我们注意到,近期有部分报道将“赛豆”解读为“豆包汽车品牌”或“字节跳动造车”: 1.相关说法不准确, 字节跳动没有造车或推出汽车品牌的计划 。 2.赛豆不是字节跳动或豆包推出的汽车品牌…
6月6日,字节跳动官微发布声明,我们注意到,近期有部分报道将“赛豆”解读为“豆包汽车品牌”或“字节跳动造车”:1.相关说法不准确,字节跳动没有造车或推出汽车品牌的计划。2.赛豆不是字节跳动或豆包推出的汽车品牌,字节和赛豆没有股权合作。3.豆包、火山引擎与汽车行业伙伴的合作,主要是给行业伙伴提供豆包大…
字节跳动2026年AI四大关键命题曝光,世界模型训练数据预算高达数千万元,揭秘“数海战术”新动向。
文|周鑫雨 编辑|张雨忻 杨轩 《智能涌现》从多个信源处独家获悉,2026 年,字节 AI 有四个重要的命题: 加大对世界模型训练的投入,年底前,模型 性能达到现阶段世界模型全球 SOTA(最佳)Google Genie 3 的水平。 视频模型继续保持领先地位, 探索“动态生成”等新方向…
字节三大App深度适配华为折叠屏,实现看视频刷评论同时操作,告别切屏烦恼
IT之家 6 月 4 日消息,字节跳动宣布旗下鸿蒙版抖音、今日头条、红果免费短剧三款 App 已深度适配华为 Pura X Max 与 Mate X7 等折叠屏旗舰,覆盖追剧、购物、刷资讯三大核心场景。 字节跳动表示,传统小屏模式下,看直播、刷评论总有来回切屏的“割裂感”,如今旗下 App 深度适配…
IT之家 6 月 3 日消息,蓝鲸汽车 3 日(今天)下午援引知情人士消息称,赛力斯、字节合作的新车智驾方案 预计 将与元戎启行合作 。 目前,元戎启行已与多家车企建立深度量产合作,并有 30 万辆搭载其城市领航辅助驾驶方案的车辆进入消费者市场,覆盖十余款车型等。此前,其被曝出合作车企包括 长城汽车…