華爲201萬年薪招的是什麼人才？答：人工智能！

7月23日，華爲內部發文公佈了由任正非簽發的8名頂尖學生的年薪方案。據媒體報道，這8名人員所有爲2019屆應屆頂尖學生，其年薪最低爲89.6萬元，最高爲201萬元。中國青年報·中國青年網記者發現，「頂尖學生」所學專業多與人工智能等前沿領域有關。

這則《關於對部分2019屆頂尖學生實行年薪制管理的通知》（如下簡稱《通知》）指出，「華爲公司要打贏將來的技術與商業戰爭，技術創新與商業創新雙輪驅動是核心動力，創新就必需要有世界頂尖的人才，有頂尖人才充分揮發才智的組織土壤，咱們首先要用頂級的挑戰和頂級的薪酬去吸引頂尖人才。」

《通知》顯示，華爲這次公佈的2019屆頂尖學生的年薪中，共分爲三個區間，最高的爲182萬-201萬元，其次爲140.5萬-156.5萬元，最低的是89.6萬-100.8萬元。

這次華爲招聘的8名博士中，得到最高年薪之一的鐘釗是中國科學院大學2014級碩士生、2016級博士生。7月23日下午，中國青年報·中國青年網記者獨家採訪了他的博士生導師、中國科學院自動化研究所副所長劉成林。劉成林表示，鍾釗的培養單位是中國科學院自動化研究所，碩博階段攻讀專業都是「模式識別與智能系統」。

劉成林分析認爲，之因此鍾釗能夠得到如此高的年薪，與他的研究方向有關。「他的研究方向比較新，並且實用。他研究的是深度神經網絡結構的自動設計，就是讓機器自動學習神經網絡的結構，相比人工設計的網絡擁有更好的性能，也頗有發展前景，如今研究這個方向的人也比較少。我想華爲是看重這一點。」

名單中的何睿一樣是中國科學院大學2014級碩士生、2016級博士生，他的培養單位是中國科學院數學與系統科學研究院，所學專業爲計算數學。

中國科學院大學數學科學學院副院長郭田德教授告訴記者：「此次華爲高薪招聘博士畢業生，是我國科技產業界對高層次人才的渴求，是中國科技水平提升的標誌。」

就在一個月前，華爲心聲社區貼出華爲創始人、CEO任正非6月20日在公司EMT（經營管理團隊）內部的講話。任正非稱：「今年咱們將從全世界招進20-30名天才少年，明年咱們還想從世界範圍招進200-300名。這些天才少年就像‘泥鰍’同樣，鑽活咱們的組織，激活咱們的隊伍。將來3-5年，相信咱們公司會面目一新，所有‘換槍換炮’，必定要打贏這場‘戰爭’。」

當「華爲百萬年薪招頂尖學生」的消息在網絡上引發熱議後，劉成林認爲這會給一些學生的專業或研究方向選擇帶來影響。「熱門的專業和方向在短時間內容易受到關注。可是職業道路想走的更遠，仍是要看多方面的素質。」劉成林說。

郭田德表示，這些畢業生被華爲高薪招聘，僅僅表明着他們過去學業優秀。做爲學校一方，更看重他們將來對科技發展做出的貢獻，看重他們在實際工做中的表現。

二、尚能飯否？孫宇晨發推自證身處舊金山

IT之家7月24日消息 今日凌晨，波場TRON基金會創始人孫宇晨在twitter發文自證身處舊金山，圖片中的孫宇晨手持寫有一串奇異字符的紙張。

據悉，今日凌晨孫宇晨還在pscp.tv開啓直播，疑似迴應近期傳聞。

昨日孫宇晨表示因突發腎結石正於醫院治療，故取消了與巴菲特的午飯會面。

財新隨後報道稱，孫宇晨已被邊控，互金整治辦已經建議公安機關對其立案。今天凌晨，孫宇晨在微博上回應，財新網的報道徹底不實，其一切平安，病情好轉後就會與外界見面。同時，就陪我App註銷一事，孫宇晨表示是正常經營行爲，沒必要過分解讀。

今年6月，孫宇晨以456.7888萬美圓（約合人民幣3154.03萬元）的價格拍下了巴菲特慈善午飯。這一價格也是巴菲特慈善午飯拍賣歷史中的最高成交價。

三、微軟解釋：爲何 Rust 是系統編程最佳選擇

上週，MSRC（微軟安全響應中心）透露出擁抱Rust 的打算，隨後他們將這個話題擴展爲一個系列，進一步闡述了使用安全的系統編程語言的的必要性，以及選擇Rust的緣由。

在該系列最新一篇文章中，MSRC 團隊首席雲開發佈道師Ryan Levick解釋了爲何他們認爲Rust編程語言目前是業界採用的最佳選擇，不只僅是由於它可以之內存安全的方式編寫系統級程序。

「首先，已經有不少出色的內存安全語言在微軟內外普遍使用，包括.NET語言（像是C#或F#）和其餘語言（例如Swift、Go和Python）。咱們鼓勵目前使用C或C++的人將其中任意一種語言歸入考慮。不過如今談論的是對安全的系統編程語言的需求，此類工做負載須要C、C++和Rust可以提供的速度和可預測的性能。經過垃圾回收實現內存安全的語言不是系統編程的理想選擇，由於它們的運行時間會致使不可預測的性能和沒必要要的成本。」

