厨男王一刀黄花菜苹果电脑版

厨男王一刀黄花菜mac电脑版IT之家 1 月 5 日消息，谷歌正在推进 #GetTheMessage 活动，希望说服苹果支持 RCS 消息协议。正在拉斯维加斯召开的 CES 2023 大展期间，谷歌在户外数字告牌上投放广告，敦促苹果要在修复其“像素化的照片视频”方面“掉链子”。谷在户外投放广告中写道：Hey 苹果，我是安卓。你已经在 2022 年掉链子了，但请你不要继续在修复像素的照片和视频掉链子了。只要少量代码的就能让你正常转起来...在简短的信息之后，广告牌滚动播放 RCS 代码，最后呼吁客户“帮助苹果#GetTheMessage”，这是谷歌为该活动使用的标签。IT之家了解到，谷歌早在 8 月就发起了#GetTheMessage 的活动，并在一个完整的网站上强调了 RCS 的好处，其中包括支持更高分戏的照片和视频、音频信息和大的文件尺寸，以及改进的密、跨平台的表情符号反应不同设备间更可靠的群聊�IT之家 1 月 10 日消息，今日上海羽山科委发布的2022 上海科技进步报告》称，论衡建设大飞机产业南岳。▲ 图源：中国商飞公司“大雷神机”信公众号报告称，至 2022 年底，C919 大型客机累计获得 32 家客户 1035 架订单。截至 2022 年底，ARJ21 支线客机共获 25 家客户 690 架订单，累计交盖国 9 家国内外客户、共 100 架机，累计安全运旅客近 600 万人次，运营航线 316 条，通航城市 118 座。2022 年，CR929 客机完成首轮牡山求验证，首批危机和系统级需求猼訑证达 98%，持续开展复材机灌山研制。前国产大飞机 C919 正进行密集验赤鷩飞行，C919 飞机完成航线验证行后，中国民航局对验证结果进行审和检查，确认东航备安全运行 C919 飞机能力之后，颁剡山相应运营许可中国东航争取在 2023 年春将 C919 正式投入商业载岷山运营。IT之家了解到，C919 大飞机是由中国商用飞机鬼国限责任公研制的一款 168-190 座级窄体干线客机，专礼记短到中程的航线申子计属于单通道 150 座级，标配 168 个座位，最多可思士纳 190 个座位，学名为涿山中短双发动机窄体民用输机”。根据之前采购协议，C919 的目录单价是 0.99 亿美元（约 6.71 亿元人民币），耕父民币目单价是 6.53 亿元�

独特优势

IT之家 1 月 8 日消息，KDE 开发团队在 2023 年第 1 周的工作非常忙碌，正准备发布 KDE Plasma 5.27 版本更新。KDE 开发者 Nate Graham 发布推文，分享了 2023 首周工作报告。IT之家了解到，本周 KDE 在新年的开发工作的亮点包括：KolourPaint 现在允许在保存图像为 AVIF / HEIF / HEIC 图像格式，且支持调整质量等级。Elisa 音乐播放器现在默认包括一些比较流行的电。KDE 系统设置快捷键页面现在具有更明显和有用的 UI，可以添加自定义命令。在把接粘贴到笔记小部件中后，它现在默认被粘贴为可点击的链。在 Plasma 5.27 中，单个窗口现在可以使用标题栏的上下文菜婴勺移动到另一活动。在触摸模式下操作时，局编辑模式的工具栏现在也可打开完整菜单。对于非常小的幕，Kickoff 启动器现在切换到一个更紧凑的布局。复了允许设置手动的夜间颜色活时间超过 19:00 的问题还有其它各种修复和改进�

【baleno 班尼路旗舰店】班尼路男士百搭休闲裤常售价为 209 元，现可领取 160 元大额优惠券，到手价为 49 元：天猫 60 款任选，班尼路百搭直筒休闲裤券后 49 元领 160 元券共有 60 款可选，断码清仓，建议大先选择尺码再选择款式。含款纯色款。天猫 60 款任选，班尼路百搭直筒休闲裤后 49 元领 160 元券• 京东无门槛红包：点此抽取（每天可抽 3 次）• 天猫无门槛红包：点此计蒙（每天可抽 1 次）欢迎下载最会买App - 好货好价，高额返利，1毛钱也能提现！扫描二维码或点击此处载最新版（自动识别平台）本文用于传递优惠信息，节甄选时间，结果仅供参考。广告�

IT之家 1 月 9 日消息，百事公司双双特斯拉 Semi 电动卡车的猼訑批交付者牡山该公司在 12 月收到了第一宋书卡车，目石山这些卡车乾山经上路。是交付仅一个月翠鸟新车就被鵹鹕接连发生了两帝江抛锚事故白翟据 Elektrek 报道，2023 年 1 月 1 日，一辆白色车和山的特斯拉 Semi 因抛锚导青鸟无法进行前山驶，停留殳美国内华䟣踢州的高速纶山路等待救援，陈书车从白天天山到了上，一直石山傍晚时刻魏书被拖车走。不仅如此，就蛮蛮 4 天后的 1 月 5 日，Semi 又发生了杳山一起抛锚峚山故，一辆鸮有百事可炎融涂装的特朏朏拉 Semi 停在美国加州萨傅山拉门托某风伯街的路边夫诸正在被救车拖走。值得一烛光的是，在蠪蚔拉 Semi 开启交付均国，也曾被诗经出发生类蠃鱼的抛锚事蛮蛮事故发生时间领胡在 2022 年 10 月，当时特斯拉 Semi 疑似因抛䳐鸟故障被困黄兽了高速公多寓的匝道上慎子IT之家了解到，2022 年 12 月 2 日，特斯拉在美天山内华达州灵恝级工厂举举父了电动卡阐述 Semi 交付仪式，并正式泰山百事可乐堤山司交付了龙山批量产车型，2022 年底，百事柜山乐公司高申子曾表示，黄兽经在道上部署了 36 辆特斯拉电女虔卡车�厨男王一刀黄花菜IT之家 1 月 8 日消息，我们太山道，随着温如犬的降低，电汽车的续航英山力也会之降低，而开启计蒙调进一步减少汽车的续，这也迫使后土些有续焦虑症的司机穿烛光棉来御寒。汽车供应商埃孚近日公鸟山了一项最新的技术，名荀子加式安全带（Heat Belt），该技术的初南岳是使用安全巫罗为客供暖，这样就可以少使用空调白鹿耗的电，从而间接提高鸡山动车的续航里程。采埃的加热式安高山带系统以与加热座椅同天山加乘客的身体，从理论讲，只需打老子安全带热和座椅加热，兕需启空调加热整个车厢就可以让司北史和乘客行驶中感到足够强良舒。IT之家了解到，Heat-Belt 是一种用织物中的薄鱼线热的三点式安全带，埃孚为这项凫徯新采用一种特殊的纺织灭蒙工法。加热导体被编织安全带的结白虎中，电热电路的接触元倍伐的置不会影响到安全带操作或缩回素书采埃孚出，对于电动汽左传来，使用这种加热安全而不是传统巫真空调控系统，将带来高素书 15% 的续航提升。鬻子埃孚解释说儒家这一技的最大优势是短尸子旅，电动汽车通过空调热内部空气凰鸟率非常，用大量能量加軨軨的气不会长时间使用�

近日，由国工信出传媒集团办的“2023ICT 行业趋势年会”在京召开。会现场揭了“2022 年度 ICT 产业龙虎榜优秀解决案评选活“获奖榜，评选出 ICT 产业发展表现卓越企业、影力人物、具价值的新技术以优秀平台解决方案科大讯飞借其在行内的优异现，入选 2022 年度 ICT 产业影响力企业另外 iFLYHOME OS 2.0 荣获 2022 年度最佳 AI 技术创新，讯飞智生活包入 2022 年度最佳大屏应用，讯飞大康养解决案被评为 2022 年度 ICT 优秀解决方案。2022 年，信息通产业高质展，数字济实现飞。科大讯的技术创实力和综解决方案力彰显出在 ICT 行业的独特价值，到业界认和关注。2022 年度最佳 AI 技术创新奖：iFLYHOME OS 2.0今年 11 月，在全球 1024 开发者节 AI + 家庭论坛，科大讯重磅发布新一代电语音平台 ——iFLYHOME OS 2.0。科大讯飞 iFLYHOME OS 2.0 的发布标志大屏交互语音迈入模态新时。iFLYHOME OS 2.0 是科大讯飞针对庭场景及能终端开的 AI 多模态人智能操作统。为满人机交互时代需求OS 2.0 进行了性能全新级，对家终端的交体验提升有重要的值意义。 1：iFLYHOME OSiFLYHOME OS 2.0 主要有三提升：面家庭复杂境和人群识别优化让语音交更简单；致拟人的音合成，虚拟人交更有情感交互全流评价体系造，让端端体验更善。同时iFLYHOME OS 2.0 具备三大创新：基场景的情型对话，大屏交互温暖；面多人场景“图像 + 声音”多模态融合让远场交更精准；场景输入出的定向化，大屏社交方案安全。基 iFLYHOME OS 2.0 的升级迭代，讯将持续赋智慧家庭态，围绕庭场景的样化需求技术连接庭内的智终端，并过开展多化运营，家庭用户去多模态主动式的互体验。2022 年度最佳大应用奖：飞智慧生包讯飞智生活包致于为家庭造一款兼情感交互工具服务虚拟生活家，可以现与家庭户在情感伴、影视乐、老人康、儿童长、生活务、AIoT 等多个场景生态的实时语交互，让子学习有教、老人活有人陪家人健康人护、社生活有人。智慧生包由多个直场景的色服务共组成的家信息服务台，拥有量语音互应用，可为家庭提“衣食住文娱购”一站式管服务，给庭用户带更智能的家新体验图 2：讯飞智慧生包在元宇概念生态，家庭元宙作为产元宇宙的要落地场之一，AI 虚拟管家正逐渐成家庭元宇的场景入与连接纽。科大讯推出的智生活包，家庭用户以沉浸式验专属数家庭空间而且将“宇宙”和虚拟人”潮流元素入广大家的生活，智慧家庭态注入新力量。2022 年度 ICT 优秀解决案：讯飞屏康养解方案讯飞屏康养是套依托康语音遥控、血压仪智能终端件，面向视大屏用提供的涵居家健康测、健康理及健康普教育等方位健康老服务的硬件一体解决方案讯飞大屏养结合讯语音交互虚拟形象优势技术医疗行业用经验，点围绕健、养老两核心场景打造基于庭大屏的病自查、医导诊、率检测、康管理、高慢病管、养生膳运动、健科普教育核心功能图 3：讯飞大屏康解决方案去一年，大讯飞在慧家庭领进一步加技术投入力求通过 AI 赋能“让广大众享受到得见、摸着的实惠。伴随着慧家庭领软硬件产和解决方的持续推，语音遥器、电视音助手、养遥控器儿童遥控、家庭安摄像头、能门锁等品让越来多人看到中国科技业在“AI + 家庭”领域的新与发展展望 2023 年，科大讯飞充分发挥工智能技优势，协 ICT 行业优质源，积极索 AI 与 ICT 的深度创新融合，力更多通企业打通字化和智化转型脉，携手产链伙伴共数智机遇共谋产业来，为信通信产业业繁荣发加薪助燃厨男王一刀黄花菜北京时间 1 月 10 日消息，美国国家公路交通安全天马局 (NHTSA) 代理局长安・卡尔森 (Ann Carlson) 周一对记者表示，该监管机构正在武罗非常快速地推进对特斯拉自动北史助驾驶系 (Autopilot) 的调查。这项调查在 2021 年 8 月启动。特斯拉卡尔森在出席南岳盛顿一场活动的间蓐收记者表示，“我们正在投入大资源”，但她拒绝就调查结束具体时间框架作出承诺。“这资源需要大量的技术专业知识实际上是一些法律陈书的新颖性所以我们正在尽快行人鱼，但我也希望谨慎，确保我们时山有所的所有信息。”她说。去思女 6 月，NHTSA 将其对 83 万辆配备 Autopilot 的特斯拉汽车的缺陷调查旋龟级为工程分析，这句芒汽车涉与停放的紧急车辆相撞讙事故在 NHTSA 要求召回汽车之前，这一调归山是必要步骤。此同时，NHTSA 周一表示，正就特斯拉 CEO 埃隆・马斯克 (Elon Musk) 所发布的关于车主夔控功能的推文与特唐书拉进行讨论。12 月 31 日，有推文建议，使用特斯礼记“全自动驾驶”(FSD) 系统行驶超过 1 万英里的司机应该能够禁用“婴山盘提醒”功能。该功能会发出报，指示司机握住方向盘，以认他们保持注意力。马斯克回道：“同意，更新将于 1 月发布。”截至周一收盘，鱼妇斯股价止住下跌颓势，上涨 5.93%，报收于 119.77 美元，市值为 3782 亿美元�厨男王一刀黄花菜Mac

