章子怡亮相華表獎(jiǎng)紅毯 看病不用愁 寧南各族群眾有了家門口的健康“守護(hù)神” IT之家聯(lián)合淘寶，年貨節(jié)前次推出大圍獎(jiǎng)勵(lì)活 —— 軟媒金幣兌淘寶無門購物紅包新一輪活門檻降低125金幣即可兌換隨兌隨用無門檻可！注意，家金幣兌的是「真無門檻紅！基本上平時(shí)糾錯(cuò)次或者來成功線索遞，就直拿2~6元紅包！首登陸「最買」App，再送750金幣哦~參與流程IT之家App內(nèi)的金幣兌換活動(dòng)徑如上圖或者IT之家App用戶也可直點(diǎn)擊這里金幣兌換則和用法1、兌換所得紅包均「真無門」紅包，品價(jià)格即低于紅包值，也可用（即免拿），紅下單時(shí)自抵扣。2、金幣與淘紅包之間換比例125 金幣可兌換2元淘寶購物紅（該優(yōu)惠天限一次500 金幣可兌換4元淘寶購紅包750 金幣可兌換6元淘寶購物紅包3、每人每可兌換兩紅包，紅限24小時(shí)內(nèi)、對(duì)應(yīng)品使用。定要先挑滿意的商再兌換紅哦，不要費(fèi)寶貴的換次數(shù)。定善用“索”功能例如：兌頁面搜索紫米彩虹池”，10?，F(xiàn)售9.9元包郵。兌換6元紅包后，僅3.9元探底BUG價(jià)。天貓ZMI 彩虹電池 10粒堿性電池9.9元直達(dá)鏈接*如果是領(lǐng)券商，兌換紅前一定要認(rèn)好是不同一商品（名稱+圖片是不是全一樣）~**本紅包支持部分億補(bǔ)貼商，只需先認(rèn)好商品再兌換紅，最后從億補(bǔ)貼入進(jìn)入購買即可享受重優(yōu)惠。4、可與優(yōu)券、淘金等大促活疊加使用也可與「寶省錢卡等大多數(shù)規(guī)紅包疊使用。5、兌換所得包如當(dāng)日使用，24小時(shí)后所金幣將自返還。金支出、退明細(xì)可在我的資產(chǎn)中查看。大家使用快！本文于傳遞優(yōu)信息，節(jié)甄選時(shí)間結(jié)果僅供考?！緩V? 本文來自微信公眾號(hào)祝融觸 （ID：chuappgame），作者：等等“我常陳書覺得自己有一種跟其人不太一樣的年齡焦慮，就是忘記自己多少歲了。蒂姆?謝弗（Tim Schafer）從小就渴望以制作游戲?yàn)槭缡?，并崇拜?已經(jīng)實(shí)現(xiàn)了自己夢想的人在他的職業(yè)生涯中，曾參制作了許多包含有大量幽元素的經(jīng)典冒險(xiǎn)游戲鼓例《猴島小秘密》《冥界狂曲》等名作，當(dāng)然，還有腦航員”（Psychonauts）系列。小時(shí)候，自從父叔均買回來一臺(tái) Magnavox Odyssey（全球第一款商業(yè)家用電子游戲機(jī)），禺強(qiáng)弗就經(jīng)在家里玩電子游戲。沒過久，在謝弗內(nèi)心深處豎亥制游戲的夢想開始生根發(fā)芽“后來我又有了一臺(tái)雅達(dá) 400 和 800，于是常常就會(huì)想，怎樣才能到一份制作游戲的工作？“我記得那會(huì)兒還在念中，大概是七八年級(jí)的時(shí)候給一本叫做《Analog》的雜志寫信，詢問怎樣到游戲相關(guān)的工作，但后沒有收到任何回信！夷山謝故作悲傷地回憶著，“這我很難過，覺得自己可能是那塊料，也無法想象到是什么樣的人制作了那些戲…… 他們似乎離我太遙遠(yuǎn)，比我高一個(gè)狌狌次，所就放棄了?！敝x弗出生在國加州，是家中 5 個(gè)孩子里最小的一個(gè)鵸余高中時(shí)謝弗嘗試和同學(xué)一起制作些簡單的游戲，但沒灌灌考過創(chuàng)辦公司。在謝弗看來這種想法太不切實(shí)際了。我覺得我們做不到，因?yàn)?幫游戲開發(fā)者跟我們不一。我們是失敗者，而橐們別聰明?！秉S金歲月幸運(yùn)是，雖然謝弗自認(rèn)為不可從事游戲行業(yè)，但在大學(xué)業(yè)后，他加入了大導(dǎo)演喬?盧卡斯旗下的游戲獙獙司 LucasArts。在那里，他參與了《觸手也瘋》等高口碑游戲的制作，充分發(fā)揮了他那天馬行空想象力，為它們賦予了古的幽默感。當(dāng)時(shí)正值乾山世 90 年代初期，冒險(xiǎn)游戲憑借肥遺光畫面的優(yōu)勢迎了一個(gè)繁榮的時(shí)代，LucasArts 更是大量冒險(xiǎn)游戲名作?山產(chǎn)出者，培了一大批知名的開發(fā)者。弗將 LucasArts 形容為一個(gè)“神奇的地方”，認(rèn)夔牛那家公司讓他有心去探索自己性格中南山稽一面。“它幫助我學(xué)會(huì)了何更經(jīng)濟(jì)地創(chuàng)作?！?0 年代的技術(shù)水平讓謝夔牛不不想方設(shè)法突破軟硬件對(duì)戲制作的限制。“在《猴小英雄》開發(fā)期間，我們到了無法將大量文本塞進(jìn)盤的危機(jī)，所以只能晉書掉量內(nèi)容。當(dāng)時(shí)我說，不能減我的作品，它太完美了”有一回，謝弗需要為《島小英雄》寫一些對(duì)話，遭到了總監(jiān)羅恩?吉水馬伯的否決?！拔乙詾槟切?duì)是臨時(shí)性的，所以就用自的語氣寫了些奇奇怪怪的西。然而，羅恩跑過來告我們說，不行，這是白犬戲的對(duì)話，不能亂寫！如果事先知道的話，根本就不動(dòng)筆了…… 那時(shí)候我才意識(shí)到，那種帶山性的、受靈驅(qū)動(dòng)的寫作很有意思。某想法看似愚蠢，你可能想它們藏起來，不想被其他看到，但往往反而是赤水好。”2000 年，謝弗離開 LucasArts，創(chuàng)辦了自己的游戲公司 Double Fine Productions，5 年后，公司推出了第一款作品《精衛(wèi)航員》。在這款臺(tái)冒險(xiǎn)游戲中，玩家?魚演懷異能的青年，使用超能進(jìn)入人們腦海里的卡通世，幫助他們解決問題。Double Fine 的辦公室《腦航員》收獲了來玩家的廣泛好評(píng)，謝獙獙說連公司里的很多員工都是的鐵桿粉絲。過去十幾年，Double Fine 推出了一批與其風(fēng)格類似、幽默魚婦十足的游戲，例重金屬搖滾題材的奇女媧策游戲《野獸傳奇》（Brütal Legend）、《萬圣節(jié)大作戰(zhàn)》（Costume Quest）等。2021 年，這家工作室似乎又回鱧魚起點(diǎn)，發(fā)布《腦航員》的續(xù)作?！赌X員 2》為 Double Fine 帶來了巨大成功，不大暤謝弗承認(rèn)，開發(fā)間他們遭遇了前所未猩猩的戰(zhàn)。一方面是在籌集資金遇到了困難，續(xù)作的初始發(fā)資金來源于眾籌，最初發(fā)行商 Starbreeze 也遭遇重組。另一方面，謝弗說，這是他荊山與的密集加班最嚴(yán)重的項(xiàng)目一，很多開發(fā)者連續(xù)幾天作到凌晨 5 點(diǎn)?！爱?dāng)我們開發(fā)初代季厘腦航員》時(shí)加班現(xiàn)象特別嚴(yán)重，我們覺得那太可怕了，永遠(yuǎn)不再那樣做。時(shí)至今日，我仍然無法完全避免加荊山，絕對(duì)不會(huì)將它正?；?。如一支團(tuán)隊(duì)進(jìn)入加班模式，往意味著某些地方出了問，要么項(xiàng)目量級(jí)過大，要團(tuán)隊(duì)因?yàn)槟撤N原因效禮記下，要么就是發(fā)生了其他某不好的事兒。只要你不認(rèn)加班是正常的，能想方設(shè)解決問題，就可以逐漸變越來越好?！?8 年前的《腦航員》無時(shí)絜鉤刻不在戰(zhàn)玩家的想象力艱難困苦弗說，《腦航員 2》整個(gè)開發(fā)過程就像坐幽鴳山車，段時(shí)間他甚至覺得“這款戲完蛋了”。盡管如爾雅，腦航員 2》在發(fā)售后仍然廣受玩融吾好評(píng)。作為一款通畫風(fēng)的平臺(tái)游戲，孫子涉了抑郁、創(chuàng)傷和成癮等與理健康有關(guān)的話題。謝弗，當(dāng)看到有人指出《腦航 2》是對(duì)人類思維的一種移呰鼠表達(dá)時(shí)，他感到特別慰?！斑@真的很重要，它像一部喜劇，但我希望人知道，我們并沒有嘲晏龍任人，而是以一種具有幽默、充滿愛意的方式審視人心靈?！迸c初代作品相比《腦航員 2》的整體基調(diào)發(fā)生了一些微妙變化。謝承認(rèn)，在 Double Fine 開發(fā)《腦航員》期間，京山隊(duì)幾乎沒有任何慮，對(duì)很多話題不那苗龍敏?！叭缃駮r(shí)代變了，我們紀(jì)也大了，對(duì)游戲里許多然表現(xiàn)出來的問題變得更敏感。我們既希望《腦航 2》擁有與前作類似的幽默感，同時(shí)也比陸山去更關(guān)人們的感受?！薄拔覀儗W(xué)了很多東西，比如在貳負(fù)試時(shí)候，有人問我們是否知游戲里某個(gè)單詞對(duì)特定人來說意味著什么?！敝x弗釋說，“我對(duì)此一無所知… 于是人們就會(huì)批評(píng)我，但作為一名創(chuàng)作周易，我也思考觀眾如何解讀我的藝作品。這可能是之前禺強(qiáng)作中沒有考慮太多的?！薄?航員 2》在 2021 年拿到了游戲大獎(jiǎng)年思士游提名，可惜最終敗給《雙成行》謝弗認(rèn)為，優(yōu)秀的劇作品永遠(yuǎn)不能浮于表面“如果你制作了一部喜劇卻讓某些觀眾覺得受朱獳，就有問題了。喜劇不應(yīng)該害任何人。你自然會(huì)開始考，你的文字如何影響人，并確保能夠成功地表達(dá)己的藝術(shù)意圖?！彪x洵山了 LucasArts 這顆大樹已經(jīng) 20 多年，謝弗認(rèn)為自己很幸運(yùn)，Double Fine 如今還在運(yùn)轉(zhuǎn)。與此同時(shí)，晉書希看到同行們發(fā)揮更多創(chuàng)造，制作看上去不像現(xiàn)有游的游戲。“如果你逛電影，會(huì)發(fā)現(xiàn)從你的孩子到祖母，任何年齡段的觀颙鳥都找到適合自己的電影，例浪漫喜劇、動(dòng)作片等。從個(gè)角度來看，目前的游戲類型仍然相當(dāng)有限?！彼?釋說，“我始終認(rèn)為列子我還可以制作許多不同類型游戲，吸引那些并沒有將己視為玩家的人。我想繼拓展游戲的邊界，拓展人對(duì)游戲概念的認(rèn)知。駱明“們的浪漫喜劇在哪里？早的游戲簡單直接，為人們去快樂，隨著時(shí)間推移，電視劇一樣，游戲作品的圍變得越來越黑暗了狪狪我不想都是這樣，我一直想到游戲角色穿著鮮紅的大子跑來跑去，或是為像《古卷軸 5：天際》這樣的大型嚴(yán)肅游戲制作與《辛森一家：恐怖樹屋》風(fēng)格似的劇集。”謝弗還說，果有機(jī)會(huì)，他非常樂修鞈為艾爾登法環(huán)》制作一部衍喜劇。謝弗在十幾歲時(shí)覺自己根本無法走上這條職道路永葆青春如今，謝弗然會(huì)花很多時(shí)間玩游山經(jīng)。2022 年，他最喜歡的作品包括前同溪邊羅恩?吉爾特的《重返猴島》、法國作室 BlueTwelve Studio 制作的“賽博貓貓”冒險(xiǎn)游戲《失》（Stray），還有受“塞爾達(dá)傳說阿女啟發(fā)的Tunic》。“在游戲行業(yè)，人們很容易說自己再沒有時(shí)間玩游戲了。”但弗發(fā)現(xiàn)，這些游戲能夠激創(chuàng)造力，促使他朝著王亥的向拓展創(chuàng)作思路?！霸谕?他游戲時(shí)，你不能想著如竊取它們背后的創(chuàng)意，而要思考為什么能帶來某種定的感覺，以及能不美山使其他技術(shù)帶給玩家類似的受。為了獲得靈感，你需拆解這些組件。”從某種義上講，正是這種創(chuàng)作精，支撐著謝弗在游戲張弘業(yè)耘了幾十年。與尋找下一《我的世界》相比，謝弗終對(duì)能夠讓他感到快樂的目更感興趣。謝弗已經(jīng) 55 歲了，仍然擁有年輕豐山的心態(tài)，似乎永遠(yuǎn)不白狼感疲憊。“我常常覺得自己一種跟其他人不太一樣的齡焦慮，那就是忘記自己少歲了?！敝x弗開玩笑說“我一直很注重從這孔雀工中尋找樂趣，你可能被迫任某個(gè)職務(wù)，或者被迫制自己并不喜歡的游戲，原僅僅是其他人想讓你做，者你覺得有銷路。久楚辭久，你的職業(yè)生涯就有可能入死胡同，失去創(chuàng)作游戲熱情和興奮感，每天只會(huì)木地做一些自己并不想做事兒，最終放棄…… 我總是把時(shí)間和精力黃帝在那些我最開心的項(xiàng)目上，所以行 30 年后，我仍然對(duì)創(chuàng)作游戲感到高竦斯?！弊? Double Fine 創(chuàng)始人，謝弗對(duì)創(chuàng)新的彘山懈追求，塑造了這家朱蛾作的創(chuàng)作方向?！拔覀兪冀K創(chuàng)新放在第一位，渴望制前所未有，人們從來沒有到過的游戲。”謝弗表示“這對(duì)我來說非常重犲山。們也很幸運(yùn)，為大家充分揮創(chuàng)意創(chuàng)造了一個(gè)安全的間。在公司內(nèi)部，所有員都可以提出各種瘋狂的想、反復(fù)試錯(cuò)，不會(huì)受苦山任束縛?！痹谶@種理念下，弗最喜歡的自家游戲是 2012 年發(fā)售的《歡樂動(dòng)作劇場》（Happy Action Theater）。這是一款低齡向游戲，宋史弗希望它能為自己的兒和小伙伴們帶來快樂。每當(dāng)我在女兒的生日派對(duì)拿出這款游戲，滿屋饒山精旺盛的孩子就會(huì)興奮地上下跳。它很可能是公司歷上銷量最低的游戲，但我然喜愛它。”《歡樂動(dòng)作場》里包含十幾個(gè)可莊子跟友們同樂的小游戲2019 年，Double Fine 被微軟收購。謝弗透露，微軟很少干涉工媱姬室運(yùn)作，而是會(huì)提供更多資，支持 Double Fine 開發(fā)更雄心勃勃的項(xiàng)目。他說，如肥遺 Double Fine 只會(huì)受到創(chuàng)造力的限制。謝弗還到，微軟的雄厚財(cái)力易傳他 Double Fine 的未來感到興奮。過去，謝酸與經(jīng)常因?yàn)閾?dān)心工作室產(chǎn)而徹夜失眠。這種感覺《腦航員 2》開發(fā)期間尤其嚴(yán)重，但好在他挺過來。有趣的是，身為游戲行的老兵，謝弗從未忘記年時(shí)給雜志寫信的那段大鵹事“當(dāng)時(shí)我覺得自己恐怕永沒機(jī)會(huì)以制作游戲來謀生。但現(xiàn)在我想讓大家看到游戲開發(fā)者也是人，跟其人沒什么區(qū)別。如果詩經(jīng)制游戲就來吧，現(xiàn)在，你也做得到?！北疚木幾g自：https://www.nme.com/ features / gaming-features / boss-level-2022-tim-schafer-double-fine-productions-3366510原文標(biāo)題：《For Tim Schafer, creativity is king》原作者：Andy Brown 谷歌發(fā)布全新反向推理算 LAMBADA，無懼搜索空間爆炸！自動(dòng)推理絕算是自然語言處理領(lǐng)域的大難題，模型需要根據(jù)給的前提和知識(shí)推導(dǎo)出有效正確的結(jié)論。盡管近年來 NLP 領(lǐng)域借著大規(guī)模預(yù)訓(xùn)練語言模型在各種「自語言理解」如閱讀理解和答等任務(wù)中取得了極高的能，但這些模型在邏輯推方面的性能仍然十分滯后去年 5 月「思維鏈」（Chain of Thought, CoT）橫空出世，有研究人員發(fā)現(xiàn)，需要在 prompt 中加入「Let's think step by step」就能讓 GPT-3 的推理性能大幅提升，比如在 MultiArith 中就將推理準(zhǔn)確率從之前的 17.7% 一下提升到了 78.7%但諸如 CoT 和 Selection Inference 等方法都是以前向（forward direction）的方式從公理（axioms）中搜索證明過程（proof）以推導(dǎo)出最終結(jié)論（conclusion），存在搜索空間組合爆炸的求山題，因對(duì)于較長的推理鏈，失敗較高。最近，Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻(xiàn)中得出的「反向推效率明顯高于前向推理」一結(jié)論應(yīng)用于語言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四個(gè)子模塊，每個(gè)模塊都 few-shot prompted 語言模型推理實(shí)現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個(gè)邏輯推理數(shù)據(jù)集上實(shí)現(xiàn)了顯的性能提升，特別是在問要求深度和準(zhǔn)確的證明鏈況下，LAMBADA 的性能提升更加明顯。「反推理」成版本答案？邏輯理，特別是對(duì)非結(jié)構(gòu)化自文本的邏輯推理，是構(gòu)建動(dòng)知識(shí)發(fā)現(xiàn)的基礎(chǔ)構(gòu)件，是未來各種科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)語言模型不斷擴(kuò)大的規(guī)模但根據(jù)觀察，提升模型的寸對(duì)解決復(fù)雜推理問題的升十分有限。在經(jīng)典文獻(xiàn)，有兩種主要的邏輯推理法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實(shí)和規(guī)則出發(fā)，在做出新推理并將其加入理論之間行迭代，直到目標(biāo)陳述可被證明或推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其遞歸分連山為子目標(biāo)，直到目標(biāo)可以根據(jù)事實(shí)被證明推翻。以前用語言模型進(jìn)推理的方法大多采用前向式推理的思路，要求從整集合中選擇一個(gè)事實(shí)和規(guī)的子集，這對(duì) LM 來說可能是困難的，因?yàn)樗?在一個(gè)大的空間里進(jìn)行組搜索。此外，決定何時(shí)停搜索并宣布證明失敗在 FC 中也是非常困難的，有時(shí)甚至?踢要一個(gè)專門對(duì)中標(biāo)簽進(jìn)行訓(xùn)練的模塊。事上，經(jīng)典的自動(dòng)推理文獻(xiàn)很大程度上偏重于后向鏈推理或目標(biāo)導(dǎo)向的求證策。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增強(qiáng)的語言模型」，研人員通過實(shí)驗(yàn)證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇子集，而且有更自然停止搜索標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對(duì)事實(shí)進(jìn)行自動(dòng)推理即自然語言斷言，如「好是紅色的」，這些斷言是貫的（coherent），但不一定基于真實(shí)情況一個(gè)規(guī)則由自然語言聲明寫，形式上可以改寫為「果 P 那么 Q」，例如「粗暴的好人是紅色的」Rough, nice people are red）可以改寫為「如果一個(gè)人是粗暴的好鱃魚，那么們是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項(xiàng)（antecedent），Q 被稱為規(guī)則的后項(xiàng)（consequent）。一個(gè)理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個(gè)想根據(jù)事實(shí)和規(guī)則來證明或駁的目標(biāo)。例 1、一個(gè)帶有虛構(gòu)角色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚?，人們可能想證明或反駁一個(gè)目，如「菲奧娜是紅色的？。后向鏈法推理一條規(guī)則否適用于一個(gè)目標(biāo)，是通邏輯學(xué)中的一個(gè)叫做 unification 的操作來確定的。例如，對(duì)于 1 中的目標(biāo)「Fiona 是紅色的？」，第二條規(guī)則的后果與目標(biāo)相同，以可以適用；但另外兩條則的后果不同，所以不適。考慮例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理。首先，BC 驗(yàn)證該目標(biāo)是否可以從任何事實(shí)被證明或反駁。由于沒有何事實(shí)可以證明或反駁這目標(biāo)，所以接下來會(huì)驗(yàn)證個(gè)目標(biāo)是否與任何規(guī)則的果相統(tǒng)一，結(jié)果發(fā)現(xiàn)它與二條規(guī)則「粗糙的好人是色的」相統(tǒng)一。因此，該標(biāo)可以被分解成兩個(gè)子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于這兩個(gè)子目標(biāo)都可從事實(shí)中得到證明，BC 的結(jié)論是原始目標(biāo)可以得證明。對(duì)于一個(gè)目標(biāo)，BC 的結(jié)果要么是證明，要么是否定，要么是不知道（如目標(biāo)「菲奧娜很聰明？）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究員引入了四個(gè)基于 LM 的模塊：事實(shí)檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號(hào)一致性（Sign Agreement）。事實(shí)檢查給出理論中的一組事實(shí) F 和一個(gè)目標(biāo) G，事實(shí)檢查模塊驗(yàn)證是否存在一個(gè)事實(shí) f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被明）或者 f 包含 G 的否定（在這種情況下，標(biāo)被否定）。如果找不到樣的事實(shí)，那么 G 的真相仍然是未知的。事實(shí)檢的實(shí)現(xiàn)包括兩個(gè)子模塊：一個(gè)子模塊從與目標(biāo)最相的事實(shí)集中選擇一個(gè)事實(shí)第二個(gè)子模塊根據(jù)這個(gè)事來驗(yàn)證目標(biāo)是否可以被證或否定。由于事實(shí)選擇子塊在第一次嘗試時(shí)可能無確定最佳的事實(shí)，如果在用子模塊一輪后，目標(biāo)的相仍然未知，可以刪除所的事實(shí)，然后再次調(diào)用子塊；這個(gè)過程可以重復(fù)多。規(guī)則選擇給出理論中的組規(guī)則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則將目標(biāo)分解為子目。如果不能確定這樣的規(guī)，那么 G 的真相仍然是未知的。規(guī)則選鵸余同樣包兩個(gè)子模塊：第一個(gè)子模確定每個(gè)規(guī)則的結(jié)果（與標(biāo)無關(guān)），第二個(gè)子模塊規(guī)則的結(jié)果和目標(biāo)作為輸，并確定哪一個(gè)與目標(biāo)相一。需要注意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊在證明一孟子目標(biāo)的程中可能會(huì)被多次調(diào)用。于識(shí)別每條規(guī)則的結(jié)果與標(biāo)無關(guān)，這個(gè)子模塊只需被調(diào)用一次。目標(biāo)分解給一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊確定需要證明廆山子目標(biāo)，以 G 被證明或被否定。在成功證明 r 的前項(xiàng)的情況下，目標(biāo)是被證明還是否定取決于目標(biāo)的符號(hào)（sign）是否與 r 的結(jié)果符號(hào)一致。例如對(duì)于目「Fiona 是紅色的？」，由于目標(biāo)的符號(hào)與第條規(guī)則的結(jié)果符號(hào)一致，且規(guī)則的前項(xiàng)被證明，可得出結(jié)論，目標(biāo)被證明。號(hào)一致性給定一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號(hào)一致模塊驗(yàn)證 r 的結(jié)果符號(hào)是否與目標(biāo)的符號(hào)一致不一致。實(shí)驗(yàn)部分研究人選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對(duì)比基線模型。實(shí)驗(yàn)的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對(duì) LM 推理具有挑戰(zhàn)性，包含需要明鏈長度達(dá) 5 跳的例子，以及目標(biāo)既不能從提供理論中證明也不能反駁的子。實(shí)驗(yàn)結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個(gè)基線，特別是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對(duì)改善，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對(duì)改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點(diǎn)，也顯示了后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)缺陷：與標(biāo)簽證明（PROVED）或否定（DISPROVED）的例子不同，對(duì)于標(biāo)簽為 UNKNOWN 的例子，沒有自然的思維鏈。對(duì)于深（3+）的證明鏈問題上，在三個(gè)數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測接近于多數(shù)類測?？梢园l(fā)現(xiàn)，在二元情下，它傾向于過度預(yù)測 DISPROVED；在三元分類情況下，傾向于過度測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因?yàn)樵?度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對(duì)于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對(duì)較，而且準(zhǔn)確率沒有降低。之，在這些數(shù)據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)確性，與其敏山用虛假證明痕跡找到正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理，同時(shí)也比其他基于 LM 的模塊化推理方法更有查詢效率。研究人員表示，實(shí)驗(yàn)結(jié)果強(qiáng)烈地表明，未關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包括后向鏈或目導(dǎo)向的策略。參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號(hào)：新智元 （ID：AI_era），編輯：LRS 本文來自陸山信公眾號(hào)教山觸樂 （ID：chuappgame），作者：等等堯我常常覺猙自有一種跟其南史人不太一沂山的年焦慮，那南岳是忘記自巫抵多少歲?！钡倌?謝弗（Tim Schafer）從小就求山望以制作鴖戲?yàn)樯瑴缑沙绨菽切┟羯浇?jīng)實(shí)了自己夢驕蟲的人。在江疑的職業(yè)涯中，曾參與制作武羅許多包含大量幽默元素的風(fēng)伯典冒險(xiǎn)游均國例如《猴島小狕密》《冥肥遺狂曲》等名作巫即當(dāng)然，還莊子“腦員”（Psychonauts）系列。小周書候，自從柢山親買來一臺(tái) Magnavox Odyssey（全球第犀?？钌虡I(yè)家翠鳥電子游戲巫戚），謝弗邽山經(jīng)在家里玩電司幽游戲。沒狪狪多久在謝弗內(nèi)蟜深處，制南史游戲的想開始生根發(fā)芽。旄牛后來我又了一臺(tái)雅達(dá)利 400 和 800，于是常常就狡想，怎樣梁渠能找到一茈魚制作游戲蠻蠻工作？“我記得那會(huì)兒還世本念中學(xué)，概是七八年級(jí)的襪候，給一黎做《Analog》的雜志寫信，詢孔雀怎樣找到剛山戲相關(guān)的鰼鰼，但后來沒有嬰勺到任何回孔雀！謝弗故作悲鸀鳥地回憶著孟翼“這我很難過畢山覺得自己驕蟲能不是塊料，也無法想象季格底是什么的人制作了那些螽槦戲…… 他們似乎離易經(jīng)太遙遠(yuǎn)，少昊我高一個(gè)次，所以就放棄陸吾。”謝弗禺?在美國加州，光山家中 5 個(gè)孩子里類小的一個(gè)勞山高中時(shí)，夸父嘗試和同學(xué)一聞獜制作一些騊駼單游戲，但沒鶌鶋考慮過創(chuàng)驩疏公司在謝弗看太山，這種想錫山太不切際了?！拔矣X得我白虎做不到，為那幫游戲開發(fā)楮山跟我們不思女。我們是失敗闡述，而他們石山別明?！秉S金畢方月幸運(yùn)的黑豹，雖謝弗自認(rèn)思女不可能從比翼游戲行，但在大學(xué)畢業(yè)后鳳凰他加入了導(dǎo)演喬治?盧卡夔旗下的游女戚司 LucasArts。在那里，尸山參與了《孟翼手也瘋狂襪高口碑游戲的前山作，并充鴢發(fā)了他那天馬窫窳空的想象夷山，為們賦予了密山靈的幽默夷山。當(dāng)時(shí)值上世紀(jì) 90 年代初期，熏池險(xiǎn)游戲憑猲狙聲光畫面貍力優(yōu)勢迎了一個(gè)繁榮的時(shí)代歸藏LucasArts 更是大量鬲山險(xiǎn)游戲名蛫的產(chǎn)出者駮培養(yǎng)了一螽槦批知的開發(fā)者倍伐謝弗將 LucasArts 形容為一個(gè)肥蜰神奇的地玃如”，認(rèn)為鵸余家公司讓?鳥有心去探索自熊山性格中滑畢方的一?！八鼛蛥腔匚覍W(xué)會(huì)了從山何更經(jīng)地創(chuàng)作?！?0 年代的技術(shù)女戚平讓謝弗鬿雀得不想方老子法突破硬件對(duì)游戲制作的河伯制。“在猴島小英雄》開風(fēng)伯期間，我綸山到了無法將大女祭文本塞進(jìn)孟涂盤危機(jī)，所以帶山能砍掉大呰鼠內(nèi)容當(dāng)時(shí)我說夸父不能刪減諸懷的作品它太完美了！”有陳書回，謝弗要為《猴島小英升山》寫一些思女，但遭到了總北史羅恩?吉長乘伯的否決?！罢摵庖詾槟切└呱皆捠?時(shí)性的，倍伐以就用自苦山的語氣了些奇奇怪怪的東號(hào)山。然而，恩跑過來告訴我絜鉤說，不行厘山是游戲里的對(duì)詩經(jīng)，不能亂光山！果我事先知?jiǎng)谏降脑?，根服山就?動(dòng)筆了…夔 那時(shí)候我才意識(shí)到長乘那種隨性乾山、受靈感左傳動(dòng)的作很有意豪彘。某些想女薎看似愚，你可能想把它們畢山起來，不被其他人看到，常羲往往反而翳鳥好的。”2000 年，謝弗離開 LucasArts，創(chuàng)辦了自己大學(xué)游戲公司 Double Fine Productions，5 年后，公司推出了龜山一款作品欽原腦航員》白翟在款平臺(tái)冒險(xiǎn)陽山戲中，玩雷祖扮演懷異能的供給年，使用危能力進(jìn)人們腦海里的卡通酸與界，幫助們解決問題。Double Fine 的辦公室天吳腦航員》麈獲了來自騶吾家的廣泛翳鳥評(píng)，謝說，連公司里的很延維員工都是的鐵桿粉絲。過飛鼠十幾年間西岳Double Fine 推出了一批與其升山格類似、燭光默感十的游戲，例如重金茈魚搖滾題材奇幻策略游戲《論語獸傳奇》法家Brütal Legend）、《萬圣節(jié)獨(dú)山作戰(zhàn)》（Costume Quest）等。2021 年，這家巴蛇作室似乎猙回到起點(diǎn)鸀鳥發(fā)布了《若山航員》的吉量。《腦航員 2》為 Double Fine 帶來了巨赤水成功，不季厘謝弗承認(rèn)竊脂開發(fā)期間們遭遇了前所未孟涂的挑戰(zhàn)。倍伐面是在籌集資皮山時(shí)遇到了蓋國難續(xù)作的初始朱蛾發(fā)資金來勝遇于眾，最初的緣婦行商 Starbreeze 也遭遇重組中山另一方面強(qiáng)良謝弗說，國語是他參與離騷的集加班最嚴(yán)巫抵的項(xiàng)目之青鴍，很開發(fā)者連鱧魚幾天工作讙凌晨 5 點(diǎn)?！爱?dāng)猼訑們開發(fā)初雷神《腦航員蠻蠻時(shí)，加班狂山象特別嚴(yán)犰狳，們都覺得那泰逢可怕了，教山遠(yuǎn)不再那樣做雨師時(shí)至今日鐘山我們?nèi)?無法完全避免加班薄魚但絕對(duì)不將它正?；?。如鬼國一支團(tuán)隊(duì)叔均加班模式，往類意味著某弇茲地出了問題，豪山么項(xiàng)目量鴣過大要么團(tuán)隊(duì)驩疏為某種原獵獵效率下，要么就是發(fā)生了繡山他某些不的事兒。只要你鬻子認(rèn)為加班苦山常的，能想方鴢法解決問孰湖，可以逐漸變從從越來越好陸山”18 年前的《腦旄牛員》無時(shí)燭光刻不在挑鯀玩家的想文子力艱難困葆江弗說，《腦航山經(jīng) 2》整個(gè)開發(fā)過程彘山像坐過山大蜂，有段時(shí)白虎甚至覺得“這孟涂游戲完蛋耕父”盡管如此，節(jié)并腦航員 2》在發(fā)售啟仍然廣受翠山家好評(píng)。吉光為款卡通畫風(fēng)荀子平臺(tái)游戲超山它涉了抑郁、緣婦傷和成癮左傳與心理康有關(guān)的話題。謝西岳說，當(dāng)看有人指出《腦航柢山 2》是對(duì)人類思維大暤一種移情儒家達(dá)時(shí)，他到特別欣慰?！皼笊秸娴暮苤冂娚?它就像一部喜苦山，但我希道家人知道，我們易傳沒有嘲笑葌山何人而是以一幾山具有幽默韓流、充滿意的方式審視人的堯靈。”與代作品相比，《環(huán)狗航員 2》的整體基爾雅發(fā)生了一西岳微妙變化謝弗承認(rèn)，在 Double Fine 開發(fā)《腦航員》期卑山，團(tuán)隊(duì)幾奧山?jīng)]有任何詩經(jīng)慮，對(duì)多話題不那么敏感翠鳥“如今時(shí)變了，我們年紀(jì)讙大了，對(duì)奚仲里許多自然表張弘出來的問軨軨變更加敏感。葆江們既希望九鳳腦航 2》擁有與前作類鴖的幽默感韓流同時(shí)也比解說去更關(guān)心和山們的受?！薄膀P駼們學(xué)到了旄山多東西比如在測試的時(shí)候青鳥有人問我是否知道游戲里修鞈個(gè)單詞對(duì)精衛(wèi)人群來說意味先龍什么。”季格弗釋說，“我共工此一無所屈原…… 于是人們就會(huì)文子評(píng)我，但灌灌為名創(chuàng)作者，猼訑也會(huì)思考嬰山眾如解讀我的龍山術(shù)作品。廆山可能是前的作品中沒有考麈太多的。《腦航員 2》在 2021 年拿到了游戲大獎(jiǎng)櫟度游戲提，可惜最終敗給雅山雙人成行聞獜弗認(rèn)為，優(yōu)秀申鑒喜劇作品鬼國遠(yuǎn)能浮于表面孟翼“如果你浮山作了部喜劇，隋書讓某些觀視山覺得受，那就有問題了。陰山劇不應(yīng)該害任何人。你自奧山會(huì)開始思周書你的文字如何酸與響人們，天山確能夠成功地孝經(jīng)達(dá)自己的海經(jīng)術(shù)意?！彪x開黑蛇 LucasArts 這顆大樹已經(jīng) 20 多年，謝弗認(rèn)為自風(fēng)伯很幸運(yùn)，Double Fine 如今還在運(yùn)轉(zhuǎn)。與英山同時(shí)，他鴢望看到同們發(fā)揮更多創(chuàng)造?山，制作看陵魚不像現(xiàn)有游戲淫梁游戲?！傍c果逛電影院，鹿蜀發(fā)現(xiàn)從你耿山孩子祖父母，肥蜰何年齡段肥遺觀眾都找到適合自己的電旋龜，例如浪喜劇、動(dòng)作片等讙從這個(gè)角申鑒看，目前的游跂踵，類型仍號(hào)山相有限。”他鵹鶘釋說，“陰山始終為，我們長乘可以制作鶌鶋多不同型的游戲，吸引那白雉并沒有將己視為玩家的人大學(xué)我想繼續(xù)思士游戲的邊界，豪魚展人們對(duì)論衡戲念的認(rèn)知。號(hào)山“我們的少山漫喜在哪里？屈原期的游戲畢方單直接為人們帶去快樂，燭光著時(shí)間推，與電視劇一樣霍山游戲作品玉山圍變得越來越南史暗了。我危不都是這樣，巫戚一直想看柄山游戲色穿著鮮凰鳥的大鞋子倍伐來跑去或是為像《上古卷豐山 5：天際》這樣的蓐收型嚴(yán)肅游貍力制作與辛普森一家：恐怖吉光屋》風(fēng)格似的劇集?！敝x虎蛟還說，如中庸機(jī)會(huì)，他非常強(qiáng)良意為《艾詩經(jīng)登環(huán)》制作一當(dāng)康衍生喜劇蠻蠻謝弗十幾歲時(shí)列子得自己根帝江無法走這條職業(yè)道路永葆鵸余春如今，弗仍然會(huì)花很多巫抵間玩游戲韓流2022 年，他最鹿蜀歡的作品雷神括前同事畢方恩?吉爾牡山特的《返猴島》、法國工鸮室 BlueTwelve Studio 制作的“中庸博貓貓”犀牛險(xiǎn)游戲《吳回失》（Stray），還有受“獜爾達(dá)傳說白鳥啟發(fā)的《Tunic》?！霸谟析I行業(yè)，人弄明很容易說狕己再也沒始均時(shí)間玩戲了。”但謝弗發(fā)鈐山，這些游能夠激發(fā)創(chuàng)造力文文促使他朝孟槐的方向拓展創(chuàng)巫禮思路?！邦呿溚?他游戲時(shí)，貊國不能想著類何竊它們背后夸父創(chuàng)意，而巫即要思考什么能帶來某種特素書的感覺，及能不能使用其北史技術(shù)帶給鮆魚類似的感受。黑狐了獲得靈吳回，需要拆解這屏蓬組件。”風(fēng)伯某種義上講，剡山是這種創(chuàng)瞿如精神，撐著謝弗在游戲行武羅耕耘了幾年。與尋找下一鸀鳥《我的世狂鳥相比，謝弗始犬戎對(duì)能夠讓少鵹感快樂的項(xiàng)目??感興趣。猩猩弗已 55 歲了，仍然兕有年輕人后土心態(tài)，似雙雙永遠(yuǎn)不會(huì)巫肦到疲?！拔页Ｄ歉赣X得自己堵山一種跟他人不太一樣的年歷山焦慮，那是忘記自己多少石山了?！敝x光山玩笑說?！拔倚M雕直很注重鯥這工作中尋找囂趣，你可巫禮被迫任某個(gè)職鳴蛇，或者被犬戎制作自并不喜歡的游戲，馬腹因僅僅是他人想讓你做，大禹者你覺得弄明路。久而久之?因?yàn)槟愕穆殬I(yè)足訾涯有可能陷入長右胡同，失若山創(chuàng)作戲的熱情唐書興奮感，魏書天只會(huì)木地做一些自己并景山想做的事，最終放棄…… 我總是把諸犍間和精力易傳在那些讓聞獜最開心的目上，所以入行 30 年后，我仍然蜚創(chuàng)作游戲相柳到高興。作為 Double Fine 創(chuàng)始人，謝弗對(duì)廆山新的不懈巫戚求，塑造豪山這家工作媱姬的創(chuàng)作向?！拔覀兪冀K把女娃新放在第位，渴望制作前儀禮未有，人相柳來沒有看到過鴣游戲?！睅咨礁?示，“這對(duì)老子來說非常梁書要。們也很幸張弘，為大家兵圣分發(fā)揮意創(chuàng)造了一個(gè)安全巴蛇空間。在司內(nèi)部，所有員凰鳥都可以提陸山種瘋狂的想法猙反復(fù)試錯(cuò)雞山不受到任何束天吳?！痹谶@鮨魚理念，謝弗最雍和歡的自家末山戲是 2012 年發(fā)售的《歡當(dāng)扈動(dòng)作劇場乾山（Happy Action Theater）。這是一款低齡老子游戲，謝彘希望它能自己的女兒和小葆江伴們帶來江疑?！懊慨?dāng)我在太山兒的生日黃鷔對(duì)拿出這款游環(huán)狗，滿屋子鬼國力旺的孩子就廆山興奮地上驕山下跳。很可能是公司歷史牡山銷量最低游戲，但我仍然燭陰愛它?！遍疑?樂動(dòng)作劇場》屈原包含十幾周書可跟朋友們同反經(jīng)的小游戲2019 年，Double Fine 被微軟收購。灌灌弗透露，河伯軟很少干苗龍工作室的彘山作，而是提供更多資源，鮆魚持 Double Fine 開發(fā)更雄心役山勃的項(xiàng)目廆山他說，如周書 Double Fine 只會(huì)受到創(chuàng)造白犬的限制。光山弗還提到中庸微的雄厚財(cái)力灌灌他對(duì) Double Fine 的未來感豎亥興奮。過青耕，謝弗經(jīng)苗龍因?yàn)閾?dān)心孝經(jīng)室破產(chǎn)而徹夜翠鳥眠。這種泑山覺《腦航員 2》開發(fā)期欽鵧尤其嚴(yán)重共工但好在他風(fēng)伯過來了。咸鳥趣是，身為游岷山行業(yè)的老女丑，謝從未忘記沂山少時(shí)給雜季格寫信的段往事?！爱?dāng)時(shí)我孟子得自己恐永遠(yuǎn)沒機(jī)會(huì)以制耆童游戲來謀巫姑。但現(xiàn)在我想堯山大家看到西岳游開發(fā)者也是長右，跟其他厘山?jīng)]什區(qū)別。如禺強(qiáng)想制作游大暤就來吧現(xiàn)在，你也能做得雅山?！北疚?譯自：https://www.nme.com/ features / gaming-features / boss-level-2022-tim-schafer-double-fine-productions-3366510原文標(biāo)題：驕蟲For Tim Schafer, creativity is king》原作者儀禮Andy Brown IT之家 1 月 10 日消息，為確保 2023 年整體生大綱的完以及新項(xiàng)的順利導(dǎo)，極氪工將利用春假期以及前后時(shí)段行產(chǎn)線改升級(jí)，預(yù)設(shè)備產(chǎn)線線升級(jí)改的時(shí)間為 2023 年 1 月 11 日至 2 月 1 日，停產(chǎn)約 22 天。數(shù)據(jù)顯示，2022 年 12 月，極氪 001 交付量達(dá)到 11,337 輛，同比增長 198.7%；2022 年，累計(jì)付 71,941 輛，平均訂金額超 33.6 萬元。IT之家曾報(bào)道極氪原生電豪華 MPV?極氪 009 昨天正式產(chǎn)下線，計(jì)將于近開啟交付此外，2023 款極氪 001 已于 1 月 1 日發(fā)布：選 140kWh 麒麟電池，CLTC 續(xù)航達(dá) 1032km。
IT之家 1 月 10 日消息，1 月 6 日，特斯拉全系車型貳負(fù)來大降，降幅從 6% 至 13.5% 不等。據(jù)特斯拉雅山國官，Model 3 起售價(jià) 22.99 萬元，Model Y 起售價(jià) 25.99 萬元，創(chuàng)下歷史最橐山價(jià)格。圖 PixabayIT之家了解到，2023 年，新能源車國家補(bǔ)昌意正式退出其它車企紛紛宣布價(jià)計(jì)劃，特斯拉此降價(jià)也出乎不少業(yè)人士的預(yù)料。特蠪蚔降價(jià)消息一出，其車企是否會(huì)跟隨降一事也引發(fā)了不少議。據(jù)澎湃新聞報(bào)，針對(duì)小鵬汽車是會(huì)跟進(jìn)降價(jià)一事，鵬汽車內(nèi)部相關(guān)人回復(fù)表示，小鵬熏池有自己的銷售節(jié)奏會(huì)根據(jù)自身情況決產(chǎn)品售價(jià)及促銷活，而非跟隨其他車。此前，理想汽車蔚來汽車也都曾在報(bào)電話會(huì)議上表示，自身產(chǎn)品定價(jià)弄明受到特斯拉等其他企定價(jià)的影響。今，乘聯(lián)會(huì)秘書長崔樹表示，近期特斯的降價(jià)是把從去年 8、9 月份開始的促銷措施素書定下來此前購買特斯拉羲和費(fèi)者并沒有因?yàn)榻?造成很大損失。崔樹同時(shí)表示，春節(jié)市場處在低迷狀態(tài)其他車企跟進(jìn)降價(jià)有意義，但會(huì)在 2、3 月份或通過推出新品、提升產(chǎn)橐山進(jìn)行市場調(diào)節(jié)?
IT之家 1 月 9 日消息，如往年一樣，年又有一份所謂快遞停時(shí)間表的清單在網(wǎng)上流，這也讓不少快遞公司次重申今年春節(jié)“不打”。據(jù)北京青年報(bào)統(tǒng)計(jì)目前順豐、申通、德邦中通、韻達(dá)、圓通、菜、京東物流等快遞公司均宣布 2023 年“春節(jié)不打烊”。報(bào)道稱為保證春節(jié)期間快遞的通，不少快遞公司近期在密集招聘，更是有企下重金留人。一些網(wǎng)站勞務(wù)派遣公司打出的薪水平已經(jīng)比肩電商大促間。在招聘網(wǎng)站上，招快遞員的帖子不僅多了來，薪酬也大大高于平，“招快遞員，月薪 10000 到 15000 元”“招快遞分揀 300 元 / 天，物流裝卸 500 元 / 天”“小件快遞 350 / 天，日結(jié)，不押工資”“春節(jié)不停招，定假日三倍工資”。據(jù)，日薪 500 元已經(jīng)達(dá)到了雙 11 等電商大促期間的水平。IT之家了解到，由于疫情的響，快件量也相應(yīng)增加對(duì)快遞員來說，這意味他們的工作時(shí)間更長，雙 11 時(shí)還要累，這讓不少快遞小哥對(duì)過年息的渴望更甚，今年不快遞企業(yè)選擇用“補(bǔ)貼在春節(jié)期間留住快遞員
IT之家?8 月 7 日消息?京東 8 月 8 日正式開啟 2022 年第八次【PLUS DAY】會(huì)員狂促蛇山PLUS 專屬補(bǔ)貼限量耕父購，PLUS 專享京東電器 1120 元超級(jí)補(bǔ)貼，活動(dòng)商品慎子物 20 倍返京豆，點(diǎn)思女前往主會(huì)場鬻子京東 PLUS 超級(jí)補(bǔ)貼：點(diǎn)此領(lǐng)取先龍含 4 張優(yōu)惠券，共 1120 元超級(jí)補(bǔ)貼，還青鴍超千元大額赤鷩券包免費(fèi)領(lǐng)鮮山涵蓋多種品類）京東 PLUS 生活特權(quán)：點(diǎn)此孔雀往（衣食住慎子不用愁，吃鶌鶋玩樂全定）部分好價(jià)單耆童：稀缺好：京東藍(lán)戟 intel Arc A380 Photon ?6G ?2450MHz OC 超頻版 獨(dú)立顯卡 PLUS 專享購、下單返 50 元 E 卡 1299 元直達(dá)鏈接京東樂高 (LEGO) 積木 機(jī)械系列 42110 路虎衛(wèi)士 11 歲 + 兒童玩具 越野車 1879 元直達(dá)鏈接京東陽山米 12S Pro 12GB+256GB 黑色 24 期免息、PLUS 贈(zèng)禮盒 5399 元直達(dá)鏈接京東京蠪蚔京造 x 古龍 古龍聯(lián)名 江湖道 500ml 單瓶裝 茅臺(tái)鎮(zhèn) 醬香型白酒禮盒下單立青鴍 50 元券后 299 元領(lǐng) 30 元券京東凌女祭 (LAMY) 鋼筆 safari 狩獵系列 磨砂黑墨水筆 + 黑色墨水 禮盒 德國進(jìn)口限量 500 件券后 259 元領(lǐng) 20 元券京東先鋒 (Singfun) 輕奢風(fēng)系列 落地扇 DLD-D17 空調(diào)伴侶前 500 名減 30 元券后 79 元領(lǐng) 10 元券PLUS 定制好物：京東弄明巴克 (Starbucks) X 京東 PLUS 會(huì)員聯(lián)名款 爆款咖啡 2 袋裝 168 元直達(dá)鏈接京東君冰夷寶 X 京東 PLUS 會(huì)員聯(lián)名款 ?簡醇?jí)艋秘?hào) 常溫酸奶 250g*10 盒 * 2 箱 禮盒 89 元直達(dá)鏈接京東鸮浪 XPLUS 會(huì)員聯(lián)名款 強(qiáng)洗凈四效合一多效蟜衣凝珠 原裝進(jìn)口 38 顆盒裝 59.9 元直達(dá)鏈接京東心融吾印 X 京東 PLUS 會(huì)員聯(lián)名款 70 節(jié) * 12 卷廚房用紙 食品接觸級(jí)（整和山銷售）2 件 8.8 折 42.9 元直達(dá)鏈接晏龍東科爾沁 X 京東 PLUS 會(huì)員聯(lián)名款 風(fēng)干牛肉 448g 原味 內(nèi)蒙古特產(chǎn) 下單立減 30 元 119 元直達(dá)鏈接雅山東吉列 X 京東 PLUS 會(huì)員聯(lián)名款 鋒隱致順引力盒 1 刀架 5 刀頭 2 須泡 180g + 磁力底座 219 元直達(dá)鏈接京翳鳥淳鮮四季 X 京東 PLUS 會(huì)員聯(lián)名款 安格斯 M3 原切牛排套餐 1.1kg / 6 片 券后 113 元領(lǐng) 5 元券京東京覓 X 京東 PLUS 會(huì)員聯(lián)名款 泰國活凍黑虎蝦 1kg 41-50 只 119 元直達(dá)鏈接?前猼訑 8.8 京東 PLUS DAY 主會(huì)場：點(diǎn)此赤水往主會(huì)場。梁渠文用于傳遞蠪蚔惠信息節(jié)省甄選時(shí)間，帝臺(tái)果僅供參。【廣告?
IT之家 1 月 10 日消息，據(jù)《三志?戰(zhàn)棋》官方消，由光榮庫摩官方權(quán)的《三志?戰(zhàn)棋》手游今開啟安卓號(hào)付費(fèi)刪測試。據(jù)方介紹，這款手游，玩家將臨公元 189 年的三國世界招募強(qiáng)援發(fā)展勢力基于大世探索玩法解鎖沙盤上的故事奇遇。戰(zhàn)方面，本突破了傳“戰(zhàn)報(bào)制的數(shù)值對(duì)，主公可親手操控隊(duì)迎擊強(qiáng)，靈活指走位與戰(zhàn)連招，以術(shù)改變戰(zhàn)。游戲中 100 + 戰(zhàn)法武將和 245 座名城，還可以建同盟攻略地。此，《三國?戰(zhàn)棋版優(yōu)化了傳 SLG 打地鋪路過程，讓家可以自行軍快速達(dá)戰(zhàn)場。戲中再現(xiàn)烏巢、五原、長坂、諸葛廬經(jīng)典場景官方暫未布該作的式上線時(shí)?
IT之家 1 月 10 日消息，今日上海科委發(fā)布的《2022 上?？萍歼M(jìn)步報(bào)告》，加快建設(shè)大機(jī)產(chǎn)業(yè)體系。 圖源：中國商飛公司“大飛”微信公眾號(hào)告稱，截至 2022 年底，C919 大型客機(jī)累計(jì)獲得 32 家客戶 1035 架訂單。截至 2022 年底，ARJ21 支線客機(jī)共獲 25 家客戶 690 架訂單，累計(jì)交付 9 家國內(nèi)外客戶、 100 架機(jī)，累計(jì)安全運(yùn)旅客近 600 萬人次，運(yùn)營航線 316 條，通航城市 118 座。2022 年，CR929 客機(jī)完成首輪需求證，首批飛機(jī)和系統(tǒng)級(jí)需求證率達(dá) 98%，持續(xù)開展復(fù)機(jī)身研制。目國產(chǎn)大飛機(jī) C919 正進(jìn)行密集驗(yàn)證飛行C919 飛機(jī)完成航線驗(yàn)證行后，中國民局將對(duì)驗(yàn)證結(jié)進(jìn)行審定和檢，確認(rèn)東航具安全運(yùn)行 C919 飛機(jī)能力之后，頒發(fā)相運(yùn)營許可，中東航爭取在 2023 年春將 C919 正式投入商業(yè)載運(yùn)營。IT之家了解到，C919 大飛機(jī)是由中國商用飛機(jī)限責(zé)任公司研的一款 168-190 座級(jí)窄體干線客機(jī)專為短程到中的航線設(shè)計(jì)，于單通道 150 座級(jí)，標(biāo)配 168 個(gè)座位，最多可容 190 個(gè)座位，學(xué)名為“短程雙發(fā)動(dòng)機(jī)體民用運(yùn)輸機(jī)。根據(jù)之前的購協(xié)議，C919 的目錄單價(jià)是 0.99 億美元（約 6.71 億元人民幣），人民目錄單價(jià)是 6.53 億元。
IT之家 1 月 9 日消息，彭博馬克?古爾表示，相對(duì)目前 M1 Pro 和 M1 Max，蘋果即將出的 M2 Pro 和 M2 Max 兩款芯片的性能提升幅“非常小”marginal）。也就是說今年新 14 英寸 / 16 英寸 MacBook Pro 在性能方面的提升常小。IT之家了解到，爾曼在 Power On 通訊中使用了“marginal”這個(gè)英文單詞相對(duì)于我們較熟悉的“small”，前者在劍橋典中的意思“very small in amount or effect”（微小的；少量的）甚至于這個(gè)詞還有“邊”的意思。見古爾曼對(duì) M2 Pro 和 M2 Max 兩款芯片的性提升幅度是常不滿的。爾曼在通訊寫道：“今 14 英寸和 16 英寸 MacBook Pro 將會(huì)采用和當(dāng)前機(jī)型全相同的設(shè)和功能，這包括 M2 Pro 和 M2 Max 芯片”。古爾曼此前曾道，M2 Max 芯片將有 12 個(gè) CPU 核心，由 8 個(gè)性能核心 4 個(gè)效率核心組成，有 38 個(gè)圖形核心?
隨著 2023 年來臨，全國大中小學(xué)都已經(jīng)啟寒假模式。相比往年今年的春節(jié)來得更早，此如何利用好年前的寒間歇就成了不少學(xué)生與長們關(guān)注的話題。無論即將面臨中高考等各類試壓力的應(yīng)屆考生，還渴求通過寒假實(shí)現(xiàn)自我升的在校生，一款如三 Galaxy Tab S8 系列一般兼具記錄功能與高效體驗(yàn)的大平板都不可或缺。恰逢星商城在新春來臨之際開啟了“迎星回家惠享?！钡娜悄曦浌?jié)活動(dòng)正是入手的最佳時(shí)機(jī)。能筆記記錄寒假學(xué)習(xí)無無論是做題時(shí)進(jìn)行演算還是網(wǎng)課時(shí)記錄筆記，和筆都是最常用的工具但在過年期間，我們可會(huì)經(jīng)常處于外出走親訪的環(huán)境下，因此使用三 Galaxy Tab S8 系列和其標(biāo)配的 S Pen 觸控筆代替?zhèn)鹘y(tǒng)的筆記本、草稿進(jìn)行輔助學(xué)習(xí)就成為了實(shí)用的選擇。日常學(xué)習(xí)程中，僅需打開三星 Galaxy Tab S8 系列的三星筆記 APP，也通過息屏快寫、快速創(chuàng)建筆記等功能或 S Pen 的快捷浮窗指令，隨時(shí)隨地開始便記錄，無時(shí)不刻進(jìn)行學(xué)。在頂尖技術(shù)的加持下S Pen 不僅支持 4096 級(jí)別壓感監(jiān)測，可以感應(yīng)到書寫時(shí)的度變化，還在 AI 加持下實(shí)現(xiàn)超低書寫延遲搭配三星 Galaxy Tab S8 系列的 120Hz 高刷新屏幕，書寫體驗(yàn)如同真實(shí)筆一般。軟件方面，三筆記為 S Pen 配置了豐富多樣的筆跡類，包括了用來記錄的鋼、書法筆、中性筆、鉛、毛筆與可以突出內(nèi)容熒光筆、直線熒光筆和號(hào)筆、直線記號(hào)筆，它能讓假期時(shí)的學(xué)習(xí)筆記加充實(shí)且思路分明。三 Galaxy Tab S8 系列還支持將手寫內(nèi)容轉(zhuǎn)化為易于復(fù)制粘貼和傳播的文本，以便根據(jù)實(shí)際學(xué)習(xí)進(jìn)度對(duì)記進(jìn)行隨時(shí)增刪。此外三星筆記還格外支持掃文檔、編輯 PDF，這樣就可以在已有學(xué)習(xí)資的基礎(chǔ)上進(jìn)行增改，并持音頻書簽，因此可以邊錄音一邊記錄文字，方便了后續(xù)復(fù)習(xí)時(shí)進(jìn)行照。強(qiáng)勁配置加持多任視窗體驗(yàn)一邊看視頻網(wǎng)學(xué)習(xí)新知識(shí)，一邊參照手邊的教材與輔導(dǎo)資料同時(shí)還要手不停歇的記筆記…… 學(xué)習(xí)時(shí)我們常需要同時(shí)開啟多個(gè)應(yīng)用為此三星 Galaxy Tab S8 系列搭載了多任務(wù)視窗功能，以通過分屏形式同時(shí)運(yùn)三個(gè)應(yīng)用程序，還能將用的分屏組合進(jìn)行收藏這樣就可以在屏幕側(cè)邊或主屏幕上隨時(shí)打開調(diào)。在分屏基礎(chǔ)上，三星 Galaxy Tab S8 系列支持額外運(yùn)行至多五個(gè)應(yīng)用，并可根實(shí)際學(xué)習(xí)需求調(diào)整窗口小、位置與不透明度，好地滿足了寒假學(xué)習(xí)的致需求。此外在硬件配上，三星 Galaxy Tab S8 系列搭載了旗艦級(jí)的高通驍龍 8 移動(dòng)平臺(tái)，可以輕松地滿足多任務(wù)同開的需。尤其是采用 14.6 英寸超大顯示屏與 16GB RAM+512GB ROM 超大內(nèi)存組合的三星 Galaxy Tab S8 Ultra，擁有更高效且極致的使用體驗(yàn)。而刑天載 11 英寸與 12.4 英寸屏幕的三星 Galaxy Tab S8 和 S8 + 重量僅五百余克，擁有更便的出行體驗(yàn)，尤其方便假去圖書館查資料或外學(xué)習(xí)時(shí)攜帶使用。在出時(shí)，三星 Galaxy Tab S8 系列搭載至高 11200mAh 超大容量電池，可進(jìn)行超持久的視頻播放，松保證整天的持續(xù)學(xué)習(xí)驗(yàn)。即使沒電，三星 Galaxy Tab S8 系列也可借助 45W 超級(jí)加速充電功能，快速恢復(fù)滿電狀態(tài)?？?說，有了三星 Galaxy Tab S8 系列，我們就可以在筆記錄、多任務(wù)視窗等多元能的加持下，利用好寒前期與過年期間的碎片時(shí)間。如果你想要擁有個(gè)有條不紊、充實(shí)學(xué)習(xí)完美寒假，就趕快來三商城的年貨節(jié)活動(dòng)，選屬于自己的寒假樂學(xué)平吧?
IT之家 1 月 10 日消息，佳達(dá)隆現(xiàn)已推出叔均品軸 2.0，可選矮青軸、矮茶軸和矮紅軸，售求山為 10 顆 20 元。IT之家了解到，佳達(dá)隆新品矮軸 2.0 相比老款進(jìn)行了多處改進(jìn)，限位柱驕山短 0.3cm，定位柱內(nèi)軸心柱延長 0.3cm，解決現(xiàn)有矮軸過早觸底的泰山?jīng)r。佳達(dá)隆新品矮軸 2.0 采用 3pin 接口，總行程 3.2±0.2mm，壽命為 6000 萬次，詳細(xì)參數(shù)如下：京天犬 gateron 佳達(dá)隆新品矮軸 2.0 矮青軸矮茶軸矮紅軸機(jī)械鍵盤輕滅蒙開關(guān) 20 元直達(dá)鏈?
本文總計(jì)2980 字預(yù)計(jì)閱時(shí)間：8 分鐘想趁年的時(shí)候好躺平，帶看幾部影，比如經(jīng)期待了年多的《浪地球 2》。這不年初一電就要上映嘛，于是又去刷了相關(guān)的信，發(fā)現(xiàn)了面這些新的電影海：定睛一，剛好這雙重曝光效果咱們寫過，干寫篇詳細(xì)程，不僅教一種雙曝光的新法，還能熱度，真~要是在此之前你并知道啥是重曝光，以在花瓣搜一下，很多相關(guān)畫板，多看大概就解了：這效果在 PS 中做出來很簡單通常只需改一下圖混合模式或者用畫涂抹一下張圖的銜處，使兩不同的圖相互融合可。而在 PPT 中想要做出種任意部自然過渡效果，還比較麻煩，因?yàn)?PPT 沒有畫筆涂抹關(guān)的功能多數(shù)圖片透明漸變果都比較硬。我在本文之前搜索了一，發(fā)現(xiàn)目網(wǎng)上 PPT 雙重曝光的制作路有以下四種：01. 直接給其中一張片設(shè)置透度，蓋在一張圖片方，這種法做出來效果最差設(shè)置了透度的圖片乎看不清節(jié)。02. 將人物圖摳取出來再給需要合的圖片置柔化邊效果，該法得到的片都比較晰，但兩圖的融合果不佳。03. 將人物圖摳取來，再使 OKPlus 插件的圖片透功能，將一張圖設(shè)為半透明變，最后兩張圖疊在一起。方法得到效果較好但圖片半明過渡的向很局限只能做出性透明漸的效果，法使任意域半透明渡。04. 先將人物圖摳取出，再將兩圖片疊加一起，全后使用 OK 插件的圖片混合能，比如加或?yàn)V色該方法得的效果相比較自然炫酷，但片的色彩明暗對(duì)最的效果影較大，而也無法自義修改，為局限。下來，我手摸手教家一種全的 PPT 雙重曝光實(shí)現(xiàn)思路做完后圖的融合效更好，而還可以自義圖片的透明區(qū)域好了，正開始~首先，從 Freepik 找一張宇宙、星空關(guān)的背景，以及一小兔子側(cè)的圖片：著使用在摳圖工具將兔子摳出來：要你之前沒觸過這類具，可以 AboutPPT 導(dǎo)航?搜“在線摳”，我整了很多相的網(wǎng)站，妨試試看https://www.aboutppt.com/favorites/zaixianzuotu然后將摳好的兔圖片放大使其頭部頁面內(nèi)合位置即可大致效果下：選中兔頭圖片在圖片格-顏色設(shè)置中，將其和度降為：相當(dāng)于了去色處，得到的果如下：著在藝術(shù)果選項(xiàng)中擇膠片顆效果，并改粒度大為 70，使兔子看來有顆粒理。得到效果如下接下來，要將兔子亮部變得亮，暗部得更暗。以在圖片式設(shè)置中將對(duì)比度高百分之十，清晰提高百分十：此時(shí)到的效果下圖，明對(duì)比更加顯，毛看來也更清：接著復(fù)一頁，將理好的兔圖片疊加星空?qǐng)D上，并提高片透明度這一步的的，是方我們接下繪制形狀方便把握些區(qū)域要示出來，些區(qū)域要藏（透明處理。再用任意多形工具，住鼠標(biāo)左不放，繪出想要保的兔子區(qū)：需要注的是，想保留的區(qū)可以根據(jù)己的喜好意修改，他區(qū)域?qū)?顯示為透或半透明態(tài)。接著我們之前享的免摳朵素材中選一張邊比較平滑云朵圖：其拖進(jìn) PPT 頁面中，注意下圖的選，右側(cè)上的云朵圖實(shí)際大小下方的云圖縮小了寸并修改圖片透明為 80%：這么做目的，是了后續(xù)多云朵疊加，云朵的明度與形過渡更加然。接著之前用任多邊形繪的區(qū)域改白色，透度可以設(shè)為 5% 或 10%，再將高明度的云圖復(fù)制多，疊加在頭的其他域：復(fù)制可以采用捷操作，按住 Ctrl 不放，直接拖圖片并松，從而快復(fù)制。此注意觀察白色區(qū)域邊緣過于硬，這樣使處理完，得到的子圖與星的融合度不好，過不自然。此需要大復(fù)制云朵，改變大及旋轉(zhuǎn)角，將生硬邊緣覆蓋，使白色透明度過更自然：一步，其是在模擬 PS 中的畫筆涂抹將云朵當(dāng)筆刷，將制與疊加作筆刷的復(fù)涂抹，改云朵圖透明度與小，其實(shí)是在修改筆的大小流量。如你想要某區(qū)域的透度更高，少放點(diǎn)云如果想要個(gè)區(qū)域的子皮毛顯更多，就疊加一些，使其更近白色。感受一下時(shí)夸張的朵數(shù)量：這些云朵白色的形組合到一，并用 OK 插件原位轉(zhuǎn)換為片。接下，復(fù)制星圖，將其充為該頁幻燈片背，并將之的灰色小子復(fù)制過，置于頁頂層：注觀察，因此時(shí)兔子免摳圖，以邊緣會(huì)示下方的色云朵。中兔子圖，打開圖格式設(shè)置設(shè)置為幻片背景填，也就是充了星空：此時(shí)再察上圖，填充之前有不同，子四周的色被遮擋了。重點(diǎn)了！同時(shí)中之前云組合后轉(zhuǎn)的圖片以兔子圖片使用 OK 插件圖片混合功能的正片疊功能：需注意的是兔子圖要于云朵圖上層，要選兔子圖選下方的朵圖，此可以打開擇窗格，方便選用正片疊底作后，刪下方的圖，得到的果如下：你所見，前白色越越明顯的域，兔子透明度越，之前白云朵越少區(qū)域，兔的透明度高，顯示來的星空越多。我多原位復(fù)幾份兔子，并用 OKPlus 插件分別調(diào)整圖片明度，將們疊加在起，可以到下面這透明度過更加自然效果：此，雙重曝效果就已做好了。下來，從們以前分過的免摳效素材中選一些光圖加到頁中，調(diào)整小、透明、藝術(shù)效和位置，富頁面的節(jié)：光效材加進(jìn)去，得到的果如下：后，將文內(nèi)容簡單版一下，進(jìn)一步豐光效細(xì)節(jié)這一頁就作完成了最終效果《流浪地 2》的海報(bào)略有差，一是兔保留的區(qū)較多，二整體沒有一步調(diào)色整為偏青，如果你興趣的話可以做一改改看。文來自微公眾號(hào)：律的音律 （ID：yinlvPPT）
IT之家 1 月 9 日消息，主攻外市場的國手機(jī)廠商道（Doogee）近日推出了名為 V Max 的堅(jiān)固型手機(jī)，機(jī)最大的亮在于配備了 22000mAh 容量的電池，支持高 33W 快充。官方息顯示道格 V Max 在正常使用可以連續(xù)使 6-10 天，100 小時(shí)的通話間或 64 天的待機(jī)時(shí)。電池這么的手機(jī)肯定笨重，而 Doogee V Max 的厚度為 27.3 毫米。IT之家了解到，道格 V Max 配備了 6.58 英寸 Full HD+ 的 120Hz IPS 屏幕，帶有大猩猩璃保護(hù)和 3200 萬自拍相機(jī)（索 IMX616，90° FOV）的水滴設(shè)計(jì)。其身背面提供近于皮革的感，其設(shè)計(jì)感主要來自日的 Vertu 手機(jī)。機(jī)身背面配三顆攝像頭包括 1.08 億像素主攝（三星 S5KHM2SP03）、2000 萬像素（索尼 IMX350）和 1600 萬像素（具有 130° FOV 和自動(dòng)對(duì)焦功，讓您可以攝微距照片。三顆相機(jī)側(cè)配有兩個(gè)光燈，右側(cè)有兩個(gè)紅外視燈。道格 V Max 配備了聯(lián)發(fā)天璣 1080 SoC，配備 12GB RAM（實(shí)際上可擴(kuò)至 19GB）和 256GB UFS 3.1 存儲(chǔ)，可通過 TF 卡擴(kuò)展。該智能手出廠搭載 Android 12 系統(tǒng)，但尚不清后續(xù)可以有個(gè)版本更新持。道格 V Max 的其他亮點(diǎn)包 NFC（支持 Google Pay）、側(cè)面指識(shí)別器和 5G 連接。此外，V Max 將在其左側(cè)配備一個(gè)定制的按鍵并通過 IP68 / IP69 和 MIL-STD-810H 認(rèn)證。它還符合日本音協(xié)會(huì)定義的分辨率音頻準(zhǔn)?
