Facebook 低調開發 AI 技術工具:自動掃描代碼找漏洞

Facebook 低調開發 AI 技術工具:自動掃描代碼找漏洞

本週要聞: 蘋果和華為都聲稱第一款 7 納米手機芯片;Facebook 開發 AI 技術工具,能自動掃描代碼找漏洞;中國發布自己的域名系統基礎軟件 “紅楓”;李飛飛從 Google 離職;TempleOS 作者去世;HHVM 將停止支持 PHP;微軟 Edge 和蘋果 Safari 瀏覽器曝漏洞,可致用戶訪問到虛假網站內容。

大公司

蘋果和華為都聲稱第一款 7 納米手機芯片

蘋果剛剛宣佈了新旗艦手機 iPhone Xs 和 Xs Max,聲稱它們搭配的 A12 處理器是第一款 7 納米手機芯片。而華為上月底發佈麒麟 980 時也聲稱它是第一款商用 7 納米芯片。那麼第一的榮譽究竟應該歸誰?也許應該是臺積電,這些芯片都是臺積電生產的。臺積電從今年 4 月開始批量生產 7 納米芯片,競爭對手三星則要等到今年底或明年初。GlobalFoundries 最近宣佈放棄 7 納米工藝研發。英特爾的 10 納米工藝等價於臺積電和三星的 7 納米工藝,而芯片巨人已經多次延期批量生產。蘋果新手機使用的 A12 由 6 個 CPU 核心(2 個性能 4 個能效),4 個 GPU 核心和一個處理機器學習任務的 8 核神經網絡引擎構成。蘋果聲稱其神經網絡引擎每秒能執行 5 萬億次運算。華為麒麟 980 的 CPU 是基於 Cortex-A76,有 8 個核心;GPU 是 Mali-G76。麒麟 980 有 69 億個晶體管,搭載這款處理器的 Mate 20 手機將於 10 月 16 日發佈。

Facebook 低調開發 AI 技術工具:自動掃描代碼找漏洞

Facebook 低調開發和部署了一種名為 SapFix 的人工智能(AI)工具,可以自動掃描代碼,尋找漏洞,然後測試不同的補丁,並向工程師推薦最佳修補方案。這款工具是在 Facebook 的 @Sacle 工程大會上宣佈的,目前已經應用於 Facebook 龐大的代碼庫。該公司還計劃最終向外部開發者分享該工具。SapFix 既可以與 Sapienz 配合使用,也可以獨立使用,Sapienz 是 Facebook 之前的自動化漏洞發現工具,與 SapFix 配合使用時,可以針對 Sapienz 發現的問題推薦解決方案。

騰訊研究院發佈《2018 年全球自動駕駛法律政策研究報告》

近日,騰訊研究院發佈了《2018 年全球自動駕駛法律政策研究報告》。報告認為目前中國自動駕駛汽車領域仍面臨立法空白、上路測試面臨合法性質疑、高精地圖測繪和使用受到法律限制等法律政策障礙;在宏觀政策支持自動駕駛技術發展的同時,國家和地方也在陸續出臺監管政策細則,規範自動駕駛。

百度有意為 AI 和自動駕駛汽車開拓海外市場

據 CNBC 報道,百度一直在積極探索人工智能和自動駕駛汽車等尖端科技。下一步,百度將把自己的 AI 和自動駕駛技術出口到海外市場,進一步向全球科技巨頭的目標前進。百度已經開發並生產了 100 多輛自動駕駛公交車,這些自動駕駛汽車不日將部署到北京和深圳的街頭,並將於 2019 年初進入日本的自動駕駛市場。

小米架構調整:元老放權新生代接班,發力 IoT 和互聯網

此次調整後,小米八位聯合創始人中大多數都已經歷經分管業務的變化,有的去開拓新業務,有的從掌管具體業務走向純管理崗位,有的則已經離職。重組成十個新的業務部之後,由四個互聯網業務部、四個硬件產品部、一個技術平臺部和一個消費升級的電商部構成,業務更加細分和清晰,同時這也意味著小米意欲在 IoT 和互聯網業務上進一步發力。

