Facebook 開源 JS 代碼優化工具 Prepack；GCC 7.1 發布；李彥宏再度強調 AI 轉型決心

編輯｜小智

本周要聞：李彥宏再度強調 AI 轉型決心，創立 17 年來首次改動百度使命；Facebook 開源 JavaScript 代碼優化工具 Prepack；GCC 7.1 發布，支持當前所有的 C ++ 17 標準，帶來更好的診斷和新的優化；柳青：滴滴大數據讓你每天少堵 20 分鐘；NASA 懸賞 10 萬招編程高手，目標世界最令人頭疼的編程語言；Docker 公司更換 CEO，將著重發力商業變現。

李彥宏再度強調 AI 轉型決心 創立 17 年來首改百度使命

5 月 4 日下午消息，百度公司董事長兼 CEO 李彥宏今日通過內網發布全員信，信中談到了百度公司的新使命：用科技讓複雜的世界更簡單。此前，百度創立以來的公司使命是：讓人們最平等便捷地獲取信息找到所求。

李彥宏稱，這是百度創立的第 17 年。這 17 年來，依靠「讓人們最平等便捷地獲取信息找到所求」的公司使命，百度立足搜索，「不僅有能力看到這些原本費時費力、繁瑣複雜的事情，有機會變得簡單起來，我們更有能力、有責任讓這些原本看起來不可能的事情，真正變為可能！」

不過在新的時代機遇下，人工智慧正在洶湧而來，面向新時代，百度也需要旗幟鮮明地拓展自己的願景。從幾年前開始到可以預見的相當長一段時間內，重心就在於人工智慧。我們布局人工智慧，就是希望讓機器獲得人的部分能力，也讓更多的人沒有門檻地使用技術、便捷地享受技術成果。」

李彥宏還說，之所以把百度的使命拓展為「用科技讓複雜的世界更簡單」，就是要藉助人工智慧等創新科技的力量化繁為簡，喚醒萬物！「讓我們的事業煥發出全新的生命力，為我們的使命注入全新的時代價值！」

數百 Android 應用使用超聲信號跟蹤用戶

德國 Brunswick Technical University 的一組研究人員發現數百個 Android 應用使用超聲信號跨設備跟蹤用戶。過去三年，超聲信號跨設備跟蹤日益流行起來，這項技術利用嵌入在廣告代碼或 JavaScript 代碼中的超聲波信號聯絡附近的平板和手機，超聲聲音耳朵聽不見，但智能設備能探測到。利用這一方法，跟蹤代碼可以將單一用戶與多台設備配對起來，跟蹤用戶在不同設備上看到的廣告。

最新研究得到了德國政府的資助，研究人員在兩座歐洲城市的四個商店發現了超聲跟蹤技術 Shopkick，但用戶需要打開嵌入 Shopkick SDK 的應用才會被跟蹤。他們同時發現了 234 個使用超聲跟蹤的 Android 應用，部分應用下載量多達數百萬次，屬於麥當勞和卡卡圈坊這樣的大公司。

柳青：滴滴大數據讓你每天少堵 20 分鐘

滴滴出行總裁柳青近日在洛杉磯參加米爾肯全球大會時，從城市交通產業變革角度，對滴滴利用大數據和演算法，著力發展智慧交通的戰略方向進行了闡述。她表示，共享資源能夠在環保、交通效率和城市生活空間變化方面解決城市可持續發展問題。

在環保方面，柳青表示，滴滴目前的乘客通過順風車和拼車服務，分享 600 萬次行程，每年可以節約 140 萬噸碳排放。此外，柳青還表示，共享出行還能推動新能源車的普及。她介紹稱，滴滴平台目前已有 20 萬輛左右的電動車輛，每年替代碳排放相當於 300 多個紐約中央公園。五年內，該數字將提高到 100 萬。柳青表示，這是共享出行興起之後，公民和企業自主進行的選擇。

柳青著重介紹了滴滴通過交通大數據，與濟南市合作改善當地紅綠燈管理的案例。由於濟南市主幹道經十路原有的紅綠燈管理與實際交通動態不匹配，高峰期 6 個路口的通行時間長達 40 分鐘。在引入滴滴的車輛浮動大數據和演算法之後，同路段的時間從 40 分鐘下降到 30 分鐘左右。柳青表示，滴滴目前已經和 15 個城市展開了類似實驗。她認為，如果類似技術能夠擴展，全世界都可以從交通擁堵中積攢出更多時間。

Facebook 開源 JavaScript 代碼優化工具 Prepack

5 月 4 日，Facebook 開源團隊技術作者 Joel Marcey 在 Hacker News 社區發布一則《Prepack 幫助提高 JavaScript 代碼的效率》，引起了社區的廣泛討論。

官方宣稱 Prepack 是一個優化 JavaScript 源代碼的工具，實際上它是一個 JavaScript 的部分求值器（Partial Evaluator），可在編譯時執行原本在運行時的計算過程，並通過重寫 JavaScript 代碼來提高其執行效率。Prepack 用簡單的賦值序列來等效替換 JavaScript 代碼包中的全局代碼，從而消除了中間計算過程以及對象分配的操作。對於重初始化的代碼，Prepack 可以有效緩存 JavaScript 解析的結果，優化效果最佳。

