波音777軟體使用Ada語言，737使用PHP；VS2019背景圖綠帽子被舉報為bug；華為自研操作系統：以防萬一

編輯 | 小智

本周要聞：波音 777 系列的軟體是用 Ada 語言寫的；F5 6.7 億美元收購開源伺服器 Nginx；百度啟動高管退休計劃；陸奇出任拼多多技術顧問委員會負責人；華為自研操作系統：以防萬一；Android Q Beta 1 發布；VS2019 背景圖綠帽子被舉報為 bug；鉑濤旅行以對方系統 bug 為由否定中獎。

科技公司

波音 777 系列的軟體是用 Ada 語言寫的

「Working together」是波音公司最初考慮生產 777 噴氣式飛機時選擇的項目名稱。當時，波音公司打算讓參與該飛機項目的 1 萬人接受公司內部部門和外部供應商之間的開放和非競爭性政策。該模式面臨的一個挑戰是波音堅持軟體必須用 Ada 編程語言編寫。波音商用飛機集團的工程航空電子軟體經理 Brian Pflug 說，大多數公司根本不喜歡標準語言的想法，強烈反對 Ada 太不成熟。此外，有一個供應商在開發其項目的一部分時已經使用另一種語言進行了 6 個月。該公司研究得出結論，Ada 的內置安全特性將減少用於調試軟體的時間、費用和關注。

另據了解，波音 737 Max 使用的編程語言是 PHP。

F5 6.7 億美元收購開源伺服器 Nginx

3 月 11 日，Nginx 在其官網宣布與 F5 簽署最終協議，完成這筆 6.7 億美元的收購。Nginx 對外尋求收購已有數月，叫價 7 億美元，和 Citrix 談過，價錢沒談攏，最終賣給了競爭對手 F5。收購新聞後，F5 股價當天應聲上漲 2.6%。該公司預計，該交易將使 2019 年和 2020 年的收入增長達到 5% 左右，並提高軟體收入占公司總資產負債表的比例。

Facebook、Instagram 和 WhatsApp 發生嚴重宕機事故

社交巨人 Facebook 日前發生了罕見的嚴重宕機事故，這起事故影響到了 Facebook，Instagram 和 WhatsApp。Facebook 通過 Twitter 發表聲明稱，它們正著手解決問題，現在能確認的是問題與 DDoS 攻擊無關。問題始於 3 月 14 日，部分用戶報告無法登陸，或無法更新狀態，事故影響美國、歐洲、南美、澳大利亞和亞洲用戶。WhatsApp 用戶也報告他們無法發送照片。原因：宕機事故系伺服器配置問題導致。

Google 筆記本和平板部門減員

Business Insider 報道，Google 通知筆記本和平板部門的數十名僱員，讓他們在公司內部尋找新的工作。該部門最近的產品是運行 Chrome OS 的平板 Pixel Slate 和高端筆記本電腦 Pixelbook。收到通知的僱員包括了硬體工程師和產品經理及其助理。Google 讓他們去尋找臨時性而不是永久性的新工作，可能是為了在未來給硬體部門留下伸縮的餘地。Pixel Slate 和 Pixelbook 的銷量不佳可能也是減員的原因。Google 硬體部門正準備展示它的遊戲機相關產品。

IBM 使用 Flickr 上的知識共享照片訓練人臉識別系統

IBM 等公司從照片分享網站 Flickr 收集了至少一百萬張照片來訓練人臉識別系統。這些照片採用了知識共享協議授權，將這些照片用於訓練 AI 並沒有違反協議。但許多用戶表示他們從未想過自己的照片會以這種方式使用。IBM 今年 1 月公布了 100 萬張 Flickr 照片的資料庫，並發表論文描述了如何分析人臉的方法。攝影師對其照片用於訓練 AI 表達了不安。IBM 發表聲明它非常重視個人隱私，認真遵守了隱私原則，個人可選擇退出該數據集。但很多人可能並不知道他們的臉部照片進入了 IBM 的資料庫。

百度啟動高管退休計劃，總裁張亞勤今年十月退休