性能和控制

Levick指出，最好先考慮一下沒法從 C和C++放棄的東西——性能和控制，就能更清楚地明白 Rust爲何是一個好的選擇。像C和C++同樣，Rust有一個最小的可選「運行時」。Rust的標準庫一樣依賴於libc，但標準庫也是可選的，所以在沒有操做系統的平臺上運行也是可能的。

仍然像C和C++同樣，Rust爲程序員在什麼時候分配內存以及分配內存的多少上提供了精細的控制，使程序員可以很是清楚地知道程序每次運行時的確切執行方式。在原始速度、控制和可預測性方面，這對於性能來講意味着什麼？那就是，「Rust、C和C++能夠用相似的術語來思考」。寶寶起名網

安全

Rust與C和C++的區別在於其強大的安全保障，某種程度上來講Rust徹底是內存安全（memory safe）的。正如以前那篇文章提到的，微軟大約70%的安全問題是內存安全問題。若是這些軟件用Rust編寫，那麼這 70%的安全問題極可能就不存在。

在系統編程中，有時程序員必須執行沒法靜態驗證爲安全的操做。Rust爲程序員提供了將這些操做封裝在安全抽象中的工具，這意味着曾經降級爲代碼註釋或約定的東西能夠由Rust編譯器靜態強制執行。

不只僅是性能與安全

Rust最初引發MSRC的興趣正是因爲上述性能與安全方面的特性。但它的的魅力不止於此，已經有其餘微軟團隊開始採用Rust，主要出於如下緣由：

根據微軟內部調查，採用它的最主要緣由是「精密性」（correctness）——「if it compiles, then it works」。

Rust靜態地強制執行程序的許多屬性，已經遠超內存安全性，還包括空指針安全性和數據爭用安全性（即沒有來自兩個或多個線程的一塊內存的不一樣步訪問）。

Rust的豐富類型系統使編寫富有表現力的程序成爲可能。 具備相關數據的枚舉和強大的trait系統等概念進一步強化了Rust的目標，即儘量使程序無錯誤。

Rust現有的社區對該語言有很大益處。雖然Rust仍然是一種年輕語言，但它擁有一個健康的生態系統，既可以促進開源社區發展強大，又可以支持生產用戶。

Levick表示有足夠的理由相信Rust會有一個光明的將來，「雖然如今大規模採用Rust還爲時過早，但早期採用Rust一般是很是積極且正面的」。他們相信Rust在編寫安全的系統軟件時會改變遊戲規則。Rust提供編寫底層系統所需的性能和控制，同時使軟件開發人員可以編寫更健壯、安全的程序。

不過，MSRC在研究Rust時發現了一些問題，其中包括如何規範Rust的「不安全」（unsafe）超集的使用，缺少與C++的一流互操做性，以及與現有Microsoft工具的互操做性。這確實對微軟採用Rust提出了挑戰，但MSRC仍是滿懷期待：「咱們對這些可能性感到興奮。雖然還有許多關於Rust如何適應整個Microsoft工程的問題須要弄清楚，但咱們鼓勵其餘人一同加入，認真考慮這門語言，以知足他們的系統編程需求。」

MSRC博客原文：https://msrc-blog.microsoft.com/2019/07/22/why-rust-for-safe-systems-programming/

4、一臺機器狗拉着一架重達3噸的飛機走了10米遠

HyQReal機器狗由意大利理工學院（IIT）的研究人員研發，但願能在緊急狀況下爲人類提供支持。

新浪科技訊 北京時間7月24日消息，據國外媒體報道，現在的機器狗早已通過了會被人類輕輕鬆鬆絆倒的時代。在一段新發布的視頻中，咱們能夠看到現在的四足機器人已經先進到了何種地步：一頭名叫HyQReal的機器狗在乎大利熱那亞機場成功拉動了一架重達3噸的飛機。

HyQReal機器狗由意大利理工學院（IIT）的研究人員研發，但願能在緊急狀況下爲人類提供支持。而就像視頻中展現的那樣，這臺機器狗顯然有這樣的實力。

這臺機器狗拽着沉重的飛機走了10米左右，看上去彷佛並沒費什麼力氣，隨後一名研究人員用控制器讓它停了下來。考慮到HyQReal機器人自身僅有127千克重、1.2米長，這一成就能夠說很是了不得。

意大利理工學院解釋道，這臺機器人有四隻「特別定製」的腳，上面裝了特殊的橡皮爪，所以可以緊緊抓住地面。

這臺HyQReal是該系列機器狗的最新版。研究人員從2007年開始就一直在研發該系列產品。研究人員但願將這些四足機器人運用在救災、農業、搜查等領域之中。

「這臺機器狗這次拉動飛機成功展示了它的力量、自主性和優化設計。」意大利理工學院動力腿式系統實驗室項目主管克勞迪奧·塞米尼（Claudio Semini）在聲明中表示，「咱們想要實現此前從未實現之事，而咱們在上週取得了成功。」

上個月，波士頓動力公司的Spotpower機器狗成功拉着一輛卡車穿過了一座停車場。它們還能將卡車拉上約1°的坡。波士頓動力公司但願能在本年內讓Spotpower機器人上市出售。