Visual Studio 2017 - Update 2 預覽版已發布

微軟在繼續通過 Visual Studio Preview 項目測試各類新功能，同時會通過公開發布的正式版測試這些新功能在現實世界中的表現情況。通過這種方式，開發者有機會及時了解正在開發的新功能，在開發的早期階段向微軟提供寶貴的反饋，藉此為產品的開發和改進方向提出自己的意見。

微軟用 Windows 10 S 挑戰 Chrome OS

在紐約舉行的 Microsoft EDU 會議上，微軟宣布了新的 Windows 版本：Windows 10 S，該版本只能運行來自 Windows Store 的應用。S 代表什麼微軟沒有給出正式說明，推測可能是學校 School 或商店 Store。Windows 10 S 鎖定官方應用商店的意圖是旨在給予設備更一致的性能，更好的電池續航力，改進安全。它的一個主要目標市場是學校，類似 Google 的 Chrome OS，支持微軟的雲端設備管理系統 Intune。

Windows 10 S 可選擇升級到專業版 Windows 10 Pro，教育部門可以免費升級，其他人則需要支付 50 美元。Windows 商店支持 Universal Windows Program (UWP) 應用，也支持傳統的 Win32 應用，微軟正準備將它的 Win32 應用 Microsoft Office 2016 帶到應用商店。首款運行 Windows 10 S 的筆記本電腦是微軟的 Surface Laptop。

第一季度全球新增 75 萬 Android 病毒 每日 8400 個

德國防病毒軟體廠商 G Data 日前發布報告稱，今年第一季度，全球新增 75 萬個 Android 惡意程序，相當於每天新出現 8400 個。G Data 在報告中稱，當前 Android 主宰著全球移動市場，但同時也成為了網路犯罪的重災區。僅在今年第一季度，G Data 就發現了 75 萬個新 Android 惡意應用，意味著每天平均新增 8400 個。

G Data 還預計，到今年年底，會有超過 350 萬個新 Android 惡意應用。相比之下，2016 年發現的新 Android 惡意程序量為 325 萬個，而 2015 年為 230 萬個。G Data 稱，當前 Android 設備面臨的最大問題在於：Android 廠商對系統的升級速度較慢，一些舊型號的設備甚至無法升級到最新版本，從而導致 Android 設備面臨巨大威脅。

當前，僅 4.9% 的 Android 設備升級到 Android 7.0 系統，而該系統早於 2016 年 8 月就已經推出。此外，31.2% 運行 Android 6.0，32% 運行 Android 5.0，20% 運行 Android 4.4，另有 10.1% 運行 Android 4.1。

Linux 4.11 發布

Linus Torvalds 在內核郵件列表上宣布釋出 Linux 4.11。主要新特性包括：多隊列塊層支持可插拔 IO 調度器框架和死線調度器；固態硬碟支持可擴展 swapping；新的 perf ftrace 命令；MD/RAID5 日誌；新的 statx() 系統調用；支持 Opal Storage Specification 驅動；支持 SMC-R 協議 (RFC7609)；SipHash 哈希函數；新的 LZ4 壓縮實現；以及大量的安全、架構和驅動更新等等。

GCC 7.1 發布

支持當前所有的 C ++ 17 標準，更好的診斷，新的優化。

NASA 懸賞 10 萬招編程高手，目標世界最令人頭疼的編程語言

美國宇航局（NASA）剛剛宣布設立多個獎金來招募編程高手，目的是改進流體力學模擬軟體 FUN3D。目前，包括 NASA、波音以及洛克希德等航空巨頭都在使用 FUN3D 來模擬測試和優化航空器設計。此次，NASA 為技術大牛們準備了豐厚的獎勵，優化效率最高的兩人將分別獲得 1.5 萬美元和 1 萬美元的現金回報（約合 10 萬和 6.9 萬人民幣），而其餘給出普通改進方案的人也會得到一定的獎勵。

外媒提醒稱，想要優化 FUN3D 其實並不容易，首先只有美國公民才能免費獲得這款軟體的源代碼。此外，FUN3D 是採用 Fortran 語言編寫的內核，而這種誕生於 20 世紀 50 年的編程語言在程序員群體中並不受歡迎。同時，NASA 也為此次優化改進工作設定了目標，要將軟體的運行效率提升 10-1000 倍，考慮到 NASA 內部已經聚集著大量 Fortran 高手和數學工程師，因此他們無法實現的事情對於外界人士來說就更難了。

Docker 公司更換 CEO，將著重發力商業變現

Docker 在 2015 年早期被貼上十億美元估值的標籤，那時「獨角獸」是一個時下熱詞，風險投資家口中經常談到的是 FOMO（唯恐錯過）。當時該軟體初創公司收入不到 500 萬，但這不重要。投資者的重心在於 Docker 在開發者中高漲的知名度——Docker 作為一套自由的、開源的工具，可以輕鬆用來將代碼在機器間移動，並在應用推送到線上之前用來測試。

