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