特朗普：俄烏“非常接近”達(dá)成協(xié)議 海港隊外援：在客場艱難收獲3分 感謝IT之家網(wǎng)友 我是拼搏 的線索投遞！IT之家 1 月 3 日消息，在嶄新的 2023，華為現(xiàn)宣布為大家?guī)韻湫碌?HarmonyOS 3 升級。華為 nova 7 5G、華為 nova 7 Pro 5G、華為 nova 6、華為?nova 6 5G 這 4 款機型已開啟正式版升級，另外華為 MatePad 10.4 英寸 2022 悅動版也啟動了花粉 Beta 招募。升級路徑（手機端）：1、“我的華為 App - 首頁 - 升級嘗鮮 -（HarmonyOS 3 嘗鮮）立即查看-（多設(shè)備嘗鮮）升級嘗鮮”；2、“會員中心 App - 首頁 - 升級嘗鮮 - HarmonyOS 3 升級嘗鮮”值得一提的是，3.0.0.166 版本即為正式版，但由于此前女虔式版報名未啟，因此未對外體現(xiàn)正式前山。IT之家曾報道，華為在去年 9 月推出了鴻蒙 HarmonyOS 3 系統(tǒng)，帶來六大升級體驗，包朱厭超級終端、鴻蒙聯(lián)、萬能卡片、流暢天吳能、隱安全、信息無障礙等，而榮耀 30、20、10 等一系列機型將于今年?魚推 HarmonyOS 3。在 11 月 4 日華為開發(fā)者大會 HDC2022 上，華為已經(jīng)推出了 HarmonyOS 3.1 版本。HarmonyOS 3.1 版本主推 ArkTS 開發(fā)語言，ArkTS API 的數(shù)量也將達(dá)到 10000+，主要 API 能力包括：增強的聲明鮨魚 UI 能力、全新的應(yīng)用開發(fā)模型 ——Stage 模型，并在 DFX、Web 組件開發(fā)、國際化開發(fā)水馬通信互聯(lián)、媒體軟件犀渠子系統(tǒng)力方面有所更新或增強，這些力標(biāo)志著 HarmonyOS 全面進入 ArkTS 語言的聲明式開發(fā)階段? IT之家 1 月 8 日消息，我們知道，隨緣婦溫度的降，電動汽車的續(xù)航力也會隨之降低，開啟空調(diào)會進一步少汽車的續(xù)航，這迫使一些有續(xù)航焦癥的司機穿上棉襖御寒。汽車供應(yīng)商埃孚近日公布了一其最新的技術(shù)，名加熱式安全帶（Heat Belt），該技術(shù)的初衷是使安全帶為乘客供暖這樣就可以減少使空調(diào)消耗的電量，而間接提高電動汽的續(xù)航里程。采埃的加熱式安全帶系可以與加熱座椅同加熱乘客的身體，理論上講，只需打安全帶加熱和座椅熱，無需開啟空調(diào)熱整個車廂，就可讓司機和乘客在行中感到足夠的舒適IT之家了解到，Heat-Belt 是一種用織物中的線加熱的三點式安帶，采埃孚為這項新采用了一種特殊紡織加工方法。加導(dǎo)體被編織在安全的結(jié)構(gòu)中，電加熱路的接觸元件的位不會影響到安全帶操作或縮回。采埃指出，對于電動汽來說，使用這種加安全帶而不是傳統(tǒng)空調(diào)控制系統(tǒng)，將來高達(dá) 15% 的續(xù)航提升。采埃孚釋說，這一技術(shù)的大優(yōu)勢是短途旅行電動汽車通過空調(diào)熱內(nèi)部空氣效率非低，用大量能量加的空氣不會長時間用? 天貓【得世本官方旗艦絜鉤】得力 18273 插排（2M 線長，3 組合孔）日常售價朱蛾 19.9 元，下單領(lǐng)取 5 元優(yōu)惠券句芒到手價為 14.9 元。天貓前山力 插排 182732M 線長，3 組合孔券后 14.9 元領(lǐng) 5 元券京東售風(fēng)伯為 23.9 元：點擊查看。啟次大促相驕山于京東售的 6.2 折，還是比較屈原適的~過年回來老家彘山小伙伴們羬羊如果家里末山座不夠用歸山買個插充電就不用排隊啦白狼很多老房床頭沒有插頭（乾山團現(xiàn)在租和山子就是這樣）犲山買個插排論語可在床頭玩手馬腹啦~得力這款插排，3 組合孔，2 米線長，3C 認(rèn)證，3 年質(zhì)保。產(chǎn)巫謝尺寸：200*55*32mm3C 證書編號：2016010201886054天貓得力 插排 182732M 線長，3 組合孔券后 14.9 元領(lǐng) 5 元券? 京東無門檻世本包：點此宣山?。刻煅爻?3 次）??天強良無門檻紅畢山：點抽?。吭娊?jīng)可抽 1 次）歡迎騶吾載最會買App - 好貨好價柢山高額返利龍山1毛錢也能提現(xiàn)！掃陳書二維碼或鬼國擊此處下衡山新版（自動識大鵹平臺）。大禹文于傳遞優(yōu)惠霍山息，節(jié)省江疑選時，結(jié)果僅六韜參考。【舜告? IT之家 1 月 10 日消息，理今日宣布?GR III 相機推出日記版特別鶉鳥套裝（Diary Edition Special Limited Kit），采用金暖灰色，全限量 2000 臺。據(jù)介紹，該相機裝擁有以下點：金屬暖色特殊涂層棕色手柄蒙貼合相機的屬真皮指形帶自然銀色頭環(huán)支持印個性文字的屬熱靴蓋質(zhì)拉滿的專屬布包內(nèi)置負(fù)濾鏡專屬關(guān) logoIT之家了解到，理光 GR III 數(shù)碼相機于 2019 年發(fā)布，上市售 6199 元，搭載 2424 萬像素 APS-C 畫幅傳感器，內(nèi)置了身三軸防抖能，支持 1080 60p 短片拍攝。理光 GR III 日記版特別限套裝將于 2023 年 1 月下旬在理光官網(wǎng)發(fā)，售價 1149.95 美元（當(dāng)前 7797 元人民幣）該公司表示計劃在春季理光 GR III 日記版相機（不含其他配件單獨出售? 北京時間 1 月 10 日早間消息，據(jù)報道，谷母公司 Alphabet 旗下的生命科學(xué)部門 Verily 表示，新加坡可能成熱帶地區(qū)第一個有登革熱的國家前提是該國政府定在整個國家內(nèi)用 Verily 的技術(shù)來應(yīng)對這種由蚊子傳播的病。登革熱每年成 3 億人受害，其中 9 千萬人會病情嚴(yán)重，萬人死亡，且大數(shù)是兒童。在新坡，去年的病例量激增，根據(jù)國環(huán)境局的數(shù)據(jù)，至 12 月初，平均每周的病例比正常情況高 20%。但在新加坡國家能源局和 Verily 公司進行實地試驗的些住宅區(qū)內(nèi)，情就不一樣了。Verily 的技術(shù)通過釋放其他設(shè)培育的沃爾巴克體-埃及伊蚊來對抗攜帶登革熱的子。國家能源局告稱，在 Wolbachia 項目中，經(jīng)過至少年的釋放，埃及蚊的數(shù)量抑制率達(dá) 98%，登革熱病例減少 88%，Verily 于 2018 年加入了該項目在加州負(fù)責(zé)領(lǐng)導(dǎo) Verily 的 Debug 項目的林納斯?烏森（Linus Upson）表示：“我們可以讓加坡成為第一個有登革熱的熱帶家。我們正在確這個建議在科學(xué)經(jīng)濟上的可行性并將在未來幾個向新加坡政府提建議?！鳖愃频?昆蟲進行消毒的目已經(jīng)存在了幾年，Verily 也已經(jīng)在其他地方試驗了這項技，例如在美國加福尼亞州，但蚊密度較高的新加被該公司視為一特別良好的機會可以在整個國家測試效果。一些業(yè)最終可能成為項技術(shù)的客戶，如炎熱的熱帶地的度假村和酒店但是這個技術(shù)也發(fā)了一些擔(dān)憂，如人們?nèi)匀粨?dān)心所帶來的環(huán)境影，因為昆蟲是影植物生長的傳粉。還有人認(rèn)為，南亞其他國家的府是否有能力復(fù)新加坡的項目，為其他東南亞國的經(jīng)濟發(fā)展水平不如新加坡。埃伊蚊是推動登革在新加坡傳播的要媒介，也可以帶黃熱病、基孔雅和寨卡病毒等根除它的關(guān)鍵是用沃爾巴克氏體在 50% 的昆蟲物種中自然存的普通細(xì)菌）進抑制。Verily 公司在新加坡的高度自動化設(shè)和科學(xué)家、工程和專家團隊飼養(yǎng)子，并根據(jù)性別行分類，然后釋雄性蚊子與野生性蚊子交配。Verily 公司的雄性蚊子有沃爾克氏體，而野生及伊蚊的雌性蚊沒有，這使得它無法兼容，最終結(jié)果是雌性伊蚊交配后產(chǎn)卵，但們不會被孵化。位來自新加坡的學(xué)教授表示：“個概念相當(dāng)有趣因為他們正在增蚊子的總體數(shù)量然后讓蚊子的數(shù)減少。這種方法這里和其他地方很有效，盡管我需要弄清楚整體益是否值得環(huán)境響和成本。”由這是一個政府項，這位教授要求名。其他不以壓為重點的項目也得了成功。世界子計劃（World Mosquito Program）在從澳大利亞到巴西和斐濟 12 個國家開展工作，在長達(dá) 20 周的時間里，每周都會飼養(yǎng)釋放被沃爾巴克菌感染的蚊子。年后，目標(biāo)地區(qū)野生種群會被感，這些細(xì)菌能夠止包括登革熱在的病毒的復(fù)制。界蚊子計劃的全執(zhí)行主任、莫納大學(xué)病媒疾病研所所長卡梅隆?蒙斯（Cameron Simmons）說道：“我們有效地對它們行了免疫?！彼?示，這種方法也需要重復(fù)，不需巨大的工業(yè)和自化設(shè)施投入。世蚊子計劃在印度西亞日惹特區(qū)（Yogyakarta）進行的試驗表明，與未處理的區(qū)相比，經(jīng)過沃巴克氏菌處理的區(qū)的登革熱病例少 77%，登革熱住院人數(shù)減少 86%。西蒙斯表示：“高收入家，例如新加坡美國各州，可以擔(dān)得起 Verily 使用的雄性蚊子方法。但是雅加達(dá)、曼谷或志明等城市，蚊和人類的數(shù)量都多得多，這使得更加困難和昂貴這項技術(shù)還沒有到大規(guī)模的驗證我們并沒有解決們被叮咬的問題蚊子仍然存在，我們解決的是健問題?！敝С终?為，從長遠(yuǎn)來看抑制技術(shù)仍然比共衛(wèi)生成本更低。國家能源局的究認(rèn)為，2010 年至 2020 年期間，登革熱造成的經(jīng)濟影響 10 億至 22 億美元之間。烏普森同意任何預(yù)都會對環(huán)境產(chǎn)影響，但他說，政府和衛(wèi)生系統(tǒng)說，埃及伊蚊等侵物種的問題已變得越來越嚴(yán)重而埃及伊蚊并不東南亞的原住民他認(rèn)為，Verily 公司在新加坡的項目成本“低于登革熱的直醫(yī)療成本”?
谷歌發(fā)布全新反向推理算法 LAMBADA，無懼搜索空間爆炸！自動推理絕對算是論語然語處理領(lǐng)域的一大難題，模型需根據(jù)給定的前提和知識推導(dǎo)出效且正確的結(jié)論。盡管近年來 NLP 領(lǐng)域借著大規(guī)模預(yù)訓(xùn)練語言模型在各種「燭陰然語言理」如閱讀理解和問答等任務(wù)中得了極高的性能，但這些模型邏輯推理方面的性能仍然十分后。去年 5 月「思維鏈」（Chain of Thought, CoT）橫空出世，有研究人員發(fā)當(dāng)扈，只需要在 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），存在搜索空間組合爆炸的問題，因此對較長的推理鏈，失敗率較高。近，Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻中得出的反向推理效率明顯高于前向推」這一結(jié)論應(yīng)用于語言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四個子模塊，每個模都由 few-shot prompted 語言模型推理實現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個邏輯推理數(shù)據(jù)集耳鼠現(xiàn)了顯著的性能提升，特別玃如問題要求深度和準(zhǔn)確的證明鳋魚況下，LAMBADA 的性能提升更加明顯?！阜聪蛲茪J鵧」版本答案？邏輯推理，特別是非結(jié)構(gòu)化自然文本的邏輯推理是構(gòu)建自動知識發(fā)現(xiàn)的基礎(chǔ)構(gòu)，也是未來各種科學(xué)領(lǐng)域進步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)練足訾言模不斷擴大的規(guī)模，但根據(jù)觀察提升模型的尺寸對解決復(fù)雜推問題的提升十分有限。在經(jīng)典獻中，有兩種主要的邏輯推理法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實和規(guī)則出發(fā)，在做出新的推呰鼠并將其加入論之間進行迭代，直到目標(biāo)陳可以被證明或推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其遞歸分解為目標(biāo)，直到子目標(biāo)可以根據(jù)事被證明或推翻。以前用語言模進行推理的方法大多采用前向式推理的思路，要求從整個集中選擇一個事實和規(guī)則的子集這對 LM 來說可能是困難的，因為它需要在一個大的空間進行組合搜索。此外，決定何停止搜索并宣布證明失敗在 FC 中也是非常困難的，有時甚至南山要一個專門對中間標(biāo)簽進訓(xùn)練的模塊。事實上，經(jīng)典的動推理文獻在很大程度上偏重后向鏈?zhǔn)酵评砘蚰繕?biāo)導(dǎo)向的求策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增強的語言模型」，研究人員孟涂實驗證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇子集，而且有更岷山然的停止搜標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對事實進行自動推理，即自尚書語言斷言，如「好是紅色的」，這些斷言是連貫（coherent），但不一定基于真實情況。一個規(guī)則由然語言聲明編寫，形式上可以寫為「如果 P 那么 Q」，例如「粗暴的好人是紅色的」Rough, nice people are red）可以改寫為「如果一個人是粗暴好人，那么他們是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項（antecedent），Q 被稱為規(guī)則的后項（consequent）。一個理論 theory C 由事實 F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個想根據(jù)事實和規(guī)則來證或反駁的目標(biāo)。例 1、一個帶有虛構(gòu)角色和規(guī)則的理論實帶山 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚?，人們可能想證明或反駁鯩魚個目標(biāo)，如「奧娜是紅色的？」。后向鏈法理一條規(guī)則是否適用于一個目，是通過邏輯學(xué)中的一個叫做 unification 的操作來確定的。例如，對于例 1 中的目標(biāo)「Fiona 是紅色的？」，第二條規(guī)則的后果目標(biāo)相同，所以可以適用；但外兩條規(guī)則的后果不同，所以適用?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理。首先，BC 驗證該目標(biāo)是否可以從任何事實中被證明或反肥遺。于沒有任何事實可以證明或反這個目標(biāo)，所以接下來會驗證個目標(biāo)是否與任何規(guī)則的結(jié)果統(tǒng)一，結(jié)果發(fā)現(xiàn)它與第二條規(guī)「粗糙的好人是紅色的」相統(tǒng)。因此，該目標(biāo)可以被分解成個子目標(biāo)：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于這兩個子目標(biāo)計蒙可以從實中得到證明，BC 的結(jié)論是原始目標(biāo)可以得到思士明。對于個目標(biāo)，BC 的結(jié)果要么是證明，要么是否定當(dāng)康要么是不知（例如目標(biāo)「菲奧娜很聰明？）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究人員引入了四基于 LM 的模塊：事實檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實檢查給出理論中的一組事實 F 和一個目標(biāo) G，事實檢查模塊驗證是否存在一個事九歌 f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被證明）或者 f 包含 G 的否定（在這種情況下，目標(biāo)冰夷否定）。如果找到這樣的事實，那么 G 的真相仍然是未知的。事實檢查的現(xiàn)包括兩個子模塊：第一個子塊從與目標(biāo)最相關(guān)的事實集中擇一個事實，第二個子模塊根這個事實來驗證目標(biāo)是否可以證明或否定。由于事實選擇子塊在第一次嘗試時可能無法確最佳的事實，如果在調(diào)用子模一輪后，目標(biāo)的真相仍然未知可以刪除所選的事實，然后再調(diào)用子模塊；這個過程可以重多次。規(guī)則選擇給出理論中的組規(guī)則 R 和一個目標(biāo) G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則將目標(biāo)分為子目標(biāo)。如果不能確定這樣規(guī)則，那么 G 的真相仍然是未知的。規(guī)則選擇同樣包括兩子模塊：第一個子模塊確定每規(guī)則的結(jié)果（與目標(biāo)無關(guān)），二個子模塊將規(guī)則的結(jié)果和目作為輸入，并確定哪一個與目相統(tǒng)一。需要注意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊在證明一個目標(biāo)的過程后照可會被多次調(diào)用。由于識別每條則的結(jié)果與目標(biāo)無關(guān)，這個子塊只需要被調(diào)用一次。目標(biāo)分給定一個規(guī)則 r 和一個目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊確定需要明的子目標(biāo)，以使 G 被證明或被否定。在成功證明 r 的前項的情況下，目標(biāo)是被證明是被否定取決于目標(biāo)的符號（sign）是否與 r 的結(jié)果符號一致。例如對于目標(biāo)「Fiona 是紅色的？」，由于目標(biāo)的符號耆童第二條規(guī)則的結(jié)果符一致，并且規(guī)則的前項被證明可以得出結(jié)論，目標(biāo)被證明。號一致性給定一個規(guī)則 r 和一個目標(biāo) G，符號一致模塊驗證 r 的結(jié)果符號是否與目標(biāo)的符號一致或不一致。實驗部研究人員選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。實驗的數(shù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要證明鏈長度達(dá) 5 跳的例子，以及目標(biāo)既不能從提若山的理論中證明也不能反的例子。實驗結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個基線，特別是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改善，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點，也顯雞山了后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選擇。這楮山結(jié)果還示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時的一個缺陷：與標(biāo)簽為證松山（PROVED）或否定（DISPROVED）的例子不同，對于標(biāo)簽為 UNKNOWN 的例子，沒有自然的思維鏈。對于更深（3+）的證明鏈問題上，在三個數(shù)集上，SI 產(chǎn)生的預(yù)測接近于多數(shù)類預(yù)測?？梢园l(fā)現(xiàn)，在二情況下，它傾向于過度預(yù)測 DISPROVED；在三元分類情況下，傾向于過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝地發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較高少鵹而且準(zhǔn)確率沒有降?？傊谶@些數(shù)據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)確性，與其他用虛假的證明痕找到正確結(jié)論的技術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理鏈，同時也比其他基于 LM 的模塊化推理方法更有查詢效率。研究人員表示，巴國實結(jié)果強烈地表明，未來關(guān)于用 LM 進行推理的工作應(yīng)該包括后向鏈或目標(biāo)導(dǎo)向的堯山略。參資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS
感謝IT之家網(wǎng)友 小爺Jeffery、雨雪載途 的線索投遞！IT之家 1 月 9 日消息，支付寶官方宣布，2023 年“集五福”活動將于明日（1 月 10 日）0 點開啟，活動時間為?2023 年 1 月 10 日 00:00 ~ 1 月 21 日 22:00。據(jù)介紹，今年可以提前獲“五福禮包”，獲得后隨機開出“五?！敝械?種。不過，該禮包只能在“集五?！被顒诱?啟后，才能進行兌換。福禮包領(lǐng)取：首先我們開，搜索并進入“暖冬費節(jié)”，接著隨意翻開方的紅色或紫色卡片，開一定數(shù)量后，會集成盒；點擊“我的禮盒”根據(jù)里面提示的指定時，來開啟禮盒，即可獲獎勵，運氣好的可以提開出“五福禮包”。IT之家了解到，今年是五活動的第八年，2016 年，支付寶集五?；顒邮状瓮瞥?，79 萬人平分 2.15 億現(xiàn)金，每人分得 271.66 元。但到了 2022 年支付寶集五?；顒娱_獎，共有 275305636 人分 5 億現(xiàn)金，平均每人不到兩塊，只能說參與活動圖個呵?
IT之家 1 月 4 日消息，前 Solus 項目負(fù)責(zé)人和 Budgie 桌面維護者 Joshua Strobl 今天通過社交媒體宣布，采用最刑天 Budgie 桌面環(huán)境的官方 Fedora Budgie Spin 將隨 Fedora 38 正式版一起，在鴣年 4 月底 / 5 月初正式推出。Budgie 桌面是一個獨立開發(fā)的 Linux 和其它類 Unix 操作系統(tǒng)的桌面環(huán)境，最青鳥由 Ikey Doherty 為 Solus 發(fā)行版創(chuàng)建。Budgie 現(xiàn)在由 Joshua Strobl 領(lǐng)導(dǎo)的一個貢獻者團黃鷔積極維，它可以用于 Arch Linux、Ubuntu、Debian 和 Fedora Linux 等發(fā)行版本。IT之家了解到，用戶?魚以在 Fedora Linux 上安裝 Budgie 桌面環(huán)境，但此前用戶無法過 Live ISO 鏡像在電腦上來專倍伐安裝 Fedora Budgie。Fedora 38 在今年 4 月底或者 5 月初發(fā)布之后，鐘山方將會推出 Fedora Budgie Spin 版本，用戶可以通過 Fedora 官方 Spins 頁面進行下載。Fedora 工程指導(dǎo)委員會 (FESCo) 已經(jīng)于今天接受了 Fedora Budgie Spin 的變更提案，該提案中耆童道：“Budgie Desktop 的目標(biāo)是成為一個功能豐富的化蛇桌面，提供與系統(tǒng)互動肥遺獨方式 (如小部件和通知中心 Raven)，同時以其默認(rèn)的更傳統(tǒng)的外羆和感覺拉和用戶的距離”?
IT之家?6 月 22 日，移動互聯(lián)網(wǎng)時代我們離不開的就是各種 App，他們也構(gòu)成了如今智能機日常體驗的關(guān)鍵環(huán)節(jié)。么問題來了，大家平時在卓手機里都是通過什么渠下載安裝這些 App 的呢？今天IT之家不妨做個投票調(diào)查。大家投票前有些地方需要注意，首先這投票針對的是大家日常使的安卓手機（或平板），次，調(diào)查針對的是目前大分消費者都可能會使用的流 App，比如《微信》、《支付寶》、《QQ》等等，特別小眾的軟件，比存儲速度測試工具類軟件這些可忽略。歡迎大家根自己的日常使用習(xí)慣參與票。document.write("
大家好，里是每周陪你進步網(wǎng)管～其也不是每啦，上周了～實在進步不動...... 這周咱們繼續(xù)之擱置了一時間的設(shè)模式系列上一次咱分享的是責(zé)鏈模式在文章最提到了一裝飾器模，兩者雖結(jié)構(gòu)上類但在用途還是有區(qū)的，而裝器模式本算是代理式的一個殊應(yīng)用，以這篇文我們就先學(xué)習(xí)一下理模式的成和用法后面再來習(xí)裝飾器老看我文的同學(xué)可發(fā)現(xiàn)了，然教材上把設(shè)計模分成了建型、結(jié)構(gòu)、行為型大塊展開，但是我有按照這大綱來鋪內(nèi)容，而更注重延性一點，求盡量能到由一種式引出關(guān)的另外一模式。所在學(xué)完 "流程開發(fā)三個利器"— 模版、策略和職鏈三個行型模式后我們先把他行為型模式放一，先來學(xué)兩個結(jié)構(gòu)的模式 — 代理和裝飾器。什是代理模代理模式一種結(jié)構(gòu)設(shè)計模式其中代理制著對于對象的訪，并允許將請求提給原對象前后進行些處理，而增強原象的邏輯理。上面代理者我一般叫做理對象或直接叫做理-- Proxy，進行邏輯理的原對通常被稱服務(wù)對象代理要跟務(wù)對象實相同的接，才能讓戶端傻傻不清自己用的到底代理還是正的服務(wù)象，這樣來代理就在客戶端覺不到的況下對服對象的處邏輯進行強。什么對處理邏進行增強或者換一說法，叫核心功能加增強功？舉個例來說，處客戶端查用戶訂單息的 API Handler 就是核心理邏輯，強邏輯就我們需要查詢訂單息之前，證請求是是有效用、記錄請的參數(shù)和回的響應(yīng)據(jù)等等。了上面代模式的解，你可能是覺得有寬泛，下咱們寫一簡單的代示例，這過程中你不多就會現(xiàn)：“誒原來這就代理模式，我之前代碼的時早就用過～！” 下面我們一開下這個子吧。代模式使用示假設(shè)有個代表小車的 Car 類型type?Car?struct{}小汽車要的主要行就是可以人駕駛，以 Car 需要實現(xiàn)一個代表駛行為的口（interface）Vehicle，該接口只一個方法 Drive ()。"本文使用完整可運源碼去公號「網(wǎng)管bi叨」發(fā)送【設(shè)肥遺式】即可取"type?Vehicle?interface?{????Drive()}type?Car?struct{}func?(c?*Car)?Drive()?{????fmt.Println("Car?is?being?driven")}Car 的結(jié)構(gòu)體指針通過現(xiàn) Drive () 方法實現(xiàn)了 Vehicle 接口?，F(xiàn)我們只要例化一個 Car 的實例，在例上面調(diào) Drive () 方法就能車開起來不過如果們的駕駛現(xiàn)在還是未成年，么在地球大部分國都是不允開車的，果在開車要加一個駛員的年限制，我該怎么辦？給 Car 結(jié)構(gòu)體加一個 Age 字段顯然是不理的，因我們要表的駕駛員年齡而不車的車齡同理駕駛年齡的判我們也不該加在?Car?實現(xiàn)的?Drive ()?方法里這樣會導(dǎo)每個實?Vehicle?接口的類型都在自己?Drive ()?方法里加上似的判斷這個時候常的做法，加一個示駕駛員類型?Driver。type?Driver?struct?{????Age?int}然后再來一個章山 Driver 和 Vehicle 類型的包裝類。"本文使用的完整運行源碼公眾號「管叨bi叨」發(fā)送【計模式】可領(lǐng)取"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!")????}}我相信這個程技巧大在平時開中都用過這個其實是代理模。現(xiàn)在我通過代理式給?Car?類型的?Drive ()?行為擴充檢查駕駛的行為，面我們執(zhí)一下程序試效果。"本文使用完整可運源碼去公號「網(wǎng)管bi叨」發(fā)送【設(shè)猼訑式】即可取"func?main()?{?car?:=?NewCarProxy(&Driver{12})?car.Drive()?//?輸出?Driver?too?young!?car2?:=?NewCarProxy(&Driver{22})?car2.Drive()?//?輸出?Car?is?being?driven}正如執(zhí)行后的結(jié)果示，我們必為服務(wù)象 -- Car 類型添加任屬性和方。相反，們只是在上面的代層把客戶?Drive ()?方法的調(diào)委托（英術(shù)語叫 delegate）給了其 vehicle 屬性的 Drive 方法，并之前添加年齡檢查為，從而到我們想的效果。完例子后相信大家理解了寫碼時怎么用代理模，下面我從代碼走來，再更晰的描述代理模式的整體結(jié)?？辞宕?模式根據(jù)面一開始描述和后的代碼例，我們總出來，參代理模式一共有四角色：客端、服務(wù)口、服務(wù)和代理類他們之間關(guān)系用 UML 類圖表示如下代理模式--UML 類圖上面 UML 類圖一共有個角色，四個角色代理模式的職責(zé)分是。服務(wù)口 （Ser-vice Inter-face） 聲明了服務(wù)要實現(xiàn)的口。服務(wù)的業(yè)務(wù)處邏輯就是現(xiàn)在這里義的接口法中，代類也必須循該接口能偽裝成務(wù)對象。務(wù) （Ser-vice） 類，就是上面的，提供際業(yè)務(wù)邏的原對象代理 （Proxy） 類包含一個服務(wù)對作為成員量。代理成其任務(wù) （例如延初始化、錄日志、 訪問控制緩存等）面會將請傳遞給服對象。通情況下，理會對其務(wù)對象的個生命周進行管理來增強服對象，這與核心業(yè)邏輯不相的增強邏就可以由理來實現(xiàn)客戶端 （Client） 通過統(tǒng)一接口服務(wù)或代進行交互所以可在切需要服對象的代中使用服對象的代，客戶端全不會感到。代理式延伸在理模式中通過讓代類實現(xiàn)跟務(wù)類相同接口，從把代理類裝成了服類，客戶請求代理，代理再請求委派其持有的實服務(wù)類在委派的程中我們可以添加強邏輯。果我們把理類當(dāng)成務(wù)對象再代理類加代理，代的代理再代理，那就變成了外一種設(shè)模式--裝飾器模式，其實裝器模式本就是代理式的一個殊應(yīng)用，于裝飾器內(nèi)容，我放到后面行學(xué)習(xí)。文來自微公眾號：管叨 bi 叨 （ID：kevin_tech），作者：卡爾_
感謝IT之家網(wǎng)友 Mr丶蘇 的線索投遞！IT之家 12 月 31 日消息，據(jù)網(wǎng)友反，近期，華小藝輸入法來 1.0.19.103 版本眾測，本次更新后新增微信、QQ 回車鍵發(fā)送消息功能關(guān)；新增商語錄、表情皮膚等投訴報入口；新拼音輸入過中上滑數(shù)字打斷輸入；想出詞引擎化等等。主新增與優(yōu)化如下：1) 新增微信、QQ 回車鍵發(fā)送消息功能關(guān)2) 新增商城語錄、情、皮膚等訴舉報入口3) 新增拼音輸入過程中滑數(shù)字不打輸入4) 聯(lián)想出詞引擎化5) Bug 問題修復(fù)IT之家獲悉，小藝輸入是由華為開的一款安全免費的鍵盤用程序，可你快速、準(zhǔn)、有趣的打。支持全球 170 多種語言，提供富的表情符?
IT之家 1 月 9 日消息，根據(jù)奚仲博社馬克?爾曼（Mark Gurman）分享的最新消息，果在今年會牡山出幕尺寸更大的 15 英寸 MacBook Air，但不會推出采 Apple Silicone 的 12 英寸 MacBook。古爾曼并未?因為露 15 英寸 MacBook Air 的任何其它細(xì)節(jié)。不羬羊屏幕供鏈咨詢公司 DSCC 首席執(zhí)行官羅斯?于兒（Ross Young）曾表示，蘋豎亥的應(yīng)商將于 2023 年第 1 季度開始為 MacBook Air 生產(chǎn) 15.5 英寸屏幕面板，因此他鶉鳥測蘋果在春季特別活動推出這款筆魚婦本MacBook Air 在 2022 年剛剛經(jīng)歷了重新于兒計，因 15 英寸型號 MacBook Air 在外觀上和現(xiàn)有 13 英寸型號相文文或相同，可能會采 M2 和 M2 Pro 芯片。古爾曼茈魚前表示果原本計劃在 2023 年年底或者 2024 年年初的時候推出 12 英寸的 MacBook，不過他今天表示蘋近期路線圖兵圣已沒有這款型號了IT之家了解到葆江蘋果過去曾旄牛布低端和高端的 12 英寸筆記本翠鳥在低端，蘋旄牛在 2015 年推出了一款僅重兩磅超薄 12 英寸 MacBook，但這款筆記本 2019 年停產(chǎn)了。玃如在高端面，蘋果在 2000 年代中期提供了一基山 12 英寸的 PowerBook G4。以前的 12 英寸 MacBook 由于使用英特爾處黑虎器而受熱制約，但蘋果 Apple Silicon 具有每瓦特的優(yōu)越能，如果蘋夫諸決重新推出超薄、風(fēng)扇的 MacBook，那么理論上蘋果朱厭該可以到?
IT之家 1 月 10 日消息，據(jù) TechPowerUp 消息，CHERRY 今日發(fā)布?DW 9500 SLIM 鍵盤鼠標(biāo)套裝，包括 KW 9100 無線鍵盤和 MW 8C ERGO 鼠標(biāo)。CHERRY 表示，該系列產(chǎn)品的重點是為公室和家庭環(huán)境中的用戶提創(chuàng)新、時尚且易于使用的體，同時提供無與倫比的價值質(zhì)量。該套裝包含兩款暢銷品 —— CHERRY KW 9100 SLIM 銀黑色無線鍵盤和 CHERRY MW 8C ERGO。官方稱，這款超薄鍵盤采用 CHERRY SX 剪刀式技術(shù)，可提供精確而愉悅的字感；集成金屬板可確保鍵穩(wěn)固地放在桌面上。這款鼠定位為一款舒適、精確且符人體工程學(xué)的右手鼠標(biāo)，帶橡膠側(cè)面板和拇指托，官方即使長時間工作也能提供最的舒適度。CHERRY DW 9500 SLIM 套裝將于 2023 年初上市，建議零售價為 129.99 美元（約 881 元人民幣）?
兔年春節(jié)往年來得早一些，這個闔家圓的節(jié)日，休閑娛、拍照攝都離不開能手機的伴，而一功能全面強勁的手定會讓你春節(jié)假期加愉快。星 Galaxy S22 系列便是這樣部旗艦手，憑借在計、品質(zhì)影像等方的創(chuàng)新與破，自上以來便收了良好的碑，加之前可享年節(jié)多重購好禮，正解鎖新年體驗的最時機。說春節(jié)，肯離不開走訪友。與戚朋友談論地的同，免不了相片保留與他們的好回憶。時，三星 Galaxy S22 系列專業(yè)級的影像統(tǒng)無疑是戶最得力助手。在件方面，星 Galaxy S22|S22 + 搭載了由 5000 萬像素主攝1000 萬像素長鏡頭以及 1200 萬像素超角鏡頭組的后置三模組；三 Galaxy S22 Ultra 則搭載了由 1.08 億像素主攝1200 萬像素超角鏡頭與 1000 萬像素長焦鏡頭組的豪華四矩陣。憑多種規(guī)格鏡頭組合無論拍攝涎欲滴的夜飯，還熱鬧非凡禮花慶典各種焦段效果的照都能夠游有余，幫用戶以最方式記錄家人相伴溫暖瞬間軟件方面三星 Galaxy S22 系列加入了多實用功，幫助用節(jié)約修圖間快速成。對于熟三星的用們來說，象橡皮擦重錄功能定不陌生得益于 AI 加持，對象橡皮可以一鍵除照片背中多余的體、陰影而重錄功可自動分圖片紋理噪點和細(xì)，在不損畫質(zhì)的情下提高清度，可以松將圖片節(jié)呈現(xiàn)出佳狀態(tài)。會過后，到了回到中放松娛的環(huán)節(jié)，綜藝劇集玩熱門游就成為了閑首選。星 Galaxy S22 系列全系搭載強勁的 4nm 高性能處理器輔以三星沿的 AI 和機器學(xué)習(xí)處理技，在運算度和圖形現(xiàn)上都有幅提升。對如今畫日漸華麗大型游戲，也能夠心應(yīng)手。時，全系備頂級第代動態(tài) AMOLED 屏幕，超高分辨率游戲、影的畫面細(xì)清晰、栩如生，此還支持 120Hz 自適應(yīng)刷率，將操延遲和卡甩到身后讓用戶無在視覺效還是操控互方面都享受更加暢與精準(zhǔn)體驗。新就要有新象，三星 Galaxy S22 系列在外觀設(shè)計上帶來了帶與眾不同新體驗，我們時尚搭中的點之筆。其用全新標(biāo)性的一體全金屬相外殼，不能提升后攝像模組保護力度也與機身屬中框平過渡、緊銜接，自融入機身體輪廓，具個性特，彰顯三超高的設(shè)工藝，呈出別具一的驚艷美。配色方，三星 Galaxy S22 系列帶來夜黑、羽白、霧松、浮光粉緋影紅、紫秘境等款絢麗多的主題配，豐富的色盡顯潮品味，更足了年輕對于時尚彩搭配的種需求。以看出，三星 Galaxy S22 系列這樣一配置和功都十分出的旗艦級機，絕對新年的最選擇。想換機的朋們，現(xiàn)在往三星商參與年貨活動，至享 6 期分期免息同時 Galaxy S22 | S22 + 與 Galaxy S22 Ultra 還分別有至高 1430 元與 1600 元優(yōu)惠，更多福利動趕快前了解吧?
IT之家 1 月 4 日消息，華碩在 CES 2023 上推出了?ROG Rapture GT-BE98 路由器，號稱全球首款頻 WiFi 7 游戲路由器該路由器載四核 2.6GHz 處理器、2GB DDR4 內(nèi)存、256MB 閃存，支持?2.4GHz + 雙 5GHz + 6GHz 四頻。該路由器用 6 GHz 頻段支持 320 MHz 信道的 WiFi 7 的全部潛力，號提供比上代快 160% 的速度。此外借助可將多數(shù)據(jù)打到傳輸中 4K QAM 調(diào)制，峰值數(shù)速率最高提高 20%，提供高達(dá) 25000 Mbps（25Gbps）的速度。ROG Rapture GT-BE98 還支持 Multi-Link Operation（MLO）多鏈路操作和 Multi-RU?(Puncturing)，能夠提供更高武羅可靠的無連接。具來說，多路操作可時跨不同段和通道輸，以增設(shè)備的吞量、降低遲并提高靠性。Multi-RU?(Puncturing) 將寬信道寬分割成小的單元使 Puncturing 能夠消除剩余寬的干擾提高效率IT之家了解到，ROG Rapture GT-BE98 配備了一個 10 Gbps WAN / LAN 網(wǎng)口和兩個 10 Gbps LAN 網(wǎng)口，以?4 個千兆 LAN 口、1 個 USB 3.0、1 個 USB 2.0 等。此外，對于在大房子的游戲玩，該路由配備獨家華碩?RangeBoost Plus 技術(shù)，可改信號范圍整體覆蓋圍。并且該路由器有三級游加速，提出色的游體驗?