日前，百度發表了一篇名為「亞勤將於十月退休」的文章，文章宣布了兩大重磅消息：正式宣布新的人才梯隊建設計劃，百度將加速幹部年輕化的進程，選拔更多的 8090 後年輕人進入管理層；正式推出了高管退休計劃，對於為公司傾注心血、陪伴公司成長的高級管理者，如因個人意願或家庭需要選擇新的生活，都將納入高管退休計劃給予關懷和照顧。百度總裁張亞勤成為了第一個申請加入退休計劃的高管，今年 10 月將從百度退休。

陸奇出任拼多多技術顧問委員會負責人

3 月 13 日，拼多多創始人、CEO 黃崢在財報電話會議上表示，拼多多將成立技術顧問委員會，百度前總裁陸奇領導相關工作。黃崢表示：「基於分散式 AI 技術，拼多多為電商行業開創了差異化、個性化的路徑。隨著越來越多的用戶加入該網路以及日均活躍度的提升，拼多多正持續優化 AI 引擎，以滿足用戶不斷演化的深層次、多樣性的需求。」此外，黃崢認為，考慮到深入推進研發的重要性，拼多多將成立技術顧問委員會，在陸奇博士和其他委員會成員的帶領下進一步強化拼多多的技術能力。黃崢還透露，拼多多將與全球多家科研機構協作，共同推進分散式 AI 技術的發展。

京東宣布張晨卸任 CTO 將擔任集團顧問

京東集團 3.15 日宣布，張晨由於家庭原因需長期在海外生活，從 2019 年 6 月 30 日起擔任集團顧問，同時他將卸任京東集團首席技術官（CTO）。京東將在未來宣布相關繼任計劃。京東集團表示：我們非常感謝張晨加入京東以來對集團的出色貢獻和對研發團隊的領導，希望他在新的角色上繼續為推動京東技術的發展，並祝願他和他的家人一切順利。京東也會不斷擴充技術領軍人物，進一步強化京東的研發能力。

華為自研操作系統：以防萬一

3 月 10 日，華為消費者業務 CEO 余承東在接受德國媒體《世界報》的採訪中表示：華為確實已經準備了一套自研的操作系統，但這套系統是以防未來一旦不能使用 Android 或 Windows 等系統的 Plan B，華為還是更願意與谷歌和微軟的生態系統合作。

軟硬體發布

Android Q Beta 1 發布

Google 釋出了 Android Q 的第一個 Beta 版本，正式版預計會在今年晚些時候發布。Android Q Beta 1 主要新特性包括：加強隱私和安全方面的保護，給予用戶對位置有更多的控制，用戶對共享文件的訪問將有更多的控制，新的運行時授權允許用戶控制對照片、視頻或音頻的訪問，防止後台應用突然激活進入前台，限制對不可複位的設備標識符的訪問，新的設備設置 API 可以在應用上直接顯示關鍵系統設置，改進了點對點和互聯網連接，等等。

https://android-developers.googleblog.com/2019/03/introducing-android-q-beta.html

微服務框架 Helidon 1.0 發布

Helidon 是 Oracle 開源的一個用於編寫微服務的 Java 框架，這些微服務運行在由 Netty 提供支持的快速 Web 內核上。該項目的特性包括輕量、快速、支持 Microprofile、函數式編程模型與可觀察性、彈性。它支持兩種編程模型，一種是 Helidon SE，Oracle 稱之為「以現代響應式方式開發的簡單、多功能、輕量級微框架」；另一個是 Helidon MP，它是一個 Eclipse MicroProfile 實現，提供 Java EE/Jakarta EE 開發人員熟悉的開發經驗。

Sublime Text 3.2 發布，完美集成 Git

Sublime HQ 正式發布了 Sublime Text 3.2 版本，據官方介紹，該版本的新特性包括：一流的 Git 集成；直觀顯示文件的增量變化 (incremental diff)；針對主題功能的變更和改進；對代碼塊 (block caret) 的支持；支持 Unicode 11.0；Windows：改進 IME 支持；語法高亮新增對 Clojure, D, Go, Lua 語言的支持等。

IT 業界

VS2019 背景圖綠帽子被舉報為 bug

在 Visual Studio 編譯器開發者社區，一位華人遞交了 bug 報告，原因是 VS 安裝程序的背景圖裡有位騎著自行車的人，而這個人戴著一個綠帽子。這位 bug 遞交者聲稱綠帽子在中國文化里是貶義詞，意思是女友或妻子出軌。遞交者稱，VS 是一種國際性產品，需要考慮文化多樣性以避開是非。對此有人贊同有人反對。微軟現在釋出了新版，開發者表示問題已經解決。

