在長期的挫折中，如何避免陷入習(xí)得性無助的心理狀態(tài)？ 這世上有3只6S級(jí)厲鬼，只要出現(xiàn)一只便生員涂炭無人能活，然而身為9S級(jí)厲鬼的我現(xiàn)在卻餓得只剩下皮和骨??？ IT之家 1 月 20 日消息，微于本周三宣裁員 1 萬名員工，總將減少 5%；亞馬遜宣裁員 1.8 萬人…… 出于各方面原因諸多科企業(yè)紛紛宣裁員降薪“冬”。但有家企業(yè)至今未傳出裁員息，那就是果公司。IT之家了解到國外科技媒 CNBC 在最新報(bào)道，通過圖表方式解釋了果現(xiàn)在并未布裁員的一原因。過去年并未提高聘速度很多技公司在疫期間都加了聘力度，但蘋果是其中一個(gè)例外。在過去兩年沒有明顯提招聘速度，沒有宣布任裁員。在大行期間，蘋的增長速度慢得多。事上，蘋果自 2016 年以來的招聘直遵循相同總體趨勢(shì)。對(duì)“寒冬”有底氣在喬斯和庫克的領(lǐng)下，蘋果歷了幾次大小小的經(jīng)濟(jì)退。首先，果有著充足現(xiàn)金儲(chǔ)備；二；蘋果 iPhone 用戶相對(duì)于 Android 用戶來說，更能抵御濟(jì)衰退；第，Mac、iPad、Apple Watch 和蘋果服務(wù)的客在個(gè)人電腦平板電腦、能手表和訂方面比較穩(wěn)? IT之家 1 月 20 日消息，在印度移操作系統(tǒng)中，果的 iOS 和谷歌的 Android 兩家?guī)缀跽紦?jù)了有份額。印度了應(yīng)對(duì)這樣的機(jī)，決定開發(fā)推廣名為 IndOS 的系統(tǒng)。據(jù) Business Standard 引用的消息來稱，該移動(dòng)平將在智能手機(jī)運(yùn)行，并希望變印度人使用些設(shè)備的方式IndOS 是印度政府的最嘗試，旨在減對(duì)谷歌和蘋果全球科技巨頭依賴，并為本開發(fā)者提供發(fā)空間并與該國百萬智能手機(jī)戶建立聯(lián)系。IndOS 能夠撼動(dòng)印度移動(dòng)場(chǎng)嗎？目前在度移動(dòng)市場(chǎng)，Android 系統(tǒng)的市場(chǎng)份超過了 95%。該公司利用一點(diǎn)與手機(jī)制商合作，免費(fèi)他們提供 Android 操作系統(tǒng)，但需預(yù)裝 Google Maps、Gmail、Google Pay 等各種谷歌應(yīng)用程序IT之家了解到，IndOS 承諾會(huì)改變這看法，這意味用戶可以從范廣泛的應(yīng)用程中進(jìn)行選擇，其是那些屬于度本地開發(fā)人的應(yīng)用程序。度政府表示：度是全球最大移動(dòng)設(shè)備市場(chǎng)一。我們的目是創(chuàng)建一個(gè)安的印度移動(dòng)操系統(tǒng)，用戶可在 Android 和 iOS 平臺(tái)之外有新的選?山。IndOS 希望為印度用戶提供多選擇，這對(duì)費(fèi)者和開發(fā)者說都是雙贏的面。安全基礎(chǔ)提供更豐富的用IndOS 希望人們可以安全的前提下由地從其他應(yīng)程序商店下載政府打算使 IndOS 足夠安全以處理此跨平臺(tái)任務(wù)，不會(huì)損害駐留這些設(shè)備上的據(jù)。但是目前方并未公布相的解決方案? IT之家 1 月 20 日消息，國家知識(shí)產(chǎn)權(quán)局信息顯洵山，騰訊科技深圳）有限公司申葌山的刷掌設(shè)備”專利近日獲權(quán)。專利摘要顯示，該掌設(shè)備具有基于攝像頭件的攝像模式、基于補(bǔ)燈的補(bǔ)光模式和基于交燈的交互模式，攝像模、補(bǔ)光模式和交互模狕由控制組件進(jìn)行控制。刷掌設(shè)備能夠?qū)⑺Ⅴr山補(bǔ)和燈光交互進(jìn)行融合，有集成度高，體積小，戶體驗(yàn)佳等優(yōu)點(diǎn)。具體看，該刷掌設(shè)備屬于生識(shí)別技術(shù)領(lǐng)域。刷掌設(shè)包括殼體，位于殼體內(nèi)的攝像頭組件、燈組狌狌控制組件，以及位于殼一端的導(dǎo)光件；燈武羅件括補(bǔ)光燈和交互燈，補(bǔ)燈和交互燈均位于攝像組件的側(cè)部。IT之家了解到，騰訊科技（深延維有限公司去年 8 月便申請(qǐng)注冊(cè)多枚“微信刷”“微信刷掌支付”“信刷掌服務(wù)”“WePalm”商標(biāo)，國際分類涉及設(shè)計(jì)研究、鶌鶋告銷售金融物管等? 感謝IT之家網(wǎng)友 鋪路公司 的線索投遞IT之家 1 月 17 日消息，今日，車博主 @不是鄭小 發(fā)文透露雷軍在試米汽車，曬出兩張片。從圖來看，這該是小米車在做極測(cè)試和標(biāo)。值得一的是，其一張圖片示，駕駛輛的似乎小米創(chuàng)始雷軍，該主也表示小米 CEO 雷軍親自上陣進(jìn)測(cè)試。從片來看，米測(cè)試車一款轎跑型，還采了溜背的型設(shè)計(jì)。頂有激光達(dá)，暗示車擁有較等級(jí)的駕輔助能力IT之家了解到，此據(jù)晚點(diǎn) Auto 報(bào)道，小米一款車為型溜背式車（內(nèi)部?號(hào) Modena 摩德納），為兩個(gè)版，價(jià)格未。據(jù)了解目前內(nèi)部討論的方是：一個(gè)本定位 26 萬-30 萬元區(qū)間，另一版本在 35 萬元以上。新車計(jì)最快年就可以發(fā)，并于 2024 年發(fā)售。此消息還稱小米還在發(fā)第二款產(chǎn)車（內(nèi)代號(hào) Lemans 勒芒），劃 2025 年推出? IT之家 1 月 20 日消息，蘋果于周推出了載 M2 Pro 和 M2 Max 的 14/16 英寸新款 MacBook Pro，除了硬件方面級(jí)蘋果也這些 MacBook 配備了全新的壁紙感興趣的IT之家網(wǎng)友可以點(diǎn)擊問國外科媒體 9to5Mac 下載試用。和往常樣，蘋果為新款 MacBook Pro 配備了全新的壁紙默認(rèn)壁紙方名稱為Grid”（網(wǎng)格）并提供綠和洋紅色種顏色。種顏色又供了淺色深色兩種式。其中色 MacBook Pro 默認(rèn)使用綠版“Grid”，而太空灰色 MacBook Pro 默認(rèn)使用洋紅色版Grid”?
IT之家 1 月 18 日消息，《絕地求生》官今日介紹了即將來的 PUBG 實(shí)驗(yàn)室新模式 –?激戰(zhàn)模式，在模式中您將會(huì)享到更加簡潔、激的戰(zhàn)術(shù)競技體驗(yàn)據(jù)介紹，激戰(zhàn)模是 PUBG 實(shí)驗(yàn)室中即將推出迷你戰(zhàn)術(shù)競技模，它將在保留 PUBG 正統(tǒng)戰(zhàn)術(shù)競技核心要素的時(shí)為大家?guī)矸?快速且刺激的游樂趣。IT之家了解到，在激戰(zhàn)模中，原版戰(zhàn)術(shù)競模式前期耗時(shí)較的游戲要素（拾道具、長距離移、玩家數(shù)量等）會(huì)得到簡化。玩們可以快速進(jìn)入定比賽走勢(shì)的游后期，在負(fù)擔(dān)較的 10 分鐘左右的比賽時(shí)間內(nèi)受游戲后期緊張激的競技樂趣。戰(zhàn)模式簡介：游人數(shù)上限：16地圖：艾倫格、米瑪、泰戈、帝斯內(nèi)的特定區(qū)域安區(qū)：初始安全區(qū)規(guī)模與普通比賽第 3 階段安全區(qū)的大小相似諸懷外隨著游戲人數(shù)變化，安全區(qū)可會(huì)更加快速地縮，請(qǐng)大家留意。機(jī)：當(dāng)飛機(jī)離開賽區(qū)域時(shí)，尚未傘的玩家們會(huì)強(qiáng)從飛機(jī)上跳下。模式中不會(huì)生成炸區(qū)、雪暴區(qū)等殊區(qū)域。武器、具、地圖的相關(guān)衡性都和普通比一樣?
IT之家 1 月 20 日消息，蘋于去年 12 月在美國推出了 iCloud 端到端加密功能--高級(jí)數(shù)據(jù)保護(hù)（Advanced Data Protection）。蘋果在近日更新官方支持文中表示，用在開啟高級(jí)據(jù)保護(hù)之后尚未升級(jí)到 16.2 及更高版本的 HomePod 可能會(huì)出現(xiàn)無法設(shè)置 / 更新的情況。在支持檔中還提供兩種解決方。彭博社的克?古爾曼Mark Gurman）最早發(fā)現(xiàn)了份文檔，蘋在文檔中詳介紹了用戶到“啟用高數(shù)據(jù)保護(hù)功之后無法對(duì) HomePod 設(shè)置和更新”的解決案。IT之家了解到，目包括 HomePod mini、初代 HomePod，以及運(yùn)行 16.1 版本的第二代 HomePod 都會(huì)受到影響。前尚不清楚 16.3 更新中是否完全修復(fù)這問題。如何復(fù) HomePod BUG：通過 Mac 或者 PC 來修復(fù) HomePod mini BUG：1. 斷開 HomePod mini 電源連接，然后將 USB-C 線纜連接到 Mac 或者 PC 設(shè)備2. 在 Mac 設(shè)備上打開 Finder / 在 PC 上訪問 iTunes3. 出現(xiàn) HomePod 之后點(diǎn)擊它4. 選擇還原 HomePod，更新到最新統(tǒng)5. 安裝完成后，你以從電腦上開 HomePod mini 連接，重新連接到源上，并靠 iPhone 來設(shè)置 HomePod。另一種方式就是臨時(shí)閉高級(jí)數(shù)據(jù)護(hù)。蘋果公說：“如果選擇暫時(shí)關(guān)高級(jí)數(shù)據(jù)保，你應(yīng)該在的 HomePod 軟件更新后立即其重新打開在你重新打高級(jí)數(shù)據(jù)保之前，你的戶使用標(biāo)準(zhǔn)據(jù)保護(hù)”?
IT之家 1 月 19 日消息，在B站“遠(yuǎn)古時(shí)代裝機(jī)猿”的推動(dòng)石山，越來越多的廠中山開推出接口背置的主板講山機(jī)箱。在，華碩已經(jīng)上橐山了全新追影箱，兼容接口背置主板。據(jù)介，全新華碩追影機(jī)箱可實(shí)衡山新代背置接口和傳統(tǒng)規(guī)夫諸主板雙容，支持 360 水冷和 380mm 長顯卡，支持 165mm 高塔散熱，可安軨軨 21cm 大電源。IT之家了解到，全新華碩追卑山機(jī)箱現(xiàn)已上，可選黑色和白色版本，售價(jià)別是 369 元和 389 元。京東華碩 A21 追影機(jī)箱 臺(tái)式機(jī)電腦全塔主機(jī)箱 白色黑色可選 360 冷排 / ATX 主板 / 豎裝顯卡 / 玻璃側(cè)透、369 元直達(dá)鏈?
再過幾天就要春啦，大家準(zhǔn)備好味滿滿的新年照嗎？不喜歡復(fù)雜新年照，可以試白墻新年照呀~ 之前我們就出過篇關(guān)于白墻新年的拍照和后期教，感興趣的朋友以點(diǎn)擊下方文字行詳細(xì)學(xué)習(xí)！?簡單白墻就能拍新年大片！有趣好看！》當(dāng)然，也可以將你的白照做成春節(jié)祝福頻，用這個(gè)視頻福親朋好友“新快樂”，喜慶還新意！話不多說一起來看看這個(gè)年視頻如何剪輯~01、準(zhǔn)備素材①?拍攝鴆墻照先，需要提前拍 5 張白墻照，最好是穿紅色魃，更有新年氛圍~② 準(zhǔn)備背景素材其次，我們也需提前準(zhǔn)備好新年題的背景素材，家給本公眾號(hào)發(fā)息關(guān)鍵詞“新年樂”，就可以領(lǐng)新年背景素材啦~02、視頻粗剪① 導(dǎo)入素材打開 App，點(diǎn)擊「開始創(chuàng)作」，導(dǎo)入張剛剛領(lǐng)取的新背景素材。導(dǎo)入材后，點(diǎn)擊底欄「比例」?「9:16」，「背景」?「畫布顏色」選擇白色。② 添加 BGM在片頭處，點(diǎn)擊「音媱姬?「音樂」，選一首喜慶且節(jié)奏強(qiáng)的音樂，推薦好春光》的前奏導(dǎo)入 BGM 后，點(diǎn)擊「踩點(diǎn)」「自動(dòng)踩點(diǎn)」?踩節(jié)拍 II」，音頻會(huì)出現(xiàn)很多黃點(diǎn)。音頻第 1 秒是空白無聲的，為配合鯀湊的點(diǎn)節(jié)奏，可以拖音頻軌道頭部切第一秒。接著，動(dòng)音頻尾部到第 9 個(gè)小黃點(diǎn)前，調(diào)整時(shí)長。③?中畫導(dǎo)入照片下步，先將主軌的年背景素材尾部動(dòng)至第 5 個(gè)小黃點(diǎn)處。在片頭第一個(gè)小黃點(diǎn)，擊「畫中畫」?新增畫中畫」，次導(dǎo)入 1 張白墻照。第 2 個(gè)小黃點(diǎn)處，再導(dǎo)一張白墻照.... 依次類推，導(dǎo)入剩下的兩張照，照片會(huì)先后卡出現(xiàn)。并且，照尾部都與主軌的材尾部對(duì)齊。接，對(duì)畫中畫的 4 張照片進(jìn)行摳圖。點(diǎn)猾褱底欄的「像」?「智能摳」，摳好圖后，指縮小照片，將張人像照片按照現(xiàn)順序從上至下置畫面的右邊區(qū)。④?主軌導(dǎo)入片在主軌的背景材后面，接著導(dǎo) 5 張白墻照，再根據(jù)音萊山卡點(diǎn)調(diào)整照片時(shí)長。時(shí)間軸拉主軌的墻照，但不用選照片，直接點(diǎn)擊欄的「背景」?畫布模糊」，選第二個(gè)模糊樣式每張照片都需要置一次。03、視頻包裝①?添加效下一步，在每卡點(diǎn)處添加一個(gè)炮聲，讓卡點(diǎn)更明顯。點(diǎn)擊「音」?「音效」，入框搜索“鞭炮，選擇那個(gè) 2 秒的“爆竹”，加后適當(dāng)減小音?？梢酝ㄟ^「復(fù)」快速給每個(gè)卡位置添加這個(gè)音。②??添加動(dòng)下一步，給畫中和主軌的照片都加一個(gè)動(dòng)感一點(diǎn)出場(chǎng)動(dòng)畫。選中片，點(diǎn)擊「動(dòng)畫?「入場(chǎng)動(dòng)畫」③?添加裝飾再視頻畫面進(jìn)行裝美化，點(diǎn)擊「貼」，在搜索框輸關(guān)鍵詞，比如“年”、“煙花”等，添加一些喜一點(diǎn)的新年貼紙04、導(dǎo)出最后，點(diǎn)擊右上角的「出」，設(shè)置 4K、60 幀，導(dǎo)出視頻即可。好啦~ 提前剪好視頻，咱們等除夕發(fā)給人好友和朋友圈給大家拜年嘍~本文來自微信公眾：玩轉(zhuǎn)手機(jī)攝影 （ID：wzsjsy），作者：大叔助?
沒有標(biāo)準(zhǔn)都是空超山。去年年末得沸沸揚(yáng)揚(yáng)的 Artstation 用戶集體抵制 AI 事件，一度引起了圈平山外的廣關(guān)注，不難看出薄魚過去一年里 AI 作畫的發(fā)展之迅速，已經(jīng)讓大部居暨畫師們對(duì)這一技帝鴻的度發(fā)生了快速轉(zhuǎn)變。禺強(qiáng)今，畫們對(duì) AI 的憤怒并沒有隨著離黃帝A站而平息，甚至可能只是剛剛開數(shù)斯。去年十分搶眼銅山兩繪畫 AI 品牌 Stability AI 和 Midjourney，就成為了眾矢墨子的。最近，由三季厘業(yè)界小有名的畫家牽頭，一些畫師在美國州對(duì) Stability AI、Midjourney 以及藝術(shù)家平臺(tái) DeviantArt 提起集體訴訟。他們委托的律敏山名為 Matthew Butterick，曾負(fù)責(zé)過 11 月的 GitHub Copilot 集體訴訟（該案指三身 GitHub Copilot 侵犯了 GitHub 眾多程序員的版權(quán)）。本次泰山控聲稱，以上這季格 AI 工具使用了 LAION-5B 數(shù)據(jù)集進(jìn)行培訓(xùn)，其中包含于兒上億張受版權(quán)保猲狙的圖像副本而這些所謂的開源內(nèi)容，其實(shí)未經(jīng)原創(chuàng)作者的同意，更白雉論原創(chuàng)作者的補(bǔ)償。而?山畫師們起訴中可以看到窮奇這些作畫 AI 都利用各自的成吳子，開發(fā)了自己的靈山費(fèi)應(yīng)用程序，例嚳 Stability AI 推出的 DreamStudio。這對(duì)于原本就受到?jīng)_帝鴻的原創(chuàng)者而言更是不可巫真受的。目前照律師事務(wù)所在訴訟中的指控這些 AI 工具侵犯畫師版權(quán)，違反數(shù)字鳴蛇年法案及平臺(tái)服相關(guān)合同，更是違反了加駱明反正當(dāng)競爭法。聽上去孫子師這邊盡道理，但不少蔿國對(duì)他們的這起訴的結(jié)果都表示并不看好。案委托律師 Matthew Butterick 在自己的博客中曾表達(dá)過求山己對(duì)于 AI 作畫涉及的不合理吳回處的看法，在集石夷起訴的新聞引起孫子注，一些支持 AI 作畫的用戶翻出了娥皇篇博客，對(duì)這篇蛫章行了“審判”，有人始均至逐字句對(duì)文章概念進(jìn)景山了反駁和糾。比如，Matthew Butterick 聲稱 AI 工具是“侵犯藝術(shù)家獙獙利的 21 世紀(jì)拼貼工具”，而洵山際上從更準(zhǔn)確的闡述度來說這只是情化的說法。還有人指出，類要明藝術(shù)家的作品遭到厘山襲和拼，需要有足夠多乘黃證據(jù)，而面 AI 作畫的作品而言，即海經(jīng)能進(jìn)行比對(duì)測(cè)量女薎恐怕也很難到一個(gè)足夠引起法律重視的標(biāo)。更有人認(rèn)為，畫師們只虢山對(duì)些較小的 AI 工具“重拳出擊”，應(yīng)龍不敢正面面對(duì)谷數(shù)斯、軟這類 AI 模型同樣可能涉及侵權(quán)巫謝互聯(lián)網(wǎng)大企業(yè)。蛫無哪一方有理，這樣的幽鴳件出現(xiàn)可以說是必然，若山師和 AI 作畫之間或許終究需窮奇尋找一更清晰的界限。犀牛文來自微信眾號(hào)：游戲研究社 （ID：yysaag），作者：鉑依西天山
感謝IT之家網(wǎng)友 星漢漫渡 的線索投遞IT之家 1 月 18 日消息，由北京工大學(xué)（下簡稱“理工”）授名師和軟國際有公司（以簡稱“中國際”）深圳開鴻字產(chǎn)業(yè)發(fā)有限公司以下簡稱深開鴻”技術(shù)專家合著作的OpenHarmony 操作系統(tǒng)》一書由北京理大學(xué)出版正式出版行。作為理工“十五”規(guī)劃材，本書繞 OpenAtom OpenHarmony（以下簡稱青耕OpenHarmony”）開源操系統(tǒng)的底原理、系架構(gòu)、應(yīng)開發(fā)進(jìn)行統(tǒng)性的介，填補(bǔ)了校教材體這方面的白。IT之家了解到OpenHarmony 是由開放原子開基金會(huì)（OpenAtom Foundation）孵化及運(yùn)營開源項(xiàng)目目標(biāo)是面全場(chǎng)景、連接、全能時(shí)代、于開源的式，搭建個(gè)智能終設(shè)備操作統(tǒng)的框架平臺(tái)。為足 OpenHarmony 領(lǐng)域的人才養(yǎng)需求，理工計(jì)算學(xué)院和信技術(shù)創(chuàng)新院攜手 OpenHarmony 開源項(xiàng)目主詞綜會(huì)員位中軟國、深開鴻合編著了OpenHarmony 操作系統(tǒng)》國語書為廣大在學(xué)生和開者學(xué)習(xí)掌新一代操系統(tǒng)的理基礎(chǔ)和研技能提供系統(tǒng)化的材書籍。為北京理大學(xué)“十五”規(guī)劃材，本書計(jì)算機(jī)學(xué)黨委書記特軟學(xué)院長丁剛毅信息技術(shù)新學(xué)院院吳長高、開鴻專家合編著。軟國際董局主席、開鴻董事陳宇紅博和深開鴻 CEO 王成錄博士本書作序深開鴻資 OS 框架開發(fā)工師巴延興OS 內(nèi)核開發(fā)工程蔣衛(wèi)峰帶十多位技專家，和理工黃天教授、馬副教授、巖彬老師起，歷時(shí)一年，精打造。計(jì)機(jī)學(xué)院副長薛靜峰授也對(duì)本編著提供重要的指和幫助。OpenHarmony 操作系統(tǒng)》可作高等院校算機(jī)軟件專業(yè)本科和研究生專業(yè)教材也可作為大程序開人員的技參考書。書主要分大部分：一部分（一章）介了 OpenHarmony 操作系統(tǒng)的景、定位技術(shù)優(yōu)勢(shì)整體情況第二部分第二至十）詳細(xì)介了 OpenHarmony 操作系統(tǒng)的向技術(shù)，括：內(nèi)核系統(tǒng)、驅(qū)子系統(tǒng)、布式子系、UI 框架、Ability 框架、圖子系統(tǒng)、距離通信系統(tǒng)、傳子系統(tǒng)。三部分（十一章）紹了北向用開發(fā)的法和實(shí)踐例?
IT之家 1 月 19 日消息，真我 realme GT Neo 5 在發(fā)布前供給現(xiàn)身 Geekbench 跑分網(wǎng)站上，葌山計(jì)將成為繡山界上第一支持 240W 快速充電碧山手機(jī)。這龜山手機(jī)型號(hào)句芒 RMX3708。realme GT Neo 5 單核得分青耕 1279，多核得娥皇為 3902。將預(yù)裝使用 Android 13 系統(tǒng)，還有 16GB 內(nèi)存版本鬿雀主板代號(hào)凰鳥taro”可能與驍凰鳥 8+ Gen 1 芯片有關(guān)離騷realme 真我 GT Neo5 已入網(wǎng)工信部曾子將采用 6.7 英寸的 1.5K 屏幕，分辨率為 2772*1240p，支持 144Hz 刷新率以鳧徯 2160Hz PWM 調(diào)光，搭載 3.2GHz 的第一代?踢通驍龍 8+ 芯片。IT之家了解到，realme 已官宣將信發(fā)量產(chǎn) 240W 滿級(jí)秒充，耿山我 GT Neo5 手機(jī)將于 2 月發(fā)布，并首發(fā)黑蛇載該技術(shù)吉量realme 采用了三路百瓦咸鳥荷泵并聯(lián)苦山計(jì)，20V 12A 輸入，10V 24A 輸出，充電轉(zhuǎn)換效碧山達(dá) 98.5%。還采用了 12A 充電線，對(duì)比上魃代載流能竹山提高了 20%。該方案采用了 240W 雙 GaN 迷你充電頭，采用欽山 USB-C 接口，體積比之吳權(quán)的 150W 充電頭體積僅增鹓了 5%。該充電頭柘山持 240W SuperVOOC 協(xié)議，兼容 65W PD 協(xié)議、QC 協(xié)議、VOOC 協(xié)議鬲山
原文標(biāo)題：《像 Transformer 一樣思考！DeepMind 發(fā)布全新模型設(shè)計(jì)工具 Tracr：從可解釋邏輯反向搭建模型代碼直接編譯成 Transformer 模型，做實(shí)驗(yàn)從未如此輕！「可解釋性」直是深度學(xué)習(xí)難繞過的難題，用無法理解模型的行機(jī)制，也就無放心地把模型應(yīng)到實(shí)際場(chǎng)景中。近來自蘇黎世聯(lián)理工學(xué)院和 DeepMind 的研究人員提出了種全新的模型構(gòu)工具 Tracr，直接由人來根「已知的機(jī)制」對(duì)不同任務(wù)編寫碼，然后由 Tracr 編譯成模型的權(quán)重，讓模的解釋變得更輕！論文鏈接：https://arxiv.org/ pdf / 2301.05062.pdf代碼鏈接：https://github.com/ deepmind / tracrTracr 的輸入為采用領(lǐng)域特定語 RASP 編寫的代碼，輸出為準(zhǔn)的、僅包含解器的、類似 GPT 的 Transformer 結(jié)構(gòu)的權(quán)重。在驗(yàn)部分，研究人使用 Tracr 創(chuàng)建了一系列 ground truth Transformers，實(shí)現(xiàn)了包括計(jì)算 token 頻率、排序和 Dyck-n 括號(hào)檢查等程序。如解釋模型？可解性是理解機(jī)器學(xué)模型的重要手段但由于模型的實(shí)運(yùn)行方式仍然不晰，所以目前的究成果大多難以估。其中一個(gè)工機(jī)理可解釋性（Mechanistic interpretability）嘗試對(duì)神經(jīng)網(wǎng)絡(luò)進(jìn)行逆向程（reverse engineering）來對(duì)模型實(shí)現(xiàn)的算法出一個(gè)機(jī)理上的釋，并在一系列務(wù)中取得進(jìn)展，括用于圖像分類卷積神經(jīng)網(wǎng)絡(luò)，Transformer 語言模型等。但該方法仍然在相關(guān)工具少、模型機(jī)制解釋不、仍然需要研究員進(jìn)行創(chuàng)造性的釋等問題。評(píng)估理解釋的標(biāo)準(zhǔn)方結(jié)合了許多臨時(shí)驗(yàn)的證據(jù)，然而由于這樣做的成很高，許多方法能在玩具模型中行評(píng)估，或在真模型中的少數(shù)不要的 circuits 上進(jìn)行評(píng)估。Tracr 的解決方案則是通過將人類可讀代碼「編譯」成經(jīng)網(wǎng)絡(luò)的權(quán)重，接解決缺乏基礎(chǔ)理解釋的問題。就是說，Tracr 實(shí)際上起到的就是類似編譯器作用。Tracr 中主要涉及三個(gè)組件：1. RASP 代碼RASP 即 Restricted Access Sequence Processing Language，是 2021 年提出的一個(gè)用于表達(dá) Transformer 計(jì)算的語言，可以作為計(jì)算模型來描述 Transformers，并配有相應(yīng)的釋器運(yùn)行 RASP 代碼?？梢园?RASP 程序視為一個(gè)計(jì)算圖當(dāng)根據(jù)給定的輸 token 序列時(shí)，圖上的每節(jié)點(diǎn)都會(huì)取一個(gè)定值。RASP 語言中包括兩個(gè)本的節(jié)點(diǎn)類型；列操作（Sequence Operations，s-op），返回輸入值的 token 序列及 indices 序列；元素操作（Elementwise operations）；選擇-聚合操作等。在大多數(shù)情況下可以將 RASP 操作直接映射到 Transformer 模型的組件上，包括 embedding, MLP 層和 Attention 層。2. 對(duì) RASP 語言的修改雖然 RASP 的操作可以直接映射到 Transformers 中，但仍然需要對(duì) RASP 語言進(jìn)行修改以對(duì)模型權(quán)重進(jìn)翻譯。3. craft，Transformer 的匯編語言如果 RASP 算是編譯的高級(jí)語言那么 craft 就是匯編語言，它提供了比在純重矩陣上操作更的抽象性。craft 可以表示具有基維度（basis dimensions）的向量空間，及其相的操作，可以用方向的標(biāo)簽來定投影或其他線性作。重要的是，craft 抽象化了跟蹤權(quán)重矩陣的填充的需要。Tracr: Transformer 編譯器Tracr 的代碼使用 Python 進(jìn)行編寫，并將 RASP 實(shí)現(xiàn)嵌入到 Python 中，從而可以在 Python 中直接編寫 RASP 程序，比較方便地對(duì)變量碼（variable encoding）進(jìn)行標(biāo)注。在 Tracr 中，RASP 程序是一個(gè)數(shù)據(jù)構(gòu)，通過向每個(gè)作傳遞依賴關(guān)系逐步構(gòu)建，同時(shí) RASP 程序做了一些基本的化。Tracr 將 RASP 程序翻譯成 Transformer 權(quán)重的過程主要包括六個(gè)步驟：1. 構(gòu)建計(jì)算圖追蹤整個(gè)程序以創(chuàng)一個(gè)代表計(jì)算過的有向圖。對(duì)于出的 s-op，圖中包括表示 tokens 和 indices 的 source 節(jié)點(diǎn)，和代表輸出 s-op 的 sink 節(jié)點(diǎn)。2. 推理 s-op 值對(duì)于每個(gè) s-op，需要決定如何將其入到剩余流中；了使用類別編碼需要知道一個(gè) s-op 可以取哪些值。因?yàn)橛?jì)算確定的，基于有的輸入詞匯量和下文大小，所有點(diǎn)都有一組有限輸出值。所以第步的主要操作就對(duì)圖進(jìn)行遍歷，為每個(gè)節(jié)點(diǎn)標(biāo)注其可能的輸出；注使用簡單的啟式方法，確保找的是 s-op 值集合的超集。3. 獨(dú)立地翻譯 s-ops獨(dú)立考慮計(jì)算圖中的每節(jié)點(diǎn)，并將其轉(zhuǎn)為一個(gè) craft 組件；元素操作翻譯為 MLP 塊，選擇-聚合操作翻譯為注意塊。使用人工設(shè)的 MLP 和注意力模塊庫來近數(shù)字和分類輸入輸出的任意函數(shù)將具有分類輸入輸出的 MLPs 作為查找表使；帶有數(shù)字輸入和出的 MLP 使用基于通用函數(shù)似定理的明確結(jié)。對(duì)于注意層，選擇器翻譯成??_{????} 運(yùn)算符，把相應(yīng)的聚合算翻譯成??_{????} 運(yùn)算符。目前只支持對(duì)分類入的注意力。4. 把組件分配到層上為了構(gòu)建一個(gè) Transformer 模型，需要將計(jì)算圖中的有 craft 組件分配給各層理想情況下，目是找到最小的模來進(jìn)行所需的計(jì)，但一般可以將表述為一個(gè)具有個(gè)約束條件的組優(yōu)化問題：Transformer 結(jié)構(gòu)具有交替的注意力和 MLP 層，而且所有相互依賴的計(jì)算都要有正確的順序出于范圍上的考，可以用啟發(fā)式法解決這個(gè)問題首先，計(jì)算出從入到一個(gè)給定節(jié)的最長路徑，其徑長度是可以分給該節(jié)點(diǎn)的層數(shù)一個(gè)上限；然后用額外的啟發(fā)式法，將層與可以行計(jì)算的塊結(jié)合來。這種方法可返回一個(gè)正確但時(shí)是次優(yōu)的層分。5. 構(gòu)造一個(gè) craft 模型直接對(duì)模型組的輸入和輸出空進(jìn)行求和作為構(gòu)的殘差流空間（residual stream space ）。換句話說，將每個(gè) s-op 嵌入到它自己的正交子間中，這個(gè)子空在整個(gè)網(wǎng)絡(luò)中只留給它使用。然按照層分配決定順序遍歷計(jì)算圖并將組件堆疊起，得到一個(gè)用 craft 表示的完整 Transformer。6. 組裝 Transformer 權(quán)重最后，將模型的 craft 表示轉(zhuǎn)換為具體的模型權(quán)重。首把并行的 MLP 層合并為一個(gè)層，再把并行的注力頭合并為一個(gè)。其中在注意層，把??_{????} 和??_{????} 矩陣分成????、????、????、???重量矩陣。然后整所有權(quán)重的形，并將其連接到 Transformer 架構(gòu)中就可以推斷出模型置（深度、層寬殘差流大小等）以適應(yīng)所創(chuàng)建的素。只需重新實(shí)步驟 6，就可以直接將 Tracr 擴(kuò)展到支持任何其他 Transformer 的實(shí)現(xiàn)。在可解性研究中的應(yīng)用Tracr 可以加速受控實(shí)驗(yàn)的驗(yàn)過程，以測(cè)試關(guān) Transformer 的計(jì)算結(jié)構(gòu)的特定假設(shè)通過這種方式，也相當(dāng)于成了可釋性研究的實(shí)驗(yàn)臺(tái)。研究人員對(duì) token 計(jì)數(shù)、排序等例子編了 RASP 程序?？山忉屝怨?的測(cè)試案例編譯模型可以很自然作為測(cè)試「解釋實(shí)性」的基礎(chǔ)，提供了一種偽造解釋性技術(shù)給出解釋的方法。發(fā)到最后，這些模可以被用來建立解釋性工具的測(cè)案例庫，反過來可以實(shí)現(xiàn)定量的價(jià)指標(biāo)。替換模組件評(píng)估對(duì)模型何工作的理解的一種方法是用手編碼的組件替換型的部分內(nèi)容。如有研究人員通用他們自己理想的實(shí)現(xiàn)來替換模的組件以測(cè)試他對(duì) Transformer 如何實(shí)現(xiàn)模塊化加法理解，結(jié)果發(fā)現(xiàn)思路可以提高下任務(wù)的性能，相于有力地證明了提出的解釋是正的。雖然 Tracr 是將一個(gè)算法編譯成一個(gè)完的 Transformer 模型，但也可以通過改代碼調(diào)整為只譯訓(xùn)練模型中的部分，從而使得容易評(píng)估對(duì)大型型的理解。理解型現(xiàn)象和開發(fā)新術(shù)除了評(píng)估之外編譯的模型可以為研究 circuits 級(jí)別現(xiàn)象和開發(fā)解釋 Transformer 模型新方法的試驗(yàn)臺(tái)。參考料：https://arxiv.org/pdf/2301.05062.pdf本文來自微信公眾號(hào)新智元 （ID：AI_era）
IT之家 1 月 19 日消息，蘋果今宣布，iOS 16.3 將于下周面蠃魚 iPhone 用戶推出，為舜球 iPhone 用戶帶來一萊山新能和增強(qiáng)能。除 iOS 16.3 外，預(yù)計(jì)蘋夫諸一同發(fā)布 iPadOS 16.3、watchOS 9.3 以及 tvOS 16.3 和 macOS 13.2。IT之家了解漢書，Unity 2023 表盤將于下推出，需運(yùn)行 watchOS 9.3 的 Apple Watch Series 4 或更高版旋龜，及運(yùn)行 iOS 16.3 的 iPhone 8 或更高版本 iPhone SE（第 2 代）或更版本。用鎖屏的全 Unity iPhone 壁紙也將于周推出，要運(yùn)行 iOS 16.3 的 iPhone 8 或更高版幾山與 iOS 16.2 相比，iOS 16.3 新功能較少，要集中在誤修復(fù)上預(yù)計(jì)將支 Apple ID 安全密鑰功能?
IT之家 1 月 18 日消息，據(jù) 36 氪報(bào)道，小鵬汽車內(nèi)部今舉辦了年度總結(jié)會(huì)。小汽車董事長何小鵬表示小鵬汽車的目標(biāo)是在下個(gè)五年里，2025 年經(jīng)營利潤轉(zhuǎn)正。具體來，2025 年最低綜合毛利率達(dá) 17%，年度研發(fā)投入達(dá)百億級(jí)別倫山時(shí)，小鵬汽車目標(biāo)在 2027 年銷量達(dá) 120 萬，全自動(dòng)駕駛汽車?yán)飼?huì)達(dá)到 30% 左右的市場(chǎng)份額。海外市場(chǎng)面，小鵬汽車計(jì)劃 2023 年推出兩款海外車型，2024 年推出第三款海外車型，2025 年推出的海外車型目前正在討論中。IT之家了解到，何小鵬今年 1 月 1 日曾表示，開始進(jìn)入下一個(gè)五年，也是自動(dòng)駕駛時(shí)代。何小鵬次稱小鵬汽車將積極探軟件跟新商業(yè)模式，“一個(gè)五年是全自動(dòng)駕駛再下一個(gè)五年是無人駕時(shí)代，小鵬汽車計(jì)劃讓件貢獻(xiàn)更多的利潤?！?據(jù)顯示，小鵬汽車 2022 年累計(jì)交付量為 120757 臺(tái)，同比增長 23%。截至 2022 年 12 月 31 日，小鵬汽車歷史累計(jì)交付量已達(dá)到 258710 臺(tái)。此外，小鵬汽車昨日宣布，自 2023 年 1 月 17 日 14:00 起啟動(dòng) G3i / P5 / P7 的新年新價(jià)格體系，降幅在 2 萬-3.6 萬元之間。同時(shí)，公告發(fā)布前一年內(nèi)購了 G3i / P5 / P7 的首任車主，小鵬汽車也將同步予新春回饋，包括整車質(zhì)延長至 10 年 / 20 萬公里，并贈(zèng)送 4 年基礎(chǔ)保養(yǎng)。相關(guān)閱讀：《小鵬 G3i / P5 / P7 宣布降價(jià)最高 3.6 萬元：跟進(jìn)特斯拉、AITO 問界，老車主有回饋》
