Meta 推出 LLM Compiler 代码优化模型，可搭配其他 AI 改善代码生成 / 编译能力
Meta 前天推出了一款名为“LLM Compiler”的模型，该模型基于 Meta 现有的 Code Llama 打造，主打代码优化，目前相关模型已登陆 Hugging Face，提供 70 亿参数及 130 亿参数两个版本，允许学术及商业使用。
Meta 认为，尽管业界各大语言模型已在各种编程代码任务中展现了出色的能力，但此类模型在代码优化还有进步空间，目前推出的 LLM Compiler 模型便是一款专为优化代码任务设计的预训练模型，能够模拟编译器对代码进行优化，或将“已经过优化的代码转换回原本的语言”。
LLM Compiler 在 5460 亿个 LLVM-IR 和汇编代码标记的庞大语料库上进行了训练，据称能够达到 77% 的“代码优化潜力”，开发者可以自由将相关模型配合其他 AI 模型一起使用，从而改善生成代码的质量。
Donews｜Hugging Face
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
Meta 前天推出了一款名为“LLM Compiler”的模型，该模型基于 Meta 现有的 Code Llama 打造，主打代码优化，目前相关模型已登陆 Hugging Face，提供 70 亿参数及 130 亿参数两个版本，允许学术及商业使用。
Meta 认为，尽管业界各大语言模型已在各种编程代码任务中展现了出色的能力，但此类模型在代码优化还有进步空间，目前推出的 LLM Compiler 模型便是一款专为优化代码任务设计的预训练模型，能够模拟编译器对代码进行优化，或将“已经过优化的代码转换回原本的语言”。
LLM Compiler 在 5460 亿个 LLVM-IR 和汇编代码标记的庞大语料库上进行了训练，据称能够达到 77% 的“代码优化潜力”，开发者可以自由将相关模型配合其他 AI 模型一起使用，从而改善生成代码的质量。
Donews｜Hugging Face
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
❤67👍11🤔6😱4👎1🤯1🥱1🤣1
苹果计划在2026年开始量产带摄像头的AirPods
分析师郭明錤透露，苹果计划在2026年开始量产带有红外摄像头的AirPods，这些摄像头类似于iPhone和iPad上的Face ID模块。新款AirPods将与Vision Pro和未来的Apple Vision头显集成，可能支持通过手势控制进行人机交互。
此外，这些AirPods将增强空间音频体验，强调特定方向的声源。鸿海是红外摄像头的主要供应商，预计年产量在1800万到2000万台之间。
9to5mac
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
分析师郭明錤透露，苹果计划在2026年开始量产带有红外摄像头的AirPods，这些摄像头类似于iPhone和iPad上的Face ID模块。新款AirPods将与Vision Pro和未来的Apple Vision头显集成，可能支持通过手势控制进行人机交互。
此外，这些AirPods将增强空间音频体验，强调特定方向的声源。鸿海是红外摄像头的主要供应商，预计年产量在1800万到2000万台之间。
9to5mac
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🤣192🤯67👍21😱8👎7❤5🥱2😴1
研究人员进一步揭示了思维链和思维树技术在AI模型中的角色
近期研究人员结合机器学习理论中的样本复杂度和计算复杂度的概念，进一步揭示了思维链和思维树的运用对于LLM的影响。
相比于跳过中间步骤直接生成问题的答案的方式，思维链可以大大降低推理模型的描述长度，从而降低了问题的样本复杂度。后续研究也证实了通过分解问题来降低推理方式的描述长度具备一定的重要性。
此外，研究员也指出思维树形式的推理未必比思维链形式的推理表现更好——这往往取决于任务的计算复杂度。一方面，当问题本身的计算结构是链式时便无法契合思维树的树结构；另一方面，在思维树的树搜索中，当将自我评价作为搜索启发，并不能带来额外的信息，这可能是因为评估一段解题过程的正确性，并不比生成的难度低。
故研究建议在选择推理方式时，应当考虑任务的计算复杂度，根据其计算复杂度选择合适的推理算法。
麻省理工科技评论
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
近期研究人员结合机器学习理论中的样本复杂度和计算复杂度的概念，进一步揭示了思维链和思维树的运用对于LLM的影响。
相比于跳过中间步骤直接生成问题的答案的方式，思维链可以大大降低推理模型的描述长度，从而降低了问题的样本复杂度。后续研究也证实了通过分解问题来降低推理方式的描述长度具备一定的重要性。
此外，研究员也指出思维树形式的推理未必比思维链形式的推理表现更好——这往往取决于任务的计算复杂度。一方面，当问题本身的计算结构是链式时便无法契合思维树的树结构；另一方面，在思维树的树搜索中，当将自我评价作为搜索启发，并不能带来额外的信息，这可能是因为评估一段解题过程的正确性，并不比生成的难度低。
故研究建议在选择推理方式时，应当考虑任务的计算复杂度，根据其计算复杂度选择合适的推理算法。
麻省理工科技评论
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
👍50😇12❤1🤔1💊1
12123“电子行驶证”开启试点申领：覆盖北京、上海、天津等全国 60 城市
有网友发现，交管12123 App已开启“电子行驶证”试点申领服务，为机动车所有人以及相关行业和管理部门提供行驶证在线亮证、亮码服务。
目前已开通城市用户，可打开交管 12123 App 对“电子行驶证”进行申领。
不过根据交管部门介绍，目前依然需要随车携带纸质驾驶证，电子行驶证主要应用于相关窗口业务办理。
网易新闻
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
有网友发现，交管12123 App已开启“电子行驶证”试点申领服务，为机动车所有人以及相关行业和管理部门提供行驶证在线亮证、亮码服务。
目前已开通城市用户，可打开交管 12123 App 对“电子行驶证”进行申领。
不过根据交管部门介绍，目前依然需要随车携带纸质驾驶证，电子行驶证主要应用于相关窗口业务办理。
网易新闻
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
👍166👎19❤8🤔3💊2
中国宣布自7月10日起向外籍港澳居民签发来往内地通行证
证件号码格式为“HA加七位数字”（澳门为MA打头），与既有中国籍的回乡证“H或M加八位数字”相区分。
持证人在内地不得工作、学习、从事新闻采访活动。
国家移民管理局
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
证件号码格式为“HA加七位数字”（澳门为MA打头），与既有中国籍的回乡证“H或M加八位数字”相区分。
持证人在内地不得工作、学习、从事新闻采访活动。
国家移民管理局
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🤣204👍37👎20❤6🌚6💊4😐1🙈1
消息称微软将关闭全国所有线下授权门店，仅保留官网商城 / 京东旗舰店
有网友反馈微软将于今天（7 月 1 日）起关闭全国所有线下授权门店。
据悉，微软进行相关举动的原因是该公司正在全球范围内对 Surface 设备进行“战略调整”，此外“中国大陆地区的消费者对 Surface 的认可度一直在降低”。
此外，微软中国的线上零售业务将只保留微软中国官方商城官网和微软京东自营官方旗舰店，微软中国的线下授权门店将全部关闭，全国官方售后维修点依然保留。而这据称也是“很多消费者到线下询问 Pro 11 / Laptop 7 发现门店没有样机的原因”。
新浪科技
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
有网友反馈微软将于今天（7 月 1 日）起关闭全国所有线下授权门店。
据悉，微软进行相关举动的原因是该公司正在全球范围内对 Surface 设备进行“战略调整”，此外“中国大陆地区的消费者对 Surface 的认可度一直在降低”。
此外，微软中国的线上零售业务将只保留微软中国官方商城官网和微软京东自营官方旗舰店，微软中国的线下授权门店将全部关闭，全国官方售后维修点依然保留。而这据称也是“很多消费者到线下询问 Pro 11 / Laptop 7 发现门店没有样机的原因”。
新浪科技
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
😐159💊96🤣35👏13😢11👍7🫡2❤1
“花钱买了为什么要玩”，消息称 Steam 平台公开账号中未游玩游戏价值 19 亿美元
“花钱买的游戏为什么要玩”这句话时常出现在评论区里，相信有不少玩家在 Steam 平台中部分付费购买 / 免费“喜加一”的游戏因为各种原因从未游玩过，近日就有外媒 PCGamesN 对这部分游戏的价值进行了粗略统计。
据统计，全体 Steam 账号中只有 10% 的账号处于公开状态，其中约有 7300 万玩家，这些玩家的游戏库中总共有约 19 亿美元（约 138.33 亿元人民币）从未进行过游玩。
此后外媒将这个数字乘以 10，借此粗估全球玩家“买了但没玩”的游戏金额可能接近 190 亿美元（约 1383.3 亿元人民币），相当北美国家尼加拉瓜的 GDP。
此外，虽然没有详细的销售数据，但外媒推测，根据销量来看，《巫师 3》和《GTA5》的占比或许较高。
IT之家
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
“花钱买的游戏为什么要玩”这句话时常出现在评论区里，相信有不少玩家在 Steam 平台中部分付费购买 / 免费“喜加一”的游戏因为各种原因从未游玩过，近日就有外媒 PCGamesN 对这部分游戏的价值进行了粗略统计。
据统计，全体 Steam 账号中只有 10% 的账号处于公开状态，其中约有 7300 万玩家，这些玩家的游戏库中总共有约 19 亿美元（约 138.33 亿元人民币）从未进行过游玩。
此后外媒将这个数字乘以 10，借此粗估全球玩家“买了但没玩”的游戏金额可能接近 190 亿美元（约 1383.3 亿元人民币），相当北美国家尼加拉瓜的 GDP。
此外，虽然没有详细的销售数据，但外媒推测，根据销量来看，《巫师 3》和《GTA5》的占比或许较高。
IT之家
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🤣302🌚24👍6🫡3❤2👏2😭2😢1
中国信通院完成对鸿蒙内核的自主成熟度等级认证
中国信息通信研究院(简称“中国信通院”)近日完成了对华为鸿蒙内核的自主成熟度等级认证，并宣布该内核的自主研发比率高达100%，同时获得了A级的自主成熟度等级评定。
在华为开发者大会HDC 2024上，中国信通院正式向华为颁发了认证证书。
中国信通院
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
中国信息通信研究院(简称“中国信通院”)近日完成了对华为鸿蒙内核的自主成熟度等级认证，并宣布该内核的自主研发比率高达100%，同时获得了A级的自主成熟度等级评定。
在华为开发者大会HDC 2024上，中国信通院正式向华为颁发了认证证书。
中国信通院
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🤣531👍89💊33🌚19🥱14🥰8🤓7💯6
消息称谷歌 Tensor G5 芯片基于台积电 3nm 制程，已成功进入流片阶段
预计用于谷歌明年旗舰智能手机的 Tensor G5 芯片将基于台积电 3nm 制程，已成功进入流片阶段。
工商时报
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
预计用于谷歌明年旗舰智能手机的 Tensor G5 芯片将基于台积电 3nm 制程，已成功进入流片阶段。
工商时报
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
👍154🤣31❤4👎4🎉4🤨4🤔3👏1
中国羽毛球小将比赛中途突昏厥去世
中国羽毛球男单小将张志杰星期天（6月30日）傍晚在印度尼西亚日惹举行的亚洲青年羽球锦标赛混合团体小组赛中突然晕厥，被送院后抢救不治身亡，年仅17岁。
亚洲羽球联合会及印尼羽协7月1日发布公告称，中国单打运动员张志杰星期天在傍晚的一场比赛中晕倒在球场上。赛事医生和医疗小组对他实施抢救，并在不到两分钟的时间内将他送往医院，但他还是在当地时间6月30日23时20分去世。
联合早报
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
中国羽毛球男单小将张志杰星期天（6月30日）傍晚在印度尼西亚日惹举行的亚洲青年羽球锦标赛混合团体小组赛中突然晕厥，被送院后抢救不治身亡，年仅17岁。
亚洲羽球联合会及印尼羽协7月1日发布公告称，中国单打运动员张志杰星期天在傍晚的一场比赛中晕倒在球场上。赛事医生和医疗小组对他实施抢救，并在不到两分钟的时间内将他送往医院，但他还是在当地时间6月30日23时20分去世。
联合早报
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🙏596😨91💔21🕊19🎉18🤣12🍾11😭10
Telegram付费帖子现可在任何频道发布
之前，发布付费帖子的能力取决于频道订阅者的数量及构成。
现在，付费帖子可以在任何频道发布
群友期待我们的付费帖子吗？
频道抽奖今晚9点开：传送门
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
之前，发布付费帖子的能力取决于频道订阅者的数量及构成。
现在，付费帖子可以在任何频道发布
频道抽奖今晚9点开：传送门
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
👎327🤨23🤣10👍7💊5❤2🤔2👏1
闲鱼网页版新进展公布：PC 初步版本即将上线、完整交易版还在开发
淘宝网站站长“空无”于 6 月 28 日发布《虽迟但到，你需要的图片搜索和闲鱼也回来了》一文，宣布 PC 闲鱼初步版本即将上线，目前完整交易的版本还在开发中。
此外，图片搜索功能基于 AI 图片识别和支持高并发多模态检索技术。用户可直接在首页和搜索页面输入框点击【图片搜索】图标使用。该功能支持直接上传本地图片或粘贴图片，在淘宝商品库中检索相似商品。
IT之家
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
淘宝网站站长“空无”于 6 月 28 日发布《虽迟但到，你需要的图片搜索和闲鱼也回来了》一文，宣布 PC 闲鱼初步版本即将上线，目前完整交易的版本还在开发中。
此外，图片搜索功能基于 AI 图片识别和支持高并发多模态检索技术。用户可直接在首页和搜索页面输入框点击【图片搜索】图标使用。该功能支持直接上传本地图片或粘贴图片，在淘宝商品库中检索相似商品。
IT之家
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
👍343🤣103👎26💊12🤔4😐3👀3🥰2
高德推出餐厅排队功能 欲对标大众点评
根据阿里巴巴公众号发布的消息，打开高德地图App，搜索想去的餐厅，进入详情页面，就能查看当前的排队预定情况。当餐厅需要排队时，输入出发时间，出行方式，同行人数，高德地图将会通过ETA（预估到达时间）服务计算出到店时间，并根据排队情况给出建议。
当路程时间小于商家排队时间时，高德会提醒提前取号，尽量缩短到店之后的等候时间；当路程时间大于商家排队时间时，为了避免过号重排，高德将会在途中自动取号，用户到店就可以点菜。
据悉，除了用餐排队，未来高德还将进一步打开排队功能的可能性，开发更多行业和服务领域的使用场景，比如停车、加油、取餐、游览等。
新浪科技
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
根据阿里巴巴公众号发布的消息，打开高德地图App，搜索想去的餐厅，进入详情页面，就能查看当前的排队预定情况。当餐厅需要排队时，输入出发时间，出行方式，同行人数，高德地图将会通过ETA（预估到达时间）服务计算出到店时间，并根据排队情况给出建议。
当路程时间小于商家排队时间时，高德会提醒提前取号，尽量缩短到店之后的等候时间；当路程时间大于商家排队时间时，为了避免过号重排，高德将会在途中自动取号，用户到店就可以点菜。
据悉，除了用餐排队，未来高德还将进一步打开排队功能的可能性，开发更多行业和服务领域的使用场景，比如停车、加油、取餐、游览等。
新浪科技
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
👍360👎42😇27❤7👀2💯1💊1
京东调整京喜业务模式，重塑低价策略以争夺下沉市场
京东调整京喜业务，推出"京喜自营"，专注于下沉市场和低价商品。提供全托管服务，负责运营、物流和售后。
与京东自营和京造不同，京喜自营聚焦源头工厂和白牌商家，通过直采降低成本。选品标准为"有底线、够用"，保证质量。京东希望借此吸引第三方商家，丰富低价商品供给，满足不同消费需求。
36氪
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
京东调整京喜业务，推出"京喜自营"，专注于下沉市场和低价商品。提供全托管服务，负责运营、物流和售后。
与京东自营和京造不同，京喜自营聚焦源头工厂和白牌商家，通过直采降低成本。选品标准为"有底线、够用"，保证质量。京东希望借此吸引第三方商家，丰富低价商品供给，满足不同消费需求。
36氪
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🌚123👎46🫡15👍6❤2👀1
频道抽奖已开奖，请中奖用户联系管理领取奖品
中奖用户，请转发机器人私聊的中奖信息，并且告知你需要谷歌还是苹果商店的礼品卡
抽奖 ： 传送门
中奖用户名单请点击 ： 传送门
已经全部兑奖完毕
兑奖情况： （后面数字为TG 唯一ID）
Flyer （6520775825）苹果美国礼品卡10$ 已兑
ShaojuChen （64533265） 未在开奖后12小时内私聊
可乐+味精 （6768957878） 开奖后没有私聊
77 （1667778518）苹果美国礼品卡10$ 已兑
八米M011🫥 （366112790） 苹果美国礼品卡10$ 已兑
中奖用户，请转发机器人私聊的中奖信息，并且告知你需要谷歌还是苹果商店的礼品卡
抽奖 ： 传送门
中奖用户名单请点击 ： 传送门
已经全部兑奖完毕
兑奖情况： （后面数字为TG 唯一ID）
Flyer （6520775825）苹果美国礼品卡10$ 已兑
ShaojuChen （64533265） 未在开奖后12小时内私聊
可乐+味精 （6768957878） 开奖后没有私聊
77 （1667778518）苹果美国礼品卡10$ 已兑
八米M011🫥 （366112790） 苹果美国礼品卡10$ 已兑
Telegram
We Group Bot in 茶馆🎗の 在花
在花频道周末抽奖
🎁 活动开奖啦！
总共参与1281人，综合中奖率0.39%
🥳🥳恭喜以下中奖用户:
🎉Flyer 获得奖品:10刀的礼品卡。谷歌商店或者苹果商店任选
🎉ShaojuChen 获得奖品:10刀的礼品卡。谷歌商店或者苹果商店任选
🎉可乐+味精 获得奖品:10刀的礼品卡。谷歌商店或者苹果商店任选
🎉77 获得奖品:10刀的礼品卡。谷歌商店或者苹果商店任选
🎉八米M011🫥 获得奖品:10刀的礼品卡。谷歌商店或者苹果商店任选
👮🏼 抽奖创建者:𝒍𝒊𝒍𝒚
『联系该群管理领取您的奖品吧~』
🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉
🎁 活动开奖啦！
总共参与1281人，综合中奖率0.39%
🥳🥳恭喜以下中奖用户:
🎉Flyer 获得奖品:10刀的礼品卡。谷歌商店或者苹果商店任选
🎉ShaojuChen 获得奖品:10刀的礼品卡。谷歌商店或者苹果商店任选
🎉可乐+味精 获得奖品:10刀的礼品卡。谷歌商店或者苹果商店任选
🎉77 获得奖品:10刀的礼品卡。谷歌商店或者苹果商店任选
🎉八米M011🫥 获得奖品:10刀的礼品卡。谷歌商店或者苹果商店任选
👮🏼 抽奖创建者:𝒍𝒊𝒍𝒚
『联系该群管理领取您的奖品吧~』
🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉
👎57😐14🤨1