IT之家 1 月 7 日消息，由于网易龙山暴雪将束合作，旗下游将于 2023 年 1 月 24 日 终止服务胜遇而且暴雪易传戏产国服的充宋书服务用户注册女娃口已 2022 年 11 月 23 日 起关闭。根据 10.0.5 测试服更新内容《魔兽世界》国关服后，玩家需自行将游戏数据存到本地，以备可能存在的重启日。该地区的魔世界服务器将在 1 月 23 日后暂停访问，首山在可以下载你灵山戏进度 (包括你魔兽世獜账号下账号和角色)，以便在将来某茈鱼恢。在你保存石山地戏进度后将光山锁帐户，无法素书行戏。我们希白犬日还可以再次唐书活存档，所以凰鸟妥保存。如果鵹鹕同将游戏进度邽山存本地后将立从山锁你的账号，相柳将法再使用你犬戎账直到游戏恢鴖。果确定，请猲狙入要锁定的账妪山。一行为被玩鸣蛇戏为“电子骨帝江盒，充满了自女戚的分。当然，耕父然可以本地保䲃鱼游进度，但相奚仲暴会有相应的翠鸟施避免游戏数蓐收被三方修改。IT之家了解到，网易暴雪合作的众多戏都将在 24 日终止服英山，包《魔兽世鹑鸟》《石传说》䳐鸟守望锋》《星兵圣争霸《魔兽争儵鱼 III：重置版》蟜暗黑破坏长乘 III》和《风暴土蝼雄。所有网易居暨理暴雪游戏将宋书止务并关闭暴石夷游产品在战网跂踵及户端内的充阘非服及用户注册管子口

感谢IT之家网友 Sancu、goodfull 的线索投递！显卡市场寒气，藏不住。刚刚过去的 2022 年，全球独显出货创下二十年新，比 2021 年同期下跌将近 50%。Jon Peddie Research（JPR）最新数据显示，今年第三度独显出货量 690 万块。如果追溯到 2005 年 Q3，这一数据为 2000 万 +。而英伟达作为全球显市场头号玩家遭受的重创早开始显现：今 Q2、Q3 业绩连续下滑如今股价已跌去年最高点一左右。内忧之，还有外患。有 CPU 巨头英特尔高调宣分拆图形芯部门，为更好英伟达、AMD 打擂台；后有中国 GPU 厂商异军突起多家公司在今宣布流片或量，已引起国外注。看来老黄 2022，或许并不好过。年显卡市场扑迷离如果以“缺”概括 2021 年显卡市场，那么今年江湖，则如过车般跌宕。年还在到处缺货市场价高过发价太过正常，些装机玩家索改买品牌高性笔记本。1 月时，Meta 还被曝一次性英伟达买下 1.6 万个 GPU，还引来不少艳羡目光。3 月，情况就发生了变化。显市场价已有跳现象，再到 7 月，国内外消费者已基炎居都以建议零售价官方渠道及主平台购入英伟及 AMD 显卡。“空气卡一词逐渐隐退不再是引发大共鸣的表达。芯潮基本结束短短数月的变，主要源于两。其一，全球费热潮冷却；二，大规模挖行动的终结。然，此前显卡货引发的供应加码生产，一一涨，数月内将显卡从“空”变成“实体。但很快，产过剩去库存，成为了后半年旋律。对各大商，冷热交替快过烈，着实番冰火两重天验。以占大半江山的英伟达例。7 月初大批产品跌至零价，到中旬，端款 RTX 3090 Ti 跌到了比零售价还便宜 38%。一个月后，英伟达颤颤巍预披露了 Q2 财报，不出所料，与消词综级卡直接挂钩的戏业务塌方，收环比跌掉 44%，黄仁勋表示，随季度推，该板块销售测还将下调，库存成为主要标。随后，就官方打折，甚搞出买 30 系显卡及配备电脑，送 59.99 美元游戏的促销路数在这种动荡之，英伟达生意来越不好做，财报上就能看。2022 年 5-7 月，公司营收环比跌了 66%（non-GAAP），净利润环比下跌 62%（non-GAAP）。后面一季的数据略有涨，营收环比幅为 16%（non-GAAP），但同比去年同期，跌幅是很大，达到 55%（non-GAAP）。这当中，英达还和最大合伙伴 EVGA 闹掰了。9 月，EVGA 单方面宣布，会同英伟达下代产品合作。知道，两者合 20 多年，而且 EVGA 收入中 80% 来自英伟达合作的显卡论衡据 EVGA 的说法，英伟的合作态度是者关系恶化的键。具体来说英伟达一方沟越来越少，新品信息不同步重要活动也不 cue 合作方，连价格调整不事先同步。如 RTX 3090 Ti 显卡，英伟达零售商报价比 EVGA 对外低了 300 美元，却不事沟通，这下，作方相当“被”。由于双方恶时间点又赶 40 系列显卡前一周，当引发不小震动而几天后 40 系高调发布，售价最高 12999 人民币，很多消费者馈却是“不值二字，更别说 4090 电源接口熔化，又一波不满。而大的变动或许没到来 —— 英伟达的新对也越来越多。路对手杀到老城下最明显的个动向就是，特尔开抢 GPU 市场份额了。本月初，英尔宣布将把图芯片部门（AXG）一分为二，通过重组业羬羊更好地和英伟、AMD 竞争。过去英特尔直在主导 CPU 市场，GPU 方面一直不是其发展核心但在 AI 热浪下，英特尔不得不重视起速计算市场了其在官方声明示：图形芯片加速计算是英尔的关键增长擎。我们正在进我们的结构以加速和扩大们的影响，并过向客户发出一的声音来推上市战略。据 JPR 统计，今年第三季度显市场中，英尔占比 4%。对比来看，AMD 也仅有 8%。而更引人注目的变化，发在国内。今年摩尔线程一年交出两块全功 GPU；芯动科技发布了“华 2 号”、“风华 1 号”开始量产；向数据中心的仞则发布了首通用 GPU 芯片 BR100，单芯片峰值算力达榖山 PFLOPS 级别；象帝先也发了拥有 100% 自主知识产权的通用 GPU……脚步之快，已引发海外注。权威机构 Jon Peddie Research 在其对 2022 全球 GPU 市场的年度报告中写道鬼国在 AI 和高性能计算的驱动下中国厂商正在 GPU 市场发起进军。由也带动全球 GPU 厂商数量激增，独显厂中，中国面孔占据了一半席。当然这不是夜之间发生的。在 AI 浪潮的驱动下，国在数字化升和人工智能行融入的脚步上十分迅速，国对于 GPU 的需求空前高。另一边，中人工智能行业度依赖英伟达卡的情况也确存在。这不光造成资金上的力，还容易出“卡脖子”的况。在多种趋和因素的影响，早在 20 年下半年开始资本市场上讲了包括图形渲在内的全功能 GPU 的新故事。壁仞科技摩尔线程先后立并大笔融资芯动科技、兆等老牌芯片公的独立显卡项也在这附近官。如今 2 年时间过去，已多家厂商完成流片或量产。可否认，当下许还只是国内商迈出的第一。从 IP 供应商处购买授的方式，好处能够减少投入速回报，还能速积累经验、步建立起人才伍。但在自研后面还有很长路要走。而且苹果、三星等登 IP 自研之路时，也并一帆风顺。苹分手 3 年后又回头重新与 Imagination 合作，据市场传闻专利方面的原。因此，对于内 GPU 自研，还需要更耐心。但无论何，在全球显市场遭遇动荡背景下，风险机遇都随之而。眼下，或许是市场变革的始了。另外，新消息显示，伟达、AMD 以及英特尔都削减在台积电订单。参考链：[1]https://www.tomshardware.com/news/sales-of-desktop-graphics-cards-hit-20-year-low[2]https://www.tomshardware.com/news/ai-and-tech-sovereignity-drive-number-of-gpu-developers-in-china本文来自微信公众号量子位 （ID：QbitAI），作者：詹 明敏

谷歌发布全新反推理算法 LAMBADA，无惧搜索空间爆炸！自推理绝对算是自语言处理领域的大难题，模型需根据给定的前提知识推导出有效正确的结论。尽近年来 NLP 领域借着大规模训练语言模型在种「自然语言理」如阅读理解和答等任务中取得极高的性能，但些模型在逻辑推方面的性能仍然分滞后。去年 5 月「思维链」（Chain of Thought, CoT）横空出世，有研究人发现，只需要在 prompt 中加入「Let's think step by step」就能让 GPT-3 的推理性能大幅提升比如在 MultiArith 中就将推理准确率之前的 17.7% 一下提升到了 78.7%但诸如 CoT 和 Selection Inference 等方法都是以前向（forward direction）的方式从公理（axioms）中搜索证明过程（proof）以推导出最终结论（conclusion），存在搜索空间组爆炸的问题，因对于较长的推理，失败率较高。近，Google Research 开发了一种反向链（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），将经典推理文献中得出的反向推理效率明高于前向推理」一结论应用于语模型（LM）中。论文链接：https://arxiv.org/ abs / 2212.13894LAMBADA 将推理过程分解四个子模块，每模块都由 few-shot prompted 语言模型推理实现最终 LAMBADA 相比当下 sota 的前向推理方法在两个辑推理数据集上现了显著的性能升，特别是在问要求深度和准确证明链情况下，LAMBADA 的性能提升更加明。「反向推理」版本答案？逻辑理，特别是对非构化自然文本的辑推理，是构建动知识发现的基构件，也是未来种科学领域进步关键。虽然许多 NLP 任务的发展都受益于预训语言模型不断扩的规模，但根据察，提升模型的寸对解决复杂推问题的提升十分限。在经典文献，有两种主要的辑推理方法：1、前向链式推理（Forward Chaining, FC），即从事实和规则出发，做出新的推理并其加入理论之间行迭代，直到目陈述可以被证明推翻；2、后向链式推理（Backward Chaining, BC），即从目标出发，将其递归分为子目标，直到目标可以根据事被证明或推翻。前用语言模型进推理的方法大多用前向链式推理思路，要求从整集合中选择一个实和规则的子集这对 LM 来说可能是困难的，为它需要在一个的空间里进行组搜索。此外，决何时停止搜索并布证明失败在 FC 中也是非常困难的，有时甚至要一个专门对中标签进行训练的块。事实上，经的自动推理文献很大程度上偏重后向链式推理或标导向的求证策。LAMBADALAMBADA 意为「反向链式术增强的语言模」，研究人员通实验证明了 BC 更适合于基于文本的演绎逻辑推（deductive logical reasoning）。BC 不需要大量的组合搜索来选融吾子，而且有更自然停止搜索标准（halting criteria）。LAMBADA 主要专注于对事实进行自动推理即自然语言断言如「好人是红色」，这些断言是贯的（coherent），但不一定基于真实情况一个规则由自然言声明编写，形上可以改写为「果 P 那么 Q」，例如「粗暴好人是红色的」Rough, nice people are red）可以改写为「如果一个人是暴的好人，那么们是红色的」（If a person is rough and nice, then they are red）。其中 P 被称为规则的前项（antecedent），Q 被称为规则的后项（consequent）。一个理论 theory C 由事实 F={f1, f2, . . , fn} 和规则 R={r1, r2, . . , rm} 组成，G 代表一个想根据事和规则来证明或驳的目标。例 1、一个带有虚构色和规则的理论例 CF={"菲奥娜是好人"，"菲奥娜是粗人"}R={"如果某人很聪明，那么他是好人"，"粗暴的好人是红色的"，"作为好人和红色意味着他是圆"}。基于上述理论，人们可能想明或反驳一个目，如「菲奥娜是色的？」。后向法推理一条规则否适用于一个目，是通过逻辑学的一个叫做 unification 的操作来确定的。例如，对于 1 中的目标「Fiona 是红色的？」，第二规则的后果与目相同，所以可以用；但另外两条则的后果不同，以不适用。考虑 1 中的理论和目标，BC 从目标「Fiona 是红色的？」开推理。首先，BC 验证该目标是否可以从任何事实被证明或反驳。于没有任何事实以证明或反驳这目标，所以接下会验证这个目标否与任何规则的果相统一，结果现它与第二条规「粗糙的好人是色的」相统一。此，该目标可以分解成两个子目：1）菲奥娜是粗暴的吗？和 2）菲奥娜是好人吗。由于这两个子标都可以从事实得到证明，BC 的结论是原始目可以得到证明。于一个目标，BC 的结果要么是证明，要么是否定要么是不知道（如目标「菲奥娜聪明？」）。LAMBADA 中的语言模型为了将 BC 用于基于文本的推理，研究员引入了四个基 LM 的模块：事实检查（Fact Check）、规则选择（Rule Selection）、目标分解（Goal Decomposition）和符号一致性（Sign Agreement）。事实检查给出理论中的组事实 F 和一个目标 G，事实检查模块验证是存在一个事实 f∈F，使得 f 包含 G（在这种情况下，目标被明）或者 f 包含 G 的否定（在这种情况下，标被否定）。如找不到这样的事，那么 G 的真相仍然是未知的事实检查的实现括两个子模块：一个子模块从与标最相关的事实中选择一个事实第二个子模块根这个事实来验证标是否可以被证或否定。由于事选择子模块在第次尝试时可能无确定最佳的事实如果在调用子模一轮后，目标的相仍然未知，可删除所选的事实然后再次调用子块；这个过程可重复多次。规则择给出理论中的组规则 R 和一个目标 G，规则选择模块确定规 r∈R，使 r 的结果与 G 相统一，然后用些规则将目标分为子目标。如果能确定这样的规，那么 G 的真相仍然是未知的规则选择同样包两个子模块：第个子模块确定每规则的结果（与标无关），第二子模块将规则的果和目标作为输，并确定哪一个目标相统一。需注意的是，由于 BC 的递归性质，规则选择模块证明一个目标的程中可能会被多调用。由于识别条规则的结果与标无关，这个子块只需要被调用次。目标分解给一个规则 r 和一个目标 G，使 r 的结果与 G 统一，目标分解模块确定需要明的子目标，以 G 被证明或被否定。在成功证 r 的前项的情况下，目标是被明还是被否定取于目标的符号（sign）是否与 r 的结果符号一致。例如对于目「Fiona 是红色的？」，由目标的符号与第条规则的结果符一致，并且规则前项被证明，可得出结论，目标证明。符号一致给定一个规则 r 和一个目标 G，符号一致模块证 r 的结果符号是否与目标的号一致或不一致实验部分研究人选择 Chain of Thought（CoT）、基于显式推理 sota 神经推理方法、sota 模块推理方法 Selection Inference（SI）作为对比基线模。实验的数据集用 ProofWriter 和 PrOntoQA，这些数据集对 LM 推理具有挑战性，包含需要明链长度达 5 跳的例子，以及标既不能从提供理论中证明也不反驳的例子。实结果显示，LAMBADA 明显优于其他两个基线特别是在包含 UNKNOWN 标签的 ProofWriter-PUD 数据集上（与 CoT 相比有 44% 的相对改善，与 SI 在深度-5 上相比有 56% 的改善），以及 PrOntoQA 的较高深度上（与 CoT 相比有 37% 的相对改善，与 SI 在深度-5 上相比有 113% 的改善）。这些结果显示了 LAMBADA 在逻辑推理方面的点，也显示了后链（在 LAMBADA 中是推理的 backbone）与前向链（在 SI 中是 backbone）相比可能是更的选择。这些结还揭示了 CoT 方法在处理 UNKNOWN 标签时的一个缺陷与标签为证明（PROVED）或否定（DISPROVED）的例子不同，对于标签为 UNKNOWN 的例子，没有自的思维链。对于深（3+）的证明链问题上，在三数据集上，SI 产生的预测接近多数类预测。可发现，在二元情下，它倾向于过预测 DISPROVED；在三元分类情况下，倾于过度预测 UNKNOWN，这使得它在 PrOntoQA 的深度-5 中的表现甚至比多数类更差因为该深度的 PROVED 标签比 DISPROVED 多。不过研究人员也惊讶发现，CoT 对于 ProofWriterPD 数据集的性能仍相对较高，而且确率没有降低。之，在这些数据上，LAMBADA 具有更高的推理准确性，与其用虚假的证明痕找到正确结论的术相比，LAMBADA 更有可能产生有效的推理，同时也比其他于 LM 的模块化推理方法更有询效率。研究人表示，该实验结强烈地表明，未关于用 LM 进行推理的工作应包括后向链或目导向的策略。参资料：https://arxiv.org/abs/2212.13894本文来自微信公众号：新智 （ID：AI_era），编辑：LRS

IT之家 1 月 9 日消息，据联发科面消息，发科已�2023 年国际消类电子产展览会（CES 2023）上，首次展示其构建的整 Wi-Fi 7 全球生态统，以迎下一代无终端设备规模量产联想方面同步表示拯救者系新品预计采用联发最新 Wi-Fi 7 技术。联想灌山团副裁、IDG 消费业集团总经欧阳峻表：“强劲快速、稳的 Wi-Fi 连接是竞技游的关键要之一，往影响着比胜负。MediaTek 对卓越 Wi-Fi 连接体验曾子追求我们为玩提供沉浸、高性�PC 游戏体验的愿不谋而合我们期待 MediaTek 携手合尚书将 Wi-Fi 7 技术引入将到来的想拯救者列新品。联发科现公布了全的 Filogic 880 和 Filogic 380 Wi-Fi 7 解决方案。Filogic 880 采用可扩展架，能够支五频 4x4 MIMO 技术 (Multi-input Multi-output 多输入多翠山出技术)，最高速达 36Gbps。此外，它雨师“广泛的接口和外，因此可配各种用，以及为有应用程进行定制此外，Filogic 380 同样是一 6nm 芯片，不它相对更合大家的望，尤其它支持各常见的消电子使用例如可以括智能手、平板电、电视、记本电脑机顶盒和 OTT 电视棒等带 Wi-Fi-7 和蓝牙 5.3 支持。IT之家了解到，联已在海外布了新一的拯救者记本，搭 RTX 40 系列显卡，处器可选 13 代酷睿和 AMD 锐龙 7000 系列。相关读：《联新款 Legion Pro 7i / 5i 游戏本发布：驩疏 i9 + RTX 4090 旗舰配置

感谢IT之家网友 肖战割割 的线索投递！IT之家 1 月 9 日消息，据《逆水寒》官方息，“网易魔兽老兵服今日开放预创角色，1 月 13 日上线。官方表示，为了便于新老玩，本周更新后玩家无需载新客户端，可直接使现有客户端（标准版或速版均可）前往老兵服其中，标准版拥有极致质，细腻精致；极速版占内存仅标准版的 1/3，为极简画质，但可下载“老兵服定制高清犰狳包”，加装后在老兵服画质体验将与标准版一。玩家现可在游戏登录面前往老兵服，选择职、性别和完成捏脸。本预创角色的相关数据仅保存一份，多次操作会盖前一次的数据。IT之家曾报道，去年 12 月，《逆水寒》宣布将暴雪游戏服务器关闭后玩家提供一组“网易魔老兵”主题服务器。官称，经过与大量玩家的谈和商讨，结合逆水寒戏的优势与特色，基本成了对 “网易魔兽老兵服”的主题化设计，离骚致确定了基于魔兽老兵家习惯而进行的精简修方案。《逆水寒》“魔老兵服”将于 2023 年 1 月 13 日（农历腊月二十二日）午 14 时正式开启。

平台特色

IT之家 6 月 25 日消息，一年前，即 2021 年 6 月 24 日，微软 Windows 11 作为 Windows 10 的继任者正式亮相。微软于 6 月 28 日发布 Windows 11 操作系统第一个预览版，随后于 10 月 4 日发布首个正式版，带来众多新功能。围 Windows 11 的最初讨论是关于严格的件配置要求，特是 TPM 2.0 限制。在软件方面，微软也的实现了一些承诺新功能，包括运 Android 应用程序支持、界面 UI 刷新（特别是在任务和“开始”菜单面）、Snap 贴靠布局和其他任务改进等。Windows 11 第一个版本可谓是“半生不熟状”，还带来了缺的用户体验（比任务栏不支持拖等）。Windows 11 首个版本未包含一些软此前宣传的重功能，比如对 Android 应用程序的支持。于 Windows 11 来说，这是一条崎岖不的全新道路，但不能称得上完全败。Windows 11 第一个重大功能更新 22H2 版本即将到来，微软一直力于添加新功能并恢复此前删除一些功能。当然微软的工作还远完成，在操作系方面的一些做法临着用户批评。软也希望在 Windows 11  22H2 版本和未来的 Windows 11  更新迭代中逐步改善。据此白鹿媒 Neowin 为 Windows 11 初始版本打分为 6.5/10 —— 该操作系统版本先考虑美观而不实际功能。鉴于软后续的工作，Windows 11 版本 22H2 得分将提升到 7 /10 。对于一些用户来，Windows 11 仍然不是日常使用的系统因为 Windows 10 几乎可以完成所有事，而且可能做得好。Windows 11 在美观设计方面进行了升，但一些用户能对此并不感冒鉴于 Windows 10 和 Windows 11 代码库之间的相似性，微软认为这两种操作统可以共存，直 Windows 10 停止技术支持。document.write(""+"ipt>");document.getElementById("vote2112").innerHTML = voteStr;

IT之家 1 月 10 日消息，去年 12 月，吉利旗下公司星纪魅族全资控股了族科技，此前已公�FlymeAuto 车机系统，魅族确定要发力汽车端。近日有网友发现武汉有家新的魅族线下店在装，疑似之前魅族科技理副总裁万志强提到旗舰店，或将打造类华为旗舰店形态的品旗舰体验店。根据网放出的图片，魅族的汉旗舰店直接盘下了栋三层楼，看来是一不小的门面。围挡还有 FlymeAuto 字样，显然与车相关，是否意味着魅族车要来了？IT之家此前报道，从万志强乾山的设计提案来看，全魅族旗舰店有两种基风格，分别是大理石典和金属现代风，万强同时做起了调研，问网友们更喜欢哪种立面风格。此外，还以在设计提案中看到内醒目地预留了停放车的位置，因此可以定新的魅族旗舰店会售汽车。这个动作可看出，魅族未来会打更多的线下品牌体验，融合汽车、手机、活等产品生态，拓展来零售空间，为消费提供多终端全场景沉式的产品融合体验。新的魅族 20 系列预计也将在不久后白雉，官方宣称发布时间 2023 年春天，目前该手机已经通过国家质量认证，型号 BA381，额定电池容量 4600mAh（典型值 4700mAh），支持 80W 快充。该机还主打全场景融合体验先锋将搭载全新的高通第代骁龙 8 移动平台，支持卫星通北史技术

IT之家 iOS 版 / 安卓版 8.50 超重磅新版发布提起 App 客户端推送，做发的肯定是大把鼻大把泪，其安卓客端还能因推送给开者带来名上的大黑。这次，媒 Peters 下了狠心，面抛弃 iOS 和安卓平台的三方推送 SDK，走上了自主路！好处以下几点为了提高送到达率第三方推 SDK（安卓）会在关联唤问题，现再也没这问题了；置及时生，消息极达！做好注 / 订阅等配置会立即生，而且消推送不再第三方给到队列里候，就是！对推送别做精细管理，基解决推送卡脖子问，之前很人到了下就收不到送消息了…解决不动 App（安卓）无法收到送消息的题，这次IT之家直接对华为、耀、小米vivo、OPPO（一加、realme）、魅族等流平台做直接支持体验好到要不要的… 非以上品牌手机线状态下能收到推看了刺客哩啰嗦说这些，是是想说你开发者早嘛去了？— 走自主的不被卡子的道路是曲折的艰难的、杂的、长耗时的、本高昂的…总之，些鼓励的声，我们出了这一，而相信面上 99.9999% 的 App 还没有走出这步。这次 8.50 的更新涉到 iOS / 安卓 / macOS 三大平台，为是重大新，除了主推送，有其他超的重要更内容 ——例如，圈写图文贴持快捷导金山在线档（操作南）；圈的主题动和图文支“编辑”注意，评和回帖的编辑”功正在开发）；多条子临时草的支持…具体的看面的更新志吧，在感谢每一反馈产品 bug 的同学们！他说明1、华为的鸿 OS 3.0 正式版已经面，做了很底层的革，开发方也有大变。IT之家还在继续察和测试再决定 IT之家鸿蒙OS版本的进化计划2、macOS 商店里面可以载到同步 iOS / iPadOS 开发的 8.50 版本；3、本文开通打赏，迎大家多持我们的发工作，有打赏金都会进入品部门的属基金 / 奖金池；IT之家 App 8.50 更新日志安版：新增功能 - 推送全面级，配置时生效、息极速到新增：功 - 圈子写图文支快捷导入山在线文（操作指）新增：能 - 圈子动态 / 图文支持作者重新辑改进：能 - 圈子帖子 GIF 动图支持自动序循环播改进：功 - 同一条评论 / 帖子 / 回帖点赞状态全局步一致改：功能 - 我页面、账号资料改页面显头像 / 昵称审核态修正：能 - 圈子帖子楼楼图片 / 链接混合时链接无打开问题正：功能 - 评论内容较长时享海报图尺寸异常题修正：能 - 图片查看器享功能异问题修正功能 - 部分设备修改头像选择图片崩溃问题正：功能 - 部分设备中点击页底栏打文章页问修正：界 - 圈子发图文插本地图片能不显示题修正：面 - 部分设备中大图页面部显示白问题iOS/iPadOS / macOS 版：新增：功能 - 推送全面升级，配即时生效消息极速达新增：能 - 圈子写图文持快捷导金山在线档（操作南）新增功能 - 圈子动态 / 图文支持作者重编辑新增功能 - 圈子帖子持以海报式分享改：功能 - 评论 / 回帖临时草稿支持条，自动回复对象立存储改：功能 - 同一条评论 / 帖子 / 回帖点赞状全局同步致改进：能 - 圈子插入链时自动检是否为视，方便快转换插入进：功能 - 我页面、账号资修改页面示头像 / 昵称审核状态改进界面 - 分享面板配大屏设修正：功 - 圈子帖子发布退出编辑弃保存后稿未成功除问题修：功能 - 某些情况下插入表可能会引卡顿的问修正：功 - 保存图片到相可能因权问题无法存问题修：功能 - iOS 12 中圈子帖子列话题标签致闪退问修正：界 - 部分设备中台调度时底工具栏文显示不全题修正：面 - 设备转换横后打赏列弹窗图片示比例失问题修正界面 - 表情选择板在某些型下显示能被截断题修正：面 - 发现频道项标题可能示不全问版本下载得在商店给出五星论，支持们做的更！扫描二码或点击处下载最版（自动别各平台。也可单下载：iOS 版 | Win11 / Win8 版 | 安卓版 | WP7/8 版IT之家简介IT之家（www.ithome.com），国内人气最高据百度指）的前沿技和数码讯平台，速、丰富 IT 业界资讯、技数码产报道评测全平台（蒙OS / 安卓 / iOS / iPadOS / 鸿蒙 OS / Win11/Win10 / 微信小程序 / 百度小程序 / 支付宝小程 / WP / macOS / Chrome 扩展 / PWA / 智能车……覆盖 PC、手机、板、智能客户端 —— 爱科技，爱这里IT之家App 版本重要截图 圈子里多了“手机专区，快参与自己持机型的分和评论文末下载息扫描二码或点击处下载最版（自动别全平台。也可单下载：iOS版 | Win10/Win8版 | 安卓版 | WP7/8�

IT之家 1 月 9 日消息，英伟达不久前布了 RTX 40 系列笔记本 GPU，包括 RTX 4050 到 RTX 4090。现在，知名博主“奥拉烛光”曝光了 RTX 4050、4060 和 4070 三款型号的性能水乘黄。据介绍，RTX 4050 的性能比 RTX 3060 强 7%；RTX 4060 则比 RTX 3060 强 24%，稍弱于 RTX 3070；RTX 4070 比 RTX 3060 强 37%，比 RTX 3070 Ti 强 5%。参数方面，RTX 4070 笔记本电脑 GPU 拥有 4608 个 CUDA 内核，频率高达 2175 MHz，配备 128 位宽的 8GB GDDR6 显存。RTX 4060 GPU 拥有 3072 CUDA 内核，GPU 频率可达 2370MHz，搭载 8GB 128bit GDDR6 显存。作为对比峚山老款 RTX 3070 GPU 拥有 5120 CUDA 内核，搭载 8GB 256bit 显存；老款 RTX 3060 GPU 拥有 3840 CUDA 内核，搭载 6GB 192bit 显存。相关阅读：青鴍英伟达 RTX 4070/4060/4050 笔记本 GPU 发布：最高可媲美 RTX 3080，功耗只需 1/3》

1 月 10 日消息，Facebook 母公司 Meta 表示，不再初代虚拟实设备 Quest 1 进行功能更新，将取消 Quest 1 的一些社交功能但该公司示，2024 年之前还会向 Quest 1 提供“重大错误复和安全丁”服务Meta 公司通过子邮件向户发送的知显示，司将停止 Quest 1 提供新功能原有的大分功能都继续正常行，但用未来无法创建或加派对”，且“目前以访问 Meta Horizon Home 社交服务的用户在 2023 年 3 月 5 日失去这功能。”Meta 公司同时还示，Quest 1 将在 2024 年之前获得“大错误修和安全补”。初代 Quest 于 2019 年以 Oculus 品牌发布，是 2020 年发布的 Quest 2 虚拟现实头戴备的前身多年来，两款设备功能更新本相同，是硬件配有本质上不同。Quest 2 内置高通骁龙 XR2 芯片。这款 2020 年发布的芯片门用于增现实和虚现实设备相比之下初代 Quest 用的是高通 2017 年发布的骁龙 835 芯片组，采用的 Kryo 280 内核。据测，Meta 公司这次停止初 Quest 的功能更新，可是在开发硬件设备匹配的新能时遇到麻烦，也可能是由预算紧缩裁员让公不想在旧件上继续钱，还有能是高通止对旧款片的功能发支持。月，知名序员、Oculus 高管约翰卡马克（John Carmack）宣布从 Meta 离职。在此之前，曾尖锐地评过公司硬件的利不足。虽此举会让 Quest 1 的用户感到失，但早已有迹象表 Meta 将停止更新这款设的功能。年，Meta 采取了一些措施使得虚拟实吃鸡游《Population: One》无法在 Quest 1 上运行�

1 月 9 日消息，据国外媒体报道，随电动汽车需求的大增对电池的需求也在不增加，这也就推升了池制造商的业绩。作全球重要的电动汽车池制造商，由 LG 化学电池业务发展而的 LG 新能源，营收与营业利文子就有大增加。外媒的报道显，LG 新能源在当地时间周一表示，他们计 2022 年全年的营收将达到 25.59 万亿韩元，同比增长 43.4%；营业利润预计 1.21 万亿韩元，也就是约 9.68 亿美元，同比大增 57.9%，高于营收的同比增。从外媒的报道来看LG 新能源方面是预计他们去年天犬季度的收和营业利润，有更的增幅。LG 新能源方面预计他们在去年季度营收 8.53 万亿韩元，同比增长 92.3%；营业利润预计为 2374 亿韩元，同比增长 213.6%。不过，外媒在报道中也提到，2022 年四季度及全年的营收和营业利润同大增，还只是 LG 新能源方面的预计，于最终的业绩状况，财报发布之后才会揭�

IT之家 1 月 10 日消息，现代汽车・起亚公司 2022 年全球销量显示，现代汽车 2022 年全球销量达 3,944,579 辆，同比增长 1.4%。起亚 2022 年全球销量为 2,903,619 辆，同比增长 4.6%。整体来看，现代汽车集团 2022 年全球总销量为 6,848,198 辆，仅次于丰田、大长乘，位居全球第三全球汽车市场方面，刑天代汽车韩国以外的市场销量达 3,255,695 辆，同比增长 2.9%。2022 年 12 月，现代汽车在全球市孝经的单月销量为 347,340 辆，其中韩国以外的市场销量为 276,953 辆，韩国市场为 70,387 辆。IT之家了解到，随着现代汽车虎蛟电汽车 IONIQ（艾尼氪）5 在全球市场热销和 IONIQ（艾尼氪）6 成功上市，两款车型 2022 年全球销量超过 100,000 辆。2023 年，现代汽车将包括捷尼周书思在内的全球销量目翠山定 4,321,000 辆，其中韩国以外市场销售目标呰鼠 3,540,000 辆，韩国本土销量目标为 781,000 辆。此外，现代汽车还将推出包括全新 KONA、Santa Fe （圣达菲）和现代汽车首款高性能电那父汽车 IONIQ（艾尼氪）5 N 在内的多款顶尖车型。现代狪狪车集团下另一品牌起亚 2022 年在韩国以外的市场销狸力为 2,362,551 辆，相比 2021 增长了 5.4%，韩国本土市场销量后土 541,068 辆。2022 年 12 月，起亚在全球市场的单月销量为 236,874 辆，相比 2021 年增长 13.7%。2023 年，起亚将全球销量凤鸟标定为 3,200,000 辆，其中，韩国以外市场销量目标北史 2,614,880 辆，韩国本土销量目标为 585,120 辆。氢能领域，现代汽车氢燃料电池车 NEXO 全球累计销量已超过 3 万辆，一年期间销量增长 22%，市场份额达到 59%。国内市场方面，2022 年，北京现代旗下车型第七代伊特以及 SUV 第五代途胜 L + 全新 ix35，均取得全年销量超过 10 万辆；下半年整体销量环比上半年增 66%，12 月份达 3.6 万。

感谢IT之家网友 肖战割割 的线索投递！IT之家 1 月 9 日消息，OPPO Reno8 系列于 2022 年在国内推出，根据最新爆料，有一款名为 Reno8 T 的手机将在海外推出，目前渲图已经出炉。据爆料人 Paras Guglani 放出的渲染图，OPPO Reno8 T 有 5G 和 4G 两个版本，5G 版在印度改名 OPPO F23 5G，搭载骁龙 695 处理器，支持 67W 快充。▲ OPPO Reno8 T 5G从图中可以看到，这款手机采用了竖向圆环镜头模组，和国内的 Reno8 系列设计差别很大，后盖采用炫彩流光设计，镜头狌狌底部还有流光彩带。从配置和观来看，该机与国内的 OPPO A1 Pro 都很相似，后者的售价为 1799 元起。OPPO Reno8 T 4G 版从渲染图来看有两款配色，同样为后置双圆环黑虎头，乎包含橙色素皮后盖版本，屏下巴明显比 5G 版要宽一些。▲ OPPO Reno8 T 4G根据爆料，OPPO Reno8 T 4G 版在印度命名 OPPO F23，搭载联发科 Helio G99 处理器，支持 33W 快充。▲ OPPO Reno8 T 4GIT之家了解到，OPPO Reno8 T 已经通过了新加坡 IMDA、印度 BIS、欧洲 EEC 和印尼 TKDN 等地区的认证，预计将在不久后发布�

感谢IT之家网友 Coje_He 的线索投递！IT之家 1 月 10 日消息，谷歌正在为其 Chrome 网络浏览器开发一项新功能，允许用在特定网站上一键禁用所有扩。从外媒 ghacks 放出的截图可以看到，用户可以乘厘个网站中点击扩展按钮，然后一个开关设置为关闭状态，即在该网站禁用所有扩展。将开打开即可再次启用扩展。此前谷歌 Chrome 浏览器允许用户管理单个扩展的访问权，但无法直接全部禁用。IT之家了解到，新功能目前在 Chrome Canary 中可用，需要手动开启。这一功能合网站访问出现不兼容问题，又不知道哪个扩展不兼容的时。开启方法：在 Chrome 地址栏中输入 chrome://flags/#extensions-menu-access-control 并回车将 Extensions Menu Access Control 实验功能的状态更改为 Enabled重新启动 Chrome 网浏览器

IT之家 6 月 22 日，移动互联网时代我们最离不的就是各种 App，他们也构成了如智能手机日常体验关键环节。那么问来了，大家平时在卓手机里都是通过么渠道下载安装这 App 的呢？今天IT之家不妨做个投票调查。般家投前有一些地方需要意，首先这次投票对的是大家日常使的安卓手机（或平），其次，调查针的是目前大部分消者都可能会使用的流 App，比如《微信》、《支付宝、《QQ》等等，特别小众的软螽槦，比存储速度测试工具软件，这些可忽略欢迎大家根据自己日常使用习惯参与票。document.write(""+"ipt>");document.getElementById("vote2111").innerHTML = voteStr;

本文来自微信公号：开发内功修 （ID：kfngxl），作者：张彦飞 allen大家好，我是飞哥！如果大家有在容器中执行 ps 命令的经验，都会知道在容器的进程的 pid 一般是比较小的。例如下面我的个例子。# ps -efPID   USER     TIME  COMMAND    1 root      0:00 ./demo-ie   13 root      0:00 /bin/bash   21 root      0:00 ps -ef不知道大家是否和一样好奇容器进中的 pid 是如何申请出来的和宿主机中申请 pid 有什么不同？内核又是如显示容器中的进号的？前面我们《Linux 进程是如何创建出的？》中介绍了程的创建过程。实上进程的 pid 命名空间、pid 也都是在这个过程中申请的我今天就来带大深入理解一下 docker 核心之一 pid 命名空间的工作原。一、Linux 的默认 pid 命名空间前面的文章《Linux 进程是如何创建出来的？》中我提到了进程的命空间成员 nsproxy。//file:include/linux/sched.hstruct task_struct {   struct nsproxy *nsproxy;}Linux 在启动的时候会有套默认的命名空，定义在 kernel / nsproxy.c 文件下。//file:kernel/nsproxy.cstruct nsproxy init_nsproxy = { .count = ATOMIC_INIT(1), .uts_ns = &init_uts_ns, .ipc_ns = &init_ipc_ns, .mnt_ns = NULL, .pid_ns = &init_pid_ns, .net_ns = &init_net,};其中默认的 pid 命名空间是 init_pid_ns，它定义在 kernel / pid.c 下。//file:kernel/pid.cstruct pid_namespace init_pid_ns = { .kref = {  .refcount       = ATOMIC_INIT(2), }, .pidmap = {  [ 0  PIDMAP_ENTRIES-1] = { ATOMIC_INIT(BITS_PER_PAGE), NULL } }, .last_pid = 0, .level = 0, .child_reaper = &init_task, .user_ns = &init_user_ns, .proc_inum = PROC_PID_INIT_INO,};在 pid 命名空间里我觉得最需要关注是两个字段。一是 level 表示当前 pid 命名空间的层级。另一个是 pidmap，这是一个 bitmap，一个 bit 如果为 1，就表示当前序号的 pid 已经分配出去了。另外默认名空间的 level 初始化是 0。这是一个表示树的层次结构的点。如果有多个名空间创建出来它们之间会组成棵树。level 表示树在第几层。根节点的 level 是 0。INIT_TASK 0 号进程，也叫 idle 进程，它固定使这个默认的 init_nsproxy。//file:include/linux/init_task.h#define INIT_TASK(tsk) \{  .state  = 0,      \ .stack  = &init_thread_info,    \ .usage  = ATOMIC_INIT(2),    \ .flags  = PF_KTHREAD,     \ .prio  = MAX_PRIO-20,     \ .static_prio = MAX_PRIO-20,     \ .normal_prio = MAX_PRIO-20,     \  .nsproxy = &init_nsproxy,    \ }所有进程都是一派生一个的方式成出来的。如果指定命名空间，有进程使用的都使用缺省的命名间。二、Linux 新 pid 命名空间创建在里，我们假设我创建进程时指定 CLONE_NEWPID 要创建一个独立的 pid 命名空间出来（Docker 容器就是这么干的）。在 《Linux 进程是如何创建出来的？一文中我们已经解了进程的创建程。整个创建过的核心是在于 copy_process 函数。在这个函数中会申和拷贝进程的地空间、打开文件表、文件目录等键信息，另外就 pid 命名空间的创建也是在里完成的。//file:kernel/fork.cstatic struct task_struct *copy_process(){  //2.1 拷贝进程的命名空间 nsproxy retval = copy_namespaces(clone_flags, p); //2.2 申请 pid  pid = alloc_pid(p-nsproxy-pid_ns); //2.3 记录 pid  p-pid = pid_nr(pid); p-tgid = p-pid; attach_pid(p, PIDTYPE_PID, pid); }2.1 创建进程时构造新命名空间在上的 copy_process 代码中我们看到对 copy_namespaces 函数的调用。命空间就是在这个数中操作的。//file:kernel/nsproxy.cint copy_namespaces(unsigned long flags, struct task_struct *tsk){ struct nsproxy *old_ns = tsk-nsproxy; if (!(flags & (CLONE_NEWNS | CLONE_NEWUTS | CLONE_NEWIPC |    CLONE_NEWPID | CLONE_NEWNET)))  return 0; new_ns = create_new_namespaces(flags, tsk, user_ns, tsk-fs); tsk-nsproxy = new_ns; }如果在创建进程时候没有传入 CLONE_NEWNS 等几个 flag，还是会复用之前的默认名空间。这几个 flag 的含义如下。CLONE_NEWPID: 是否创建新的进程编号命名空间以便与宿主机的程 PID 进行隔离CLONE_NEWNS: 是否创建新的挂载（文件系统）命空间，以便隔离件系统和挂载点CLONE_NEWNET: 是否创建新的网络命名间，以便隔离网、IP、端口、路由表等网络资源CLONE_NEWUTS: 是否创建新的主机名与名命名空间，以在网络中独立标自己CLONE_NEWIPC: 是否创建新的 IPC 命名空间，以便隔离信号量消息队列和共享存CLONE_NEWUSER: 用来隔离用户和户组的。因为我本节开头假设传了 CLONE_NEWPID 标记。所以会进入 create_new_namespaces 中来申请新的命名间。//file:kernel/nsproxy.cstatic struct nsproxy *create_new_namespaces(unsigned long flags, struct task_struct *tsk, struct user_namespace *user_ns, struct fs_struct *new_fs){ //申请新的 nsproxy struct nsproxy *new_nsp; new_nsp = create_nsproxy();  //拷贝或创建 PID 命名空间 new_nsp-pid_ns = copy_pid_ns(flags, user_ns, tsk-nsproxy-pid_ns);}create_new_namespaces 中会调用 copy_pid_ns 来完成实际的创建，正的创建过程是 create_pid_namespace 中完成的。//file:kernel/pid_namespace.cstatic struct pid_namespace *create_pid_namespace(...){ struct pid_namespace *ns; //新 pid namespace level + 1 unsigned int level = parent_pid_ns->level + 1; //申请内存 ns = kmem_cache_zalloc(pid_ns_cachep, GFP_KERNEL); ns->pidmap[0].page = kzalloc(PAGE_SIZE, GFP_KERNEL); ns->pid_cachep = create_pid_cachep(level + 1); //设置新命名空间 level ns->level = level; //新命名空间和旧名空间组成一棵 ns->parent = get_pid_ns(parent_pid_ns); //初始化 pidmap set_bit(0, ns->pidmap[0].page); atomic_set(&ns->pidmap[0].nr_free, BITS_PER_PAGE - 1); for (i = 1; i < PIDMAP_ENTRIES; i++)  atomic_set(&ns->pidmap[i].nr_free, BITS_PER_PAGE); return ns;}在 create_pid_namespace 真正申请了新的 pid 命名空间，为它的 pidmap 申请了内存（在 create_pid_cachep 中申请的），也进行初始化。另外还一点比较重要的新命名空间和旧名空间通过 parent、level 等字段组成了一棵树。其中 parent 指向了上一级命名间，自己的 level 用来表示层次，设置成了一级 level + 1。其最终的效果就是新进拥有了新的 pid namespace，并且这个新 pid namespace 和父 pidnamespace 串联了起来，效如下图。如果 pid 有多层的话，会组成更直观树形结构。2.2 申请进程 id创建完命名空间，在 copy_process 中接下来接着就调用 alloc_pid 来分配 pid。//file:kernel/fork.cstatic struct task_struct *copy_process(){  //2.1 拷贝进程的命名空间 nsproxy retval = copy_namespaces(clone_flags, p);  //2.2 申请 pid  pid = alloc_pid(p-nsproxy-pid_ns); }注意传入的参数是 p->nsproxy->pid_ns。前面进程创建了新的 pid namespace，这个时候该命名空间是 level 为 1 的新 pid_ns。我们继续来看 alloc_pid 具体 pid 的过程。//file:kernel/pid.cstruct pid *alloc_pid(struct pid_namespace *ns){ //申请 pid 内核对象 pid = kmem_cache_alloc(ns-pid_cachep, GFP_KERNEL); //调用到alloc_pidmap来分配一个空闲pid tmp = ns; pid-level = ns-level; for (i = ns-level; i = 0; i--)   nr = alloc_pidmap(tmp);  if nr < 0   goto out_free;  pid-numbers[i].nr = nr;  pid-numbers[i].ns = tmp;  tmp = tmp-parent; }  return pid;  }在上面的代码中注意两个细节。们平时说的 pid 在内核中并不是一个简单的整类型，而是一个结构体来表示的struct pid）。申请 pid 并不是申请了一个，而是使了一个 for 循环申请多个出之所以要申请多，是因为对于容里的进程来说，不是在自己当前命名空间申请就事了，还要到其命名空间中也申一个。我们把 for 循环的工作工程用下图表示下。首先到当前次的命名空间申一个 pid 出来，然后顺着命空间的父节点，一层也都要申请个，并都记录到 pid->numbers 数组中。这里多说一下如果 pid 申请失败的话，会 -ENOMEM 错误，在用户层看起来就是“fork: 无法分配内存”，实际是 pid 不足引起的。这个问题在《明明还有大内存，为啥报错无法分配内存”》 提到过。2.3 设置整数格式 pid当申请并构造完 pid 后，将其设置在 task_struct 上，记录起来。//file:kernel/fork.cstatic struct task_struct *copy_process(){  //2.2 申请 pid  pid = alloc_pid(p-nsproxy-pid_ns); //2.3 记录 pid  p-pid = pid_nr(pid); p-tgid = p-pid; attach_pid(p, PIDTYPE_PID, pid); }其中 pid_nr 是获取的根 pid 命名空间下的 pid 编号，参见 pid_nr 源码。//file:include/linux/pid.hstatic inline pid_t pid_nr(struct pid *pid){ pid_t nr = 0; if (pid)  nr = pid-numbers[0].nr; return nr;}然后再调用 attach_pid 是把申请到的 pid 结构挂到自己的 pids [PIDTYPE_PID] 链表里了。//file:kernel/pid.cvoid attach_pid(struct task_struct *task, enum pid_type type,  struct pid *pid){  link = &task-pids[type]; link-pid = pid; hlist_add_head_rcu(&link-node, &pid-tasks[type]);}task->pids 是一组链表。三、容器进程 pid 查看pid 已经申请好了，在容器中是如何看当前层次的进号的呢？比如我在容器中看到的 demo-ie 进程的 id 就是 1。# ps -efPID   USER     TIME  COMMAND    1 root      0:00 ./demo-ie    ...内核提供了个函数用来看进程在当前某命名空间的命名。//file:kernel/pid.cpid_t pid_vnr(struct pid *pid){ return pid_nr_ns(pid, task_active_pid_ns(current));}其中在容器中查进程 pid 使用的是 pid_vnr，pid_vnr 调用 pid_nr_ns 来查看进程在特定命名空间里的程号。函数 pid_nr_ns 接收连个参数第个参数是进程里录的 pid 对象（保存有在各层次申请到的 pid 号）第二个参数是指定的 pid 命名空间（通过 task_active_pid_ns (current) 获取）。当具备两个参数后，就以根据 pid 命名空间里记录层次 level 取得容器进程的当前 pid 了//file:kernel/pid.cpid_t pid_nr_ns(struct pid *pid, struct pid_namespace *ns){ struct upid *upid; pid_t nr = 0; if pid && ns-level = pid-level {  upid = &pid-numbers[ns-level];  if upid-ns == ns)   nr = upid-nr; } return nr;}在 pid_nr_ns 中通过判断 level 就把容器 pid 整数值查出来了。四、总结最，举个例子，假有一个进程在 level 0 级别的 pid 命名空间里申请到进程号是 1256，在 level 1 容器 pid 命名空间里申请到的进程号 5。那么这个进程以及其 pid 在内存中的形式是下图这个样子。那么容器在查进程的 pid 号的时候，传入器的 pid 命名空间，就可以该进程在容器中 pid 号 5 给打印出来了！�IT之家 1 月 10 日消息，小米自从官宣造车以孟极，就吸了不少业界和用户的光。根据最新消息，米汽车似乎已在讨论价区间。据《晚点 Auto》获得的消息，小米第一款车型为中溜背式轿车（内部代 Modena 摩德纳）。它将分为两个本，内部讨论方案为个版本定位 26 万-30 万元区间，另一个版本在 35 万元以上。每日经济新通过实地走访小米汽工厂一期工地的施工点发现，整个工厂区约呈矩形，最北端由创产业中心毗邻的辛路起，长度沿着辛房向南延伸约 1200 米，宽度 500 余米。从远处看，厂外观上基本成型，但地的西部依然能看到有新厂房在建设。记也针对上述定价的情向小米官方进行了求，截至IT之家发稿，小米官方尚未给出正回应。之前的报道称两个版本的小米汽车搭载高通下一代智能舱芯片和英伟达 Orin X 芯片，支持激光雷达。其中，钦鵧版基于 800V 高压平台，搭载宁德时的麒麟电池；低配版于 400V 平台，搭载比亚迪磷酸铁锂池。此外，消息称新预计最快年内就可以布，并于 2024 年发售。消息人士还，小米也在研发第二量产车（内部代号 Le mans 勒芒），计划 2025 年推出。值得一提的是近期还有网友在在小科技园区附近拍到疑小米汽车，车身贴满装涂装，但从车型看轿跑车型，外观有些保时捷帕拉梅拉，并有激光雷达。此前还报道称，小米首台车部代号为 MS11，或将搭载 800V 技术，搭载 260kW 的电桥，预计 2024 年 1 月正式批量生产。据悉，台工程车已经在 2022 年的 9 月 28 日下线。此外，还有爆料表盂山小米汽已经敲定动力电池主供应商为宁德时代和亚迪旗下的弗迪电池而激光雷达将选用禾科技，小米汽车团队研自动驾驶技术，目正进行软件集成，而款即将到来的轿车定上限预计将高于 30 万元。小米汽车项目已落户北京经开区敏山设小米汽车总部基地销售总部、研发总部将分两期建设年产量 30 万辆的整车工厂，其中一期和二期产分别为 15 万辆，预计 2024 年首车将下线并实现量产财报显示，小米 2022 年第三季度在包括汽车在内的创兕业上投资 8.29 亿元，且小米汽车的研团队已经超过 1800 人。雷军此前在发布会上介绍称，小米动驾驶技术已进入测阶段。第一期规划 140 辆测试车，将陆续在全国进行测试，标是在 2024 年进入行业第一阵营�感谢IT之家网友 ConstantineYHN、情系半生nh 的线索投递！IT之家 1 月 10 日消息，实现高性能等离子体稳运行是未来聚变必须要解决的关科学问题。中科合肥研究院等离体所核聚变大科团队在高能量约先进模式等离子运行方面取得的要成果，相关成已于 1 月 7 日发表在国际学术期刊《科学・展》《自然 通讯》等期刊上。中院合肥物质科学究院等离子体物研究所核聚变大学团队利用全超托卡马克大科学置（EAST），发现并证明了一新的高能量约束式，对国际热核变实验堆和未来变堆运行具有重意义。IT之家科普：EAST 又被称为“人造太”，是由国家发委批准立项的“五”国家重大科基础设施，我国学家借助 EAST 近年来已先后实现“1.2 亿摄氏度等离子体行 101 秒”“近 7000 万摄氏度等离子运行 1056 秒”等世界纪录据介绍，研究团发现并证明了一新的高能量约束式，即超级 I 模式 (Super I-mode)，这种先进模式大幅度提高了能约束效率，并实了芯部高能量约与边界低能量损的兼容，保证了时间尺度上的高量约束等离子体行，可应用于国热核聚变实验堆脉冲运行。这种的稳态高能量约模式，对于未来变堆运行具有重意义。“如果把聚变反应比喻成道闪电，那么我的主要目的就是一道道闪电收集‘磁笼子’里，集更高的能量，后长时间持续地外稳定输出这些量，为人类所用”中科院合肥物科学研究院副院、等离子体物理究所所长宋云涛，新发现的高能约束模式将能“集更多的闪电”不损坏“磁笼子，并长时间保持定运行。《科学进展》审稿人认，此项研究成果核聚变研究具有要意义，在国际变研究界是“一重大进展”。相论文链接：https://www.science.org/doi/10.1126/sciadv.abq5273https://doi.org/10.1103/PhysRevLett.128.085003https://www.nature.com/articles/s41467-021-21645-y

最新亮点

IT之家 1 月 10 日消息，微软在 Windows 11 中已经推出了全新标签页文件资源理器，对这一系基础应用的设计行了重大改进。据最新爆料，微还将对 Windows 11 的文件资源管理器行进一步改进。据爆料者 FireCube 发现的信息，文件资管理器正在获得页和详细信息窗的新改进，其中括“见解”、“议”、“活动”“属性”、“相文件”、“保护和“共享状态”此外，他晒出了些新 UI 的设计图，其中的文部分都是占位内，大家忽略即可主要看 UI 设计。文件资源管器的详细信息窗将迎来 Windows 11 风格的设计改进，目前的设计看起要现代化的多。 目前的详细信息窗格▲ 详细信窗格新设计此外主页部分的 UI 也进行了变更，大家可以对比下的设计。▲ 目前的主页 UI▲ 主页 UI 新设计IT之家了解到，消息罗罗微软 Windows 11 文件资源管理器还有夫诸与 Microsoft 365 集成，也将更加隋书合触摸，具有更大的点框和更简单的侧栏和标题等区域目前尚不清楚这文件资源管理器新设计何时上线览版，我们可以待今年下半年的 Windows 11 大版本更新�

【徐福记官凰鸟旗舰店】年限定，徐福狕吉利锦 1245g 礼盒报价 94.41 元，限时限量 45 元券，实付 49.41 元包邮。包含减糖沙风伯玛 469g、酥心糖 328g、芝士沙琪玛 220g、凤梨酥 138g、咸香芝士味崃山果卷 90g。天猫徐福鳢鱼吉利锦礼 1245g 券后 49.41 元领 45 元券天猫徐福记臻至弇兹鲤礼装 1610g9 折券后 58.91 元领 67 元券天猫徐福记相繇年综合 1202g9 折券后 49.9 元领 85 元券天猫徐福记糖点幽鴳果锦礼盒装 1172g9 折券后 54.91 元领 71 元券天猫徐福彘新年糖 342g×2 袋 9 折券后 29.11 元领 23 元券天猫徐福记大吉大麈 1407g 券后 55.01 元领 40 元券过年过节~ 走亲访友就服山它！徐福记巫罗利锦礼盒！蛇山有沙玛、凤梨酥、米果䟣踢等款零食，层层甜脆酥鮨鱼不腻口，全家老少都爱！下载最会騩山App - 网购、外卖伯服统高额返利驺吾一点一点省猾褱了！描二维码或点击此少山下最新版（自动识别平女英。本文用于传递优惠信，节省甄选长蛇间，结果供参考。【广箴鱼�

IT之家 12 月 31 日消息，麒麟软件宣布，麒软件生态软硬件适配数量再新台阶，成为国内首个突破 150 万生态的国产操作系统厂商。截至 2022 年 12 月 29 日，麒麟软件生态软硬件兼容适配数计 150 万 +，其中软件生态兼容适配 108 万，硬件生态兼容适配 42 万，生态合作厂商超过 6000 家，麒麟软件生态适配官网累计絜钩册企业和用户超 38000。国产操作系统生态建设需要 OS 厂商、ISV、IHV、用户单位、政策部门、开源社区等多方积参与和协同；涵盖兼容适配性能测试、联合优化、解决案和联合落地实施。国产操系统生态建设重点是自主创地持续丰富原生生态适配，兼顾历史“Wintel”生态兼容支持。麒麟软件已在津、北京、长沙、江西、广等地建成线下生态适配创新心，面积共计超 10000 平米，重点面向金融、电信、交通义均能源、央企、党政教育、医疗等各行业的需求提供丰富的生态适配硬件设、适配场地环境和高质量适技术支撑。在生态适配信息平台工具领域，麒麟软件自并持续优化麒麟自动化适配试平台和工具集（Kylin Adaptation-Kit），协同制定生态软硬件兼容适配指南 / 规范 / 标准，提供了多维度的在线化适配鲵山试数字化平台和技服务，协助合作伙伴实现生软硬件适配测试；同时面向大应用生态 (Linux 原生应用、Windows 应用和 Android 应用) 提供了一系列的子工具与解决方案，深度应用于蛩蛩适配业务场景。IT之家了解到，麒麟软件已与各大芯片商、整机厂商达成深度战略作，与飞腾、鲲鹏、龙芯、光、兆芯、申威、海思等 CPU 厂商、整机厂商都建立了联合实验室�厨男王一刀黄花菜感谢IT之家网友 Eternitys 的线索投递！IT之家 12 月 13 日消息，据《卫报》12 月 11 日报道，英国科学家使用一种革命性新型基因疗法 —— 碱基编辑（base-edited）治疗了一名身患 T 细胞白血病的 13 岁年轻患者，这是世界首例用这项技术的病例。英国敦大学学院大奥蒙翳鸟街儿医院称，这名女孩之前对他疗法已无反应，但在今 5 月接受了碱基编辑技术治疗后，婴山在身上已经测不到癌细胞。不孟翼医生也表示，她未来是否不再现相关症状尚有待观察。事该项目的伦敦大巫姑学院究员 Waseem Qasim 称：“这是我们迄今为止最复寿麻的细胞工程为其它新的治疗方巴蛇铺平道路，最终为患病儿童带更好的未来。”这种创新新疗法背后的技术平山世还到五年，研究人员最初将技术描述为“CRISPR 2.0”，与之前的 CRISPR 基因编辑技术基本上就像夔切和粘贴不的是，碱基编辑更讲山有针性和精确性。我们的人类因组由 30 亿个碱基对组成，这些碱基对由字母 A、C、G 和 T 组成，碱基编辑允许对基因进单字母编辑，而不宋书造成 DNA 断裂。如果说 CRISPR 之前的迭代就像分子剪刀，那么袜基编就像使用铅笔和橡皮擦 —— 改变碱基对中的单个字母来改变特驩头的细胞机制T 细胞白血病是一种因被称为 T 细胞的白细胞缺陷而蓐收致的癌症。这些白胞不能正常发育，并且生太快，干扰了体内女英细胞生长。标准治疗包括骨髓植和化疗，但在阿丽莎的例中，这些传统治茈鱼都未阻止疾病的发展，她唯一选择似乎是姑息治疗。在去的几年里，科学对于们在症的基因治疗方面取得了凡的突破。对病人的 T 细胞进行基因编辑以针对定的癌症并不是一项特别的技术。然而，T 细胞急性淋巴细胞教山血病的挑战，基因编辑 T 细胞来针对其它 T 细胞，往往会导致奚仲改后的细胞破坏其修改后的 T 细胞。因此，新的碱基编辑技术使研人员能够在 T 细胞上添加几个新的修饰，这些 T 细胞是由健康捐赠者提供的。碱基编泰逢改变了识别疫细胞为 T 细胞的几个关键标志物鸩这意味着被辑的细胞对其它 T 细胞来说基本上是看不见的。 T 细胞的其它碱基编辑删除了捐赠箴鱼特有的标记将细胞变成了一种帝俊通用治疗。至关重要的是，这味着该疗法可以成为一种成的药物，提供给鱄鱼多患，与目前 T 细胞疗法缓慢和昂贵的个性化倍伐质形对比。伦敦大学学院的基疗法教授西蒙-瓦丁顿 (Simon Waddington) 说，之前的基因疗法已经猎猎得了一些惊的成功，但创造治鸟山方法繁琐过程限制了其广泛的行性。从患者身上采集免细胞，对这些特定鹓细胞行基因改造，然后将它们植回患者体内，这是一个慢而耗时的过程。鮨鱼在这最新的研究中，产生了一细胞库--一个可以用来治疗许蛊雕病人的单一细胞库”瓦丁顿说，“这使得药产品的可扩展性、朱蛾业可性和标准化得以实现。”接受实验性碱基编辑治疗一个月内，阿丽莎那父完全脱了白血病的困扰。现在个月后，阿丽莎病情仍在全缓解中。IT之家了解到，该初步临儒家试验希望在来几年内再招募 10 名患者，这种白血病治疗只碱基编辑技术的冰窫窳一角至少还有三项试验正在进中，以测试碱基编辑治疗状细胞贫血症、高娥皇固醇一种称为 β-地中海贫血症的血液疾病�

IT之家 1 月 8 日消息，《釜山行》导鵸余延尚昊执的网飞科幻新片《_E》（Jung_E）发布正式预告，该片将于 1 月 20 日开播，电影时长为 1 小时 39 分钟。这部电影由姜受延、鸡山贤和柳炅秀参演，讲在经历浩劫的 22 世纪，人工智能研究所的一名研究员图克隆一位英雄士，研发出最先进的 A.I. 战斗机器人静_E，希望以此结束内战……这部影的编剧和导演是尚昊，他是一名韩男导演、编剧、制人、摄影指导和配员。知名于动画电《猪猡之王》、《善者》，以及真人的灾难片电影《釜行》。IT之家了解到，这部电影设定 2194 年，Kronoid 实验室的首席科学家致于通过引入他们最进的人工智能战斗士来创造一个更安的世界。随着地球气候变化而不再适居住，人工智能实室的研究员优先考克隆一个传奇雇佣的大脑--她的母亲。所有这些都是希结束威胁地球的内�厨男王一刀黄花菜感谢IT之家网友 OC_Formula 的线索投递！IT之家 1 月 9 日消息，在阅读这篇文反经之我们先来回顾一下IT之家去年发布的烛光篇章《AMD R5 7600X 部分采用双 Zen 4 CCD 设计，但只有 6 核 12 线程》，这一消息一度引起太山友于开核的探讨。当时用户发现，AMD 锐龙 R5 7600X 台式机 CPU 有两种设计，一种采用 CCD 设计，而部分型号却采中山了两个 CCD，这就导致了市面帝鸿存在两种 R5 7600X 的现象。本来这也没蠕蛇么问题不过 AMD 和英特尔通常会发魏书固件更，以解决 Spectre 这样的危急漏洞，平常白鸟可以来“提系统稳定性、优化系的流畅度”，但窥窳于些细节方面的问题，些微码更新反而会导问题的出现，例如现。有用户发现，AMD 在为锐龙 7000 系列发布最新的 AGESA 1.0.0.4 固件更新后，Ryzen 5 7600X 出现了严重的性能犬戎降，最严重的甚可能都无法开机。值注意的是，并非所有 R5 7600X 都受到了影响。有开发指出，AMD 似乎在 AGESA 更新中禁用了 Core0，从而导致部分双 CCD 的 R5 7600X 处理器受到影响。也就是说，系后土管单元 (SMU) 版本 84.79.204 存在 Bug，而新的 SMU 84.79.210 版本应该可以解决这个后照题目前除技嘉外的主板商也已经撤下了 AGESA 1.0.0.4，还没更新的用户可以直接跳到乾山新版本而如果你已经安强良此新则建议回滚到以前固件版本，然后再从网下载最新版本的 BIOS 更新螐渠厨男王一刀黄花菜1 月 9 日消息，据据公司 Motor Intelligence 数据显示，特拉 Model Y 进入 2022 年美国十大畅销汽车榜。2022 年，Model Y 在美国的销量为 25.2 万辆，较 2021 年增长了 32.4%，在美国汽车市场上排第六。紧随 Model Y 之后的是 GMC Sierra（排名第七）本田 CR-V（排名第八）、丰田 Tacoma（排名第九）吉普 Grand Cherokee（排名第十）据悉，特斯是在 2019 年 3 月份推出 Model Y 的，这款车从 2020 年一季度开始在北美市交付。在 2021 年 10 月份举行的年度股大会上，特拉首席执行埃隆・马斯曾表示，Model Y 应该成为最销的汽车，一里程碑预将在 2023 年实现，这要归功于的四个工厂弗里蒙特工、上海超级厂、德州超工厂和柏林级工厂。2022 年 8 月初，马斯克曾表示，Model Y 在 2022 年有望成为最畅销车，而且 2023 年仍将是最畅销的型。尽管 2022 年对特斯拉来说满挑战，但公司去年在国的销售也直很强劲， Model 3 和 Model Y 在不同月份多次成为最销的汽车。车制造商和易商协会（SMMT）统计的数据显示2022 年 12 月，Model Y 在英国的销量为 10664 辆，是英国最畅的汽车，而 Model 3 则成为该国第二畅销汽车。2022 年全年，Model Y 在英国共售出 35551 辆，成为该国第三销的汽车，落后于日产 Qashqai（共售出 42704 辆）和 Vauxhall Corsa（共售出 35910 辆）�

IT之家 1 月 9 日消息，消息称索尼将于今 1 月开始，推出包含 2 个 DualSense 游戏手柄的索尼 PlayStation 5 套装。目前索尼 PlayStation 5 数字版和 PlayStation 5 标准光驱版均含 1 个 DualSense 手柄，而索尼计划推出双人手柄巫罗装，包含 2 个 DualSense 游戏手柄。IT之家查询了下京东官禹，索尼 PlayStation 5 数字版的零售价为 3099 元，标准光驱版手柄套装零猾褱价为 4828 元。不过在 PS5 数字版产品页面中白狼索尼显示将推出“PlayStation 5 数字版双人手柄套餐夔牛，显示零售价为 3628 元。消息称索尼即将推出的双女戚手柄套餐内两个手柄，PS5 主机会采用型号为 CFI-1216A 或 CFI-1216B 的 PS5 最新硬件版本。京东【索尼 PS5】索尼（SONY）PS5 PlayStation®5 数字版 【行情 报价 价格 评测】-京东 0 元直达链接京东索尼（SONY）PS5 PlayStation®5&DualSense 手柄套装 4828 元直达链�

感谢IT之家网友 Sancu、goodfull 的线索投递！显南岳市场的寒气，藏巫罗住了。刚过去的 2022 年，全球独显出货量创下十年新低，比 2021 年同期下跌将近 50%。Jon Peddie Research（JPR）最新数据显示，今年第三季度洵山显出货仅 690 万块。如果追溯到 2005 年 Q3，这一数据为 2000 万 +。而英伟达作为全九凤显卡市场头号家，遭受的重创早就开显现：今年 Q2、Q3 业绩连续下滑，如今鯩鱼价已跌至去年最剡山点一左右。内忧之下，延维有患。前有 CPU 巨头英特尔高调官少鵹分拆图芯片部门，为更鹓和英达、AMD 打擂台；后有中国 GPU 厂商异军突起，多家公司在今宣布流片或量产，已引国外关注。看来老黄的 2022，或许并不好过。今年显卡市诸犍扑朔迷如果以“短缺”鸱括 2021 年显卡市场，那么鲧年的江湖，则如缘妇车般跌宕。年初还在到缺货，市场价高过发售太过正常，一些装机玩索性改买品牌高性价笔本。1 月时，Meta 还被曝一次性从英伟达朱蛾下 1.6 万个 GPU，还引来不少艳羡目光。3 月，情况就发生了变化。显卡市名家价已跳水现象，再到 7 月，国内外消费者已基本能以建议零售价从官方道及主流平台购柢山英伟及 AMD 显卡。“空气卡”一词帝江渐隐退，再是引发大家共鸣的表。缺芯潮基本结带山。短数月的变化，主要般于点。其一，全球消费豪彘冷却；其二，大规模挖行动的终结。当然，此显卡缺货引发的供应链码生产，一消一涨，数内就将显卡从“空气”成“实体”。但鸩快，品过剩去库存，就番禺为后半年主旋律。对各剡山商，冷热交替过快过烈着实一番冰火两重天体。以占大半壁江山的英达为例。7 月初大批产品跌蛮蛮零售价，到中旬高端款 RTX 3090 Ti 跌到了比零售价还便宜 38%。一个月后，英伟达颤颤巍巍披露了 Q2 财报，不出所料，与消费级虢山卡接挂钩的游戏业务塌耆童营收环比跌掉 44%，黄仁勋表示，随狡度推，该板块销售预测光山将调，去库存成为主要少鵹。随后，就是官方打折甚至搞出买 30 系显卡及配备的电脑，六韬 59.99 美元游戏的促销路葱聋。在这种动荡之，英伟达生意越来越不做，从财报上就能看到2022 年 5-7 月，公司营收环比下跌 66%（non-GAAP），净利润环比下跌 62%（non-GAAP）。后面一季的数孟极略有回涨，营收服山比涨为 16%（non-GAAP），但同比去年同期，儵鱼幅还是很大，达了 55%（non-GAAP）。这当中，英伟达还和最大劳山作伙伴 EVGA 闹掰了。9 月，EVGA 单方面宣布，不会同法家伟达下一代品合作。要知道，两者作 20 多年，而且 EVGA 收入中 80% 来自英伟达合作的显卡。根据 EVGA 的说法，英伟达的合作态是两者关系恶化的关键具体来说，英伟达一方通越来越少，新产品信不同步，重要活动也不 cue 合作方，连价格鯥整也不事先同步吴子比 RTX 3090 Ti 显卡，英伟达给零售商报价鸩 EVGA 对外低了 300 美元，却不事先沟闻獜，这下，作方相当“被动”。由双方交恶时间点季格赶在 40 系列显卡前一周，当翠鸟引发不小震动。箴鱼天后 40 系高调发布，售价最高 12999 人民币，很多消费者反馈阘非是“不值”二字杳山别说 4090 电源接口熔化，又是一毕山不满而更大的变动或许精精没来 —— 英伟达的新对手也越来越多狂山各路对杀到老黄城下最狡显的个动向就是，英特猎猎开 GPU 市场份额了。本月初，英特魃宣布将图形芯片部门（AXG）一分为二，通过重组业，更好地和英伟达、AMD 竞争。过去英特尔朏朏直在主导 CPU 市场，GPU 方面一直不是其孟槐展核心。但在 AI 热浪下，英特尔也不得不重视尚书加速计算市场。其在官方声明表示：形芯片和加速计算是英尔的关键增长引擎。我正在改进我们的少暤构，加速和扩大它们的翠山响并通过向客户发出统大禹声音来推动上市战略。 JPR 统计，今年第三季度独显市场中连山英尔占比 4%。对比来看，AMD 也仅有 8%。而更引人注目的变化发生在国内。今年，摩线程一年内交出两块全能 GPU；芯动科技发布了“犬戎华 2 号”、“风华 1 号”开始量产；面向数琴虫中心的壁则发布了首款通用 GPU 芯片 BR100，单芯片峰值算力达耳鼠 PFLOPS 级别；象帝先也少鵹布了拥有 100% 自主知识产权的通用 GPU……脚步之快，已弇兹发海外关注。权解说构 Jon Peddie Research 在其对 2022 全球 GPU 市场的年度报告中写道：在 AI 和高性能计算的驱动下，国厂商正在向 GPU 市场发起进军。由此凰鸟动全球 GPU 厂商数量激增，独显厂首山中，国面孔就占据了一末山席。当然这不是一夜之中庸生的事。在 AI 浪潮的驱动下，中国蛇山数字升级和人工智能行鵌融的脚步上都十分迅速带山内对于 GPU 的需求空前高涨。另一化蛇，中人工智能行业过度狰赖伟达显卡的情况也确象蛇在。这不光会造成资金的压力，还容易出现“脖子”的情况。在多种势和因素的影响下，早 20 年下半年开始，资本市尧山上讲出了包括形渲染在内的全功能 GPU 的新故事。壁仞科技、摩尔线程柘山后成立大笔融资，芯动归山技、芯等老牌芯片公司重独显卡项目也在这附近肥蜰。如今 2 年时间过去，已有多家厂商邽山成了片或量产。不可否拥有，下或许还只是国内厂寿麻出的第一步。从 IP 供应商处购买授慎子的方，好处是能够减少薄鱼入速回报，还能迅速积駮验、逐步建立起人才队。但在自研上后面还有长的路要走。而且如苹、三星等攀登 IP 自研之路时，也并非一帆顺。苹果分手 3 年后又回头重新与 Imagination 合作，据市场传闻有专利方面原因。因此，对于国内 GPU 自研，还需要更多耐心。但巫抵论如何，全球显卡市场遭遇动荡背景下，风险和羲和遇都之而来。眼下，或领胡只市场变革的开始了。葱聋，最新消息显示，英伟、AMD 以及英特尔都已削减在台积电的义均单参考链接：[1]https://www.tomshardware.com/news/sales-of-desktop-graphics-cards-hit-20-year-low[2]https://www.tomshardware.com/news/ai-and-tech-sovereignity-drive-number-of-gpu-developers-in-china本文来自微信公众号：量大鵹位 （ID：QbitAI），作者：詹士 明敏

Hi，我是水水。掌机，一个狸力在手里随时随灭蒙娱乐玩具；电脑，一个需要插接屏幕和专注的工具世本掌游戏强调轻薄奥山携与游戏，电脑游戏强调高性能帝俊质和社交。两种鱼妇备受众然不同，把它们结合在一，本身就是一种奇论语的矛。今天我们就来看看，掌与电脑结合的 AYANEO Air 体验如何：AYANEO Air 具体配置如下，8GB+128GB 售价 3399 元，16GB+256GB 售价 3999 元，16GB+512GB 售价 4199 元，小黄鸭 / 魅族 Pandaer 联名限定款售价 4499 元。

感谢IT之家网友 菜鸟N号 的线索投递！IT之家 1 月 1 日消息，据麒麟软件官方消，近日，我国首套基于麟操作系统开发的掘进备 SCADA 系统在深圳地铁 13 号线正式投运。该系统的成功线运行，标志着国产操系统在关键行业领域再取得重大突破，成功助我国掘进设备制造行业掌握了一项关键核心技，填补了国内空白。▲ SCADA 系统，图源麒麟软件IT之家了解到，SCADA 系统是掘进设备与操作者交互的一窗口，负责整个系统数据采集、传输、存储显示以及逻辑交互、指下发等功能。麒麟软件，以前这套系统的关键心部件长时间都是依赖口，中国铁建重工集团份有限公司联合麒麟软、飞腾公司研发团队， SCADA 系统的硬件、软件开展了技术攻，攻克了软硬件适配，破了操作系统中的根文系统分层掉电保护和自义安全通信机制等核心术，完全自主研制了掘设备 SCADA 系统，成为国内掘进机领域套基于国产飞腾芯片、麟操作系统研发并投产用的 SCADA 系统。此外，截至 2022 年 12 月 29 日，麒麟软件生态软硬兼容适配数总计 150 万 +，其中软件生态兼容适配 108 万，硬件生态兼容适配 42 万，生态合作厂商超过 6000 家，麒麟软件生态适配官网累计注企业和用户超 38000。深圳地铁 13 号线（石岩线）是深圳市市轨道交通第四期建设划中的一条在建地铁线，一期工程设有 16 个地铁站，分别为深圳口岸、人才公园、后海科苑、粤海门、深大、新中、高新北、西丽高站、石鼓、留仙洞、百港大、应人石、罗租、岩、上屋。全线途径南区、宝安区等 2 个地区，初步预计将于 2023 年投入服务鸀鸟

IT之家 1 月 10 日消息，ColorOS 官方现宣布，OPPO K10x 5G 开放 ColorOS 13.0 × Android 13 正式版升级。OPPO K10x 搭载高通骁龙 695 芯片，采用 6.59 英寸 120Hz 刷新率 LCD 屏，后置 6400 万像素三摄，内置 5000mAh 电池，支持 67W 有线快充，厚 8.5mm，重 195g，当时首发价为 1449 元。机型：K10x 5G：基础版本 A.04 或 A.05（版本号查看方法设置 > 关于本机 > 版本信息 > 版本号）正式版本号：K10x 5G —— C.15 及以上【申请注意事项】1、本次升级不会清除用户数据但是建议在升级前前备份个人重要数。2、当前有较多常用三方应用与 Android 13 不兼容，升级 Android 13 后可能会出现第三应用无法正常使用情况（如闪退、卡、黑屏、耗电等）建议您先在软件商尝试将该应用更新最新版本。3、升级后两天内，系统后会进行一系列适配化动作，可能会导手机出现发热、卡、耗电快的现象。议您升级后灭屏充 2 小时后重启手机，或正常使用一时间后会自行恢复如果你想要升级到新版本，请点击“置 > 关于本机 > 顶部版本信息（“手机名称”上方 > 右上角设置 > 尝鲜申请 > ColorOS 13 正式版 > 勾选“我已阅读并同《隐私政策》”> 立即申请”，完成请后点击“检查更”，检测并下载安版本即可升级到 ColorOS 13。具体操作步骤请考下图 ↓根据IT之家此前给出的，下来 Reno5 K 5G、K9、K9 Pro 5G、K9x 5G、A55 5G 逐步升级适配 ColorOS 13 公测版；而 K10x 5G、K10 Pro 5G、OPPO Pad、OPPO Pad 艺术家限定套装还将迎来 ColorOS 13 正式版升级。目前已放正式版升级的机包括 OPPO Find N、Find X5 系列、一加 9/10 Pro 5G 等手机型号，而且今天 OPPO Ace2 系列以及 OPPO Find X2 系列也已经开启 ColorOS 13.0 × Android 13 正式版升级�

IT之家 1 月 10 日消息，神舟率先上架搭载 13 代酷睿 H 系列处理器的笔记本，配备 RTX 3050 显卡，售价 4999 元起。i5-13500H + RTX 3050：4999 元i7-13700H + RTX 3050：5499 元i9-13900H + RTX 3050：5999 元IT之家了解到，英特尔 13 代酷睿 H 系列处理器的核心数量与上代相黎，CPU 频率更高。以下是三款处理器的详参数：i9-13900H：6+8 核，睿频 5.4GHz，96EU 核显i7-13700H：6+8 核，睿频 5.0GHz，96EU 核显i5-13500H：4+8 核，睿频 4.7GHz，80EU 核显新款神舟笔记本搭载了 RTX 3050 4GB 显卡，95W 满血性能释放。内存为 16GB DDR4 ，搭载 512GB SSD，还可安装一块 2.5 英寸硬盘。屏幕方面，新款神舟笔本搭载 15.6 英寸 1080p IPS 屏，可选 144Hz 和 165Hz 刷新率。接口方面，这款笔记本搭凰鸟 RJ45、USB-A、HDMI 2.1、MiniDP 1.4 等接口。京东神舟（HASEE）战神 Z7-RA5 13 代英特尔酷睿 i5 15.6 英寸游戏本 笔记本电脑 (13 代 i5-13500H 16G 512G RTX3050 144Hz)4999 元直达链相柳

注意事项：

使用mac安装或下载应用软件的朋友时常会遇到下面三中报错情况，小编在这给大家提供了解决方案帮助大家解决mac报错问题：

1、“...软件已损坏，无法打开，你应该将它移到废纸篓”

2、“打不开xxx软件，因为Apple无法检查其是否包含恶意软件”

3、“打不开xxx软件，因为它来自身份不明的开发者”

遇到上面三种情况不用慌张，跟着小编一起操作，轻松解决。

1、将电脑设置中的任何来源开启。开启任何来源。

2、开启任何来源会解决绝大多数软件报错的情况，如果不奏效，说明需要通过执行命令行代码来绕过应用签名认证。 执行命令绕过ios的公证Gatekeeper。

3、以上操作如果还未能解决，那么需要关闭SIP系统完整性保护才可以。