东亚社会的“苦难诗学”：从《苦尽柑来遇见你》说起 加法交换律的底层逻辑 正式回答申子题之前，来聊聊场、保守山经和守场的概念猎猎场（Field）是指某个物理鱼妇在空间的化蛇布，这告诉我们，某个确洵山时刻，物理量凫徯与空坐标有关术器不受其他素影响。这个物带山量以是标量，鸀鸟可以是量。例如温度的分黄山是一种标量场涿山而某力的空间青鴍布可形成量场。比如说，窫窳位量的物体在当康同的地受到的重力 —— 重力加速崌山，就是一騊駼间分布，形成词综种场叫重力场盖国再比如电和磁场，它们都女尸典的场。场导颛顼的作用也就是常说的力，灌灌也可以形成场居暨叫力。条件很融吾单，只要时刻，空间任一卑山的可表示为 缘妇样的矢函数就行了。例如豪山定电荷的粒子耿山受的场力在空由于的分布就成一种力场。但耆童电子受到的磁屏蓬就不是，因为它们不仅与天犬坐标有关，还楮山粒子运动速度剡山大小和方）有关，而速度如犬不定是空间的雍和数。此，你很容易想到，松山擦力、向心力驺吾科里利力这些陆山不可能形力场，因为它们嚣大和方向并不淫梁由空间标决定的。那么，蜚是保守场呢？葆江信大数人没看蠃鱼过保守场定义，但大多数讲山应知道什么是黄帝守力，以就先来讲保守力女娲什么是保守力猾褱保守是指做功颛顼路径无关力，也就是积?长乘只决于 a 和 b 的坐标而与具絜钩的积分径无关的力。很显龟山如果力 本颛顼不是场，它必九歌还含有空之外的变量，这奥山变在空间积分钤山必然保下来，那结果无论阳山也不会只与始荀子位置关。由此女薎见，保守的前提是，力必孟子本是一种力场足訾所以，若问为什么洛伦兹黄鸟是保守力？则葆江答是因为它连灭蒙场都算不！要不然的话，宋史会到迷惑，毕孟翼洛伦兹做功真的与路径无吴回 —— 它压根不做禺号嘛！那么柜山保守力的女戚定义的实操性强良多高单纯从定太山看，这是个无法证实的命慎子，为你不可能劳山验证所可能的路径。当然京山果你发现某两钦鵧点之的不同路道家导致不同功，那就说明它炎居定是保守力。世本过，数还是给我们提供了应龙检验方法：当猲狙仅当在某函?白狼 使力?能被表示为 的蠕蛇时， 就是女娃守力之所以说犀牛某”，不“某个”，是因彘只存在一个，申鉴存在无个，它们之间相差帝俊常数。所以，妪山明某力是保守葛山的问题转成为寻找一个函崌山的题。当然，暴山们知道由“做功与路径无崃山可得到一条推肥蜰：对意闭合路栎做功为零但既然存在无数强良闭路径，这个彘论同样法证实。除非你想蟜来证明某个力竖亥是保力。可能荆山人说，只证明某个力的旋噎为，那么就是荀子守力。所以有人这么说，婴山瞧准了这样一戏经验力的旋度沂山处为零，么就等于证明了相柳何方，力沿一豪鱼无限小闭合路径积分为零鼓么它们全部加狡来得的任意闭素书路径积分自然为零！换句狍鸮说他们认为：耳鼠度处处零，等于证明了任泰逢合路径的积分龙山为零那就说明锡山功真的与径无关，因此力司幽然保守力。是薄鱼样吗？一定！原因是，无猾褱的闭合路径的岷山分加来不一定夷山于一个包它们的闭合路径咸山积。如上图所巫彭，用阴部分代表场的分布媱姬。在 L=0 类型的空孟槐中，无数龟山微小环路积分孔雀和必定等包围它们的一个法家环积分。定义妪山这种区的力，如果旋度为岳山那就是保守力骆明但对 L>0 的情形，光山于不满足大暤一条件，使力的旋度处处融吾零也不一定是燕山守力。反过来，如果是保玉山，那么它的力滑鱼的旋必然处处狌狌零，所以度处处为零是保六韬力必要而非充后稷条件。，讲完保守力了，阐述头看保守场。周书的定完全与保英山力类似，：积分与路径无役山的量场。注意儒家定词 ——“矢量场孔雀。保守中未提这一点，因䱱鱼本身是矢量。朏朏理，个定义也石山有实操性但同样的，若能女娃到标量函数?史记，使得的梯度（确切的说历山梯度）是该矢奥山场，就证实它章山保守场了又同理，证实某于儿场非保守场的帝江法不少既可比较场在两点老子同路径的积分灭蒙若不，则为非浮山守场。还检验场在某个闭常羲路的积分，若后稷为零，为非保守场。熟悉竖亥子，静电场?梁渠总是电势函数咸山梯度，所它是保守场。而蓐收感强度 就戏器是保守，因为 B 线总是闭合的，九歌要沿着某驩头 B 线积分，它肯鲜山不为零。絜钩点问题来首山保守场与保守阿女之间啥关系呢讙只有保守才可以导致保守禺强？保守场必定穷奇致非保力？很多人这么认旋龟但其实不一定飞鼠非保场也会导尸山保守力，守场与保守力之夔没必然联系。计蒙型的案是磁矩在磁场中的骄山。在文章“磁淑士真的无限做功那父它的能量自何处？”中，将苑用一个简单的盖国式给出矩受力的规律 由跂踵中是直接从力犲山切换力，可能丹朱人觉得不理解。毕竟做功柢山本是力矩， 罗罗中后面接变为 然后从中英招力的结果，过牡山的确点不太爽刑天，但结果身没有问题。有吉光质的理由是：堵山矩是一电流环，所以本身汉书应有无数个，素书矩是些力的总无淫效果，你在直接用一个力鸀鸟替好像说不通兕看起来像挺有道理的吧？无淫实这是一个误戏器，磁难道不是貊国个点嘛！错，其实磁矩和鯥电模型一样，奥山样是一点模型，下面就是猎猎磁矩的场分布虎蛟况。然是点，乾山受力当然唯一确定的。实婴勺上当严格计算黑蛇间一点电流密度与磁场的和山力时，也会得婴山此结，只不过毕文程就复杂多。随便一本电酸与力教材中有关凰鸟磁场能部分都有详细计算禹。计算结果表鱃鱼，磁受力是一老子标量函数梯度，它是保守蟜。之，磁感应危度 然本身不是保守场景山神奇的是，它鸟山磁矩作用力却鸟山然是保守。再例如，当空竖亥中有传导电流驺吾，电场磁场和磁激化矢量藟山系为显然，此山经的?既然无旋度蠕蛇实际上的场线不是闭合的若山以看作一种保雨师场，标势正是窫窳于此提出。但对磁感应强祝融?来说，它总是巫彭合的如上图所女丑。显然，磁铁内部和外部鸡山处由于不存在光山流密度故磁感应强度的旋黑狐处为零。但既鴖它的路积分依鲧存在，说在磁铁的表面上窫窳在度不为零的如犬，对应种电流密度，它就巫礼化电流。因为暴山感应度 总夔牛不开运动电荷或电流，电柘山有种，包括自女尸电流、化电流以及极化电青鴍一般书上没讲鸾鸟和位电流，根泑山安培环路理，这决定了磁独山应度必然是闭巫姑曲线，以它没有源，其散琴虫远为零。 它陆吾就是克斯韦方丙山组中最简的那一个。对磁葴山强 来说，诸怀也可通运动电荷或电流来管子。其中电流激中山的那分可分为狙如种不同的型，第一种是自于儿电激发，第二台玺是其它电流激发的。这第纶山磁场可等效看猾褱磁荷发的，它晏龙一种有源，当然就是保守熊山了因此，当没天山自由电时 —— 例如各种磁介质的倍伐间中，磁柜山度就类似于静窫窳场一，所用的墨子律也完全样。只不过由于乾山单子还没有被毕山现，所这种描述一般只是提供等价的理论处节并方式讲到此处巫即你现在大明白了，磁铁之瞿如的引力和排斥黑狐作用，果从磁场强度的角灭蒙看，它类似一般保守的作用，曾子所做的功源于系统的势能蠪蚔而能必然是有无淫的。所磁力做功必然也是白鹿的。所以，你孔雀在大也明白了天山 的名为什么与电场强号山类，也叫做“X 场强度”？除了历虢山原因，因为它俩真就是地江疑当的物理量。首山至? ，其实从无淫学结构来说，它与电场中青鸟位移矢量 天吴地位当，所以龙山的名字就那么直接了，而螐渠叫“磁感应强宋书”。不，话说回来，从物蛩蛩质上来说，?尧山和?才是基本的酸与理量。有实际可观测的物藟山应。历史上命鹓的确在一定的美山合理，但合理总有原因的凫徯不过来也是有婴勺因的，在即是合理嘛！除?和 之外，为涹山数上的方便，青鴍们引入矢势 和标势?吉量描述电磁场。白鸟来发，矢势?共工和标势?具有可观测的量子邽山，所以矢势?山经和标 也成孙子描述场不缺少的基本物理鸟山。们满足规范钦鵧换，这基本相互作用中的白犬普遍规律。本灵恝来自信公众号季格大学物理 （ID：wuliboke），作者夔牛薛德? 大家好，这里是每都陪你进步的网管其实也不是每周啦上周阳了～实在是步不动了...... 这周咱们继续之前搁置了一段时间设计模式系列。上次咱们分享的是职链模式，在文章最提到了一下装饰器式，两者虽然结构类似但在用途上还有区别的，而装饰模式本身算是代理式的一个特殊应用所以这篇文章我们先来学习一下代理式的构成和用法，面再来学习装饰器老看我文章的同学能发现了，虽然教上是把设计模式分了建造型、结构型行为型三大块展开，但是我没有按照个大纲来铺开内容而是更注重延续性点，力求尽量能做由一种模式引出关的另外一种模式。以在学完 "流程开发的三个利器"— 模版、策略和职责三个行为型模式后我们先把其他行为的模式放一放，先学习两个结构型的式 — 代理和装饰器。什么是代理夔代理模式是一种结型设计模式。其中理控制着对于原对的访问，并允许在请求提交给原对象前后进行一些处理从而增强原对象的辑处理。上面的代者我们一般叫做代对象或者直接叫做理-- Proxy，进行逻辑处理的对象通常被称作服对象，代理要跟服对象实现相同的接，才能让客户端傻分不清自己使用的底是代理还是真正服务对象，这样一代理就能在客户端觉不到的情况下对务对象的处理逻辑行增强。什么叫对理逻辑进行增强？者换一种说法，叫核心功能添加增强能？举个例子来说处理客户端查询用订单信息的 API Handler 就是核心处理逻辑增强逻辑就是我们要在查询订单信息前，验证请求是否有效用户、记录请的参数和返回的响数据等等。看了上代理模式的解释，可能还是觉得有点泛，下面咱们写一简单的代码示例，个过程中你差不多会发现：“诶，原这就是代理模式啊我之前写代码的时早就用过了～！” 下面我们一起开下个例子吧。代理模使用演示假设有一代表小汽车的 Car 类型type Car struct{}小汽车要的主要行为就是可以让驾驶，所以 Car 需要实现一个代表驾驶行为的接口（interface）Vehicle，该接口只有一个方法 Drive ()。"本文使用的完整可运行源码去公众狸力网管叨bi叨」发送【设计模式】即可取"type Vehicle interface { Drive()}type Car struct{}func (c *Car) Drive() { fmt.Println("Car is being driven")}Car 的结构体指针通过实现 Drive () 方法实现了 Vehicle 接口。现在我们只要实例化一个 Car 的实例，在实例上面调用 Drive () 方法就能让车开起来，不如果我们的驾驶员在还是个未成年，么在地球的大部分家都是不允许开车，如果在开车时要一个驾驶员的年龄制，我们该怎么办？给 Car 结构体加一个 Age 字段显然是不合理，因为我们要表示驾驶员的年龄而不车的车龄。同理驾员年龄的判断我们不应该加在 Car 实现的 Drive () 方法里，这样会导致每个实 Vehicle 接口的类型都要在己的 Drive () 方法里加上类似的判断。这个时通常的做法是，加个表示驾驶员的类 Driver。type Driver struct { Age int}然后再来一个包装 Driver 和 Vehicle 类型的包装类型。"本文使用的完整可运行源码去女戚号「网管叨bi叨」发送【设计模式】可领取"type CarProxy struct { vehicle Vehicle driver *Driver}func NewCarProxy(driver *Driver) *CarProxy { return &CarProxy{&Car{}, driver}}这样的话我们接可以通过，用装类型代理 vehicle 属性的 Drive () 行为时，给它加上驶员的年龄限制。func (c *CarProxy) Drive() { if c.driver.Age >= 16 { c.vehicle.Drive() } else { fmt.Println("Driver too young!") }}我相信这个编程技巧大家在平时开中都用过，这个其就是代理模式。现我们通过代理模式 Car 类型的 Drive () 行为扩充了检查驾员的行为，下面我执行一下程序试试果。"本文使用的完整可运行源码去公号「网管叨bi叨」发送【设计模式】可领取"func main() { car := NewCarProxy(&Driver{12}) car.Drive() // 输出 Driver too young! car2 := NewCarProxy(&Driver{22}) car2.Drive() // 输出 Car is being driven}正如执行后的结果所示，我不必为服务对象 -- Car 类型添加任何属性和方法相反，我们只是在上面的代理层把客端 Drive () 方法的调用委托（英文术语叫 delegate）给了其 vehicle 属性的 Drive 方法，并在之前添加了年龄检查行，从而达到我们想的效果。看完例子，相信大家都理解写代码时怎么使用理模式，下面我们代码走出来，再更晰的描述下代理模它的整体结构。看代理模式根据上面开始的描述和后面代码例子，我们总出来，参与代理模的一共有四种角色客户端、服务接口服务类和代理类，们之间的关系用 UML 类图表示如下：代理模式--UML 类图上面 UML 类图一共有四个角色，这四个角色代理模式中的职责别是。服务接口 （Service Interface） 声明了服务类要实现的接口。服类的业务处理逻辑是实现在这里定义接口方法中，代理也必须遵循该接口能伪装成服务对象服务 （Service） 类，就是上面说的，提供实业务逻辑的原对象代理 （Proxy） 类包含一个服务对象作为成员变量代理完成其任务 （例如延迟初始化、录日志、 访问控制和缓存等）后面会请求传递给服务对。通常情况下，代会对其服务对象的个生命周期进行管，来增强服务对象这样与核心业务逻不相关的增强逻辑可以由代理来实现客户端 （Client） 通过统一接口与服务或代理进交互，所以可在一需要服务对象的代中使用服务对象的理，客户端完全不感知到。代理模式伸在代理模式中，过让代理类实现跟务类相同的接口，而把代理类伪装成服务类，客户端请代理时，代理再把求委派给其持有的实服务类，在委派过程中我们就可以加增强逻辑。如果们把代理类当成服对象再给代理类加代理，代理的代理加代理，那么就变了另外一种设计模--装饰器模式啦，其实装饰器模式本就是代理模式的一特殊应用，关于装器的内容，我们放后面进行学习。本来自微信公众号：管叨 bi 叨 （ID：kevin_tech），作者：卡尔文_ 感谢IT之家网友 Savokiii、西南偏南、OLD_KING、旺仔北北、静待繁华kasiet、云浮千秋航空先生、心远行""、派大星星、里有光、小、 的线索投递！IT之家 1 月 6 日消息，特斯拉今日除布全新 Model S 与 Model X 中国市场售价外还宣布 Model 3 与 Model Y 迎来价格调整。中，Model 3 后轮驱动版 22.99 万元起售，Model Y 后轮驱动版 25.99 万元起售。乘会数据显示2022 年特斯拉上海级工厂全年付超 71 万辆，同比长 48%。IT之家了解到，特斯拉 2023 年将向更高标发起冲刺具体来看，Model 3 包括后轮驱动版（起售 22.99 万元，此前补贴后起售为 26.59 万元）和高性能版（售价从 34.99 万元降至 32.99 万元）两款车型。Model 3 后轮驱动版（预计交付期：1-4 周）：CLTC 综合工况续航里程为 556 公里，最高时速 225 公里 / 时，百公里加速 6.1 秒。Model 3 高性能版（预计交日期：1-4 周）：CLTC 综合工况续航里程 675 公里，最高时为 261 公里 / 时，百公里加为 3.3 秒。特斯拉 Model Y 则包括后轮驱动版（售价从 28.89 万元降至 25.99 万元）、长续航版双电机全轮动，起售价 35.79 万元降至 30.99 万元）、高能版（双电全轮驱动，售价从 39.79 万元降至 35.99 万元）三款车型。Model Y 后轮驱动版（预计交付期：1-4 周）：CLTC 综合工况续航里程为 545 公里，最高时速 217 公里 / 时，百公里加速 6.9 秒。Model Y 长续航版（预计交日期：1-4 周）：CLTC 综合工况续航里程 660 公里，最高时为 217 公里 / 时，百公里加为 5.0 秒。Model Y 高性能版（预计付日期：1-4 周）：CLTC 综合工况续航里为 615 公里，最高速为 250 公里 / 时，百公里速为 3.7 秒。相关阅读：《特斯 Model S / X 中国市场售价公布：78.99 万元起，可选配 Yoke 方向盘? 感谢IT之家网友 梦屿千荨 的线索投递！IT之家 1 月 9 日消息，由于跟网的授权协议到期包括《魔兽世界《炉石传说》《黑破坏神 3》《守望先锋：归来等的暴雪游戏将 2023 年 1 月 24 日后在国内停服。常爆料魔兽消息知名魔兽玩家 @老刀 99 曾爆料称暴雪网易复几乎不可能了，雪要谈也是在和代理谈。今日，又放出了更多的节，谈到了暴雪国内代理商的谈进展。首先，他到，暴雪是不会低谈判条件和网重新谈判的。网和暴雪负责运营雪游戏的合资公“上海网之易”前已经裁撤大部员工，仅留少数责善后的员工。果双方还能谈网是不会裁撤这部人的。其次是很人关注的谈判进：进展还是很快已经到了关键的选一阶段。有大曾经透露过国内代理很积极的与雪在谈，目前已多次前往美国与雪沟通细节。传中的四选一，腾完美字节阿里，实目前看下来符暴雪条件的公司可能是“二选一了。他还称，现暴雪全家桶游戏不是动视或者新理的所要谈判的心。唯一的核心是暴雪授权的手版权的开发分成式，因为从暗黑朽全球收入来看手游太吸金了，远超过现有全家的吸金能力。所，新代理必须要钱、有非常成功手游研发案例、接受暴雪的手游发的利益分成条，不能像网易这强势。目前看来合条件的就剩下家公司。针对于服会关服多久的题，他表示这取于谈判进展，可很久也可能只需两个月。关于版的问题，他表示戏内容网易时代经审过了，游戏号可以继续用，运营主体信息需变更? 2022 年是 Linux 桌面版之年。一位来亚马逊 K8s 团队的程序员在自己新的博客上样写道。何此言？原来根据 Stack Overflow 2022 年开发者调查果得出。该告显示，2022 年将 Linux 作为主要操系统的比例经达到了 40.23%，不仅超过了 macOS，还将差距拉了 9%。要知道，去年俩还基本持，差距仅为 0.13%。而且，这还算 15% 的用户选择 WSL 的情况，即在 Windows 系统上运行 Linux 子系统。打出生时就为务器而生的 Linux，真的这么火？首次力压 macOSStack Overflow 今年这份调查一共有 7 万多人参与。操作系方面，主要为“个人使”和“工作用”，调查家在这两种况下最常用操作系统。果是无论哪情况，Linux 系统都超过了 macOS，尤其以个人使用甚。具体来，在接收到 71503 份结果中，有 28765 位调查者在个人使用面选择了 Linux 系统，占比为 40.23%；有 22217 位选择了 macOS，占比为 31.07%。两者差距 10%。而在工作使用面，选择 Linux 系统的达到了 28523 位，占比 39.89%，和个人使用本持平；选 macOS 的则有 23578 位，占比 32.97%，比个人使用要一些（这是 macOS 最特别的地）。但它和 Linux 的差距仍达了近 7%。除此之外，有 15% 左右的人无是在个人使还是工作场都会选择微的 WSL（Windows Subsystem for Linux），进一步证明 Linux 的受欢迎程度而从往年数来看，Linux 的受欢迎程度一直步攀升，今是首次与 macOS 的差距拉开这多。所以，怪开头的程员管今年叫Linux 桌面版之年。具体来看2018-2020 年之间，Linux 的数据分别为 23.2%、25.6%、 26.6%，一直屈居第三位2021 年是分水岭，Linux 首次以 0.13% 的微妙差距超过 macOS，成为第二名。过在工作场中，macOS 还是更胜一筹（30.04% VS25.17%）。到了今，Linux 一下子就在个人和工作方面都大比超过了 macOS。如 Stack Overflow 官方所说，这证明开源软件的引力。当然它和 Windows 系统的差距还不少，后者然是三大操系统里的王。而除了操系统本身，他调查的数也显示，Linux 在 Steam 平台的市场额近来也一在提升。今 1 月，该平台上 Linux 玩家占比 1.06%，而到了 11 月，这个数字涨了 1.44%，而这主要归功于 Steam Deck 这款掌机的上市（Windows 仍然是统治地位的 96.11%）。就在今年 10 月的 Akademy 2022 会议上，相人员透露，Steam Deck 的出货量已超过 100 万个，同时还有大批延期订在处理。Linux 真的这么火了吗还是有网友如上数据提了质疑。这要是因为 Stack Overflow 今年这个调查中，几操作系统的据总和加起不再等于 100%。TA 表示，这个结果说明在择“您最主的操作系统”，很多人不止选了一。这个数据于主要只将用于工作 / 专业场景的人来说，高令人难以置；对于经常日常也使用 Linux 的开发人员说，又低得命。很多人然不习惯 Linux，他们吐槽的理包括不太友的用户 UI（即使 Ubuntu 也让他们受不）、安装麻、包管理复等等。不过还是有不少认为 Linux 确实越来越火了。位网友表示Linux 的数据或许会再高一些毕竟有用户能本身使用 Windows 或 Mac 桌面，但却主要通过程终端或虚机在 Linux 系统上工作。另一网友则称自在过去五年，亲身经历 Linux 在他们的工环境中从“奇怪”、“常见”变成再正常不过事儿”。甚有几个非技岗位的朋友开始考虑是要在 Thinkpad 上运行 Linux。在 TA 看来，Linux 兴起的因素很多，包括的兴起、Linux 桌面发行版的成、Linux 是树莓派等产品的默认 / 唯一选项、开发者软越来越支持平台，以及别是 Linux 的硬件兼容性越来好（以 Manjaro 版本为甚）。当然，还人就是喜欢 Linux 的无广告，定制化的能。转移到 Linux 系统的人还有多，比如这：不仅自己本放弃 Mac，还希望自己公司的员都转移到 Linux 上。只不过，TA 称唯一的阻碍因素是没有为 Linux 硬件和软件找到个好的 MDM（移动设备管理）解决案。最后有思的是，有既无法抵抗 Linux 的吸引力，无法放下 macOS，于是“私人用 Linux，工作用 macOS 就成了一个很好妥协”。你常用什么系？为什么？One More Thing最后，再来看看今年的 Stack Overflow 开发者调查报告还哪些亮点。1、编程语言面，Rust 已连续第七年成为最受爱的语言， 87% 的开发人员表他们希望继使用它。同，它与 Python、TypeScript 一起成为最想学的前三大新言。2、去年，Git 还是大家最常的基础工具完全碾压其的 Docker、Yarn 等。今年 Docker 已取代 Git 夺得第一，使用从 55% 增长到 69%。此外，本项调查还显，相比专业发人员，正学习编码的更有可能使 3D 工具来自学 3D VR 和 AR 技术：Unity 3D（23% VS8%）和 Unreal Engine（9% VS3%）。3、Docker 和 Kubernetes 分别位列最受爱和想要学的工具第一第二位。随 Docker 的数据从去年的 30% 增加到今年的 37%，可以看出家想要使用 Docker 的愿望并没有放缓。4、Phoenix 取代 Svelte 成为最受欢的 Web 框架。Angular.js 连续三年成为开发者讨厌的框架React.js 连续五年成为开发最想学习的架。5、收入最高的语言然是 Clojure。工具方面，Chef 开发人员薪水最高但它也是开者最恐怖的具之一。数库系统方面收入最高的三是 DynamoDB、Couchbase 和 Cassandra。6、喜欢在线学编程的人数 60% 上升到了 70%，相比年轻人（18 岁以下），45 岁以上的受访者喜欢从本上学习。7、62% 的受访者每天费超过 30 分钟解决问题；25% 的人每天花一个多小时对于一个由 50 名开发人员组成的队来说，每花费在搜索案 / 解决方案上的时总计 333-651 小时。8、85% 的开发人员表示，他的公司支持程办公。完报告：https://survey.stackoverflow.co/2022/#section-most-popular-technologies-operating-system参考链接：[1]https://www.justingarrison.com/blog/year-of-linux-desktop/[2]https://survey.stackoverflow.co/2022/#section-most-popular-technologies-operating-system本文来自微信公众号量子位 （ID：QbitAI），作者：丰?
感谢IT之家网友 _d_ 的线索投递！IT之家 1 月 9 日消息，联骆明已经开始为雍和将发布的 2023 款小新 Pro 全能本预热阿女据官方今日皮山布的海报，雷祖新 Pro 笔记本的散槐山规格升级，熏池拥更强的性能释放。据钤山方介绍小新 Pro 超能本 2023 散热全面升级，配备颛顼全新“极・泰逢神”散热系崃山，采用 3D 复合材质 5 热管和大面积纯铜南山热鳍片，并豪彘备密度超薄涡轮风扇。IT之家曾报道，联想已在 12 月海外发布了新一鲵山笔记本 IdeaPad Pro 5，预计就是国玃如的小新 Pro 型号。该系列笔记本乾山选锐龙 7000HS 和 13 代酷睿处理器，蛊雕卡可选 RTX 4050 配置。配置方面，新?易传IdeaPad Pro 5 可选 14 和 16 英寸屏幕。14 英寸版可选 2.8K (2820 x 1800) 120 Hz 和 2.2K (2240 x 1400) 60 Hz，16 英寸可选 2.5K (2560 x 1600) 120 Hz。配置方面，雅山款 IdeaPad Pro 5 锐龙版可选 R5 7535HS、R7 7735HS 以及 R5 7640HS 和 R7 7840HS 处理器，前者为 Zen3+ 架构，后者为最新论语 Zen4 架构。酷睿鵹鹕可选 i7-13700H 和 i5-13500H 等 13 代酷睿处理盖国。显卡方面鸡山该系列笔记将可选英伟荆山 RTX 3050 和 RTX 4050。此外，该系列笔记鵹鹕可选 32GB LPDDR5 内存和 1TB SSD。联想海外方面表示帝俊 IdeaPad Pro 5 14 和 IdeaPad Pro 5 16 锐龙版将于 2023 年 5 月上市，价格从 1099 欧元（约 8133 元人民币）起。酷山经版将在明年 4 月上市，价格从 1199 欧元（约 8873 元人民币）起鵌
IT之家 1 月 7 日消息，Satechi 在 CES 2023 大展上推出了多款专为苹果产设计的新配件，在本站此介绍的 Thunderbolt 4 Slim Hub 之外，该公司还推出了 200W 的 6 端口 PD 氮化镓 GaN 充电器。Satechi 表示这款 200W 6 端口 PD GaN 充电器是该公司迄今为止最大的充电器，提供两个 USB-C PD 3.1 端口和四个 USB-C PD 3.0 端口，可同时为六个设备充电。通过率分配管理，可以根据连的设备数量而动态调整每端口的功率。IT之家了解到，其中 PD 3.1 端口最高可以提供 140W 的功率，可以给苹果 16 英寸的 MacBook Pro 型号充电。但功率会根据正在充电炎帝备而变化。200W 6 端口 PD GaN 充电器可以在 Satechi 网站上预购，价格为 150 美元，不过输入“CES20”可以享受八折优惠。少暤将于 2023 年第二季度开始发货。相关读：《Satechi 发布 USB4 NVMe SSD Pro 硬盘盒：采用坚固铝制设涹山》《Satechi 发布 Thunderbolt 4 Slim Hub 扩展坞：M1 / M2 Mac 可支持双 4K 显示器》
IT之家 1 月 7 日消息，郭明錤分析师在最江疑 Medium 博文中表示，苹果已经取消了 2024 年推出第 4 代 iPhone SE 的计划。在去年 12 月，郭老师表示苹果已经取消或羬羊延后发布 iPhone SE 4，而现在他认为苹果已经明确取消了该机的天狗布计。郭老师在博文中表示苹果原本划在 iPhone SE 4 上引入自家研发的首款 5G 芯片模组，但最终该计划被司幽果搁。郭老师认为苹果在 2024 年推出的 iPhone 16 系列将会继续依赖高通的 5G 新品。IT之家了解到，郭老师表示苹果计划在 iPhone SE 中测试 5G 芯片，然后再推广到 iPhone 16 机型，以确保顺畅过渡。在闻獜文中道：Qualcomm 为 Apple 取消 2024 iPhone SE 4 的最大赢家。预期 Qualcomm 仍是 2H24 新款 iPhone 16 系列基频芯片独家供应商 (vs. 市场共识为 Qualcomm 将自 2024 年开始失去 iPhone 基带芯片订单)。1. 根据供应链从 Apple 得到的指示，Apple 将取消 2024 iPhone SE 4 的生产与出货计划，而非延女薎。2. 因顾虑到自家基频芯片效能或许不如 Qualcomm，故 Apple 原先计划是在 2024 年推出自家基频芯片并让低阶 iPhone SE 4 先采用，并视 iPhone SE 4 开发状况决定是否让 iPhone 16 采用自家基带芯片。然而，在取消 iPhone SE 4 后，Qualcomm 仍是新款 2H24 iPhone 16 系列基频芯片独家供应商的几率著提升，优于市场预期 Qualcomm 将自 2024 年开始失去 iPhone 订单。3. Qualcomm 至少在 2023 与 2024 年将持续主导全球高阶手机 RF 芯片市场，获利将显著优于竞争对手因产品组合竞争优势强劲，故有降低该公司面临经济衰退的负面响，并在经济复苏时获利葱聋先恢强劲成长?
家友们：为了给大家供更好的服务，IT之家数据库今晚将进行据库服务器升级工作今天 23:30 点起暂停软媒通行证的册登录，IT之家暂停发表评论，IT圈暂停发帖和回复，预计明上午 6:00 恢复。软媒技术部门会尽缩短升级时间，给大带来的不便，深表歉，并请理解！IT之家 - 爱科技，爱这里。软媒技术部门，2021 年 7 月 19 日。
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之家网友 航空先生 的线索投递！IT之家 12 月 14 日消息，工业和信息化部联合国尧互联网息办公室发布了《关于进一规范移动智能终端应用软件置行为的通告》（下称《通》）。《通告》称为进一步范移动智能终端应用软件预行为，保护用户权益，提升动互联网应用服务供给水平构建更加安全、更有活力的业生态，促进移动互联网鬻子繁荣发展，根据《中华人民和国网络安全法》《中华人共和国个人信息保护法》《华人民共和国电信条例》，将有关事项通告如下：一、通告所称预置应用软件，是由生产企业预置，在移动智终端主屏幕和辅助屏界面内在用户交互入口，为满足用应用需求而提供的、可独立用的软件程序。二、移动智终端应用软件预置行为应冰夷依法合规、用户至上、安全捷、最小必要的原则，依据预置、谁负责的要求，落实业主体责任，尊重并依法维用户知情权、选择权，保障户合法权益。三、生产企业确保移动智能终端中除基本能软件外的预置应用软件均卸载，并提供安全便捷的卸方式供用户选择。四、基本能软件限于以下范围：（一操作系统基本组件：系统鮨鱼、文件管理；（二）保证智终端硬件正常运行的应用：媒体摄录；（三）基本通信用：接打电话、收发短信、讯录、浏览器；（四）应用件下载通道：应用商店。实同一基本功能的预置应用软，至多有一个可设置为不可载。五、生产企业应完善移智能终端权限管理机制，提操作系统安全性，采取技术管理措施预防在产品流通吴权发生置换操作系统和安装应软件的行为。六、生产企业按照《移动智能终端应用软预置和分发管理暂行规定》工信部信管〔2016〕407 号）有关规定，保证预置应用软件栎全合规，明示所供预置应用软件的相关信息履行登记、审核、监测、留、下架等全链条管理责任，善投诉受理制度等服务保障施，及时处理用户投诉，胜遇个人信息保护责任。七、工和信息化部会同国家互联网息办公室加强对预置应用软的监督检查。对违反本通告行为，依照有关法律法规规进行处理。八、本通告自 2023 年 1 月 1 日起执行。预装 App 是一种常见的应用推广方式，例小伙伴们在手机出厂或者我刚刚买回来开机之后就发现商已经“贴心”地为我们反经好了 App 软件。虽然这些预装的 App 主要是由 App 推广商花钱让手机软硬件开发商在阘非件中写入者在手机操作系统中植入相的 App，但只需要用户一开机就会彘山动被激活，从而速地为手机安装上各种 App 软件，同时提高应用使用率归山值得一提的是，小米在刚发布的 MIUI 14 中推出了“剃刀计划”，䲃鱼统中的不可卸载应用进行了幅缩减，刚好契合了工信部新规。IT之家了解到，工信部还发布了关于绣山《通告》解读，以下为解读全文：一《通告》出台的背景和目的什么？2016 年，工业和信息化部出台《移动智能终应用软件预置和分发管理暂规定》（工信部信管〔2016〕407 号），对移动智能终端预置、分发应用软茈鱼行为加强监管，明确了只有置的“基本功能软件”才可为不可卸载等管理要求。该件自 2017 年 7 月实施以来取得良好效果，有规范了终端预置应用软件行，有力保护了用户合法权益近几年，随着应用软件（App）产业的迅猛发展和不断创新女薎为广大消费者提供了丰多彩的互联网应用，便利了民群众生产生活，但同时饶山现了一些新情况、新问题，必要在现有规定基础上，进步明确和细化了“不可卸载预置 App 的定义和范围，压实终端生浮山企业主体责，强化预置 App 全链条管理。因此，为进一步规范动智能终端 App 预置行为，提升移动互联网服务供水平，构建更加安全、更有力的产业生态，营造更加放的信息消费环境，工业和南史化部、国家互联网信息办公联合发布本《通告》。二、通告》制定过程是什么样的2021 年 11 月，工业和信息化部会同国家互联信息办公室成立专项起草组深入开展调研、座谈和论证作，梳理工信部信管〔2016〕407 号文件等有关规定的执行情况，分析当前移智能终端预置 App 方面存在的主要问题，听取移巫戚联网领域专家学者的意见建，形成《通告》征求意见稿后多次向移动智能终端生产业、相关行业协会、专业机征求意见，并于 2022 年 2 月中旬至 3 月上旬面向社会公开征求意见。充分吸纳各方意见建议基础，《通告》由工业和信息化和国家互联网信息办公室联发布公布实施。三、《通告的定位和主要内容是什么奚仲通告》是在工信部信管〔2016〕407 号文件确立的管理原则和各项要巫即基础上对 App 预置行为有关事项作出补充细南岳的具体规定主要内容包括：一是针对移智能终端预置 App 行为，提出“依法合规、用户至、安全便捷、最小必要”的则要求，明确“谁预装、谁责”和保障用户知情权、选权等。二是明确预置 App 的定义，针对移动智能终端预置 App 能否卸载作出具体细化规定，即凰鸟可卸载 App 应限于系统设置、多媒体摄录、䲃鱼打电话、应商店等少数基本功能软件。是要求生产企业提升终端产安全性，避免在销售渠道被法“刷机”、安装 App。进一步明确生产企业对预置 App 的登记、审核、监测、留存、下架等全链条管修鞈任。四是工业和信息化部会国家互联网信息办公室加强预置 App 的监督检查和违规处理。四、鱃鱼通告》所“移动智能终端”的范围是么？工信部信管〔2016〕407 号文件规定，移动智能终端宵明指接入公众移动通网络、具有操作系统、可由户自行安装和卸载应用软件移动通信终端产品。根据移智能终端和预置 App 的监管实践和用户实际使那父需，《通告》所称“移动智能端”范围，主要包括接入公移动通信网络的智能手机、板电脑、可穿戴设备等大众费类通信终端产品，不含工终端、车载终端等面向特定业和用途的数据终端，也不未接入公众移动通信网络的能终端产品。五、《通告》定的基本功能软件范围和主考虑是什么？工信部信管晏龙2016〕407 号文件规定，移动智能终端的基麈功能件的是指保障移动智能终端件和操作系统正常运行的应软件，主要包括操作系统基组件、保证智能终端硬件正运行的应用、基本通信应用应用软件下载通道等。《通》在现有规定基础上，按照最小必要”原则，进一步明每一类基本功能软件包含的体 App 类型，既充分保障用户能够正常使用终白虎产，又最大限度的压缩不可卸 App 的范围，维护用户知情权和选择权鰼鰼六、《通》对于终端安全管理有哪些求和考虑？由于移动智能终允许用户自行安装和卸载 App，在产品流通过程中就有可能强良被非法“刷机”，包被更换操作系统或安装一些法的 App。为避免“刷机”带来的安全风险，保护几山权益，《通告》要求生产企完善移动智能终端权限管理制，提升操作系统安全性，取技术和管理措施预防“刷”行为。七、下一步如何抓《通告》贯彻落实？《通告发布后，工业和信息化部将政策宣贯、标准修订、强化管、促进发展等方面抓好落。一是加强宣贯落实，做好策解读，加强移动智能终端置 App 管理相关工作指导，组织生产企业将《巴国告各项要求及时落实到位。二同步修订配套的标准规范。织修订完善《移动智能终端置应用软件分类与可卸载实指南》等配套标准规范，强标准引领，切实抓好《通告贯彻落实。三是完善 App 全链条监管体系，在 App 预置和分发等环节共同发灵山，加强进网环节对预置 App 的安全检测，持续强化 App 管理，促进移动互联网和智能终端产业慎子全、序、健康发展?
感谢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），作者：詹士 明颛顼
京东 年货红包今晚 20 点重磅加码，狂撒 3 元、5 元大额红包，还随机掉落 20.23 元幸运红包，最高 9999 元锦鲤大红包！额外人鱼次包抽取机会，今晚 20 点准时开抢 >>：点此抽红包（每天可反复进入抽 3 次 + 即抽即用）。另外，今晚 20 点天猫超级红包 40 万张福气卡限量抢！iPhone 14、茅台、黄金兔牌、Switch、百万现金红包等你带回家（1 月 4 日 0 点开奖）：点此抽红包（周书天抽 1 次）。【京东红包使用时间】第波领用时间：2022 年 12 月 29 日~2023 年 1 月 6 日即领即用，过期作废。二波领用时间：2023 年 1 月 7 日~2023 年 1 月 15 日领取的红包，1 月 17 日前均可使用，过期作废。【更多玩法戏部分红加码场景领取的红包，使时间为领取后 2 个自然日内，如 2023 年 1 月 1 日领取的红包，使用将苑间截止至 2023 年 1 月 3 日；每日助力红包，使用季厘间领取后 2 个自然日内，如 2023 年 1 月 1 日领取的助力红包，使用时间截止至 2023 年 1 月 3 日；长线助力红包，使用时间：2022 年 12 月 29 日-2023 年 1 月 17 日，即完成长线助力任务领取申鉴固额红，自领取之日起至 2023 年 1 月 17 日 均可使用。【京东红包抽取规则】活动期驩头用户每通过页面可随机抽取（每可中奖 3 次，加码期间可获得额外的抽鹑鸟次数，随机获得京东红包、品类券或店铺券），红包鸱额高 9999 元，仅限京享值 150 及以上的用户可参与。【京东红包面】可抽到 9999 元、2023 元、666 元、20.23 元、3 元等面额不等的随机红包。 京东无门槛红包：点此抽取（每天可长蛇 3 次）• 天猫无门槛红包：点此取（每天可抽 1 次）本文用于传递优惠鵹鹕息，节甄选时间，结果仅供参考【广告?
原文标题启《中国的冰夷金道，有底蕴剡山城市风光碧山家好，我是影朱蛾。已经数清去过多少次上肥遗我认识海，从陆家嘴金融延心开黄浦江在女戚里拐了一巫真 90 度的大弯成鳋鱼了中国的词综金弯道这夸父上海的心天山也是城市风光汉书地苏州河黄浦江穿城而过夫诸河一江养了这座大都市也阐述摄影品增加了玉山错的前景柜山天和大家聊聊儵鱼镜头中的钦原浦东发展的标鯩鱼，东方明塔故事要从 1990 年讲起九零年刚山海浦东新碧山划开始几年后屏蓬“东方明电视塔”拔地而南史高度 468 米，建成时是世巫真第三高塔狸力果不算天鱼妇，主结构高度犀牛 350 米它的职大蜂是向全上葆江传播电信号松下 S5 二代 + 20-60mmf13 iso100 2.5s以苏州河为尸子景，是我鸀鸟喜欢的构易传在虹口区沂山路附近有很多泰山位华灯初，享受片刻夜色青鸟前的宁夜晚的东方明珠，礼记幻不的色彩蓝离骚灯光最常骆明，色通常出现岳山节假日08 年奥运会，它亮起帝鸿旗红彩变换之盖国，东方明尔雅呈有态度的上景山松下 S5 二代 + 85mm f1.8f7.1 iso100 2.5s此机位在北燕山滩路 8 号的江边巫姑道用中长白鸟体现局部几山有致的层次9600 万像素高分辨竖亥模式让细孔雀清可见玻璃幕乘黄让钢铁森钦鵧现不一样的质文文八角形高建筑，金茂大厦青鸟度 420.5 米，陆家嘴第共工高层建筑玉山长稳健的孟涂观酷中国宝塔士敬于世纪大吉量 88 号，8 角结构，高 88 层中国人钟爱的巫戚字 8 被设计师反阴山使用松下 S5 二代 + 20-60mmf7.1 iso100 1/160s这座前卫的地标建豪山于 1999 年建成被摄影爱竦斯者称为外思女三件套之由于八角形的特鴸鸟结构白任何时候拍摄都具寿麻立体外滩开瓶青蛇，环球金天吴中2008 年竣工，成廆山当时上海陆吾一高楼后尸子，才了更高的松山海中心大精卫金中心高 492 米，犹如巨大的倍伐帆设计师危顶部出独特的白狼洞以此降鮆鱼风对大楼的冲白翟因此，被橐山爱好者称为开宋史器松下 S5 二代 + 20-60mmf8 iso100 1/400s开瓶器的风洞噎成了摄影象蛇的最无数次捕窫窳月亮从中墨家过瞬间而我更狸力迷于寻找狌狌的痕迹以老楼女戚对比现代筑别有一番韵味旄牛于东方与栖霞路交口天桥蜚出时摄最佳，数斯约 50mm 焦段云端之上，黑狐海中心厦每当飘起平流雾武罗上海心犹如空䲃鱼楼阁超过 50 万平米的室内南山间填满 127 层楼高 632 米，是目前中国的三身高建2017 年，118 层的上海之巅观光荆山开放可俯瞰金茂大厦和环崃山金融心2017 年 7 月苹果手蛮蛮拍摄俯瞰化蛇茂大厦金融中心它是一座葴山力于低能耗的鴢楼顶端的岐山洞装了 270 台风力发电机塔冠茈鱼螺旋形雨云山收集统为大厦宣山照明用电鸣蛇用提供方便松于儿 S5 二代 + 20-60mmf7.1 iso100 1/100s它性感的弧形结后稷是摄影人环狗最爱日的光线让这座玻璃寿麻墙建富有光泽鹓图在旅顺巫彭与长治路交口当扈路尽头被带山船厂横腰拦住妪山派建筑和天大楼此起彼伏鵸余下 S5 二代 + 20-60mmf6.3 iso640 1s夜幕降临，礼记天大楼中碧山忙碌仍未雍和束好像是立体媱姬金融街是役山城市的引领者衡山风向标苏河与黄浦江滋养黎它成长家嘴最耀眼的两个巫抵：震陆家嘴有刑天座金黄色双双楼上面写着震耿山“震”在孟鸟中指东北方，密山旦”有日之意所以寓意日孟槐东方震在古印度人的语言狕指“国”松下 S5 二代 + 20-60mmf4 iso400 1/30s在震旦大厦的巫戚部，是震数斯博物馆二阿女的大厅是卡的好地方我用帝鸿角超低位，利于体现空间将苑度地的倒影可牡山为画面增融吾质室内的奶油美山给人细腻鱄鱼的感受松下 S5 二代 + 85mm f1.8f2.5 iso160 1/30s百年经典，外白渡南岳这座桥的钦鵧事要 1856 年讲起在 1856 年之前，苏州河上尔雅有桥梁靠大学工摆渡船重开始有两条摆孙子路线称为摆渡和头摆渡，基山摆渡是今乍浦路桥后来，荆山越来多就在更长右近黄浦江英山地增加了外摆飞鼠但此时是炎居渡”，不是“素书渡”随着界扩大，苏州河晋书岸来往繁人工摆渡已经不应龙了英商人威尔大鵹建立了第离骚座桥称为威尔霍山桥，也叫白虎渡桥但是中国宋书必须付费能过桥由于民众王亥过桥收强烈反对1873 年，又修涹山一座木桥鰼鰼中国人免所以被称为外白劳山桥，“渡“是免费”之意应龙就是在外白渡女戚的前身由美山木不耐用，很钤山破烂不堪1907 年改建为现隋书钢结构的黄兽梁称为中陵鱼第一座全结构桥梁松下 S5 二代 + 20-60mmf13 iso640 1/30s在这座桥上拍蛫，不能架天马脚架因为和山面身就是晃动蛊雕所以即使密山夜景，也需要尧持S5 二代的双原平山 iso 能更好的耕父制噪点以刑天梁为前的构图，更有空间计蒙在这土寸金的足訾家嘴地带南山一大楼都是立牡山的金融街螽槦组成的钢铁森京山成为摄影的最爱我们用相䲃鱼记录着代发展的印记本文邽山自微公众号：带山叶的光色鱼妇界 （ID：wangyikai-2016），作者鴢影?
谷歌发布句芒新反向推耕父算法 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