鉑濤旅行以對方系統 bug 為由否定中獎

多名鉑濤旅行 APP 用戶報告他們參與幸運大轉盤抽獎活動，抽得了一部 iphoneXS，但客服人員卻告知對方是因其手機系統緩存導致出現中獎，實際中獎並非 iphoneXS。技術人士表示，若排除用戶造假可能的話，APP 出現 bug 的可能性很大，一般來說中獎結果的真實記錄是在伺服器端產生，APP 上只能看到中獎結果，要麼是 APP 的數據解析出現了 bug，要麼是伺服器端真的產生了中獎，兩種結果最終都應由商家承擔責任。所謂的圖片緩存問題，即便出現也應該算是 APP 的 bug。

Windows 10 將自動卸載存在問題的更新

微軟正在開發一項新功能，讓 Windows 10 能自動卸載存在問題的更新。微軟在官方支持頁「為什麼最近安裝的更新移除了」中解釋說，Windows 自動安裝更新是為了確保設備安全和運行在最佳狀態，但這些更新偶爾會由於不兼容或新軟體的問題而失敗。如果你的設備最近從啟動失敗里恢復過來，可能會收到移除部分最近安全更新的通知。微軟表示它只在其它自動恢復嘗試失敗之後才會選擇自動卸載最近的更新。

Firefox 正式發布文件共享工具 Send

2017 年 Firefox 的 Test Pilot 項目推出了一個實驗性的文件共享擴展 Send，允許用戶以加密方式發送最大 1GB 的文件，可以與朋友同事分享，創建的鏈接將在下載一次後或間隔一天後自動刪除或過期。現在，Mozilla 正式發布了 Firefox Send，可發送文件大小的容量也增加到了 2.5 GB（登錄用戶，匿名用戶 1 GB），大大增強了可用性。Send 使用端對端加密確保數據的安全性，用戶可設置過期時間，下載次數，是否需要添加額外一層的安全保護比如需要密碼才能打開。接受到文件的用戶不需要賬號就能直接下載。

中國手機出貨量繼續下滑

市場數據顯示，2 月中國手機市場總體出貨量總計約 1450 萬部，同比下降 19.9%。這是 2013 年 2 月以來歷年同期最低水平，當時的出貨量為 2070 萬部。2 月整體消費者購買量往往會放緩，因為有春節假期。但今年出貨量降幅超出以往，原因可能是經濟放緩加劇，損害的手機的整體需求。鑒於智能手機銷量料將保持低迷，華為等中國市場領頭羊已將目標放在昂貴的高端機型以爭取高利潤率。

三分之二的 Android 殺毒應用沒有價值

殺毒軟體測試機構 AV-Comparatives 測試了 Google Play 商店裡的 250 款殺毒應用，檢查這些應用對 2000 惡意應用樣本的檢測情況。結果顯示，只有 80 款應用能阻止最少數量的惡意樣本。不到十分之一的應用能阻止所有惡意應用，超過三分之二的應用檢出率不到 30%。如果你想要保護自己的 Android 設備，最好使用知名安全公司的產品。AV-Comparatives 稱大部分 Android 殺毒應用是假冒的，許多只是為了展示廣告或宣傳開發者自己。

Chrome 提供可選搜索引擎 DuckDuckGo

可能是出於反壟斷方面的考慮，搜索巨人在其最受歡迎的瀏覽器 Chrome 中將競爭對手、匿名搜索引擎 DuckDuckGo 加入到可選使用的搜索引擎名單中。這一變更隨 Chrome 73 的推出提供給了用戶，但不是所有地區的用戶，只限於 60 多個國家和地區，其中不包括中國。DDG 創始人 Gabe Weinberg 對此表示歡迎。此前 Google 還將 Duck.com 域名轉讓給了 DuckDuckGo。

如果你想跟 InfoQ 的編輯、運營小哥建立聯繫，聊聊學習資料、程序人生、科技資訊、脫單秘訣，可以添加微信 ryantz，備註：InfoQ 來意。期待與更多用戶成為好朋友。

點個在看少個 bug

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