發 布

中國發布自己的域名系統基礎軟件 “紅楓”

中國發布了自己的域名系統基礎軟件 “紅楓(Maple DNS)”。新聞稿稱,紅楓軟件在 2011 年立項,由域名工程中心開發,“與目前廣泛使用的免費開源軟件 Bind9 相比,紅楓軟件由於採用全新架構設計,在高性能解析、多線路智能調度、快速數據更新、擴展性等多方面優於 Bind9。例如 Bind9 一般情況下每秒可以處理 5 萬次查詢請求,紅楓軟件可以輕鬆實現百萬級查詢能力。基於紅楓軟件,域名工程中心和中科曙光聯合推出首臺國產化域名服務器。”詳情:

http://www.zdns.cn/page_1523801_3675863.html

Kotlin 1.2.70 發佈,增量編譯速度提高 7 倍

Kotlin 1.2.70 已發佈,這是 Kotlin 1.2 的一個新的 bug 修復和工具更新版本。Kotlin/JS 增量編譯得到了極大的改進。根據新的項目結構,這可以將開發速度提高 7 倍甚至更多。此外,Kotlin/JS Gradle builds 現在支持跨模塊增量編譯。

OpenSSL v1.1.1 發佈:支持 TLSv1.3

"2018 年 9 月 11 日,著名的開源密碼庫項目 OpenSSL 發佈了 v1.1.1 版本,本次版本最大的變化是加入了 TLSv1.3 的實現,TLSv1.3 簡化了的密碼套件的可選項,徹底剔除了 RSA padding,前向安全 ( Forward secrecy) 成為默認,大幅度增強了安全性的同時也改善了性能 ;v1.1.1 也參考 NIST standard SP 800-90Ar1,DRBG 默認使用 AES-CTR DRBG,新增加的算法包括 SHA3,SHA512/224 and SHA512/256,EdDSA (including Ed25519 and Ed448) 以及中國商業密碼算法 SM2/SM3/SM4 等,但目前因為一些原因暫時未支持基於 TLS 協議下 SM2/SM3/SM4 的密碼套件,基於 OpenSSL 的開源項目 GmSSL 對 SM2/SM3/SM4 實現的密碼套件基於 TLSv1.1; 另外,這個版本也增強了對側信道攻擊的防禦。"

Haiku OS 接近發佈 beta 版本

開源 BeOS 操作系統 Haiku 在歷盡 17 年開發之後正接近發佈首個 Beta 版本。BeOS 操作系統在 2001 年被 Palm 收購後就停止了開發,Haiku 項目在這之後不久正式啟動,2002 年發佈了首個版本,但在 17 年之後 Haiku 項目仍然停留在 Alpha 階段。Haiku 開發者 Adrien Destugues 表示在發佈 Beta 前他們需要修復一些最令人尷尬的 bug。Haiku 最新的版本 R1 Alpha 4.1 還是在 2012 年發佈的。開發者表示他們想要確保發佈的版本是高質量的,他們願意為此延期。Destugues 說,在一切準備就緒前他們不會發布。

業 界

李飛飛從 Google 離職

Google 雲服務 CEO Diane Greene 宣佈卡耐基梅隆大學計算機科學院院長 Andrew Moore 將接替李飛飛負責領導雲人工智能業務,而李飛飛將按照原計劃迴歸斯坦福大學擔任教授,她將改任 Google 雲人工智能和機器學習顧問。李飛飛表示,其所在工作中學到的知識將進一步加強學術界和工業界的合作。李飛飛是在 2016 年 11 月加盟 Google 擔任人工智能首席科學家。2017 年 12 月,李飛飛在中國舉行的開發者大會上宣佈成立 AI 中國中心,這成為近年來 Google 在中國最重要的戰略佈局。她曾捲入早些時候引發爭議的 Project Maven 軍用 AI 項目,但沒有跡象顯示她的離開與此有關。

