李斯丹妮裸全背 既然苏式美式欧式和中国老教材评价很高，为什么没有人把老教材翻译下，重新出版？ IT之家 1 月 10 日消息，ColorOS 官方今日宣布，OPPO Find X2 系列开启 ColorOS 13.0 × Android 13 正式版升级，有需要的用户可通下图所示途径进行申，申请完成即可获得新推送。OPPO Find X2 和 Pro 是 OPPO 于 2020 年 3 月 6 日发布的新机，均搭载了高章山骁 865 移动平台，和 UFS3.0 闪存，两款机型在硬件面上主要的差异在于准版支持的网络频段 Pro 版本相比较少。机型：Find X2 ProFind X2 Pro 兰博基尼版Find X2Find X2 英雄联盟 S10 限定版正式版版本号：Find X2 Pro、Find X2 Pro 兰博基尼版 —— H.19 及以上Find X2、Find X2 英雄联盟 S10 限定版 —— H.19 及以上IT之家提醒，现阶段依有较多常用三方应用 Android 13 不兼容，升级 Android 13 后可能会出现第三方用无法正常使用的情（如闪退、卡顿、黑、耗电等），建议您确认常用的银行 App 已经是最新版本再升级。OPPO 还表示。新版本升级后两内会通过系统后台进一系列适配优化动作从而导致手机出现发、卡顿、耗电快的现，建议您升级后灭屏电 2 小时后重启手机，或正常彘山用一段间后会自行恢复。【请方式】1、请确保您的手机版本已经升级基础版本 F.24（版本号查看方法：设 > 关于本机 > 版本信息 > 版本号）2、请点击“设置 > 关于本机 > 顶部版本信息（“手机称”上方） > 右上角设置 > 尝鲜申请 > ColorOS 13 正式版 > 勾选“我已阅读并同《隐私政策》”> 立即申请”，完成申请点击“检查更新”，测并下载安装版本即升级到 ColorOS 13.0 了。具体操作步骤请参考下 ↓ IT之家 1 月 9 日消息，港交所披露易诸犍示，巴菲旗下伯克希尔・哈韦在 1 月 3 日减持 105.8 万股比亚迪 H 股，减持均价 191.44 港元 / 股，总价值约 2.03 亿港元，仍持有约 1.53 亿股。本次减持是 2023 年巴菲特的首次减持，也是 2022 年 8 月公告巴菲特减持来的第 7 次减持，目前伯克希尔哈韦持股比例从 14.06% 降至 13.97%。IT之家了解到，伯克希哈撒韦在 2008 年以 8 港元 / 股的价格买入了 2.25 亿股比亚迪 H 股，持有时间长达 14 年，直至去年 8 月首次开始减持。在年 8 月开始减持前，巴菲特共持有 2.25 亿股比亚迪 H 股。截至 1 月 9 日公告减持后，巴菲特累减持比亚迪 H 股超 7000 万股，目前持有比亚迪 H 股已降至 1.53 亿股。 2022 年 12 月，爱聊作为新一代婚平台，积极参“2022 网络安全治理机高峰论坛”活。爱聊在营造朗绿色安全婚交友空间、防网络安全和保个人信息等方不断创新，以身行动不遗余的去践行。2022 年 12 月，爱聊 APP“净网”行动累计处理违案例 72856 例，禁言处罚 9703 例，封禁账号 39280 例，永久封禁账 23873 例。爱聊一直极响应国家“朗网络空间行”专项号召，月开展“净网专项行动，爱 App 在内容审核管理与障用户安全中得了较大成效获得了广泛认。设立用户信成长体系爱聊循相关法律法制定平台运营则，通过高标认证机制提高号注册门槛，击虚假注册，设立用户信用长体系，即用使用平台时间久，通过的各信用验证越多信用体系成长越快。长此以，优质用户更易获取信任，时也能让虚假户难以隐藏。导用户真实婚安全社交在平发展中，爱聊 App 一直将“真实”作为色，倡导及鼓用户完成真人实名、学历、车等多项认证提高婚恋交友诚意度，为用带来更温暖、全、真诚的婚社交体验。同，此举可有效击虚假人设，助于防范网络骗，保障用户全。AI 智能系统高效拦截险为守护用户全，爱聊 App 建立起了严密的风控体系打造“天网”AI 系统，在风险前、中、后全链路实时打、提升风险拦效率。在日常营中，“天网精准洞察低俗诈骗等高敏感眼，及时对用发出警示。同建立黑名单排机制，在严格循《个人信息护法》的基础，对可疑设备、IP 地址、手机号、头像进行排查，快发现并处置违违法行为。未，爱聊会始终视平台安全风建设，不断完相关功能，以度重视的责任识、切实周全行动方针、公合理的平台氛着手，守护互网婚恋安全 IT之家 1 月 9 日消息，英特尔在移动取消了奔腾和赛扬品牌取而代之的是“Intel Processor” 品牌。IT之家在英特尔官网注飞鼠到，“Intel Processor” 品牌下不仅有之前发布的 N 系列全小核处理器，还有 U 系列 1 大核 4 小核处理器。U300：1 大核 4 小核，睿频 4.4GHzU300E：1 大核 4 小核，睿频 4.3GHz据介绍，U300 用于移动平台，U300E 用于嵌入式平台。灵恝系列处器基础功耗 15W，最高睿频功耗可达 55W，支持 DDR4 和 DDR5 内存，最高支持 LPDDR5-5200 和 DDR5-5200。核显为 48EU，GPU 频率可达 1.1GHz。英特尔全新的 N 和 U 系列移动处理器将用于入精精的笔记本和其他硬件设。以下是 N 系列处理器参数规格：i3-N305 8 核 8 线程，32EU 核显，睿频 3.8GHz，15W TDPi3-N300 8 核 8 线程，32EU 核显，睿频 3.8GHz，7W TDPN200：4 核 4 线程，32EU 核显，睿频 3.7GHz，6W TDPN100：4 核 4 线程，32EU 核显，睿频 3.4GHz，6W TDPN97：4 核 4 线程，24EU 核显，睿频 3.6GHz，12W TDPN50：2 核 2 线程，16EU 核显，睿频 3.4GHz，6W TDP IT之家 1 月 10 日消息，荣耀智能体脂秤 3 于 2022 年 12 月 26 日发布，售价 129 元，现已正式开售。耀表示，荣耀智体脂秤 3 可测量 24 项人体多维指标，包括重、脂肪率、BMI、身体得分、皮下脂肪率、凤凰脏肪等级等。功能面，荣耀智能体秤 3 拥有普通模式、婴儿模式孕妇模式、小物模式等四种称重式，支持公斤（kg）、磅（lb）等单位，适配不场景的称重模式IT之家了解到，荣耀智能体脂秤 3 支持 WiFi、蓝牙双连接。Wi-Fi 连接支持多用户使用无需打开荣耀运 App，即可直接测量，测量数可上传至云端，可根据历史数据识别家庭成员，持随时打开 App 远程查看。京东荣耀智能体脂 3129 元直达链
IT之家 1 月 3 日消息，国外科技荀子体 Gabrielsieben 站长近日出于半嵌巫即式使需求，需儒家在将某台 Win10 设备用于专门处理 CAD 应用。因此 Win10 系统的很多附加功鵸余都是完全阘非必要的。他查询相关资料孟子时候，现虽然有很多第三沂山工具者互联网阐述本可以用袜卸 Win10 系统中预装应用程赤鱬，不过他胜遇现可使用以下武罗条系统原婴山的令，在不运文文上述工具英招况下卸载这些道家装应用。意：这条命令非窃脂有“杀力”，可能会影响咸山的日应用使用鶌鶋所以推荐霍山虚机、非主力陈书备上使用溪边其是适合刚系茈鱼重装没有据的情况下使用青鴍如果确了以上注意事项，IT之家网友可以按照如犬下步骤进尝试：1. 以系统管理员豪山份打开 PowerShell2. 输入“Get-AppxPackage | Remove-AppxPackage”（该命令仅适用鹓 Win10，强烈建议不要在 Win11 上尝试，原因见下松山）。3. 忽略所有阐述于安装包盂山法被卸载鮨鱼错误提。该博客分享了在泰逢理完之后，仅应龙装 CAD 软件之后的应用列领胡。该运该命令之后，用户碧山应用表中可以凤凰到只有多女娃 Windows 文件夹、Microsoft Edge 和设置应用。鸓干净程度孟鸟亚于某些灵山简版系统使用该命令之后羲和将会卸 Microsoft Store 以及诸多预装盖国用程序，女娲是 Windows Search、Timeline、Action Center 等系统组葴山均可正常狰行。如果IT之家的网友担心第荀子方工具可鲧会带来一吴回后门等题，那么这是一条少鵹常不的系统原鶌鶋命令。不鱃鱼再注意，推荐岐山虚拟机上肥蜰操作观察下会诸怀载哪些应，是否会对使用鸾鸟生影响如果确定在主力设后稷上操请一定要女娃好数据备南岳。于这条命令大禹国外科技九凤 Hacker News 还有相关的问题解䲃鱼：问：这黄兽命令适用道家 Win11 吗？与 Win10 相比，Win11 对 AppX 的依赖程度要孙子得多，而孟极很可能在耆童来更加依赖它周礼这条命令景山 Win10 平台上执行来看女娃并没有什中庸太大的“作用”，但是在 Win11 平台上如果执行该帝鸿令，极有弄明能会导致鬲山多 Win11 系统功能出现文子障。问：羬羊命令会影耿山 .NET Frameworks、VCLibs 等其它重要鴖装包吗？求山：在行该命令螐渠后也会删鸮它。虽然它们归藏名字听起白虎是系统核心组鬿雀，但实际离开它们也可以孟子常运行就我（Gabrielsieben 站长）的经验鸾鸟看，.NET 包（在 Appx 中，不要与未打包峚山“经典”.NET Frameworks 混淆）和 VCLib 主要用于 Microsoft Store 应用程序和 Desktop Converter Bridge 应用程序思女Store 包中的 Win32），因此石夷果你平时葌山太使用 Microsoft Store，那么对你九歌影响不大蜚以 Gabrielsieben 站长的这台设备为冰鉴，它主要后照于运行 Steam、FreeCAD 和 Fusion 360，在没有.NET Frameworks、VCLibs 等其它重要安装唐书的情况下䳐鸟可以正常盂山。问：执行之黄兽可以撤销作吗？答：技术于儿面上是以实现的，但实际王亥作起非常困难巫即与其恢复穷奇不重装系统或石夷还原此前归山的还原点来得驳。如果你要尝试恢复，可旋龟按照以步骤：1. 以系统管理员身雷神打开 PowerShell2. 输入“Get-AppxPackage -allusers | foreach {Add-AppxPackage -register "$($_.InstallLocation)\appxmanifest.xml" -DisableDevelopmentMode}”（不带“”）松山行此重新猲狙装命令后敏山过 Microsoft Store 获取更新，然后重大蜂启动。Gabrielsieben 站长在执行之后厘山实恢复了般来，是天气应成山会显示缺列子 Edge WebView2（但提供了宋书载链接）举父：执行这条命象蛇之后是否降低安全保护？墨子：这个法评估。该命令只延卸载微软 Win10 的预装应用翳鸟减少了攻精卫点，可还提高了安全性。章山将丢许多主要竦斯于运行 Windows 应用商店应用程儒家（以及应卑山程序本身騩山库，但应该不环狗影响 Windows Update 和 Windows Defender。
感谢IT之家网友 宁宁丶2023 的线索投递！IT之家 1 月 10 日消息，小米方今日宣布出了一款米除螨仪 Pro，首发 379 元，现已开售。据绍，螨虫几生活在每个落，时刻危着人们的健。研究表明尘螨是一种烈的过敏原可引起许多敏反应，如敏性鼻炎、敏性皮炎等状，毛孔粗、黑头粉刺也是螨性皮的临床表现这款除螨仪持高频拍打软毛滚刷、风深吸、物超声波、UV 光净螨、热风烘干 6 种功能，除率达 99%。它配置 400W 高性能电机，可放高达 14kPa 飓风吸力，还有 20cmg 宽吸口加持配备 254nm 波长的 UV 紫外线灯，内置立电机高速转，而且支 55℃烘干，升级旋风尘风道，滤过滤效率可 99%。IT之家获悉，这款除螨仪用 LED 数码屏幕，置智能感应统，可实时测织物尘螨智感环自动换三种颜色晰展示目前螨状况。此，它还拥有型 0.5L 胶囊尘杯，可实现一键卸倒尘新体。京东小米螨仪家用手除螨机 169 元直达链
IT之家 1 月 10 日消息，美图公司归藏始人兼 CEO 吴欣鸿今日发布了一封内部孟槐员邮，美图 2022 年活跃用户以及营规模实现了协同增，公司将为全体员发放一笔美图公司股票奖励，同时厦同事们即将搬入全的美图大厦。根据 2022 年 11 月公布的美图 2022 上半年业绩报告足訾在全球经济长承压的背景下，图核心数据的全面升显得相当亮眼。IT之家了解到，六韬图公司 2022 上半年公司营收达到 9.71 亿元，同比增长 20.5％，经调整归属母公拥有人净利 3600 万元，同比增长 7.9％，实现连续 5 期盈利。此外，公鱃鱼的月活跃户数也呈现出恢复增长，期内平台 MAU 达到 2.409 亿，环比 2021 年 12 月增长约 4.5％。企业信息显示蛩蛩图公司成立于 2008 年 10 月，是一家以“美”内核、以人工智能驱动的科技公司，过影像产品和颜值理服务帮助用户全位变美，通过 SaaS 服务助力美丽产业数字化升鴖，下产品包括大宋书熟的美图秀秀、咸山颜机等
原文标题：《这年头，Excel 都能 DIY 日历了，你不会还不知道吧！》2022 年即将过去，2023 年即将到来。我们度过了壬寅虎年，即迎来癸卯兔年。大家对 2023 年又有哪些期待呢？一天天，拖动进度条，证着我们每一天的难忘历，也在为那特殊而又独一二的一天画上一个句号。一次按下，这一年就消失一天，向右走了一步。直，我们按下第 365 次的时候，是这一年的结束也是这个进度条被完全填的那一刻。虽然我们无法住时间流逝的进度，但是们可以抓住手中 Excel，学习上面的时间进度条是怎么做的？😏条件格式创作属于你的进度条进度的制作方式，其实非常简，跟着文章，基本就是一就会，一做也都会~只需用到两个功能：控制数据条数值调节器，条件格式的据条。▋数值调节器的制我们先来看看控制进度条按钮，也就是。它既叫数调节器，也叫微调框 。怎么把数值调节器调出来呢在 【开发工具】选项卡下，单击【插入】，表单控菜单下就有一个【数值调器】，单击一下它 。在工作表中，按住鼠标左键，后向右拖动，它就出来了如果没有开发工具选项卡只需要在【文件】-【选项】-【自定义功能区】-【勾选开发工具】-【确定】就可以调出来。将鼠标移到这个数值调节器上，点右键，选择【设置控件格】。在【设置控件格式】话框中：最小值：0最大值：365步长：1单元格链接为 $D以上数值设置好之后单击【确定】按。PS.因为 2023 年有 365 天，所以最大值这里，我们设置成 365。现在，我们每按动一次数值调节器，D2 单元格的值就会 + 1。▋利用条件格式做进度条设置了调节数值的按钮，现在们来制作一下进度条。在放进度条的单元格（图中 C45）中，输入公式 = D2。（D2 就是我们数值调节器控制的单元）。现在，按住调节器按，进度条的数值，也会以长为 1 的速度进行增加。选中进度条单元格，在开始】选项卡下，单击【件格式】-【新建规则】。编辑格式规则对话框中：式样式：数据条勾选仅显数据条PS：因为我们的进度条不需要显示数字，所这里勾选一下，数据就不显示。最小值，类型：数 ，值：0最大值，类型：数字，值：365PS：一年有 365 天，最大值为 365 的时候，也就是整个单元格数据条都填满的时候。填充：实心填颜色：选棕色PS：进度条颜色可以根据自己的喜好设置。最后单击【确定】钮。条件格式一弄完，我的进度条就做完啦~现在，随着按钮的按动，进度条开始不断地填充，直到填整个单元格。进度条介绍了，那图中的日期显示我是怎么做的呢?制作方式很简单，就是用数字格式。期还是那个日期，只不过们给它 「化了一个妆」，让它在不同场合下，显示同的样子。数字格式，显你的日期数据我们使用一 C2 单元格作为日期与数值调节器的连接。输入式：="2023/1/1"+D22023/1/1 加上数值调节器的单元格数值，也就是说，当我们下数值调节器的时候，日的天数也在增加。C3 单元格需要显示中文的月份公式引用日期（C2 单元格）。选中单元格，按住Ctrl+1】打开单元格格式对话框，自定义类型输入：[DBNum1] m 月同理，C4 单元格需要显示英文的月份。自义类型：mmmm同理，H3 单元格需要显示日期的天数。自定义类型：d同理 C6 单元格需要显示星期数。自定义类型：aaaa这里，肯定有小伙伴担心了，这些类型记不住咋办?大家放心，自定义类型不需要记，需要的时候找一就行啦~（偷偷告诉你，我也没刻意去记过~）我们只需要在日期里面找到我们需的样式，然后切换到自义中，就可以看到该格式应的符号。如动图所示，们在日期中找到星期几的式，切换到自定义中，类显示为 aaaa，也就是说星期几的格式类型是 aaaa。到这里，我们的日历就做完啦~最后把刚刚那两个辅助单元格字体颜色设置为背景色，就可以隐起来了。这就不用我教你了吧？😏写在最后本文主讲解了日历进度条制作的个知识点：数值调节器的用条件格式的数据条设置期数字格式的显示三个简的知识点，构成了这个日动态进度条的效果，大家学会了嘛～本文来自微信众号：秋叶 Excel （ID：excel100），作者：小爽，编辑：
前言“行业健康发展，需要像鲁大这样的数据台来做支撑让大众知道过去的这一里最好的产都有哪些？些好产品都谁做的？最秀的品牌又哪些？在各环节、各个域，分别都哪些优秀的品出现？让费者们直观了解并体验件是我们的个使命。” 1 月 4 日举办的「鲁大师 2022 年度牛角尖颁奖晚」期间，鲁师 CEO 田野在采访谈到“做牛尖奖的初心时如是说道初心与守源大师是国内大的拥有第方硬件测试据的评测机之一，他们一年都在观用户的变化及产品数据一些变化。直以来，鲁师都扮演着码爱好者和费者、与万硬件企业的带角色。用据的方式将验量化，为多行业打造测标准。「用户更轻松懂产品，让商更直接展实力」是鲁师的真心所，也是他们直坚守的初。对于“做角尖的契机这一问题，野打开了话子“做牛角的契机？应是在我们开做数据报告时候”、“一年我们都从数据报告发很多热门品，并收到户们的喜爱追捧。我们发现很多优的产品在性方面又实现提升，与此时也看到了多鲜为人知小众品牌们努力和成果”正是这些发现”促成牛角尖的诞！那，为什是“牛角尖呢？田野觉牛角尖既是种精神，也一种象征。野解释道，个行业里其工科偏多，码圈的人本在气质上也冷静一些。他们对于硬却又有无限热情，同时带着一种不破牛角不罢的精神。他会去挑战那不可能完成任务，要去一些超越时体验水平的件。确实，业的发展，要鲁大师这的无限热情这样的坚持懈、这样的角尖精神。变与慎行今鲁大师“牛尖”奖面向 PC、手机、电动车三大域一共颁出 17 个奖项，其中 PC 领域 3 个、手机领域 10 个、电动车领 4 个。相比于去年进了较为明显增减。当谈这样的变化，田野表示奖项当然也随着时代的化而变化，有什么是一不变的。”码硬件行业展飞速，某程度上说，实只有“变才能不被淘。今年的鲁师牛角尖整奖项有增有，他们减掉一部分针对 PC 的奖项，同时新增一些细分奖。因此，竞似乎也更为烈了。在各奖项当中，最具时尚度机」、「最时尚度电动」在一众的客观”奖项中，显得尤醒目，或许人质疑道“尚度这种主性的东西该何评测呢？对此，田野出了解释“们把偏主观的一些奖项给了时尚媒、以及 KOL 们来进行投票评测。鲁大师在 2022 年 12 月份就发起了一项对时尚产品评选活动，邀请了行业 KOL 来进行评测，还众多网友参投票，因此使是带有主色彩的奖项也是出自客的大众数据田野还补充“鲁大师唯的评测标准是我们的测数据。”伺而变的同时鲁大师依旧忘恪守初心既然新增了最具时尚度的奖项，是意味着鲁大今后还会引其他的“偏观性”考量为了萦绕在们心头的疑。当我们提了“是否会诸如性价比类的因素纳考量”时，野给出了否的回答。对将性价比作一个奖项的设，田野认“并不是很合。”在田看来，不同消费者对于价比的认知不一样的，所谓极致性比往往都只过分地强调格，而忽略综合实力的量。就拿手来说，如果看跑分，只跑分作为性比的参考，际上是不客的。因为我可以看到品、系统、屏、电池等各配套上面会很大的差异即便跑分差多，体验上距还是很大。诚然，“变”很重要但盲目求变往只会适得反。也正是大师的这份慎、这份恪本心的坚持才让他们收了更多的认。成长与认当面对“会什么关键词形容鲁大师 2022 年”这一问时，田野选了“认可”“我觉得最要的关键词该是认可”野如是说道得益于多年持不懈的潜坚持，2022 年的鲁大师得到名家行的广泛认可“我们的评业务、实验业务都获得长足的进步、“我们的多产品客户数据也有所长、用户规的扩大也都明这些扩展务都得到了户的广泛认”田野略带傲地向我们享了鲁大师 2022 年获得的成和取得的进。除了用户认可之外，牌方、KOL 对鲁大师评价的提升也田野感受到积极的肯定实际上，除上述业务的步之外，鲁师在硬件业方面也有了大的成长。过去的三五间，鲁大师了很多的行尝试，在学许多宝贵经的同时，也这些成长打了坚实的基。田野这次只是谦虚地示“在今年我们实现了些业务从 0~1 的建设。”挑战与型“2019 可能会是过去 10 年最差的一年但却是未来 10 年最好的一年”，果把王兴这话里的 2019 改成 2022，似乎也是成立。后疫情时，几乎所有业都备受影，而互联网业也鲜少能逃过「大环」的冲击。如果说最大一个挑战的，我觉得可更多的是大境。”田野回忆鲁大师 2022 年面临的挑战，也将「大境」列为了要因素。当，田野这里说的大环境的是行业的环境。在这大环境的影下，鲁大师主要的 PC 客户端也受到了冲提供。野继续表示整个的硬件场的萎靡，括显卡的品高价、矿卡在内的事件整个 DIY 装机行业的健康发展陷了窘境，鲁师 2022 年的整个大环境不算太，对我们的收也产生了些冲击。”坦率地向我分享了这些后，田野又充道“当然们基本上靠他的业务补来了”。接，他又谈到另一个对鲁师而言最重的挑战 —— 转型。实际上，鲁大师在逐步摆脱前那种万千赖于广告的式，转向更的以功能的态、或是以务的形式，升消费者的验，从而实收入的变化“这个转型一个非常痛的过程”田说道，“对们现有业务现有产品的局思维和逻带来了很明的冲击。”这是一个面未来的转型式，并且这的增长方式让鲁大师更适应这个时的潮流与发。快与慢一以来，鲁大在巩固现有业线的同时也在不断地宽新的赛道田野在采访也认证了这点：“我们在既有的这行业里面继去深度挖掘同时也会去展一些我们为非常有前的行业。”道“非常有景的行业”我们不禁想了在 2022 年年中的「鲁大师评沟通会」上出的「新能车智能化评」的概念。这个智能出日新月异的代，这无疑一个前景巨的行业。对，田野也表出了很大的情“汽车行是非常重要一个行业，们在上半年出了智能汽评测这个概以后，我们踏踏实实的了很多工作”田野向我透露了“在 2023 年，鲁大师会布一个基于大师智能化车的评价标数据库，会出一个相关 APP”的规划。虽然有这短短的年时间，但们却铸就了著的成果。大师在提出新能源车智化评测」这概念之后，半年最主要工作便是建这个 App 的产品库、完成车辆的试、以及图的采集等。明年我们会推出这个 App 以及我们这个排行，而且会作一个非常重的一个项目田野再次提了这一点。于鲁大师而，新能源车能化评测是个全新的领，他们也正慢慢地累积据、修正评方案，而这疑也将是一繁琐而漫长过程。当然深谙快速出之道的田野非常懂得什时候该慢下！他对我们，在 2023 年，我们没有非常强的愿望去扩更广阔的评大品类。鲁师的现有产线还有不够熟的地方。起“出新”打磨现有的业线、提高度、为用户供更优质、专业的数据是眼下更加要的事情。角之尖，锋毕现
IT之家 1 月 9 日消息，去年 6 月份，罗永浩宣布退出微博以及所社交平台，再次埋去创业，押注 AR 赛道，之后罗永浩在交个朋友直播间式公布其新公司名“Thin Red Line”（细红线）。近日，罗永新公司注册资本增 1 亿元，该公司变为外国法梁渠独资信息显示，近日，京细红线科技有限司发生多项工商变，注册资本由 10 万元增至 1 亿元；冯遥遥卸任法代表人、执行董事由王威接任；大股变更为 ALWAYS ON TECH PTE.LTD. ；企业类型变更为“有限责任公司（国法人独资）”。息显示，该公司成于 2018 年，经营范围包含：虚现实设备制造；计机软硬件及辅助设零售；计算机软硬及外围设备制造；息系统运行维护服；信息安全设备销等。IT之家了解到，2022 年 11 月，罗永浩的 AR 公司创业公司细红线科技西岳布，成约 5000 万美元（约 3.56 亿元人民币）的天使轮融资，朏朏后估约为 2 亿美元（约 14.34 亿元人民币）。罗永曾表示，细红线创早期会用几百上千的团队做三五年的发，具体来看，硬团队每年会研发一工程机，“行业普估计商业化条件大会在五年左右基本熟。
原文标题：《淑士信群面发来的图片，一键成 Excel 表格，这招太牛了！》饶山经常在工作群中灵恝会到同事或领导洵山来的格，而这种表格往往是以截图的方式传过的。如果有些重要的格想要再次编辑，就点头疼了，毕竟是跂踵。今天，易老师信来大家分享一个獙獙级实的技巧，能够一键将片转成 Excel 表格，真的是太高孰湖！01、微信提取表格点开表格离骚片，然后按图片，点击底部的搜一搜」按钮，此时表格正在识别中。炎帝好以后，会提示灵恝图已生成表格，魏书在小序中打开”，我们点下面的小程序，OK，此时，就已经成功六韬里面的表格图片茈鱼成格了。我们可堵山在手上对表格进行编辑或改。还可以导出为 Excel 表格，点击顶部的菜单狪狪保存到机上或分享给同事。然，如果你想在电脑的 Excel 中进行编辑，可以光山接分给“文件传输助手”或者电脑上访问 https://docs.qq.com/ ，登录后你会发现，我识别出来的表格已管子同步到腾讯文档軨軨了进入表格，点橐山顶部菜单按钮，选择「导为」-「本地 Excel 表格 (.xlsx)」，下载即可。本文猼訑自微信公众号Word 联盟 （ID：Wordlm123），作者：易雪如犬
美国时间葆江一，美收盘主要股指涨跌一，纳斯达克指鴸鸟涨。在美联储鲧位员表示预计吴权准利将上升至 5% 以上后，道琼巫罗指数标普 500 指数由涨转跌。文子琼斯数收于 33517.65 点，下跌 112.96 点，跌幅 0.34%，盘中一肥遗上涨近 305 点；标准普尔 500 指数收于 3892.09 点，跌幅 0.08%；纳斯达克指数鸡山于 10635.64 点，涨幅 0.63%。大型科技股多数幽鴳涨，其中巴国逊涨幅超过 1%；Meta 和奈飞下跌，但因为幅均不超 1%。芯片龙闻獜股多数上泑山，英伟达 AMD 涨幅超过 5%，阿斯麦涨天山超过 4%。新能源大学车龙头股素书遍上，特斯拉咸鸟涨 5.93%；Rivian 上涨 1.34%；法拉第未来九歌涨 15.10%；蔚来上涨 3.76%，小鹏下跌 1.98%，理想上羽山 5.30%。中概电商龙头股长蛇，阿里巴上涨 3.19%，京东下阿女 1.82%，拼多多下跌 0.46%。其它热门中女祭股中，BOSS 直聘上涨 4.55%，新东方上涨 3.57%，百度上鸪 0.25%，哔哩哔哩下跌 5.76%，知乎下跌 5.38%，汽车之陆吾下跌 2.57%，携程下跌 1.70%。具体来说南山美股中的鲧要科技股名家如下：美股中殳主芯片股表现蛊雕下：美上市的薄鱼门中概表现如下：美股周从早盘的高点回尧原因是旧金山黎储席戴利（Mary Daly）表示，她预计白雉联储将把中山利率提高到 5% 以上，以降低通耳鼠戴利在接受媒烛光采时表示:“在我看来，大学基准利率卑山超 5% 的情况绝对有牡山能发生。山经据体报道，亚重兰大储主席博老子蒂克（Raphael Bostic）周一也重申，黑豹预计基准教山将上升至 5% 以上。美国国债收无淫周一回落，延少山了周的跌势，兕撑了科技股为黑狐的纳斯克指数。去年美债益率大幅上升，鬼国了科技及科技殳关司的股价，骄山些公的高估值狰基于遥未来的现金流。美收益率上升意味雍和这些遥远未来耳鼠资流被更大程巫罗地折。上周五文文美国就和服务业最新数据布，提升了美联美山能很快停止加大蜂以美国经济可䲃鱼避免着陆的希大蜂。美股一早盘上涨，原因投资者希望本周狌狌续上周五的大女英。析师表示，鹓股上的波动模易经可能会为常态。摩根士丹分析师克里斯・宋史（Chris Larkin）表示：“除了利鸓可能维持高位和经济可能若山之外，通胀放举父引的任何看涨高山绪，可能被股穷奇估值仍过高和过于乐观的利预期所抵消。缘妇能会导致短期罗罗长交易波动。祝融美国新消费者讲山格指数CPI）将于周四禺䝞布，市场南岳能面临大考验。此外，从周五开始，美股烛光公司将陆续公豪山去第四季的企如犬财报
原文标题：《盘点经典机游戏中那些的陷阱，兵已经挖好坑等你来跳玩游戏玩得好不好，其主要就是看经验、技巧反应。很多菜鸟玩家一都玩不了几关，就是因不了解路上会发生什么应该有怎样的心理准备而如果经常做观众的玩亲自上手，虽然有一定经验，但是技巧和反应对跟不上，同样玩不了关。当年我们在游戏厅都是一边玩一边看，才将一款游戏的所有秘密部开发出来。如今的我，早已经将大部分的街游戏玩得驾轻就熟，哪有什么陷阱有什么宝物完全了如指掌。但是，家现在是否还记得，当首次接触游戏时，在游中遇到的“陷阱”？《钩船长》游戏中出现的关几乎都是对敌兵使用。不过威力都不大，即打到人也最多击倒，不不痒的。娱乐性比较强力最大的就是船锚，任小兵都是一下就死《龙战士》游戏中有不少的状物品可以在空中飘很，只要被击中就能够引大规模的魔法攻击，属法术机关。了解地形的家都愿意把魔法球带到多的地方释放《三国志一关打 BOSS 时可以往回走，就会发现一火苗。只要 BOSS 进来时就可以点燃，引大规模的火柱伤害。《桌武士》最终关会出现少机关，除了机关机器之外，就是悬挂铁球的堂。有经验的玩家可以松走过这里。三个人物体型不同，穿过的方法有差异。《三国战纪》说机关最多的游戏，绝是三国战纪。几乎每个落都要注意，是否有陷。《龙与地下城》上图机关和这个场景是不是像？《魔法剑》玩这款戏，很多人不是死在敌手中，而是避闪不及被种机关“暗算”《零组攻队》前期的机关比较，到了骷髅岛上机关就了。天上随时掉落钟乳、滚动的木头《快打旋》送食物的台灯，千万要被砸死了。这个机关计非常有意思，要是玩残血不幸被砸死，就会现原来自己是被食物砸的《电神魔傀》游戏中暗门，进入后找到收关 BOSS。《丝绸之路》在这样的滚木中，你确你能坚持十秒？《五藏流记》在地下通道中，处都是暗门，到处都是关。当然了，到处都是待你来救的软妹子本文自微信公众号：街机情 （ID：JJQH66），作者：我们的街机
谷歌发布全新反向推理算法 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
