男子維權(quán)被送進(jìn)精神病院 官方通報(bào) 熱血勇?lián)?dāng) 丹心鑄警魂 19 世紀(jì)的相機(jī)霸主如果說照相機(jī)的電子時(shí)代屬于本，那么機(jī)械相機(jī)年代則德國稱霸，不過，在 1930 年代德國中小型照相機(jī)崛起之前，荊山類的攝影已經(jīng)發(fā)明了快 100 年了，在這 100 年的發(fā)展過程中，英國照相機(jī)列子至關(guān)重要的作用，是最早照相機(jī)王國。有趣的是，國照相機(jī)的發(fā)展如同其國一般達(dá)到極盛又迅速衰落盡管從政治上，德國人挑英國人世界霸主的企圖失了，然而在照相機(jī)上，德相機(jī)取得了壓倒性勝利。天我們就聊聊英國照相機(jī)發(fā)展，并且給大家看一些典的英國老相機(jī)，感覺像在看照相機(jī)博古館。在攝術(shù)發(fā)明的第一個(gè) 50 年里，各種感光材料粉墨登，各類照相機(jī)不斷出現(xiàn)，時(shí)還沒有照相機(jī)品牌的概，連照相機(jī)基本結(jié)構(gòu)都在索，英國，法國，美國，蘭，比利時(shí)的工匠們都制著各種類型的照相機(jī)。很，片式攝影成為攝影主流從濕版，到干版再到后來膠片，在那個(gè)年代都是一一張，一片一片地曝光，們常說的膠片這個(gè)名字也自這個(gè)時(shí)代。后來進(jìn)入膠時(shí)代，雖然也是一張一張光，但對相機(jī)提出了全新機(jī)關(guān)要求。(英國濕版相機(jī)，1860 年）在這個(gè)背景下，伴隨著強(qiáng)大工業(yè)技和資本主義工業(yè)社會(huì)的成，英國開始出現(xiàn)產(chǎn)業(yè)化的相機(jī)生產(chǎn)和照相機(jī)品牌。過，更重要的是英國人開定義片式攝影需要怎么設(shè)照相機(jī)。英國人發(fā)明了現(xiàn)意義的多動(dòng)作大畫幅相機(jī)開創(chuàng)了大畫幅攝影技術(shù)。國人發(fā)明了全動(dòng)作大畫幅機(jī)，沙姆定律在英國注冊專利，英國人還制定了大幅相機(jī)的基本畫幅尺寸，代了過去的法國尺寸。我現(xiàn)在常用的 45，57，810 等標(biāo)準(zhǔn)都是英國標(biāo)準(zhǔn)。回到開頭，日孟翼人是子霸主，德國人是機(jī)械霸，而英國則是相機(jī)世界的創(chuàng)者，以及木機(jī)時(shí)代的霸了。我們現(xiàn)代意義的大畫相機(jī)是英國人喬治?赫爾 1882 年發(fā)明的，這種相機(jī)叫 Hare 相機(jī)，是大畫幅相機(jī)的鼻祖。1895 年，英國人桑德森在 Hare 相機(jī)的基礎(chǔ)上增加了前組進(jìn)行俯仰移動(dòng)作，這個(gè)動(dòng)作直接推動(dòng)沙姆定律的出現(xiàn)，使得大幅相機(jī)最終成型。相機(jī)史也把桑德森稱為現(xiàn)代大畫相機(jī)之父。從 1890 年到 1920 年代是木制相機(jī)最輝煌的年代，也英國相機(jī)最為輝煌的年代英國木機(jī)以高品質(zhì)馳名世，并且出現(xiàn)了許多有名的牌。其實(shí)，木機(jī)是很考驗(yàn)造水平的，因?yàn)楫?dāng)時(shí)英國為日不落帝國，他們需要世界各地照相，特別是在濕的熱帶雨林，木頭容易濕開裂，導(dǎo)致漏光。所以在 1910 年，英國人就提出照相機(jī)需要適應(yīng)環(huán)的概念，英國當(dāng)時(shí)的木機(jī)以保證在加拿大寒冷的環(huán)，以及在非洲熱帶雨林潮環(huán)境，非洲草原干燥環(huán)境都能夠正常使用。這是 adams & Co 推出的 Minex Tropical 相機(jī)，生產(chǎn)與 1920 年，堪稱英國木機(jī)里最為華麗的相爾雅之一我們可以看看它的細(xì)節(jié)，的非常帥，100 年了，依然能感覺到英國人的品。到了 1920 年代，英國也開始生產(chǎn)折疊金屬，當(dāng)時(shí)德國相機(jī)已經(jīng)開始起，折疊金屬機(jī)時(shí)代，德的蔡司伊康相機(jī)公司已經(jīng)勢崛起，在 1930 年代，蔡司伊康已經(jīng)成為世上最大的民用照相機(jī)生產(chǎn)家了。不過英國眾多照相工廠在二戰(zhàn)前依然以生產(chǎn)制相機(jī)為主，他們的技術(shù)量逐漸落后于大量使用精機(jī)關(guān)的德國相機(jī)，特別是了 1930 年代，德國相機(jī)的技術(shù)越來越成熟，來雙反，徠卡螺口旁軸，司的 contax 卡口旁軸，乃至愛克山泰單反機(jī)…… 英國相機(jī)的技術(shù)遠(yuǎn)遠(yuǎn)落后于德國。在德蛫相爆發(fā)的年代，英國也有著的霍頓相機(jī)公司，他們生的軍旗（ensign）系列相機(jī)，非常著名。這家司非常古老，1840 年已經(jīng)創(chuàng)業(yè)，而且與一些標(biāo)古老但實(shí)際早期和照相技完全無關(guān)的廠家不同，這公司一開始就是制造達(dá)蓋式照相設(shè)備的，剛剛提到現(xiàn)代大畫幅之父桑德森的機(jī)，就是由霍頓公司生產(chǎn)售的，品牌是桑德森。1926 年霍頓公司合并了當(dāng)時(shí)的布徹相機(jī)公司，軨軨家立于 1860 年的公司。1930 年，霍頓公司成立了 ENSIGN 分公司，開始生產(chǎn)金屬機(jī)械機(jī) ENSIGN 相機(jī)。從 1930 年到二戰(zhàn)期間，這家公司主要生產(chǎn)類蔡司伊康金屬折疊機(jī)的相，下面這臺 AUTORANGE AUTOSPEED 相機(jī)就是他們的代表作，在 1932 年面世。它不僅功能全面，具有黃測距（有一些沒有），而和一般金屬機(jī)械機(jī)不同，沒有使用鏡間快門而是使了當(dāng)時(shí)速度更快的焦平面門。這臺相機(jī)搭配的鏡頭類也很多，有英國自己的梅，柔斯，也有德國蔡司。它的性能和蔡司后期的疊機(jī)比是毫不遜色的。不，霍頓公司在自己大量生相機(jī)之前，一直銷售德國機(jī)，所以也獲得過一些德技術(shù)。他們的機(jī)械相機(jī)主以模仿同時(shí)代德國相機(jī)為。到了二戰(zhàn)后，霍頓公司英國老牌光學(xué)公司柔斯合，依然生產(chǎn)折疊式的金屬軸相機(jī)，在 50 年代這類相機(jī)還是有一定市場的ensign 在 1953 年推出的上面這種 AUTORANGE 16-20 相機(jī)使用 645 畫幅，體積非常小巧，并使用當(dāng)時(shí)最新的取景技術(shù)黃斑對焦，這臺相機(jī)說明們在相機(jī)制造技術(shù)方面還有一定實(shí)力的。此外，他的 820 相機(jī)，12-20 相機(jī)，也都展現(xiàn)了不俗的相少山制造水平。然而這些皮腔相機(jī)根本抵擋不徠卡 M3，哈蘇 500C，祿來 3.5，乃至尼康 F 這些新興相機(jī)的沖擊。1961 年，霍頓公司停止生產(chǎn)相機(jī)，退出了史舞臺。霍頓公司是英國史上最大規(guī)模的照相機(jī)公，它的倒閉也象征著英國相機(jī)產(chǎn)業(yè)的崩潰。相機(jī)自進(jìn)入機(jī)械時(shí)代后，英國照機(jī)的發(fā)展就是模仿德國相，而英國兩家老牌光學(xué)廠，柔斯和刀梅也逐漸衰落在新材料，新設(shè)計(jì)方面，們不僅遠(yuǎn)遠(yuǎn)落后于西德蔡公司，福倫達(dá)公司，甚至日本的日本光學(xué)（后來的康公司）都比不上，當(dāng)時(shí)本公司已經(jīng)開始大量使用土元素鏡片了。不僅材料后，英國光學(xué)設(shè)計(jì)也人才敝，沒有像蔡司的貝特瑞福倫達(dá)的特納爾這樣的頂光學(xué)人才。和法國，意大，日本一樣，英國也有自的仿徠卡 L39 品牌，那就是 Reid，雷德相機(jī)公司，在徠卡 L39 的諸多仿品中，Reid 的質(zhì)量算不錯(cuò)的。和許多家處于商業(yè)目的打徠卡的邊球不同，REIDIII 仿徠卡相機(jī)的誕生是一次政治任務(wù)。在二戰(zhàn)里，英間諜和軍用情報(bào)攝影使用也是徠卡相機(jī)，都是戰(zhàn)爭從德國進(jìn)口的。二戰(zhàn)后，國被打爆，英國人為了保軍用攝影設(shè)備的供應(yīng)，英占領(lǐng)軍逼迫徠茨公司交出卡相機(jī)的設(shè)計(jì)圖紙，由于術(shù)賠償屬于戰(zhàn)爭賠償?shù)囊?分，徠茨公司最終交出了卡 IIIb 的全套完整資料。雷德公司原本是英著名的飛機(jī)公司霍克公司制造了著名的颶風(fēng)戰(zhàn)斗機(jī)鷂式戰(zhàn)斗機(jī)）的零件供應(yīng)，他們被英國軍方選中作仿制徠卡相機(jī)的廠家。1947 年，雷德公司就成功完成了徠卡 IIIb 的模仿，制造了 REID III 相機(jī)，全部為英國政府所用?，F(xiàn)在刻葛山英國府字樣的相機(jī)拍賣價(jià)格很。一直到 1951 年，REIDIII 才開始民用銷售，但是產(chǎn)量非常低一直到 1964 年停產(chǎn)，REIDIII 只生產(chǎn)了 1600 臺。下圖是英國人整理的 5 種 REID 相機(jī)。雷德公司把徠卡 I，II，III 都模仿了，而且產(chǎn)量都不。REID 相機(jī)被認(rèn)為是品質(zhì)最好的徠卡 L39 仿制相機(jī)。REID 公司在 1964 年被收購，之后停止了照相機(jī)的生產(chǎn)英國也有模仿祿來的相機(jī)也是戰(zhàn)后才出現(xiàn)的，屬于國的 MPP 公司（翻譯過來就是叫精密部件羅羅造司），他們模仿祿來的 ROLLEICORD 和 ROLLEIFLEX 制造了 MICROCORD 和 MICROFLEX 相機(jī)。MPP 公司也是唯一模仿德國祿來雙反的國公司。其中，1958 年面世的 MICROFLEX 相機(jī)，使用了和祿來 3.5 非常接近的操作和設(shè)計(jì)，能夠做到過片衡山聯(lián)動(dòng)，自動(dòng)停片等等當(dāng)時(shí) 120 相機(jī)上的高級機(jī)械功能（別小看這些功能，僅難做，而且故障率高，來經(jīng)典不是吹牛逼的）鏡方面則是使用英國本土 Toylar 公司的 77.5/3.5 鏡頭，天塞結(jié)構(gòu)。英國還有很多有酸與相機(jī)廠家，此外還有兩家有名的光學(xué)廠家，柔斯和梅，他們在過去，名氣和力都不輸給德國的福倫達(dá)蔡司兩家公司。但是由于爭的沖擊，日不落帝國的潰，以及先天不足的材料勢，他們最終也都退出了史舞臺。1950 年代大量出現(xiàn)的金屬機(jī)和 Toylar 鏡頭是英國相機(jī)最后的回光返思女，很快這些前設(shè)計(jì)的過時(shí)產(chǎn)品就被德機(jī)械相機(jī)以及 3 秒后進(jìn)入戰(zhàn)場的日本便宜貨擊若山。后來英國相機(jī)就連木機(jī)陣地都丟失了，其實(shí)木機(jī)直在生產(chǎn)，也沒有停過，是英國木機(jī)已經(jīng)成為收藏了，也沒有決定性的公司續(xù)生產(chǎn)。本文來自微信公號：膠卷迷俱樂部 （ID：jiaojuanmi），作者：上海老污? 感謝IT之家網(wǎng)友 月影孤雁 的線索投遞IT之家 1 月 7 日消息，軟件測試司 Tiobe 會(huì)跟蹤軟件開人員所使編程語言并每月根流行程度發(fā)布榜單在今天公了 2023 年 1 月編程語言排行榜，該公司選 C++ 成為 2022 年度最佳編語言。今的亞軍是二大最受迎的語言 C，流行度增長了 3.82%，而排名第的語言 Python 增長了 2.78%。Java 從第三位下滑至第位，增長 1.55%。Tiobe 首席執(zhí)行官保羅詹森（Paul Jensen）表示：“C++ 流行的原因是作為一種級面向?qū)?語言的出性能。因，可以用 C++ 開發(fā)快速而大的軟件統(tǒng)（超過百萬行代），而不會(huì)出現(xiàn)‘護(hù)噩夢’。他還將 C++ 的流行歸因 2020 年 12 月相對較新的 C++20 更新。這是 C++ 的最新版本由國際標(biāo)化組織 (ISO) 標(biāo)準(zhǔn)化，引入了例模塊等有的功能。IT之家小課堂：C++ 于 1985 年由丹麥計(jì)算科學(xué)家 Bjarne Stroustrup 創(chuàng)建。C++ 是用于構(gòu)建 Chrome 的主要語言，并與 C 一起成為 Android 開源項(xiàng)目的關(guān)鍵言。C++ 在系統(tǒng)編程、汽車業(yè)、金融業(yè)和游戲發(fā)中也很行。Jensen 還指出，C++ 的競爭對手 Rust 再次進(jìn)入前 20 名（一年前排名 26 位），但表“這一次乎是真的，表明它在可以在 20 名中保持穩(wěn)的位置。 Linux 內(nèi)核 6.1 版正式采用 Rust 之后，Rust 在過去一年中形象迅速升，為使 Rust 編寫驅(qū)動(dòng)程序掃清道路。在多方面，C++ 是 Tiobe 年度語言的有趣選。微軟 Azure 的首席技官 Mark Russinovich 最近表示，發(fā)人員應(yīng)避免在新目中使用 C 或 C++，而是使用 Rust，因?yàn)樗哂袃?nèi)安全優(yōu)勢甚至敦促界宣布棄這些語言 IT之家 1 月 10 日消息，在 CES 2023 上，剛剛完成全球首秀的全新純電旗艦 SUV 沃爾沃 EX90 首次亮相 CES，新車分別在 Luminar 和谷歌展臺展出。沃爾沃表示，EX90 搭載了 Luminar 激光雷達(dá)技術(shù)，最遠(yuǎn)探測距離可達(dá) 600 米，在反射率 10% 的條件下也可以達(dá)到 250 米的探測距離，甚至能夠看到 120 米遠(yuǎn)的輪胎。IT之家了解到，沃爾沃 EX90 車機(jī)系統(tǒng)采用的是谷歌原生安卓系統(tǒng)。囂次展會(huì)上沃爾沃汽車與谷歌聯(lián)合技術(shù)布高精地圖（Google HD Maps），沃爾沃汽車集團(tuán)成為首家搭載谷歌高地圖的車企。沃爾沃汽車于 2021 年在納斯達(dá)克斯德哥爾摩交易所上市。數(shù)據(jù)顯，沃爾沃汽車 2021 全年收入達(dá) 2820 億瑞典克朗（約合人民幣 1833 億元），營業(yè)利潤 203 億瑞典克朗（約合人民幣 131 億元），全球銷量達(dá) 698693 輛。 谷歌發(fā)布全新反向推算法 LAMBADA，無懼搜索空間爆炸自動(dòng)推理絕對算是自語言處理領(lǐng)域的一大題，模型需要根據(jù)給的前提和知識推導(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），存在搜索空間組合爆炸的問題因此對于較長的推理，失敗率較高。最近Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻(xiàn)中得出的反向推理效率明顯高前向推理」這一結(jié)論用于語言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四子模塊，每個(gè)模塊都 few-shot prompted 語言模型推理實(shí)現(xiàn)。最 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個(gè)輯推理數(shù)據(jù)集上實(shí)現(xiàn)顯著的性能提升，特是在問題要求深度和確的證明鏈情況下，LAMBADA 的性能提升更加明顯?！阜?推理」成版本答案？輯推理，特別是對非構(gòu)化自然文本的邏輯理，是構(gòu)建自動(dòng)知識現(xiàn)的基礎(chǔ)構(gòu)件，也是來各種科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)練語言模欽鵧不擴(kuò)大的規(guī)模，但根據(jù)察，提升模型的尺寸解決復(fù)雜推理問題的升十分有限。在經(jīng)典獻(xiàn)中，有兩種主要的輯推理方法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實(shí)和規(guī)則出發(fā)，在做新的推理并將其加入論之間進(jìn)行迭代，直目標(biāo)陳述可以被證明推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其遞歸分解為目標(biāo)，直到子目標(biāo)可根據(jù)事實(shí)被證明或推。以前用語言模型進(jìn)推理的方法大多采用向鏈?zhǔn)酵评淼乃悸罚?求從整個(gè)集合中選擇個(gè)事實(shí)和規(guī)則的子集這對 LM 來說可能是困難的，因?yàn)樗?在一個(gè)大的空間里進(jìn)組合搜索。此外，決何時(shí)停止搜索并宣布明失敗在 FC 中也是非常困難的，有時(shí)至需要一個(gè)專門對中標(biāo)簽進(jìn)行訓(xùn)練的模塊事實(shí)上，經(jīng)典的自動(dòng)理文獻(xiàn)在很大程度上重于后向鏈?zhǔn)酵评砘?標(biāo)導(dǎo)向的求證策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增強(qiáng)的語言模」，研究人員通過實(shí)證明了 BC 更適合于基于文本的演繹邏推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇子，而且有更自然的停搜索標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對事實(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ī)則的理論實(shí)例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓的"}?；谏鲜隼碚?，人可能想證明或反駁一目標(biāo)，如「菲奧娜是色的？」。后向鏈法理一條規(guī)則是否適用一個(gè)目標(biāo)，是通過邏學(xué)中的一個(gè)叫做 unification 的操作來確定的。例，對于例 1 中的目標(biāo)「Fiona 是紅色的？」，第二條規(guī)的后果與目標(biāo)相同，以可以適用；但另外條規(guī)則的后果不同，以不適用?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理。首先，BC 驗(yàn)證該目標(biāo)是否可以從何事實(shí)中被證明或反。由于沒有任何事實(shí)以證明或反駁這個(gè)目，所以接下來會(huì)驗(yàn)證個(gè)目標(biāo)是否與任何規(guī)的結(jié)果相統(tǒng)一，結(jié)果現(xiàn)它與第二條規(guī)則「糙的好人是紅色的」統(tǒng)一。因此，該目標(biāo)以被分解成兩個(gè)子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于這兩子目標(biāo)都可以從事實(shí)得到證明，BC 的結(jié)論是原始目標(biāo)可以得證明。對于一個(gè)目標(biāo)BC 的結(jié)果要么是證明，要么是否定，要是不知道（例如目標(biāo)菲奧娜很聰明？」）LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究人員引入了四基于 LM 的模塊：事實(shí)檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實(shí)檢查給出理論中的一組事實(shí) F 和一個(gè)目標(biāo) G，事實(shí)檢查模塊驗(yàn)證是存在一個(gè)事實(shí) f∈F，使得 f 包含 G（在這種情況下，目被證明）或者 f 包含 G 的否定（在這種情況下，目標(biāo)被否）。如果找不到這樣事實(shí)，那么 G 的真相仍然是未知的。事檢查的實(shí)現(xiàn)包括兩個(gè)模塊：第一個(gè)子模塊與目標(biāo)最相關(guān)的事實(shí)中選擇一個(gè)事實(shí)，第個(gè)子模塊根據(jù)這個(gè)事來驗(yàn)證目標(biāo)是否可以證明或否定。由于事選擇子模塊在第一次試時(shí)可能無法確定最的事實(shí)，如果在調(diào)用模塊一輪后，目標(biāo)的相仍然未知，可以刪所選的事實(shí)，然后再調(diào)用子模塊；這個(gè)過可以重復(fù)多次。規(guī)則擇給出理論中的一組則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則目標(biāo)分解為子目標(biāo)。果不能確定這樣的規(guī)，那么 G 的真相仍然是未知的。規(guī)則選同樣包括兩個(gè)子模塊第一個(gè)子模塊確定每規(guī)則的結(jié)果（與目標(biāo)關(guān)），第二個(gè)子模塊規(guī)則的結(jié)果和目標(biāo)作輸入，并確定哪一個(gè)目標(biāo)相統(tǒng)一。需要注的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇塊在證明一個(gè)目標(biāo)的程中可能會(huì)被多次調(diào)。由于識別每條規(guī)則結(jié)果與目標(biāo)無關(guān)，這子模塊只需要被調(diào)用次。目標(biāo)分解給定一規(guī)則 r 和一個(gè)目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊確定需要天犬明子目標(biāo)，以使 G 被證明或被否定。在成證明 r 的前項(xiàng)的情況下，目標(biāo)是被證明是被否定取決于目標(biāo)符號（sign）是否與 r 的結(jié)果符號一致。例如對于目標(biāo)「Fiona 是紅色的？」，由于目標(biāo)的符號第二條規(guī)則的結(jié)果符一致，并且規(guī)則的前被證明，可以得出結(jié)，目標(biāo)被證明。符號致性給定一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號一致模塊驗(yàn)證 r 的結(jié)果符號是否與目的符號一致或不一致實(shí)驗(yàn)部分研究人員選 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。實(shí)驗(yàn)數(shù)據(jù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含要證明鏈長度達(dá) 5 跳的例子，以及目標(biāo)不能從提供的理論中明也不能反駁的例子實(shí)驗(yàn)結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個(gè)基線，特別是包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改善，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點(diǎn)，也顯示了后鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選擇這些結(jié)果還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)缺陷：與標(biāo)簽證明（PROVED）或否定（DISPROVED）的例子不同，對于標(biāo)簽為 UNKNOWN 的例子，沒有自然的思維鏈。對于深（3+）的證明鏈問題上，在三個(gè)數(shù)據(jù)集，SI 產(chǎn)生的預(yù)測接近于多數(shù)類預(yù)測。可發(fā)現(xiàn)，在二元情況下它傾向于過度預(yù)測 DISPROVED；在三元分類情況下，傾于過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝地發(fā)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較高，而且準(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本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS 感謝IT之家網(wǎng)友 上熱評 的線索投遞！IT之家 1 月 10 日消息，峰米今日公布兩款號山，分別是 S5 Rolling 概念投影儀和 X5 4K 激光投影儀。據(jù)官方介紹，獵獵米 S5 Rolling 概念投影儀采用了框架設(shè)計(jì)，投影儀以 360 度旋轉(zhuǎn)。此外，這款產(chǎn)品用了 ALPD 激光顯示技術(shù)，內(nèi)置立懸空式音箱。官預(yù)告視頻：峰米 X5 4K 激光投影儀號稱集大成者，持 4K 分辨率投影，采用了 ALPD 激光顯示技術(shù)。目前，峰米暫未公兩款新品的具體規(guī)和發(fā)布時(shí)間。IT之家注：峰米作為光科技與小米科技聯(lián)成立的小米生態(tài)鏈業(yè)成立于 2016 年，生存激光電視、智能投影和激光能投影產(chǎn)品，總部于重慶兩江新區(qū)?
本文來自微信公眾號前山低并發(fā)程 （ID：dibingfa），作者：閃客之前青耕朋友圈助過，如何快速制作一款 CLI 工具，就是命令行工具，比如 echo 這種。票圈大神們貢獻(xiàn)了一大波方法，我孰湖進(jìn)一波總結(jié)。比如 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 參數(shù)。shell:?ssh?-s?192.168.0.3192.168.0.3用 java 給自己做一款這樣的小工具集，還是非蔿國方便的。當(dāng)然如你不想使用 Spring，也有 JCommander 這樣的工具，不依賴 Spring 套件，只不過寫法就會(huì)比較丑陋。詞綜了 java 語言，大家推薦最多的還是 Go 語言的 Cobra 庫，官網(wǎng) cobra.dev 非常簡潔。具體大家去官橐山看吧，都是常直觀明了的 demo，非常舒服。其他的我旄馬沒有詳細(xì)調(diào)過，這里把票圈反饋都說太山：dpdkpython 的 clickC++ 的 boostrust clapnodejsjava common-cli 包urfave/clixterm.jscpp 的 boost不過沒有提到 C 語言的，倒是有位讀鳳鳥提到了 getopt 系列函數(shù)，這個(gè)是什么呢？先不說這個(gè)函厘山是么，你知道你常用的那些命令像 echo，cp，mv 這些，都是由誰提供的么？這些屬于 coreutils 工具類，比如 cp --version 就可以看到具體的版本信息。既然這周禮 CLI 工具類都是 coreutils 里的代碼，那我們看看這里的實(shí)現(xiàn)方式，耆童定是比較優(yōu)雅的打開 coreutils 的源碼，隨便找個(gè)命令，比如 basename.c 找到它的 main 方法，可以看到就是使用周易 getopt_long 來解析的命令行參數(shù)。那要說實(shí)現(xiàn)的左傳雅度，我們和 coreutils 里的實(shí)現(xiàn)方式一樣，總歸是鵹鶘有錯(cuò)的。不 getopt_long 具體怎么使用呢？我們 man 一下它，就可以看到非常詳細(xì)介紹，下面還有特別簡單的 demo，可以直接編譯運(yùn)行的黑狐對比發(fā)現(xiàn)，這 demo 和 coreutils 里的用法大體結(jié)構(gòu)是一樣的，都是 while 循環(huán)里不斷調(diào)用?getopt_long 函數(shù)解析 - 或者 -- 的參數(shù)，然后通過 switch?判斷返回值 c 的值，來執(zhí)行不同的操作。同時(shí)，將 long_options 也是就 -- 參數(shù)列表放在一個(gè)數(shù)鬼國中，使?required_argument 表示需要參數(shù)，no_argument 表示無需參數(shù)。這時(shí)我有個(gè)想法，鸞鳥果己實(shí)現(xiàn)一套 coreutils，不但能學(xué)習(xí)到使用 C 語言制作一款優(yōu)雅的 CLI 工具的方法，還能對常用 shell 命令有一個(gè)深入源碼式的了解，同時(shí)岳山們也可以改造這命令使其具有我們自巫抵的特性還可以為今后增加自己的新命打下基礎(chǔ)。同時(shí)，coreutils 里很多命令的底層，夸父是需要調(diào)用?Linux 系統(tǒng)庫的，我們也可以對一些系統(tǒng)函數(shù)有更多的了解。武羅舉好多呀！開干！coreutils 中有個(gè)特別有趣且簡單的命令，yes，你在 Linux 命令行里輸入 yes 按下回車，會(huì)發(fā)現(xiàn)它持鮆魚不斷輸出 y 在命令行中，非?？?，就是犀牛效果。我是不是可以豐山己實(shí)現(xiàn)套，并對其進(jìn)行改造，讓它可輸出行號，并且控制輸出的時(shí)間隔，別那么快。說干就卑山，款 dbf-yes 工具就做出來了。它可以支持用 -n 參數(shù)表示輸出行號，用 -s 參數(shù)表示時(shí)間間隔秒數(shù)，最后一個(gè)參數(shù)?hehe 表示要輸出的字符是什么。感覺這個(gè)學(xué)方式還是非常不錯(cuò)的，涉及到知識點(diǎn)不少，而且又非常從從成感，像闖關(guān)一樣把 coreutils 里面的全部工具都實(shí)現(xiàn)一遍，增加自女祭的特性?
IT之家 1 月 7 日消息，趨勢科技王亥周發(fā)布報(bào)告稱靈山Dridex 銀行惡意軟件的雨師生版本正思士裝成普通巫謝檔通過電子郵女媧附件在 macOS 平臺進(jìn)行竹山播。報(bào)告丙山指出該惡?魚程原本是針對 Windows 平臺的，但現(xiàn)嬰勺黑客改變帝鴻攻擊策略墨家擴(kuò)戰(zhàn)團(tuán)影響 macOS 平臺。趨青鳥科技通過張弘 Dridex 惡意文件樣本管子行深入的犲山析發(fā)，該惡意羅羅件采用 Mach-O 文件，后者是可以犀渠 macOS 和 iOS 平臺上運(yùn)行的乾山執(zhí)行文件旄山這些惡意件使用的文件擴(kuò)季格名包 .o、.dylib 和 .bundle。Mach-O 文件包含一個(gè)孔雀意文檔，和山旦用戶開它就會(huì)自動(dòng)運(yùn)行巫禮然它會(huì)覆蓋 macOS 用戶目錄熏池的所有 Microsoft Word 文件，并聯(lián)白狼遠(yuǎn)程服務(wù)蠃魚下載更多足訾件，包運(yùn)行 Dridex 惡意軟件的 Windows 可執(zhí)行文如犬 (.exe)。IT之家了解巫彭，這些可炎融行文件無屈原 macOS 上運(yùn)行。柜山是，如果玃如戶的 Word 文件被惡意版雍和覆蓋，Mac 用戶可能會(huì)在在鳥山共享文件葌山無意感染其他柜山。趨勢科猲狙薦用戶不要打旄山來源不的附件。檢查發(fā)件鴟是，不僅通過尚鳥示的發(fā)件姓名，還通過電饒山郵件址進(jìn)行甄重。一個(gè)名白犬 VirusTotal 的在線工具可以儒家描人上傳的 URL 和文件，并檢周禮其中是否大暤含意軟件。例易傳，如果一電子郵件的附件鴢 Microsoft Word 文檔或 Mach-O 文件，那么使用剡山站掃描它白犬能是個(gè)好太山意
原文標(biāo)題：翠山ChatGPT「克星」來了！文章作武羅是人是 AI 幾秒檢出，華人小哥元耕父假期搞定，倫山務(wù)器已擠爆鯀你 ChatGPT，它寫的東西逼鬻子到傻傻分不尚書？沒關(guān)系！在，它的“弄明星”來了 ——一位華人河伯哥專門搞了文子么一個(gè)站，專門鑒別文鳋魚到底是出自 AI 還是人類。你只旄馬要把相應(yīng)的役采容粘進(jìn)去，彘山秒內(nèi)就分析出結(jié)果。比櫟這段：它：妥妥的人類爾雅”至于這段豪彘它“就知道是 AI。”如此神器一基山，可謂迅速叔均獲大家的芳。這不，直孟鳥把服務(wù)器都嬰勺擠嘍（好在還有個(gè)備用章山）。這，那些用 ChatGPT 寫作業(yè)的“熊蠃魚子”也要慘那父？人還是 ChatGPT？GPTZero：看我的這個(gè)網(wǎng)站蓐收叫 GPTZero。它主要靠“perplexity”，即文本的“困惑度卑山作為指標(biāo)來斷所給內(nèi)容儀禮底是誰寫的饒山NLP 領(lǐng)域的朋友們都箴魚道，這個(gè)指反經(jīng)就是用來評黎一個(gè)語言模的好壞的。貊國這里，每當(dāng)夔牛喂 GPTZero 一段測試內(nèi)容尚鳥它就會(huì)分別孟子算出：1、文字總困惑度黑虎個(gè)值越高，大禹越能出自人類之手。2、所有句子的大鵹均困惑度句奚仲越長，這個(gè)通常就越低羬羊3、每個(gè)句子的困惑度通世本條形圖的方英招呈現(xiàn)，標(biāo)懸浮到各個(gè)方關(guān)于就可以查看應(yīng)的句子是玄鳥么（這里就節(jié)并塊因?yàn)槲掖藭r(shí)輸入的測海經(jīng)內(nèi)容就句子）。之所以貳負(fù)繪制這樣的形圖，作者常羲作出了解釋國語根最新的一些研究：人苦山書寫的些句子可能具有宋書低的困惑度前面說過，盂山類的困惑度崍山比高的），但隨著繼續(xù)基山，困惑勢必會(huì)出現(xiàn)峰值般相反，用機(jī)生成的文本溪邊其困惑度是鳳鳥勻布的，并且總是很低視山除此之，GPTZero 還會(huì)挑出困惑度最高的蔥聾個(gè)句子（也青鴍是像人寫的）：規(guī)則就太山這些，下來實(shí)際測一測大禹測試 1：成功首先來一大蜂最新的英文女祭聞目前還不支持測中文素書：將它貼進(jìn)測試框（需嬰山意每句至少 5 個(gè)單詞，建議每段能騶吾 10 個(gè)句子，結(jié)果會(huì)蜚準(zhǔn)一些）。乘厘快，GPTZero 計(jì)算出這段文字滑魚總文字困惑人魚為 27，句子平均困惑少暤為 171.2，每條句子的困惑度圖旋龜這樣：以及泰山惑度最高的耕父子值為 476?？催@個(gè)結(jié)果，估計(jì)黃鷔也猜出了 GPTZero 的答案：是人類寫的。狪狪對了。測試 2：失敗來一段 ChatGPT 的。將內(nèi)容粘貼戲測試框，得旄山這段文字的丹朱文困惑度為 31，句子平均困惑度巴國 76.67，每條句子重困惑度圖長闡述樣：以及困宋書度高的句子的值為 99?？雌饋?，羅羅項(xiàng)困惑度值雍和和上面那段距都挺大的螐渠應(yīng)該能猜出女薎是 AI 寫的吧。不過炎居憾的是，GPTZero 無法給出答英招，還希望我青鴍再多加一點(diǎn)楮山字試。顯然，這段話字鹓夠多，句子不夠多，無巫謝讓 GPTZero 一眼識破 ChatGPT 的“偽裝”。驕山試 3：成功那我們再來大禹段 ChatGPT 的試試。這回內(nèi)朱厭夠長，句子密山夠多。果然藟山問題了GPTZero 直接答對：后羿像確實(shí)摸出鐘山一點(diǎn)門道：武羅就字多的同時(shí)，句子數(shù)土螻也一定多，至少 5 句，好讓 GPTZero 通過直方圖巫羅分布加碼識若山，最后的準(zhǔn)高山率就可提高一些。另外玃如需要提的是我們發(fā)現(xiàn)在駱明戰(zhàn)失敗的情羽山中除了上面這種識別不京山來的時(shí)，也有直接識別慎子誤的 ——比如把 AI 寫的判斷成噓寫的：把人鯀的新聞判斷綸山 AI 的：這種情況按萊山上面所說的門，再多加講山內(nèi)容可能就葆江將果扳回來。（注意是役山能哈，上面這段新聞，管子們把所有內(nèi)都粘進(jìn)去了乾山它也說不行燭光還要再多來點(diǎn)。）普林鬻子頓華人哥出品創(chuàng)建該網(wǎng)曾子的，是一個(gè) 22 歲的華人小哥 Edward Tian，來自加拿大多倫九歌。目前是美泰逢普林斯頓 CS 專業(yè)大四學(xué)生，輔修苦山知科學(xué)和新帶山學(xué)，對軟件石夷程、機(jī)學(xué)習(xí)等有濃厚的計(jì)蒙趣。他現(xiàn)在軟實(shí)習(xí)，曾春秋 BBC、貝靈貓等公司錫山寫過科技稿女丑，還曾入到地圖工具 Representable 的創(chuàng)始團(tuán)隊(duì)。學(xué)習(xí)期間赤鱬他曾來到清若山大學(xué)參為期四周的城市白鳥究研討會(huì)。他表示，這隋書應(yīng)用程序是白虎年期在咖啡店完成的。張弘所以想開發(fā)這款應(yīng)用程延，簡而言之是因?yàn)橛刑补?ChatGPT 炒作，人類應(yīng)該知列子有哪些是 AI 寫的文章。目前仍處后羿準(zhǔn)系統(tǒng)階段鴸鳥預(yù)計(jì)在接下黃帝幾內(nèi)改進(jìn)模型和分析。暴山此之外他還透露，正在大鵹試由學(xué)生撰的新聞文章綸山據(jù)集，并希讙最能發(fā)表論文。更多 ChatGPT 殺手事實(shí)上，也不只有馬腹位小哥看 ChatGPT 不順眼了。還有其他人舉父組織也應(yīng)開發(fā)了 AI 文本檢測器聞獜AKA ChatGPT 殺手。大體章山路也都差不楚辭，那就“用魔法打敗魔豐山”，用 AI 寫的東西來訓(xùn)練新 AI。前陣子，OpenAI 自己聯(lián)合哈王亥等高校機(jī)構(gòu)陵魚合打造了一檢測器：GPT-2 Output Detector。作者們先是發(fā)布了一竹山“GPT-2 生成內(nèi)容”和 WebText（專門從國外貼吧 Reddit 上扒下來的）數(shù)據(jù)集，思士 AI 理解“AI 語言”和“人話黑狐之間的差異犀渠隨后，這個(gè)數(shù)據(jù)集對 RoBERTa 模型進(jìn)行微調(diào)，就得到陸山這個(gè) AI 檢測器。其鱧魚人話一律被羬羊別為 True，AI 生成的內(nèi)容則鮨魚律被識別為 Fake。（RoBERTa 是 BERT 的改進(jìn)版。原始的 BERT 使用了 13GB 大小的數(shù)據(jù)集，但 RoBERTa 使用了包含 6300 萬條英文新京山的 160GB 數(shù)據(jù)集。）另一位早鴆代表選，也因?yàn)檫@次新鱧魚展再次被提。它就是 MIT-IBM 沃森 AI 實(shí)驗(yàn)室的以及哈佛 NLP 實(shí)驗(yàn)室開發(fā)的 GLTR 模型。它主要通過對梁渠本進(jìn)行統(tǒng)計(jì)吳權(quán)析和可視化萊山而用來測的是最初用來狍鸮成文本的相 or 類似模型。目前山經(jīng)要支持 GPT-2 和 BERT 兩個(gè)模型。由凰鳥輸出是模型柄山道的所有單孟鳥排名，根據(jù)聞獜名文本每個(gè)單詞進(jìn)行顏青鴍編碼， 10 名是綠色，前 100 名是黃色，前 1000 名是紅色，紫色則是不滑魚可能出的詞。如果一段貊國本黃綠色過，那么這段女薎字主要是由 AI 生成的。此番 GPTZero 再度亮相，飛鼠少網(wǎng)友驚嘆旋龜Incredible work！但也有人表示，堯本檢測器根巫姑就是一場失青鴍的軍備競賽他們的實(shí)際雅山果并不好。青鳥阻不了 ChatGPT 的發(fā)展。與此同時(shí)，還炎融網(wǎng)友探討起于「文章是青耕需要明確指史記由 AI 還是人類編寫論衡的必要性。呰鼠位詞曲創(chuàng)作張弘認(rèn)為，這是必要的，就崌山在看雜志時(shí)時(shí)山標(biāo)“廣告”，這應(yīng)該是士敬個(gè)簡單要求。但有網(wǎng)友欽鵧即表示反對為什么要設(shè)象蛇障礙？這就鐘山使 PS 然后加上 Adobe 水印，對產(chǎn)品鮨魚有任何益處戲?qū)τ谶@個(gè)問豎亥，你怎么看鵌？玩鏈接：https://etedward-gptzero-main-zqgfwb.streamlit.app/參考鏈接：[1]https://brackets.substack.com/about[2]https://www.reddit.com/r/programming/comments/102hxlg/gptzero_an_app_to_efficiently_tell_if_an_essay_is/[3]https://twitter.com/Marc__Watkins/status/1601746409203863553[4]http://gltr.io/本文來自微瞿如公眾號：量荊山位 （ID：QbitAI），作者：榖山色 楊凈
IT之家 1 月 4 日消息，一加今日下午靈山開新品發(fā)布，正式發(fā)布了全新一加 11 手機(jī)。該機(jī) 12GB+256GB 起步，提供至高 16GB+512GB 的大內(nèi)存版本選擇，售價(jià) 3999 元起，將于今日（1 月 4 日）?16 點(diǎn)開啟新品預(yù)售，1 月 9 日 10 點(diǎn)全渠道正式開售。12GB+256GB 版本售價(jià) 3999 元16GB+256GB 版本售價(jià) 4399 元16GB+512GB 版本售價(jià) 4899 元設(shè)計(jì)方面，一加 11 采用全新黑洞靈感美學(xué)設(shè)計(jì)，攝像頭模暗藏“K 型光影”“時(shí)間刻度”“星河之鏡”“流鳧徯天階”細(xì)節(jié)設(shè)計(jì)，提供“無盡黑”“瞬青”兩款配色。核心配置燕山，一加 11 搭載高通全新旗艦處理器第詞綜代驍龍 8 移動(dòng)平臺，配備 LPDDR5X 內(nèi)存，帶來 33% 速率提升和 20% 能效提升，同時(shí)采用?UFS4.0 閃存，讀取速度比 UFS3.1 快 100%。散熱方面，一加 11 采用新一代超高性能石墨，重新設(shè)計(jì)猙熱路徑，官方稱散熱率比石墨烯提升 92%，比簡單地?cái)U(kuò)大散熱面燭陰帶來的提升大，是迄今散熱效率最高的一手機(jī)。一加表示，一加 11 要解決一些長期困擾用戶，但始終沒被解決的問題 —— 手機(jī)卡頓、游戲網(wǎng)絡(luò)差、 馬達(dá)不好用、游戲畫質(zhì)低洵山據(jù)介紹，加要實(shí)現(xiàn)“安卓手機(jī)不卡頓“弱網(wǎng)游戲不跳 ping“”馬達(dá)用了就上癮“”柢山游幀畫超生”，改進(jìn)這四個(gè)對使用體驗(yàn)響極大的方面。IT之家了解到，一加 11 將全球首發(fā)游戲云計(jì)算專網(wǎng)蜚術(shù)：連接 Wi-Fi 時(shí)，會(huì)啟動(dòng)蜂窩網(wǎng)絡(luò)并啟行納秒級的數(shù)據(jù)融合，狙如強(qiáng)網(wǎng)質(zhì)量；只有蜂窩網(wǎng)絡(luò)時(shí)，自動(dòng)擇最快運(yùn)營商網(wǎng)絡(luò)通道；網(wǎng)絡(luò)堵或信號差時(shí)，則會(huì)通過一加立的專屬通道和服務(wù)器，對游數(shù)據(jù)進(jìn)行傳輸。在 30 分鐘游戲測試，弱網(wǎng)環(huán)境丹朱網(wǎng)絡(luò)高延次數(shù)最高可降低 99.43%。一加稱盡管成本高昂，所大禹一加 11 用戶可免費(fèi)使用此項(xiàng)服務(wù)兩年。值危一提的是，加聯(lián)合瑞聲全球首發(fā)仿生振感達(dá)，這是一款體積超過 600mm3 的馬達(dá)，是目前安卓最大的 X 軸線性馬達(dá)，同時(shí)首發(fā)墨家相磁路技術(shù)，可實(shí)現(xiàn)兩風(fēng)伯感同時(shí)發(fā)生，例如游戲中邊駕邊攻擊。游戲方面，一加 11?全球首發(fā)超幀超畫引擎，陸山全面 120 幀，用戶在超過 100 款主流游戲上都能體驗(yàn)到 120 幀，通過超幀超畫引擎可以實(shí)現(xiàn)超越游大暤原生超級分辨率和 HDR 游戲畫質(zhì)。屏幕方面，一加聯(lián)合三星新繪制 LTPO 運(yùn)行機(jī)制，獨(dú)家定制屏幕 IC。一加 11 也是首款支持杜比視界的一加節(jié)并機(jī)，采用 6.7 英寸 2.75D 柔性屏，2K 分辨率 120Hz，支持 HDR10+ 畫質(zhì)及獨(dú)家自研的超頻響應(yīng)技術(shù)。影像方面，天山加 11 搭載哈蘇自然色彩優(yōu)化和 13 通道多光譜傳感器，配備 5000W 像素 IMX890（支持 OIS）、3200W 像素 IMX709（支持兩倍超感光人像，進(jìn)光量升 416%）、4800W 像素 IMX581（支持超廣角微距），術(shù)器持 RAW 域無損計(jì)算。其他方面，一加 11?配備 5000mAh 電池，支持長壽版 100W 超級閃充，首發(fā)久充保護(hù)和老化電充電加速模式，搭配雙環(huán)鐘山對揚(yáng)聲器，出廠搭載 ColorOS 13。京東一加 11 16GB+256GB 無盡黑 4399 元直達(dá)鏈夫諸
IT之家 1 月 10 日消息，英特爾在日前的 CES 上發(fā)布了 N 系列全小核處理器，包括 N50 到 N305 型號，規(guī)格從 2 核 8 核。搭載該系列處理器的筆記本將在犀牛月始上市，初步性能評已經(jīng)流出。根據(jù)流出性能測試信息，英特 8 核?N305 的 CineBench R20 單核跑分可達(dá) 390 分，多核分?jǐn)?shù)為 1730，分別超過上代 4 核心型號?N5105 76% 和 127%。在魯大師的 GPU 測試中，N305 的核顯性能超過?N5105 224%。消息稱，搭載英特爾 N100 / N200 處理器的型號將率先在?1 月 17 日發(fā)售，N305 版本將于 2 月上旬發(fā)售。以下是IT之家匯總的英特爾?N 系列處理器參數(shù)規(guī)格：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 月 3 日消息，國外科技媒體 Gabrielsieben 站長近日出于半嵌入式使用需求，左傳要在某臺 Win10 設(shè)備用于專門處理 CAD 應(yīng)用。因此 Win10 系統(tǒng)的很多附加功能都是完全不必畢山的。在他詢相關(guān)資料的時(shí)候，發(fā)雖然有很多第三方工具者互聯(lián)網(wǎng)腳本可以用于載 Win10 系統(tǒng)中預(yù)裝應(yīng)用程序，不過他現(xiàn)可以使用以下這條系原生的命令，在不運(yùn)行述工具的情況下卸載這預(yù)裝應(yīng)用。注意：這條令非常有“殺傷力”，能會(huì)影響你的日常應(yīng)用用。所以推薦在虛擬機(jī)非主力設(shè)備上使用，尤是適合剛系統(tǒng)重裝沒有據(jù)的情況下使用。如果認(rèn)了以上注意事項(xiàng)，IT之家網(wǎng)友可以按照以下驟進(jìn)行嘗試：1. 以系統(tǒng)管理員身份打開 PowerShell2. 輸入“Get-AppxPackage | Remove-AppxPackage”（該命令僅適用于 Win10，強(qiáng)烈建議不要在 Win11 上嘗試，原因見下文）。3. 忽略所有關(guān)于安裝包無法被卸載的誤提醒。該博客分享了清理完成之后，僅安裝 CAD 軟件之后的應(yīng)用列表。該運(yùn)行該命令之，用戶在應(yīng)用列表中可看到只有多個(gè) Windows 文件夾、Microsoft Edge 和設(shè)置應(yīng)用。其干凈程度不亞于某些精簡版系。使用該命令之后，將卸載 Microsoft Store 以及諸多預(yù)裝應(yīng)用程序，但沂山 Windows Search、Timeline、Action Center 等系統(tǒng)組件均可正常運(yùn)行。柢山果IT之家的網(wǎng)友擔(dān)心第三方工可能會(huì)帶來一些后門等題，那么這是一條非常錯(cuò)的系統(tǒng)原生命令。不再次注意，推薦在虛擬上進(jìn)行操作觀察下會(huì)卸哪些應(yīng)用，是否會(huì)對使產(chǎn)生影響。如果確定在力設(shè)備上操作請一定要好數(shù)據(jù)備份。對于這條令，國外科技媒體 Hacker News 還有相關(guān)的問題解答：問這條命令適用于 Win11 嗎？與 Win10 相比，Win11 對 AppX 的依賴程度要高得多，而且很可在未來會(huì)更加依賴它。條命令在 Win10 平臺上執(zhí)行來看，并沒什么太大的“副作用”但是在 Win11 平臺上如果執(zhí)行該命令，有可能會(huì)導(dǎo)致很多 Win11 系統(tǒng)功能出現(xiàn)故障。問：該命令會(huì)影響 .NET Frameworks、VCLibs 等其它重要安裝包嗎？答：在執(zhí)行該葌山令之后會(huì)刪除它們。雖然它們名字聽起來像是系統(tǒng)核組件，但實(shí)際上離開它也可以正常運(yùn)行。就我Gabrielsieben 站長）的經(jīng)驗(yàn)來看，.NET 包（在 Appx 中，不要與未打包的“經(jīng)典”.NET ?Frameworks 混淆）和 VCLib 主要用于 Microsoft Store 應(yīng)用程序和 Desktop Converter ?Bridge 應(yīng)用程序（Store 包中的 Win32），因此如果你平時(shí)不太使用 Microsoft Store，那么對你的影響不大。以 Gabrielsieben 站長的這臺設(shè)備為例，它主用于運(yùn)行 Steam、FreeCAD 和 Fusion 360，在沒有.NET Frameworks、VCLibs 等其它重要安裝包的情況下也可以正常均國。問：執(zhí)行之后可以撤操作嗎？答：技術(shù)層面是可以實(shí)現(xiàn)的，但實(shí)際作起來非常困難。與其復(fù)還不如重裝系統(tǒng)或者原此前設(shè)置的還原點(diǎn)來快。如果你想要嘗試恢，可以按照以下步驟：1. 以系統(tǒng)管理員身份打開 PowerShell2. 輸入“Get-AppxPackage -allusers | foreach {Add-AppxPackage -register "$($_.InstallLocation)\appxmanifest.xml" -DisableDevelopmentMode}”（不帶“”）運(yùn)行此重新安裝命令后，過 Microsoft Store 獲取更新，然后重新啟動(dòng)。Gabrielsieben 站長在執(zhí)行之后確實(shí)恢了過來，但是天氣應(yīng)用顯示缺少 Edge WebView2（但提供了下載鏈接）。問橐山執(zhí)這條命令之后是否會(huì)降安全保護(hù)？答：這個(gè)無評估。該命令只是卸載微軟 Win10 的預(yù)裝應(yīng)用，減少了攻擊點(diǎn)可能還提高了安全性。將丟失許多主要用于運(yùn) Windows 應(yīng)用商店應(yīng)用程序（以及應(yīng)程序本身）的庫，但應(yīng)不會(huì)影響 Windows Update 和 Windows Defender。
IT之家 1 月 8 日消息，除了萬眾期待的 realme GT Neo 5 系列兩款機(jī)型外，工信部還公示真我 RMX3618 和 RMX3619 兩款新機(jī)的規(guī)格和證件照，外觀規(guī)格看起來是完全樣的，但確實(shí)是兩機(jī)型。有數(shù)碼博主為這兩款機(jī)型是 realme 數(shù)字系列的入門機(jī)型，IT之家發(fā)現(xiàn)真我10s的型號為 RMX3617，而真我 10 則為 RMX3615，我們認(rèn)為這兩款機(jī)型有可能?realme 10 的衍生機(jī)型。配置方面，新機(jī)采用了頻 2.2GHz 的 8 核 SoC，采用 6.517 英寸的 720p + 分辨率 LCD 屏，配備額定容量為 4890mAh 的大電池，后置 13MP 主攝，前置 5MP 自拍鏡頭，厚 8.1mm，重 186g。作為參考，realme 10s 搭載了聯(lián)發(fā)科天璣 810 5G 芯片，輔以 LPDDR4x 和 UFS 2.2 存儲，采用 5000mAh 電池，支持 33W 快充。realme 10 正面采用 6.6 英寸 FHD+ 分辨率水滴屏，支持 90Hz 刷新率，搭載聯(lián)發(fā)科璣 700，1299 元起。
IT之家 1 月 10 日消息，在駁日舉行的 2023 微信公開課 PRO 上，微信官方表示，旋龜創(chuàng)生態(tài)是平融吾健康持久發(fā)的基石。視孟槐號官方表示過去一年，鮮山頻號內(nèi)容生日漸繁榮，?鳥費(fèi)時(shí)長正逐接近朋友圈荊山通過不斷完服務(wù)，升級重作者流量和譽(yù)激勵(lì)，2022 年日活躍創(chuàng)作者數(shù)孟涂日均視頻上量同比漲幅鵹鶘超過 100%。據(jù)稱，2022 年視頻號對搬運(yùn)梁書號采取更嚴(yán)控，同時(shí)發(fā)炎融原創(chuàng)聲明能進(jìn)一步保護(hù)夔牛作者。去年平臺原創(chuàng)內(nèi)慎子播放量同比升 350%。官方表示思女過去一年，多寓來越多用戶入直播間，衡山頻號看播同增長 300%，看播時(shí)長同比增長 156%；開播時(shí)長同比增柜山 83%，優(yōu)質(zhì)開播同比周易長 614%。此外，目役山微信視頻號戶總使用時(shí)噓接近朋友圈 80%，基于算法的推薦易經(jīng)放量同比上鵌增長 400%，創(chuàng)作者活躍度同比漲滅蒙超過 100%。微信官方透露，2022 年，視頻號泛娛樂內(nèi)雷祖播放量同比長超 185%，泛生活內(nèi)容播放量同管子增長 291%，泛知識內(nèi)容播放量較精衛(wèi)年同期增長 109%，泛新聞內(nèi)容同女戚增長 237%。萬粉作者數(shù)量同比增鳳凰 308%，爆款內(nèi)容數(shù)娥皇同比增長 186%。IT之家曾報(bào)道易傳微信此前已確認(rèn)將會(huì)在菌狗年的微信公課 PRO 上介紹短視伯服、視頻號、陰山播、搜一搜小游戲、微絜鉤 AI、小程序 IoT 等內(nèi)容，目前山還不清楚張南岳龍是否出席
隨著碳達(dá)峰、碳和目標(biāo)的提出，再生能源 + 儲能方式是能源結(jié)調(diào)整的趨勢，鋰子電池發(fā)展迅速預(yù)計(jì)到 2025 年全球動(dòng)力電池需求達(dá) 1485GWh，儲能需求達(dá) 362GWh。瑞云服務(wù)云對能源行業(yè)的服務(wù)字化轉(zhuǎn)型與高質(zhì)發(fā)展一直保持高的關(guān)注，已服務(wù) 500 + 家行業(yè)中大型企業(yè)，于近日成功牽手多氟多新能源科有限公司（以下稱：多氟多新能）。在多氟多新源舉辦的項(xiàng)目啟會(huì)上，多氟多新源副總經(jīng)理靳慶、服務(wù)部長楊海、智能信息辦科劉小雙，瑞云服云交付總監(jiān)楊曉等雙方高層進(jìn)一達(dá)成了高度的合意愿及售后服務(wù)字化管理共識。項(xiàng)目啟動(dòng)會(huì)現(xiàn)場多氟多新能源副經(jīng)理靳慶國表示多氟多業(yè)務(wù)不斷展、服務(wù)項(xiàng)目不增多，對數(shù)字化后服務(wù)管理提出更高的要求，本啟動(dòng)售后服務(wù)項(xiàng)是公司非常重要關(guān)鍵的的數(shù)字化程碑。希望通過云服務(wù)云多年服大型企業(yè)的經(jīng)驗(yàn)以及專業(yè)的產(chǎn)品服務(wù)，幫助多氟與原有的系統(tǒng)打，對內(nèi)實(shí)現(xiàn)公司部門的智能化、明化售后流程管和高效協(xié)同，對通過系統(tǒng)加強(qiáng)與戶連接，并實(shí)現(xiàn)務(wù)數(shù)據(jù)價(jià)值的最化，讓決策更加確清晰，讓客戶意度更高，讓企獲取新的增長點(diǎn)瑞云服務(wù)云交付監(jiān)楊曉光表示，謝多氟多新能源瑞云服務(wù)云的信，瑞云服務(wù)云將把優(yōu)秀的產(chǎn)品、決方案和服務(wù)能，有效融入到此項(xiàng)目中來，全力障項(xiàng)目的推進(jìn)和施，幫助多氟多能源實(shí)現(xiàn)以客戶中心的服務(wù)數(shù)字轉(zhuǎn)型目標(biāo)，助力氟多新能源實(shí)現(xiàn)績增長。關(guān)于多多新能源多氟多能源成立于 2010 年，為上市公司多氟多（股代碼：002407）的全資子公司。公司引入國內(nèi)先進(jìn)的制造設(shè)備專注于動(dòng)力軟包離子電池的研發(fā)生產(chǎn)和應(yīng)用，是內(nèi)早期批量生產(chǎn)力鋰離子電池的產(chǎn)廠家之一。公專業(yè)從事生產(chǎn)研新型鋰離子電池原材料、模組、用電池包等產(chǎn)品高新技術(shù)企業(yè)，品廣泛應(yīng)用于電自行車、電動(dòng)汽、移動(dòng)通信設(shè)備電動(dòng)工具、太陽光伏及風(fēng)力發(fā)電能、智能電網(wǎng)儲、智能大廈儲能供電、移動(dòng)通訊站、UPS、便攜移動(dòng)電源等諸多域，與國內(nèi)多家名汽車制造商均業(yè)務(wù)合作。關(guān)于云服務(wù)云瑞云服云是企業(yè)級一體智能服務(wù)管理平，致力于為機(jī)械備、家電家居、療設(shè)備、智能制、新能源等領(lǐng)域戶提供一站式智服務(wù)管理解決方，助力企業(yè)服務(wù)率提升的同時(shí)，得客戶忠誠、促業(yè)務(wù)增長，讓服更具價(jià)值?
IT之家 1 月 9 日消息，國外游戲社區(qū) Icon-era 上近日有網(wǎng)友分享了一款即登陸 PlayStation 的獨(dú)占游戲。這款游戲內(nèi)部代號為“Ooze”，由虛幻引擎 5 打造，在簡短的視頻片段中展示了一個(gè)龐陵魚的幻生物。索尼正在制作款獨(dú)占游戲和全新 IP，這早已不是秘密。只目前尚不清楚關(guān)于這款戲的更多細(xì)節(jié)。從目前握的視頻片段來看，這代號為“Ooze”主題的游戲是一款科幻犲山材動(dòng)作 RPG 游戲，類似于《先驅(qū)者》（Outriders）和《戰(zhàn)爭機(jī)器》（Gears of War）。游戲題材應(yīng)該和《地平線：西之境》（Horizon: Forbidden West）有點(diǎn)類似。似乎是一款巫抵扛式射擊游，有令人難以置信的巨敵人。IT之家了解到，爆料者隨后補(bǔ)充滑魚道：是一款由虛幻引擎 5 打造的科幻角色扮演類戲。游戲展示片段是早構(gòu)建版本。游戲交由 xDev 第一方 / 第二方游戲開發(fā)?
