如何評價微軟的RobustFill,利用神經網路自動生成程式?

時間 2021-05-30 14:41:47

1樓:David 9

現在神經網路本身也可以自動設計了:

你想要的神經網路自動設計,谷歌大腦幫你實現了:用引數共享高效地搜尋神經網路架構(ENAS)

2樓:rainoftime

MSR的flashfill是程式語言圈子主導的、program systhsis非常有代表性的專案(Gulwani強!)

Robustfill比較物件選了flashfill,從結果看,值得期待未來發展。。希望ML/DL圈玩program systhsis的,都能這麼務實一點。。

期待有人能用NN參加SyGus比賽,來正面剛 Formal method,Programming language的人~

3樓:Joker.c

他寫了個程式,我們利用這個RobustFill自動生成了個程式!

然後呢,能生成應用嗎,能用到商業上面嗎,如果只能實現簡單的功能,比如查詢資料庫,比如計算某些算式,那這玩意兒也只是停留在有可能有用的階段,真正的程式需要實現的邏輯遠比helloworld複雜得多,就像是:這個可以寫1+1=2,而實際的程式開始是E=mc

這條路理論上講能走通,但是實際情況是走通的代價可能遠遠大於人來寫

如何評價微軟的 Language Server Protocol?

Ricky 現在是2020年7月。根據 StackOverflow 2019年的調查 https Vim以及Neovim的Coc.nvim https github.com neoclide coc.nvim 目前已經能做到vscode的程度,恰如其名 Conquer of Completion C...

如何評價微軟的GVFS Git Virtual File System ?

Alan 現在已經改名字了。現在是VFS for git 其實這個是微軟內部為了解決超大REPO的儲存與構建效率太低所作的努力中的一部分,還有乙個元件起到了非常大作用配合vfs for git 真正做到了分布式構建。把原來需要耗時一天的build 縮短到20min 1個半小時。微軟蘇州大量招聘,海量...

如何評價微軟Segoe UI Google Roboto及蘋果San Francisco三種字型體系

個人更喜歡微軟雅黑 Segoe UI 比較優雅,小清新,中性,百搭。特別是Win10 1511 10586版的微軟雅黑 Segoe UI 逼格很高有木有。Roboto NotoSansCJK DroidSansFallback 有些過於年輕化,不夠成熟穩重 特別是中文字型比較歪斜 PS 順便在這裡嚴...