在編程團隊中，Docker 已經變得如此無所不在，以至於在過去的兩個月里像 IBM、Oracle 和 Cisco 這樣的巨頭公司發布新聞公告宣傳該項技術對於他們客戶的可用性。但是要把使用轉換成美元仍然是一個難題。這個任務現在轉交給了行業的資深老兵 Steve Singh。在將 Concur Technologies 以 80 億美元賣給 SAP 三年後，Singh 將取代 Ben Golub 作為 Docker 的 CEO，並幫助公司壯大以達到並且超過它的估價。

Google 發布了 DIY 開源 AI 硬體產品——Voice Kit

今天 Google 宣布了名為「Voice Kit」的首個 AIY 項目，利用樹莓派來創建基於語音的虛擬語音助手。不過需要注意的是，該項目並不包含樹莓派，需要用戶自備，該項目可以使用 Pi 3 Model B，Pi 2 以及 Pi Zero。

AIY 項目負責人 Bully Rutledge 說道：「首個開源項目是 Voice Kit。根據相關說明來創建一個語音用戶介面，能夠使用雲服務或者在設備上完整運行。該項目極大的擴展了樹莓派產品的功能。」

GeekPwn 創辦人王琦： 黑客或許是 AI 時代保護人類的力量

5 月 4 日，碁震 KEEN 公司創始人兼 CEO，國際安全極客大賽 GeekPwn 創辦人王琦在「造就」TALK 上發表了關於《人「攻」智能》的演講。白帽黑客從對抗的思路出發，尋找 AI 潛藏的風險並不斷幫助其完善，其棒幫助人工智慧安全健康成長。作為全球首個探討人工智慧和專業安全的前沿賽事平台，GeekPwn 鼓勵更多的白帽子黑客可以協助 AI 進行安全性的預演分析。

王琦表示，人工智慧依賴對大量樣本進行深度學習，最後產生決策的過程，和安全領域裡通過產生大量模糊測試樣本引發計算機異常從而發掘出漏洞，最終執行流程可以被改變導致安全危害的過程非常相似，如果說正確樣本能夠產生正確的決策，那麼黑客通過離線模擬產生的 AI 攻擊樣本，則可能給人工智慧帶來錯誤的決策和行為。

谷歌在線文檔 Docs 遭大規模釣魚攻擊，情況現已被遏制

釣魚攻擊並不新穎，而谷歌用戶也常常成為被釣魚的目標。2014 年，類似的騙局瞄準了谷歌 Docs 和 Drive 用戶。有報道稱，此次的攻擊瞄準記者和教育行業人士。此次騙局略有不同，其目的是獲得用戶帳號的訪問許可權，而不是直接竊取用戶名和密碼。攻擊者開發了一款看起來類似谷歌 Docs 的應用，讓沒有防範的受害者主動給予某些許可權。

賽門鐵克信息安全技術和響應集團總監林·奧莫楚（Lin O『Murchu）表示，給予 Gmail 帳號許可權「相當於提供了用戶名和密碼」。這意味著，即使用戶沒有輸入密碼，他們也可能成為釣魚攻擊的受害者。在入侵成功後，釣魚應用會向用戶的通訊錄好友發送電子郵件，從而實現傳播。谷歌隨後禁用了這一釣魚應用。

參考線索

http://tech.sina.com.cn/i/2017-05-04/doc-ifyeychk7003374.shtml

http://www.solidot.org/story?sid=52289

http://tech.sina.com.cn/i/2017-05-05/doc-ifyeycfp9260333.shtml

http://www.infoq.com/cn/news/2017/05/Facebook-JavaScript-Prepack

http://www.infoq.com/cn/news/2017/05/vs2017-15u2

http://www.solidot.org/story?sid=52263

http://tech.sina.com.cn/it/2017-05-04/doc-ifyeycfp9241135.shtml

http://www.solidot.org/story?sid=52240

http://weibo.com/1715118170/F1nbT3OXd?

https://www.oschina.net/news/84483/nasa-offer-a-reward-to-recruit-fortran-programmer

https://www.oschina.net/news/84415/docker-change-ceo

http://www.cnbeta.com/articles/tech/609519.htm

http://tech.sina.com.cn/i/2017-05-04/doc-ifyeycfp9198340.shtml

推薦一本好書

「作者寫書的口吻完全是教條主義，感覺高高在上。」

「作者不讓找 KOL 寫推薦語？那這書還怎麼賣？」

「作者個人履歷挺豐富的啊，為什麼不同意加作者介紹？十年了，我第一次遇到這情況」

「你確定這作者在 InfoQ 上受歡迎？」

這是一位出版社金牌編輯的原話，他所說的就是 InfoQ 出品的第一本書——《聊聊架構》。社區中並不缺少架構圖，而是缺少架構相關的基礎知識。我們花了近兩年的時間，打磨這本可能註定無法暢銷的技術書。不為別的，只希望為這個行業貢獻一點點力量，能夠引起一些思考也是好的，如果能夠幫助一些軟體工程師們獲得更好的工作效率和工作品質，就超出期望值了。

今日薦文

喜歡這篇文章嗎？立刻分享出去讓更多人知道吧！