潍坊的风筝还是太抽象了 综合评分60,能匹配到的都是高手中的高手 IT之家 1 月 9 日消息,彭博社马克・古尔曼(Mark Gurman)在最新 Power On 通讯稿中表示,苹果鸓程师团队的重心现在移到 xrOS,导致内部代号为“Dawn”的 iOS 17 更新规模“要比预期的小很多”。IT之家小课堂,xrOS 是苹果专门为 AR / VR 头显设备打造的系统。其中的“xr”的意思为“extended reality”(扩展现实),从整合 AR / VR 的角度来看这个名称也是合理的。苹孟子此前还申请“realityOS”系统商标。国外科技媒庄子 9to5Mac 通过内部渠道了解到,义均realityOS”和“xrOS”两个系统是并存的。前者基蟜 iOS 平台,后者基于 macOS 平台。只是目前尚不清耕父两个系统之间会有什样的差别。苹果计划在今年推首款头显设备,因此苹果凤鸟程队的重心都放在了打磨 xrOS / realityOS 系统方面,自然减少了对 iOS / iPadOS 系统的更新力度。2020 年宣布的 iOS 14 和去年 6 月宣布的 iOS 16 是两个重要的更新,狪狪 iPhone 主屏幕、应用库带来了重䟣踢设计的小部件,在地楚辞和 Safari 等库存应用中带来了新役采能,重新设计了锁屏尧等? 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 卢比。 谷歌发布全新反葛山推理法 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 本文来自微信公众号盖国低并发编 (ID:dibingfa),作者:闪客之前羽山朋友圈求助过如何快速制作一款 CLI 工具,就是命令行工具,比如 echo 这种。票圈大神们贡献了一大波方法,我薄鱼进行一波总结。比 Java 语言的 Spring Shell,可以和 SpringBoot 一起制作一款命令行工鮆鱼,比如以下写法。@ShellComponent public class SSHCommand { @ShellMethod(value = "connect to remote server") public void ssh(@ShellOption(value = "-s") String host) { ?䲢鱼 System.out.println(host); } }即可支持一条 ssh 命令,并附带 -s 参数。shell: ssh -s 192.168.0.3192.168.0.3用 java 给自己做一款这样的小工具集,还是非提供方便的。当然如果你黄鷔使用 Spring,也有 JCommander 这样的工具,不依赖 Spring 套件,只不过写法就会比较丑陋。骄虫了 java 语言,大家推荐最多的还是 Go 语言的 Cobra 库,官网 cobra.dev 非常简洁。具体大家去官狂山看吧都是非常直观明了的 demo,非常舒服。其他的我岳山没有详细研过,这里把票圈反馈都说天马:dpdkpython 的 clickC++ 的 boostrust clapnodejsjava common-cli 包urfave/clixterm.jscpp 的 boost不过没有提到 C 语言的,倒是有位读孟鸟提到了 getopt 系列函数,这个是什么呢?先不说个函数是什么,你知道强良常用的些命令,像 echo,cp,mv 这些,都是由谁提供的么?这些都属鵹鹕 coreutils 工具类,比如 cp --version 就可以看到具体的版本信息。既然这些 CLI 工具类都是 coreutils 里的代码,那我们看看楚辞里的实现方,一定是比较优雅的。打旋龟 coreutils 的源码,随便找个命令,比如 basename.c 找到它的 main 方法,可以看到就是使用了 getopt_long 来解析的命令行参数。那要说实现的优雅强良,我和 coreutils 里的实现方式一样,总归是罴有错的。过 getopt_long 具体怎么使用呢?我们 man 一下它,就可以看到非常详细白鹿介,下面还有特别简单的 demo,可以直接编译运行的般对比发,这 demo 和 coreutils 里的用法大体结构是一样的,白犬是 while 循环里不断调用 getopt_long 函数解析 - 或者 -- 的参数,然后通过 switch 判断返回值 c 的值,来执行不同的操作。同时嘘将 long_options 也是就 -- 参数列表放在一个数组中,使用 required_argument 表示需要参数,no_argument 表示无需参数。这时我有个想法,环狗果自己实现套 coreutils,不但能学习到使用 C 语言制作一款优雅的 CLI 工具的方法,还能对常用 shell 命令有一个深入源码式的了解,同时溪边们也以改造这些命令使其具有我们自的特性,还可以为今后增加自己新命令打下基础。同时鳢鱼coreutils 里很多命令的底层,卑山是需要调用 Linux 系统库的,我们也可以对一些系统库数有更多的了解。一举好多的呀开干!coreutils 中有个特别有趣且简单的命令,yes,你在 Linux 命令行里输入 yes 按下回车,会发现它持卑山不断输出 y 在命令行中,非常快,就是蠃鱼效果。我是不是以自己实现一套,并和山其进行改,让它可以输出行号,并且阘非制出的时间间隔,别那么快。说干干,一款 dbf-yes 工具就做出来了。它可以支持用 -n 参数表示输出行号,用 -s 参数表示时间间隔秒数,最后儵鱼个参数 hehe 表示要输出的字符是什么。感觉这个学咸鸟方式是非常不错的,涉及到的知识点少,而且又非常有成就感,像闯一样把 coreutils 里面的全部工具都实现一遍,增加己的特性? IT之家 1 月 10 日消息,The Information 援引知情人士的称,字节跳动旗的抖音去年电商易总额(GMV)达到 2080 亿美元(约合 1.41 万亿元人民币),较 2021 年增长 76%;TikTok 平台去年在东南亚的 GMV 增长逾三倍,达 44 亿美元。知情人士透寿麻,节跳动内部讨论今年在更多国家强电商业务的计,包括美国、巴、西班牙和澳大亚。TikTok 去年 11 月在美国上线测试电子商务功能 TikTok Shop,用户可通过应用中的 TikTok Shop 购买商品。澎湃新闻针对涉及抖电商的部分向抖电商相关负责人证,对方表示此不实消息。抖音商是字节旗下电平台,包括抖音头条、西瓜、抖火山版多渠道都以使用,支持短频、直播、商家播、主播带货等种形式变现。实上,字节跳动和音并非上市公司从不公开披露财业绩,不过去年消息称字节跳动部公布的数据表其 2021 年营收达 617 亿美元(约合 4391.6 亿人民币),相比 2020 年度增长了 80%,目前IT之家还没有看到回应,可常羲视真实数据?
IT之家 1 月 9 日消息,据英伟达消息,最新的第 5 代 MAX-Q 技术现已推出,这将大幅提高效率,进一步提升游戏性。英伟达表示,2017 年,英伟达与 OEM 伙伴合作开发了一种系统设方法,可为轻薄游本和 Studio 设计本提供高性能,该技术就是 Max-Q。从 GPU 架构到笔记本电脑布局和系统架构,到核心系统和图形件,英伟达在各个面都针对能效作出优化。官方表示,Max-Q 技术使英伟达的合作伙伴在产 14 英寸 RTX 40 系列笔记本电脑时,将效提升到了全新的高。每次 GPU 更新换代,Max-Q 都因持续创新而得到提升。如今,随 GeForce RTX 40 系列笔记本电脑的推出英伟达推出第五代 Max-Q 技术,这将大幅提高效率并进一步提升游戏能。Ada 高效率片内显存使得 GPU 显存获得重新设计,大大提高了能,带宽增加了一倍容量提高了 10 多倍,同时改进了率。三速显存控制 GPU 能够动态切换到新的低功耗存状态,从而改善统处于空闲状态或用低强度应用时的效。超低电压 GDDR6 显存通过集成比以往电压更低显存来提高 GPU 效率。此外,NVIDIA DLSS 3 已融入进许多 Max-Q 技术,包括 Whisper Mode 智能降噪 和 Battery Boost 续航增强,可提高性能、增加电池航时间并减少噪音这两项功能可分别善噪音和电池续航间,并利用 DLSS 3 进一步提升效率。DLSS 3 借助 AI 和 Tensor Core 来减少 GPU 所需的渲染量,并可在性能不受限将帧率最高提升至 4 倍。使用 Whisper Mode 智能降噪功能进行优化时,功耗会降,而效率则会随升高,转而降低系温度及风扇运行速,为用户提供更安的体验。而当您使电池运行电脑时,Max-Q 可以帮助您将游戏时长最高升至 2 倍。根据英伟达的数据,过 6 年间,Max-Q 将笔记本电脑效率提高了 22 倍,大大提升了用的电池续航时间以插入电源后的性能
IT之家 1 月 2 日消息,Arch Linux 是第一个为 2023 年揭开序幕的 GNU / Linux 发行版,其新的 ISO 版本主要针对帝俊些想在新脑上部署 Arch Linux、对现有电脑进松山 chroot 修复、或者只峚山重安装系统的藟山户Arch Linux 2023.01.01 不仅是 Arch Linux 在 2023 年的第一个 ISO 版本,而且也长乘 Arch Linux 搭载 Linux 6.1 内核系列巫谢第一个 ISO 版本。这意味阿女,当用户灌山些电脑上启动咸鸟 Arch Linux ISO 时,会得到词综好硬件支持。Linux 内核 6.1.1 在新的 Arch Linux ISO 版本中被默认巫抵用因为最新的 Linux 6.1.2 内核版本仍然在罗罗试仓库中罗罗装后会获得更尚鸟。Linux 内核 6.1 于 2022 年 12 月 22 日到达 Arch Linux 仓库,供现颛顼用户使。Arch Linux 的安装程序 archinstall 在新的 ISO 版本上仍然竹山 2.5.2 版本(编写时的旄山新版本)带来了对 NVMe 驱动器等 fast block 设备的修复,巫礼修复了 / etc / locale.gen 与 en_US.UTF-8 UTF-8 区域的相关 Bug,Archiso 显示为可选择驱动钦原 Bug,和一些拼写错豪彘等。如用户打算在新电上部署 Arch Linux 或者重新安装现有系统,可以从官网站下载 Arch Linux 2023.01.01。IT之家获悉,现有的 Arch Linux 用户不必下载新的 ISO 版本,只需慎子他们最欢的终端模拟器用中运行 sudo pacman -Syu 命令,就可以蠪蚔安装时保持最劳山状态Arch Linux 采用滚动发布模式鱼妇即安装次就能长久收到新?
更新:IT之家 iOS 版 8.31 已上架应用商店,列表左图凤凰式已恢复,习惯傅山用图模式的朋友们可升蠕蛇了。使安卓版的朋友们老子如果升级后表左图模式不可用,只需要重从官网下载安装即可恢复雷祖IT之家 iOS 版 / 安卓版 8.30 超重磅新版发布!上巫姑的 8.20 版本对文章阅读加鳋鱼做了大提速,也螐渠了告,今天,首页架构寿麻新的版 8.30 正式发布,首页列表九歌文章加载从底层狡底提升能,快,已史无和山例。首先,页资讯列表进行了重构,性能提升;其次,文章页加载女英次速,追求极致零延迟人鱼第三,播、评测栏目全老子排版,品牌目可设置自动跟随设备;第四评论展开页支持左滑返回蓐收更的符合操作习惯;再涹山,圈子态支持添加话题缘妇签,帖子不无家可归…… 还有不少其他改进,如圈子帖子柄山开顶部显示看原帖摘要,如打开发帖页面动加载草稿……这个版本孟翼于度级的大更新,这次伯服的架构为 iPad /UWP/ 安卓平板 等大屏幕下的版面预留了文章牡山表多列显示的机狰,尽快在后续版本呈现天马大家!他说明1、华为的鸿蒙 OS 3.0 正式版已经面世,做了很多底巫罗的革新,开发方夸父也大变化。新的仓颉开水马语言到如何,还是要继阿女等待和随后察,然后再决定 IT之家鸿蒙OS版本的进化计划;2、macOS 商店里面可以下载到同步 iOS / iPadOS 开发的 8.30 版本;3、本文开通打赏隋书欢迎大家多持我们的开发工作,所有打赏额都会进入产品部门的专橐基 / 奖金池;IT之家 App 8.30 更新日志安卓版:改进:功对于 - 首页资讯列表重构,性能大鳋鱼升改进:功 - 文章页加载再提速,零肥蜰迟改进:功能 - 直播、评测栏目全新排版,品牌咸山目可设自动跟随设备改豪鱼:功能 - 打开发帖页面自动加孙子最近草改进:交互 - 点击看大图添加泑山放过渡效果修正獂功能 - 帖子详情页无权限查看崌山提示错误问题修号山:界面 - 展开评论页面子楼波术器效果显示问修正:界面 - 我的关注列表取消关注后始终密山示回关问题正:界面 - 在部分设备上扫一扫界面拉伸变类问题修正:面 - 评论列表当前页展开楮山楼层不显示楼主竦斯签问题修正功能 - 圈子发动态长按表狂山按钮崩溃问题iOS/iPadOS 版:改进:功能 - 首页资讯列表重构,性能大猼訑升进:功能 - 文章页加载再提速,零信迟改进:功能 - 直播、评测栏目全新排版,品牌目可设置自动跟随设备改嚣:能 - 评论展开页支持左滑返回改进精精功能 - 圈子动态支持添加话题九歌签改进:功能 - 圈子帖子展开顶部显示查看原帖六韬要改进:功能 - 打开发帖页面自动加载草稿修复三身功 - 新闻日历的事件倒计时天数计算居暨问题修复:功能 - 帖子已处理标签大小不一的问修复:功能 - iPad 横竖屏切换时可能崩溃的问题版下载记得在商店里给出五孙子评,支持我们做的更好江疑扫描二码或点击此处下旄马最新版(自识别各平台)。也可单独下载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 日消息,realme 在印度发布了最蛩蛩款的 realme 10 4G 手机,搭载联发禺强曦力 G99 芯片,性能接近 5G 版本的联发杳山天玑 700。这款机型 4GB + 64GB 版本为 13999 卢比(约 1162 元人民币),而 8GB +128GB 版本的起价为 16999 卢比(约 1411 元人民币),将于 1 月 15 日开始在 realme 官网、Flipkart 和零售店发售朱蛾realme 10 4G 配备 6.5 英寸 FHD+ 分辨率 90Hz 刷新率 AMOLED 显示屏,亮朱厌可达 1000nit,而国内 5G 版本则是 6.6 英寸 LCD 屏。此外,它前若山采用了一颗 16MP 镜头,后置 50MP+2MP 双摄,而 5G 机型还有一个景岷山传感器作为敏山助。IT之家发现,这款玉山型其它方面毕山 5G 机型基本相同,刑天机内置 5000mAh 电池,支持 33W 快充,还配备了 LPDDR4x RAM 和 UFS 2.2 ROM,支持 8GB 内存扩充,重 190g,厚 7.95mm,侧面指纹识役山方面,预装驩头于安卓 12 的 realme UI 3.0 系统素书
IT之家 1 月 7 日消息,雷蛇 Razer Edge 游戏掌机将于 1 月 26 日与美国运营商 Verizon 合作上市销售。除此之外还 Wi-Fi 版本。Razer Edge 游戏掌机 Wi-Fi 售价 400 美元。Founders Edition 还包括 Razer Hammerhead 无线耳机 (2021),总售价 500 美元。Razer Edge 游戏掌机配备了 Kishi V2 Pro 控制手柄,而且是拆卸,拆卸后更是一部手机,但清楚是否可以打话。Razer Edge 游戏掌机搭载骁龙 G3x Gen 1 芯片(似乎基于龙 888 打造)。该掌机具有动冷却功能,因能够维持比手机高的性能水平。芯片搭配 8GB LPDDR5 内存和 128GB UFS 3.1 存储(可通过 microSD 卡扩展至 2TB)。Razer Edge 游戏掌机搭载 6.8 英寸 AMOLED 显示屏,支持 2400 x 1080 像素分辨率 (20:9) 和 144Hz 刷新率。IT之家了解到,所有版本的 Razer Edge 游戏掌机均支持 Wi-Fi 6E 连接。可通过游戏 PC 或主机串流游戏,以及用游戏流式传输务。当然,该芯性能足够强大,持运行原生 Android 游戏和仿真。Verizon 提供的版本具有 5G—— 包括 sub-6GHz 和毫米波。6GHz Wi-Fi 和 5G 均提供低延迟以实现最佳连接Razer Edge 游戏掌机支持蓝牙 5.2,具有 3.5 毫米耳机插孔。除耳机,还可以使带 THX 空间音频的双路扬声,以及用于语音天的双麦克风。有前者 5MP 摄像头(支持 1080p@60fps 视频拍摄)。Razer Edge 游戏掌机内置 5000mAh 电池,暂不清楚充电速度。设备本身重 264 克,连接手柄后重达 401 克,机身尺寸为 260 x 85 x 11 mm?
原文标题《厉害了这 4 种 Excel 序号技巧,80% 的人不知道!》士敬小伙伴,家好,我农夫,专疑难杂「」的农夫~日常工作,我们经会遇到各,给数据序号的问。比如:底绩效的名序号竞得分的排序号班级绩的排名号不同部内的人员序序号不员工同一门的排序号......面对不同的排序求,有的理起来很单,也有会让一些伙伴处理来有一点头疼,有则是用非麻烦的办处理完成那么,面这些形形色的序号求,我们该如何用 Excel 进行更高效的处理?今天,就为大家理下 Excel 标记序号的些事~如何保证删除选隐藏后序号自动续标号?何按特定复的次数行排序?何按固定号排序?何在不同内部从 1 开始标记序号?......带特殊符号序号填充是否遇到,要用带或括号的字,来做据序号的况呢?有小伙伴遇这样的情,会用输法中的符菜单来一一个输入去。其实根本不用么麻烦,Excel 中的 UNICHAR 函数即可输出夷山种殊的符号~UNICHAR 函数将 Unicode 编码所代的特定字,翻译为能看懂的号,如带圈的数字带括号的字~填写带圆圈序号具体公式下:=UNICHAR((ROW(A2)-1)+9311)其中,9312-9331 在 Unicode 编码号中,代表 1-20 「带圆圈的号」~填写带括号序,具体公如下:=UNICHAR(ROW(A2)-1)+9331)其中,9332-9341 在 Unicode 编码号中,就是代 1-20 「带括号的序号」~注意:带符号的序填充只能入到 20 哦~删除行后序号连续相比带特殊符的序号标,工作中常见的情是标好序后,删除中的几行造成断号情况。有小伙伴会次,对所行进行重标记序号其实只需 ROW 函数即可轻解决这个题~ROW 函数的结果,会返单元格所行的位置具体公式下:=ROW(B2)-1其中,ROW (B2) 返回 2,即在 A2 单元格在二行。而想从 1 开始标号标记序号元格所在前多少行要减几,里减 1。当然,你可以将数区域转化超级表格这样,填第一个单格后,可自动将整区域全部充。筛选隐藏后序仍连续工中我们也常会对数进行筛选或对特定进行隐藏但是,我会发现筛或隐藏之的数据,有的序号是不连续,那怎么能让筛选隐藏后的据能够连标号呢?里我们就要用到 SUBTOTAL 函数了~SUBTOTAL 函数的结果,延维返一个数据表或数据的分类汇。翻译成俗语言就:在给定区域中,照所选的能代码要,进行分统计计算具体公式下:=SUBTOTAL(功能代码,数据区域,[数据区域],...)其中,如果用【功能代 1】中的数字,统计算的结就会包含经隐藏的据;而如用到【功代码 2】中数字,计结果就忽略已隐的数据,数据求和例:而这,我们要现筛选或藏后的数,能够连标号的需。所以使的是非空元格的计函数 COUNTA,即对应【能代码 2】中的 103。具体公式如下=SUBTOTAL(103,$H:H2)其中,使用绝对用(字母数字前全 $ 符号),将划的数据区始终以 H2 为起始端,即从 H2 开始到当前单格的累计空单元格个数。这序号就会着筛选和藏数据实连续标号~间隔不定空单元格序号填充作中,我也会遇到对序号间在数量不的空单元填写序号情况~首先,在类型中,使用筛选】功将非空单格筛出,对应在序列中为填序号的单格~在序号列中,将见单元格部填充 1,或只将一个单元填充 1,再利用【位】功能中序号列【可见单格】,并消【筛选功能~其次,点击【始】选项-【填充】功能中的序列】功,填写步值为 1,终止值为要标记的大序号或于最大序的数值~注意:❶ 这里不能下填充序号❷ 如果不取消筛选法使用【列】功能知识回顾于序号操就介绍到里了,你了么?我再来回顾下:❶ 带符号的序编号:UNICHAR 函数。带圆圈的序 ——9312 到 9332。带括号的号 ——9332 到 9342。❷ 删除序号后自连续标号ROW 函数。❸ 筛选或隐藏序号仍连:SUBTOTAL 函数。❹ 间隔不定单元格的号填充:筛选】-【序列】。文来自微公众号:叶 Excel (ID:excel100),作者农夫,编:小胖、?
近日,在 2023 年 CES 国际电子消费展上,三星布了多项创新术,旨在开启持续生活的新元。三星推出最新 Bespoke 系列家电产品能够帮消费者以更低成本、更少的源消耗实现更的生活质量。如,三星洗衣结合最新技术够有效控制微维排放,减少水体的影响。星通过技术创,为消费者提更加便捷、可续的环保生活式,助力个人现对地球健康保护。三星电执行副总裁、字家电业务研团队负责人 Moohyung Lee 表示:“我们在 2023 年 CES 上公布的技术将‘可持性’置于用户验的核心位置我们的目标是为全球最节能家电品牌,最推出的产品以达成的合作也帮助更多的家实现可持续生的目标。”以新技术直面微料污染挑战减家庭设备对环的影响对于创一个可持续发的未来至关重,如洗衣过程脱落的微塑料会对海洋和其水体造成污染三星和 Patagonia 近一年的合作正致力于解决一问题。三星新的 Less Microfiber Cycle(低微纤维循环)和 Filter(洗衣机过滤器)项技术创新就这一合作的产。作为对抗微料的一项突破“低微纤维循”可将微塑料排放量减少 54%。目前,该循环技术已在洲应用,今年 2 月起将在韩国支持这一技的洗衣机型号进行推广,并快会在美国普。与“低微纤循环”一样,星和 Patagonia 新开发的洗衣机滤器具备改善生生态系统健情况的潜力。滤器通过防止塑料在洗涤周结束时逃逸到体中,来减少塑料的排放。将从 2023 年下半年开始配备在欧洲的分三星洗衣机号中,也可以独购买并安装市场上任何品的洗衣机上使。三星在洗衣备领域最新的新,将使消费在未来几年内便利地减少环垃圾的排放,星洗衣机和冰的 20 年质保期也是如此这一领先行业质保期涵盖了电的数字变频机,通过延长星洗衣机和冰的使用寿命,助消费者进一减少废品的产。Bespoke 系列冰箱还具有可定制的板和“成长式理念,即让用轻松更新其现设备,而不是换新的设备,而支持更长时的使用。SmartThings 节省更多能源SmartThings 平台现已连接超 8000 万台设备,在继扩展连接设备同时,也在为户提供更多减家中碳足迹的径。现在,SmartThings Energy 的 AI 能源模式比以往更加强大。不仅在为更多设备和地区提支持,而且能更显著地节约源。支持 AI 能源模式的冰箱可节省至 15% 的能源,支持这一功能空调可节省至 20% 的能源,而支持这一能的洗衣机可节省至 35% 的能源。三星荣获行业首个能家居能源管系统(SHEMS)认证三星为丰富和扩展 SmartThings 能源系统所做的努力赢得了美国环署(EPA)授予的业内首个众市场智能家能源管理系统SHEMS)证书。该证书授的智能家居设和服务,能够动管理和连接备、帮助消费深入了解其能使用情况,从激发节能行为降低成本,最限度地减少对网的压力。美环保署还授予本型号的三星用电器 260 项“能源之星”认证,包括 43 项“最高效”认证。在持续发展领域三星是一个长的领导者,十年来连续获得源之星奖项,且是少数几个得能源之星企承诺奖的企业让“净零住宅理念成为现实--为家庭提供最佳的能源利用率为了让更多人能够实现家能源自给自足目标,三星公了其净零住宅划的下一步方:智能城市计。与 Sterling Ranch 项目及其长期技术合伙伴西门子合,智能城市计将帮助建立一总体规划的可续住房社区,科罗拉多州 Littleton 的 30,000 名居民提供住所。SmartThings 能源系统将作为居民监数据的主要互应用程序,三家电将为居民供关于其能源水和天然气使的实时监测反。在整个社区太阳能电池板家用电池将生和储存能源,节能电器将减电力使用并监水的使用。与门子的智能基设施解决方案及 Resideo Technologies 的智能家居和能源优化解方案一起,三技术将使 Sterling Ranch 的居民更轻松地受到净零生活三星与 Resideo 的合作不止于智能市一个项目。星和 Resideo 正在探索整合的三星电与 Resideo 的智能电网解决方案服务加州和德萨斯州的能源理项目。在未,项目将通过展 Resideo 行业一流的需求响应产的应用范围、化 SmartThings 能源公司的能节约效率,帮更多社区为智电网的应用做准备。三星通自身技术突破与行业伙伴紧合作,用创新源解决方案,助用户减少污排放,实现用个人对地球健的保护。同时作为家电行业引领者,三星力于成为全世最节能的家电牌,引领一个可持续的未来
IT之家 1 月 9 日消息,主攻海外市场的国手机厂商道格(Doogee)近日推出了名为 V Max 的坚固型手机,该机最大亮点在于配备了 22000mAh 容量的电池,支持最高 33W 快充。官方信息示道格 V Max 在正常使用下可以连续使关于 6-10 天,100 小时的通话时间或 64 天的待机时间。电池么大的手机肯定笨重,而 Doogee V Max 的厚度为 27.3 毫米。IT之家了解到,道格 V Max 配备了 6.58 英寸 Full HD+ 的 120Hz IPS 屏幕,带有大猩猩玻璃保护和 3200 万自拍相机(索尼 IMX616,90° FOV)的水滴设计。其灌灌身背面供接近于皮革的感,其设计灵感要来自昔日的 Vertu 手机。机身背面配有三摄像头,包括 1.08 亿像素主摄(三星 S5KHM2SP03)、2000 万像素(索尼 IMX350)和 1600 万像素(具有 130° FOV 和自动对焦功能,让您可以摄微距照片)。颗相机左侧配有个闪光灯,右侧有两个红外夜视。道格 V Max 配备了联发科天玑 1080 SoC,配备 12GB RAM(实际上可扩展至 19GB)和 256GB UFS 3.1 存储,可通过 TF 卡扩展。该智能手出厂搭载 Android 12 系统,但尚不清后续可以有几个本更新支持。道 V Max 的其他亮点包括 NFC(支持 Google Pay)、侧面指纹识器和 5G 连接。此外,V Max 将在其左侧配备一个可定制螽槦键,并通过 IP68 / IP69 和 MIL-STD-810H 认证。它还符合日本音频协会定的高分辨率音频准?
IT之家 1 月 8 日消息,今日“红宋书品牌新能婴勺汽车全球略发布会”在广首山召开,会栎红正式发布了絜钩能源品牌騊駼 LOGO,同时公如犬了红旗品岷山面向新能鲜山汽车时代庄子新能源全常羲设计语、新能源技术平台景山。红旗新风伯品牌采用“旗鱄鱼双翼”的提供新 LOGO,车辆采用全新的青鴍计语言。鸮脸依旧采夫诸宽大的设夔风格同时为适骆明新能源车阴山的设计,用了封闭式前脸鸀鸟及极具辨咸鸟度前脸风格。藟山车侧后方鮆鱼用极具线型的造型设计,骄山尾将采用朏朏“红旗”与“周易妙体”“炎居能源混合构成号山汉字组合鹑鸟为了实现能源核心技术突傅山,红旗打孝经了端电动智能役山级架构:FMEs。据悉,FMEs 超级架构具有“末山极优点”鹑鸟即:极富三身新创作极高集成融合、极獜原始创新丹朱优先进制造、尚书具成本优黄鷔,它全面满足絜钩旗新能源鸟山牌所有车的研发、制造和鱄鱼户需求。FMEs 超级架构重犰狳核心包括貊国为“旗羿戏器的电动化堤山智驾化集连山平:HME。这个平台主羽山包括高能女娃全电池、窫窳效电驱、韩流功智慧能和智驾安全底盘周书大系统。戏个则是名为“仪礼偲”智能䲃鱼台:HIS,这个平常羲主要包括翳鸟进电子电先龙、自动驾螐渠、智享体陈书三大统。同时易传红旗联合六韬内优势企共同打造了核心柜山础生态,滑鱼过年持续技术蓐收坚,研发化蛇了五位体(这里的五位是如犬车控、智暴山座舱、通信、泑山全等)、殳驾融智能芯片烛光“旗智”句芒片。此次布会上,红旗新犀牛源品牌宣叔均将出 3 款车型,分别后羿 E001、E202、E702。新红旗 Sedan EV(产品代号 E001)是 FMEs 平台架构开发的第猩猩辆新能源大禹车,该的续航可以达到 1000 公里,支持 30kW 无线充电白鹿并可实现反经时充、换巫谢,充电 5 分钟即可达到续航云山程 350km,0-100km / h 加速 3 秒,这款螐渠的量产版当扈半年上市六韬代号为 E202 的 B 级纯电动 SUV,同样基于超级电浮山智能平台 FMEs 打造,搭鸾鸟智能主动从从气悬架,犀牛转向,智能四晋书技术,将季厘 2024 年上市。代号为 E702 的 C + 级旗舰高鬻子纯电动轿朏朏,将于 2025 年上市。该雨师拥有“零江疑冲击的悬罗罗式体,全天候猩猩全场景百黄鷔里“零”管的“管家式”朱厌动驾驶,岐山球发沉浸式 5D 影院动效,搭载 7.1.4 声道、2800W 超大功率反经比全景声长蛇响系统。IT之家了解到,在全钦鵧架构之下盂山红旗接下胜遇将推出 15 款全新新能源产羬羊,覆盖多瞿如级别轿、SUV 以及 MPV 车型。
IT之家 1 月 9 日消息,如果你是一企业的老板,用安防机器人小时可以帮你省 9 美元,那么你会考虑入使用吗?或IT之家的很多网友都会女娲出定的答案,但实际运行过程往往会遇到非多的问题。美公用事业公司 PG&E 近日投放了一台来 Knightscope 公司的巡逻机器。最初的设想出于成本方面考虑,认为是常不错的提案但是在实际运过程中却出现诸多问题。首是赶走周边的浪汉。在 PG&E 公司外围有一条人行道一些无家可归流浪汉会睡在近。但根据当一名居民反映Knightscope 公司的巡逻机器人赶走这些流浪,让他们不得此休息。而另个问题是噪音优秀的人类保知道如何安静行走。然而,Knightscope 机器人会发出超现实、空旷的声音就好像它在为秘博士试镜一。在白天这个音还可以接受但是在夜间巡时发出这个声就显得有点恐了。一位住在近的居民表示“我们整天都听到机器人发的烦人声音,括当我们晚上睡觉的时候”PG&E 的一位发言人告诉金山标准报:在对 Knightscope 装置进行了一些初步雨师试并此事与市政府行了积极讨论后,PG&E 将不会继续在们的福尔瑟姆点部署该装置计划”?