TempleOS 作者去世

TempleOS(née LoseThos) 唯一的程序員 Terrence Andrew Davis 去世,年僅 48 歲。Terry Davis 出生於 1969 年 12 月,是父母八個孩子中的第 7 個,在亞利桑那州立大學獲得了電機工程的碩士學位。他最早接觸的電腦是 Apple II,之後在 Commodore 64 上學習過彙編語言。他一開始是天主教徒,之後擁抱了無神論,認為大腦就是一臺計算機,視自己為一位科學的唯物論者。他至今仍然認為自己有科學的頭腦,是一位與上帝交談過的無神論者。1996 年初,他出現了精神分裂症狀。在精神狀況轉好之後,他搬回家與父母住在一起,著手寫一本《1984》的續集。這本書沒有完成。在想象中的上帝的要求下,他開始全心全意開發 TempleOS,這個操作系統有著來自 DOS 時代的圖形用戶界面。

HHVM 將停止支持 PHP

Facebook 開發的 PHP 執行引擎 HHVM 宣佈將停止支持 PHP。HHVM 通過將 PHP 代碼動態翻譯成原生機器碼而大幅提高速度。HHVM 支持 PHP 和 PHP 方言 Hack 語言,但現在開發者宣佈 HHVM v3.30 將是最後支持 PHP 的版本,2019 年 1 月釋出的 v4.0.0 將不支持 PHP,而到 2019 年 11 月 19 日 v3.30 將終止支持。它建議使用 HHVM 的項目完全遷移到 Hack 或 PHP7 和 PHP 運行時。

報道稱網秦創始人被董事長綁架一年多

鳳凰網報道稱,網秦創始人林宇被董事長史文勇綁架一年多。網秦或現在叫凌動智行是一家在紐約交所的上市企業,提供移動互聯網服務,該公司的原網站 www.netqin.com 已經有好幾年沒有更新了,很多網址已經是死鏈或被重定向到凌動智行。這家公司的股票接近垃圾股。報道稱,史文勇從 2016 年 11 月到 2017 年底綁架林宇長達 13 個多月。林宇稱他是被北京警方解救的,但沒有提供任何細節。他發佈公告宣佈了新的董事會和管理層人事調整與變動,自己接任網秦 CEO,並擔任 Co-Chairman (聯席董事長),任命原創始員工傅達、周遠和張躍兵為新董事。史文勇據報道已經離境。

TiDB 開發商 PingCAP 完成 C 輪 5000 萬美元融資

近日,新型分佈式關係型數據庫公司 PingCAP 宣佈完成 5000 萬美元 C 輪融資,這是目前為止新型分佈式關係型數據庫領域的最大筆融資。本輪融資將主要用於技術研發和全球化生態系統建設。TiDB 是一款定位於在線事務處理 / 在線分析處理 (HTAP: Hybrid Transactional/Analytical Processing) 的融合型數據庫產品,實現了一鍵水平伸縮,強一致性的多副本數據安全,分佈式事務,實時 OLAP 等重要特性。同時兼容 MySQL 協議和生態,遷移便捷,運維成本低。

微軟 Edge 和蘋果 Safari 瀏覽器曝漏洞,可致用戶訪問到虛假網站內容

據 The Register 報道,近日網絡安全研究人員保羅對媒體稱,他發現了微軟 Edge 和蘋果 Safari 瀏覽器中的一個漏洞,導致用戶可能在正常的網址下訪問到虛假網站內容。保羅表示,到目前為止,微軟公司已經針對 Edge 瀏覽器發佈了安全補丁,修補了漏洞。但是蘋果尚未公佈安全補丁。換言之,全世界數億 Safari 瀏覽器用戶,仍然面臨這一風險。


分享到:


相關文章: