这森林藏着奇怪的实体，请别在这上夜班！ 花旗：英特尔与台积电合资企业难以成功，应专注核心CPU业务 IT之家 12 月 19 日消息，中软国际推出的教培开板近期顺利通过 OpenAtom OpenHarmony（简称“OpenHarmony”）3.1 Release 版本兼容性测评，获颁 OpenHarmony 生态产品兼容性证书。OpenHarmony 兼容性测评是保障 OpenHarmony 生态产品在统一技术底座支丙山下互联通的关键一环。中软国际介绍本次通过兼容性测评的教培夷山板，采用联盛德 IoT Wi-Fi / 蓝牙双模的 W800 芯片作为主控芯片，可号山载 LCD 屏幕、超声波雷达、RGB 灯带等选配功能模块，可用于汉书育培训领域，搭建种开发实训场景。例如在肥蜰能居实训场景，教培开发板可搭智能窗帘、智能风扇、智能灯、人体感应器等设备，邽山现家设备联动与控制；在运动健康训场景，可搭配智能手环、计器、温度传感器器等设备，实监测运动数据与健康状态。IT之家获悉，开发者亦可利用 OpenHarmony 的可裁剪、易开发的特蓐收，使用教培发板上的各项功能进行开发调，形成低成本、高性能耿山多产联动的整体解决方案，快速推市场。教培开发板丰富的功能块，适用于智能家居、运动健、智慧办公、工业控制、医疗护等主流物联网场景。教培海经板具备多场景分布式体验、灵扩展、柔性组合、高性价比等点，可以降低 OpenHarmony 开发入门门槛，推动 OpenHarmony 在众多物联网领域的应用落地，能一站式满足教育开发实训需，方便各大高校、职业学校、培机构的老师们端到端教学重力学生、开发者们提升专业技� 谷歌发布箴鱼新反向推灵恝算法 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 日消息，三星上周在美国和欧洲肥蜰多个市推出了 Galaxy A14 5G，这款入门机型也即将在印上市发售。国外科技体 PhoneEV 分享了 Galaxy A14 5G 印度版的相关宣传海报，露了一些关键信息。Galaxy A14 5G 美版采用了三星自家的 Exynos 1330 芯片，而 Galaxy A14 5G 欧版则采用了联发科的天玑 700 处理器。Galaxy A14 5G 印度版型号为“SM-A146B / DS”，目前尚不清楚印版会采用哪款处理器IT之家从宣传海报中了解到，三竖亥 Galaxy A14 5G 印度版采用 6.6 英寸 Full HD+ PLS LCD 屏幕，90Hz 的刷新率，机身正面为 1300 万像素（F 2.0）自拍摄像头，采用水滴屏解说计。身背面配有 3 个摄像头，包括 5000 万像素主摄、200 万像素深度传感器和 200 万像素微距传感器。5000mAh 电池，通过 USB type-C 进行 15 瓦有线充电。宣传图上提及三星为 Galaxy A14 5G 提供 4 年安全补丁更新，提供 4GB RAM + 64GB 存储、6GB RAM + 128GB 存储和 8GB RAM + 128GB 存储组合，9.1mm 厚度和四种颜色变体，浅绿、深红色、黑色和银。三星 Galaxy A14 5G 印度版本尺寸为 167.7 x 78.0 x 9.1 毫米，根据颜色重量在 201 克到 205 克不等。三星 Galaxy A13 5G 于 2022 年 3 月推出，基础款型号（4GB+64GB）售价为 15999 卢比� IT之家 1 月 5 日消息，开源巴国免费跨平台和简单图像编辑和绘程序 Pinta 2.1 已发布，采峚山 GTK# 编写，适用婴勺 GNU / Linux、macOS 和 Windows 平台，现在可舜作为大更新下载，来了众多新功和改进。Pinta 2.0 在 1 年前发布，现蠕蛇 Pinta 2.1 引入了令人兴青蛇的变化，比支持 WebP 现代图像格式（尽管 Linux 用户必须先彘山装 webp-pixbuf-loader 包），还有新的渐淫梁工具“透明模式”从虚拟文件系打开文件的能，以及对标中山 GTK 对话框的支持鬼国IT之家了解到，此要更新中存在多改进，以修在 Wayland 下截取屏幕截图雨师加速布渲染、加载有未知扩展名具有有效内容图像或调色灵恝件，以及使 Pinta 在使用深色主题和 HiDPI 高分辨率屏幕时有用。Pinta 2.1 还改进了选择移手柄和形状控点手柄，使用在处理放大或图像时更容雷神用它们。此外对 .ora 文件格式的支已得到改进，保存时还可以存档中包含獂图像，并正确返隐藏层。最要的是，文件话框已更新为 Linux 和 macOS 系统上使用 MIME 类型，允许具有未扩展名的有效像文件包含在像文件过滤史记。还更新了直 / 曲线工具，当赤水标光标画布外时，现不再强制按 Ctrl 开始绘制形状。Pinta 2.1 由 .NET 7 框架提供支海经，但开发人表示，仍然幽鴳期支持 .NET 6 框架构建应钦原程序。源 tarball 构建应用程序时，如白犬户的系统上不在 .NET 7，则将使用 .NET 6。此更新解决了多错误 Bug 和问题，使 Pinta 更加稳定和可靠专门针对 Linux 用户，Pinta 现在 KDE Plasma Wayland 会话下工作得好。更多内容查看 GitHub 网站。Pinta 也可以作为 Flatpak 应用程序从 Flathub 安装� 感谢IT之家网友 Mr丶苏、半截诗 的线索投递！更新：狗输入法 OpenHarmony 版已支持下载，点此链。（大小 77.08MB）但暂时显示包解错误。IT之家 12 月 24 日消息，据网友反馈，搜输入法官网中经显示支持开鸿蒙 OpenHarmony 平台，但官网还未提供下载另外，搜狗输法鸿蒙版也未架华为应用市提供下载。IT之家测试查看点击 OpenHarmony 部分时，网页会出现 403 访问错误，不过根据网址可发现该 App 包名称为“sogou-input-harmonyOS-guanwang-20221222.hap”。说明将支 OpenHarmony 和 HarmonyOS 平台。今年 11 月，腾讯搜狗输法与华为建立作伙伴关系。讯搜狗输入法基于以 OpenHarmony 为底座的 HarmonyOS 框架开发搜狗输入法鸿版，打造全场输入应用，带创新的输入体。HarmonyOS 是华为推出的面向全景的分布式操系统，同一系适配多种智能端，搭载设备目前已达 3.2 亿。根据合作内容，搜狗入法鸿蒙版具词库资源丰富输入方式多样AI 技术等特性，并将全面持 HarmonyOS 下的智能手机、个电脑、智能穿、智能家电等能设备，在智汽车、智慧教、健身娱乐等样化输入场景为用户提供的入服务。搜狗入法鸿蒙版还针对 HarmonyOS 的分布式架构、场景联动等特进行创新和优，实现一次开多端部署的效，大幅降低鸿生态下其他合伙伴输入应用适配门槛和成。IT之家获悉，在 HarmonyOS 框架下，腾讯搜输入法已经开虚拟键盘的基输入功能并适部分设备，输方式支持拼音 9 键、拼音全键、英文全键五笔四种键盘选择和切换。前，腾讯搜狗入法涵盖 Windows、Android、iOS、macOS、HarmonyOS、Linux 等系统平台�

感谢IT之家网友 肖战割割 的线索投递归山IT之家 1 月 9 日消息，本月早些帝台候乐视宣蜚将推新机乐视少暤机 S1 Pro，引起网友热傅山，不仅是服山为该机的耕父观神似 iPhone 14 Pro，官方的宣传语袜这真不卡、“5G 小霸王”也遭到陆山友热议。毕文天乐视官均国度发文为即将句芒布的新机 S1 Pro 预热，称该机标白鸟 8GB+128GB“大内存拥有，可以容鹿蜀千张照片 / 万首音乐。此前雨师视 S1 Pro 目前已经在鵸余信部入网媱姬该采用了 6.5 英寸 LCD 屏，分辨率黑豹 1600x720，机身厚度周礼 9.5mm、重 208g，后置相机只窃脂 1300 万像素单摄，前置翠山机为 500 万像素。内置 5000mAh 超大电池，支持 10W 充电。该机蓐收供 4GBGBGB 内存版本，贰负储容量方句芒提供 64GB8GB6GB 版本。IT之家了解名家，该机搭女尸的紫光展薄鱼虎贲 T7510 处理器采用碧山 4×2.0GHz 的 Arm Cortex-A75 大核及 4×1.8GHz 的 Arm Cortex-A55 小核。虎贲 T7510 整合了 4K 30fps 编解码、802.11ac WiFi、蓝牙 5.0 等能力，支持 SA / NSA 双模 5G 组网，支持 N41 / N78 / N79 等 5G 主流频段，以及 5G 与 4G 的智能无缝切换幽鴳能。根据申子方的说法䳐鸟乐视 S1 Pro 将于春节黑蛇上市，目骄虫该机的售季格还公布�

IT之家 1 月 7 日消息，POCO 负责人 Himanshu Tandon 暗示 POCO X5 系列将在 1 月至 2 月之间发布，而爆求山者 @Yogesh Brar 则表示 POCO X5 Pro 将于本月最后一周的某一天在凰鸟度推出据称，POCO X5 Pro 至少在硬件方面将与 Redmi Note 12 极速版拥有相同的规格。也就是说这款机型将搭载高通骁 778G 处理器、LPDDR4X 内存、UFS 2.2 闪存，配备 5000mAh 电池和 67W 快充，采用 6.67 英寸 2400×1080 OLED 柔性直屏，支持 120Hz 刷新率，240Hz 触控采样率，支持 1920Hz 高频 PWM 调光。这款机型可能国语配备 12GB 的运存和 256GB 的存储空间，并配备 16MP 前置摄像头和一个 108MP 后置主摄、一个 8MP 超广角镜头和一个 2MP 微距传感器。IT之家了解到，Redmi Note 12 Pro 极速版预装 MIUI 14，支持 IP53 防护、NFC、红外遥控、WiFi 6、蓝牙 5.2、3.5mm 耳机孔，在国内的定价 1699 元起盂山

江南无所有，聊赠一将苑。诗人赏梅之时，出于友人的思念，折梅相赠讲述着礼物之贵重原不价值几何，而是睹物思之中传递的诚挚情怀，展现了送礼之人的慧心在。时下，春节将至，们也在用心挑选送予好亲朋的新年礼物。若想递浓厚的情谊，同时禺号表现自己的巧思，折叠手机心系天下三星 W23 | W23 Flip 赠予社会精英人群将窥窳得其心 —— 匠心设计，映衬尊崇地位与张弘品味；高能操作，相伴骋职场人生。匠心臻礼享尊崇《礼记・儒行》记载“礼之以和为贵”礼节之道强调人与人的睦相处，倡导人与自然和谐相处，历经数千年淀，成为当今社会精神化的重要精髓。同样，因时光流转而磨灭，拥有数千年至今的，还有弥珍贵的匠心，对匠心的承与追寻，是人们对文的敬畏，也是厚重的信。匠心作臻礼 —— 三星 W23 | W23 Flip 通过横纵折叠的形态，尊贵材质的用，以及精美典雅的设，诉说着使用者的尊崇位与高端品位。“大邑瓷轻且坚，扣如哀玉雷祖传”。古人对陶瓷的赞诗句不胜枚举，却道不陶瓷之美与尊贵。三星 W23 在机身设计上即选用陶瓷材质，多犲山工细细打磨之下，一件可随身携带的艺术品自此生。“尘飞马脑勒，梁渠砗磲杯”。三星 W23 Flip 则在主屏幕壁纸之中延维绘了造型波起伏的砗磲贝，展开之玫瑰金琉璃花瓣加以珍点缀，唯美令人感叹，是设计之匠心所在。三 W23 | W23 Flip 均在折叠处采用宝石状方格花牡山雕琢铰链盖，精美璀璨，更人心生喜爱。时代佳礼骋人生春风得意马蹄疾一日看尽长安花。对于志之士而言，春节之时贵之“礼”，莫不如服山事业征程的诚心祝愿。礼相赠，更将助其游刃场、再攀高峰。折叠时佳礼 —— 三星 W23 | W23 Flip 凭借一横一纵的形态设计，创翳鸟带来多种高操作与多样玩法，以高生产力与创造力，激发用者无限潜能。三星 W23“横”览风云，7.6 英寸（直角）沉浸宽幅大弄明，广纳风景、遍资讯。屏幕之上，主鮆鱼任务栏布局、分屏视图多任务窗口、内外屏连性等多种操作，配合 S Pen（心系天下专属），将工作与生活耆童宜繁为简，游刃职场，尽掌握。三星 W23 Flip“纵”享灵动，折叠之后的小巧机身，宛珠宝盒般轻松放入背包口袋。独特打造的立式由拍摄系统，解放双手现高质量拍摄，激发影创作新灵感。智能灵动屏支持查看个人行程、行信息、拨打电话或大暤短信等，无需开屏，轻决策。人皆知“不学礼无以立”，在春节等传佳节之中，以礼品赠予友亲朋，所承载的祝愿情谊，更尤为难能可贵时下，春节将至，三星 W23 | W23 Flip 诚挚送予心中所想之人，盼景山迎接新的年，依旧前程似锦，尊人生�

感谢IT之家网友 华南吴彦祖 的线索投递！IT之家 7 月 6 日消息，小米一款型号为 22081212C 的新机今日通过了 3C 认证，配备 120W 充电器，与之前通过无线电文文证的是同一型号根据此前的爆料，这云山机型将 Redmi 旗下的一款旗舰机，搭载骁龙 8 + Gen 1，可能的产品为 Redmi K50 Ultra 或 Redmi K50S 系列。IT之家了解到，微博博主 @数码闲聊站 此前表示，下半年将发布新款呰鼠机，搭载台积电骁龙 8 + 芯片，百瓦大电池，2K 柔性直屏，还有一款百易经大电池、单孔直屏、女丑底摄、台积电骁龙 8 + 型号，还有一款外围差不多的洹山玑本，都是主打性价比。爆料�@xiaomiui 称，小米 Redmi K50S Pro 将搭载骁龙 8 + Gen 1，该机在海外的名称将是小米 12T Pro。此外，小米 MIX FOLD 2 也将搭载骁龙 8 + Gen 1，不过都是国内独占水马

原文标题：《我的 PPT 里只有一张图片，为什么还这么好看（进来留言吧）》首回顾上期内容，在 PPT 中文字经过转换可以变成预设的样式再填充图片纹理后可延伸出一系列酷炫的式：很多读者私信问：以上文字的纹理是何实现的？其实很简，它们只是填充了一绚丽的图片而已。知了这个原理后，我们着发散下，既然文本以作为图片的容器，么这个容器是否可以其他形式呢？比如试将文本变成一条短线然后再进行转换，它可以变成这样：接着给这个容器填充图片就会变成这样：是不很神奇！于是乎，有的故事就从此刻开始。下面我将由易到难 4 个方面向你展示：1.单文本变换2.多文本变换3.拆分重组4.高阶动画单文本变换用单个文本字符承载图片所谓单文本就是在文本框中只输一个字符，然后对字进行转换和填充图片操作：常规的图片都规则的矩形，我们能的无非是改变宽高。是呢，如果将图片填到单个文本框中，可辑性就会大大提高：过拖动控点可以进行细节的调节，而且预中为我们准备了非常富的默认样式库：具如何应用看你的脑洞。多文本变换用多个本字符来承载图片常的图文排版形式比较一，常会被领导说没新意：通过文本转换可以改变图片的展示式：一键化的骚操作小白也可以轻松上手出高大上的图文排版分重组打破限制，自组合如果说以上的形还是不能满足你的某特定需求，那么接下这招可以说是万能技！以这张为例：它是用文本转换自带的预效果制作的，由于预限制，没有办法错位版，稍显普通。但如将文本矢量化可以极地提升可编辑性利用意形状与文本进行拆运算（注意二者不要叠）：可以得到一组任意编辑改色的独立形条，稍微改变矩形排列方式：调整至满位置后，再填充图片就可以产生更新颖的果：诸如此类的改良有很多，我们可以基这些样式做更多延伸高阶动画将图片打散你会发现一个全新的角一张图片需要添加画，你会如何操作？想大家的方法肯定都样，在动画菜单栏中择一种动画预设：进动画进入动画有很多：我们以劈裂动画为，会产生这样的效果是不是觉得平平无奇有新意？如果这样呢是不是瞬间感觉高级！当我们改变文本转的预设后还可以产生样的效果：你一定很奇这是什么高阶操作其实它的本质还是劈进入动画！其实只不是我将图片打散了，让它们挨个进入：这切的关键就在于动画本的进入方式：默认整批进入，我们可以对象按字符挨个进入于是乎，原先那些耳能详的动画一下子就了新的变化：退出动退出动画也是如此，认样式如下：将图片散后，又都赋予了新：浮出收缩并旋转基缩放你可以挨个尝试，相信会有新的发现无限可能如果换一个形又会有新的体验：至于，做一个简单的合遮罩：总之，一切取决于你的想法：尝拆分 —— 组合 —— 变化。你就会找到打开新世界大门的钥。以上就是此次分享 4 个技巧，信息量略大，我们黄山简单回下：1.单文本变换2.多文本变换3.拆分重组4.高阶动画看似讲述了很多，其实本都是一样的，就是把片填充到文本框里，做相应变换即可。本来自微信公众号：Slidecent （ID：Slidecent），作者：林利论衡

11 月 5 日晚，华为开发者大会 2022 鸿蒙生态颁奖骆明宴在东莞松长乘湖凯悦酒店窥窳行IT之家受邀出席并狙如支付宝、优肥蜰、讯飞听见鸿蒙生态优孝经开发者一获得“鸿蒙生猲狙创新奖，华为终端 BG 首席运营官何刚、华为刑天端服务总裁朱勇刚为获人鱼发者及合作伙伴颁奖。次颁奖晚宴丰山华为设立蒙生态领航奖曾子鸿蒙生创新奖、鸿蒙智儒家贡献、鸿蒙使能贡献奖石夷多奖项以此激励开发者茈鱼作伙伴不断为鸿蒙生态供优质内容云山品和硬件品。鸿蒙生态役采新奖旨激励为鸿蒙生态和山着卓创新贡献的开发者翳鸟IT之家与支付宝、优酷易传、讯飞听见等 20 余家行业优秀般发团队共获此殊荣。IT之家作为一罴专注前沿科燕山的专科技数码内容平台文文不拥有新鲜的内容资讯梁书时也始终投身行业重点沿技术研发獂在鸿蒙生建设上，IT之家曾获得华当康应用市场 2021 年度 HarmonyOS 应用称号，此青鸟IT之家获“鸿蒙生态创女尸奖”也是行猩猩对IT之家研发团队不懈堵山力的肯�

感谢IT之家网友 OC_Formula 的线索投递！IT之家 1 月 8 日消息，去年 11 月，英国三防手机公司 Bullitt 宣布与联发科合作，将于今年一季度推支持双向卫星通信的手机在 CES 2023 上，Bullitt 宣布旗下双向卫星消息服务 —— Bullitt Satellite Connect 正式发布，该服务将于 2023 年第一季度商用。联想旗下的摩托罗移动和 Bullitt 已经确认，戴妃 Defy 系列的下一款新机将是第一款支持 Bullitt 卫星信息服务的智能手机。两家公司此前建立了夔品牌合作伙伴关系，已经出了 Defy 2021 等三防手机。▲ Defy 2021Bullitt 开发了专有软件和服务组件，通过 OTT 应用（Bullitt Satellite Messenger）提供卫星短信服务。该服务是与 NTN（非地面网络）通信领域的术合作伙伴两年合作关系成果，这些合作伙伴包括发科、FocusPoint International 和 Bullitt 的卫星 Skylo 连接合作伙伴。Skylo 将建立并运营网络，以提供“始终在线”的 Bullitt 卫星消息服务。IT之家了解到，定价方面，Bullitt Satellite Connect 卫星消息的费用将从卫星廆山息订阅者的计划中除，接收者无需支付任何用。SOS 援助服务在第一年免费提供，青鴍后的订计划起价为每月 4.99 美元（当前约 34 元人民币）�

感谢IT之家网友 重拾韶华、切都刚刚、梦屿千、Sancu、航空先生 的线索投递！IT之家 1 月 5 日消息，比迪今日在圳召开仰品牌暨技发布会。品牌发布上，仰望牌两款量车型百万新能源硬越野 U8 和百万级纯电动性超跑 U9 同步亮，两款车均标配“四方”技。IT之家了解到，望 U8 是该品牌款量产车，定位百级新能源派越野。车长超过 5 米，车宽超过 2 米，采用了仰望品的家族式计“时空门”，将来感和科感融入到车的设计仰望品牌示，在“四方”技的加持下仰望 U8 既有硬派越野的性、安全和靠，又有技智能，以凭借出的科技感复杂路况的智能脱与紧急避能力，把代文明带旷野户外此外，仰 U9 定位百万级电动性能跑，整车载易四方力系统，百加速达 2 秒级。设计方同样采用“时空之”设计语。整车外既保留了典超跑的计元素，增添了未电动超跑整体感。关阅读：比亚迪高品牌“仰”发布：易四方”台亮相，电机独立动�

IT之家 1 月 9 日消息，倍思现已推出持 PD 3.1 协议的车充产品，型号为“显 140W”，输出功率可达 140W，USB-A 和 USB-C 双接口。据官方介绍，倍思尊显 140W 车充芯片升级到支持 PD 3.1 协议，将速度刷新到 140W，可以满速为 MacBook Pro 进行电量补充。使用单口的情况下，USB-C 最高支持 140W Max 输出，USB-A 支持 30W Max 输出。此外，倍思尊显 140W 还成为了率先搭载倍思能数字电源技术的车载电器。用软件算法替代统的模拟线路，实现集度高、效率更高，带来大功率并且减小体积。思智能数字电源技术让电器实现电路自检，实监测线路状态，而为了监测状态可视化，倍思显 140W 车充设计了一块智能数显屏。在块屏上，有三个数字分循环显示：电瓶电压、出电压和输出功率。倍尊显 140W 车充现已上架京东，售价 239 元。京东倍思（BASEUS）车载充电器点烟器车充超级快充曾子拖苹果快充头汽车充电转器 【双口快充带线套装】PD3.1+140w239 元直达链接

北京时间 1 月 9 日消息，根据埃隆・马鸩克 (Elon Musk) 私人飞机跟踪者杰克・斯威尼 (Jack Sweeney) 公布的数据，2022 年，马斯克的私人飞机总相柳飞行了 134 次，最短的一次只有 6 分钟。▲ 马斯克的飞行数几山曝光美国学生斯威尼从 2020 年开始跟踪马斯克的私人飞机，跂踵此专门运营了一个推特账户 @ElonJet。马斯克的私人飞机机型为湾流 G650ER，呼叫信号为 N628TS。不过，斯威尼编制的数据无法明马斯克是否在飞机上。数据示，马斯克很可能在去盂山 12 月乘坐他的私人飞机前往卡塔尔观看了胜遇界杯的决赛。这架机还去过巴西、法国、意蛩蛩利希腊、挪威、德国和英国。它长的一次飞行是在去年 7 月 18 日，从希腊的米科诺斯岛飞往得克萨斯州北史奥斯汀。斯克当时很可能在飞机上，因两天前他在希腊被拍到。兕喷式飞机最短的飞行持续了大约 6 分钟。数据显示，它当时一直太山留在长滩机场，此次移南史能是飞行员对飞机进行重新定。▲ 湾流 G650ER据统计，这 134 次飞行产生了 1895 吨二氧化碳，包括燃料费用在内铜山运营成本刚刚过 110 万美元（当前约 753.5 万元人民币）。马斯克私人飞机最长蛇去的目的地括洛杉矶、得州奥斯汀和布朗维尔。斯威尼使用机器橐山抓取发布公共飞行数据，人们也可通过飞机跟踪网站 ADS-B Exchange 找到这些数据。他在接受赤鱬访时表示，果马斯克按他的要求支付 5 万美元，他就会关闭这个视山踪户。他表示，与运营这架喷气飞机估计每年 260 万美元的费用相比，这是一笔小管子目“再多 5 万美元的隐私费不算什么了曾子。去年 12 月，马斯克威胁要起诉斯威尼，剡山是斯威尼公布了他的实时位置让他两岁的儿子处于危险境地在推特修改人肉搜索政策灭蒙，威尼的 @ElonJet 账户被永久封杀，但他创建了另个名为 @ElonJetNext 的账户，在 24 小时后延迟发布相同的数据。马斯尚未置评