原创 Javascript類型推斷(1) - 獲取token和類型
Javascript類型推斷(1) - 獲取token和類型 js類型推斷的三種思路 第一種思路是用傳統的編譯類的方法，推斷是沒啥好辦法，但是可以用來驗證。 第二種思路是利用對象的屬性或方法的調用來推斷，JSNice就是這樣做的。
2020-06-16 05:56:50
原创 《Thinking in Bets》讀書分享(2) 概率思維與從經驗中學習
《Thinking in Bets》讀書分享(2) 概率思維與從經驗中學習 以賭一把的心態，用概率性思維看待問題 上一次我們分享了人的大腦本質上是不喜歡不確定性的，人是輕信的，信念又是很難改變的。 那麼我們如何去解決這個問題呢？
2020-06-16 05:56:50
1
原创 vscode插件快餐教程(4) - 語言服務器協議lsp
vscode插件快餐教程(4) - 語言服務器協議lsp 語言服務器協議lsp是vscode爲了解決語言擴展中的痛點來實現的一套協議。如下圖所示： 總體說來，在有lsp之前，存在三個主要問題： 一是語言相關的擴展都是用該語言母語
2020-06-16 05:56:50
10
原创 強化學習快餐教程(1) - gym環境搭建
強化學習快餐教程(1) - gym環境搭建 欲練強化學習神功，首先得找一個可以操練的場地。 兩大巨頭OpenAI和Google DeepMind都不約而同的以遊戲做爲平臺，比如OpenAI的長處是DOTA2，而DeepMind是A
2020-06-16 05:56:49
5
原创 強化學習快餐教程(3) - 一條命令搞定atari遊戲
強化學習快餐教程(3) - 一條命令搞定atari遊戲 通過上節的例子，我們試驗出來，就算是像cartpole這樣讓一個杆子不倒這樣的小模型，都不是特別容易搞定的。 那麼像太空入侵者這麼複雜的問題，建模都建不出來，算法該怎麼寫？
2020-06-16 05:56:49
原创 Javascript類型推斷(2) - 開始訓練吧
Javascript類型推斷(2) - 開始訓練吧 準備訓練數據 下面我們將上一節獲取的類型數據信息進行預處理，轉化爲可以訓練的數據。 代碼在GetTypes.js中，會創建三個相關目錄： let root = "data/Rep
2020-06-16 05:56:49
原创 自動patch推薦：從良好調試習慣到科學哲學
自動patch推薦：從良好調試習慣到科學哲學 解bug可能是開發人員最經常做也最煩的一件事情，能夠自動解bug一直是程序員的夢想。隨着深度學習技術紅利的爆發，基於大數據統計機器學習來自動解bug的期盼就更加水漲船高了。 別象小兄弟
2020-06-16 05:56:49
原创 強化學習快餐教程(2) - atari遊戲
強化學習快餐教程(2) - atari遊戲 不知道看了上節的內容，大家有沒有找到讓杆不倒的好算法。 現在我們晉階一下，向世界上第一種大規模的遊戲機atari前進。 太空入侵者 可以通過 pip install atari_py
2020-06-16 05:56:49
原创 opengrok的鑑權插件開發指南
opengrok的鑑權插件開發指南 opengrok是被廣泛應用的源代碼瀏覽系統。對於開源代碼，不需要考慮鑑權的問題，但是對於需要進行權限控制的代碼，我們就需要做一些鑑權操作。 opengrok專門爲我們提供了插件機制來進行鑑權等
2020-03-26 20:48:48
2
原创 opengrok搭建快餐教程2020
opengrok搭建快餐教程2020 安裝tomcat 看這個中文版教程的大概在國內，大家下載就找個鏡像會快一些，比如清華的鏡像： https://mirrors.tuna.tsinghua.edu.cn/apache/tomca
2020-02-22 17:01:28
原创 代碼補全快餐教程(2) - 預訓練模型的加載和使用
代碼補全快餐教程(2) - 預訓練模型的加載和使用 上一節我們用30多行代碼建立了一個強大的補全模型，讓大家對於transformers庫有了個感性的認識。 下面我們開始補課，更深入到了解下發生在幕後的故事。 加載預訓練好的語言模
2020-02-22 17:01:28
原创 vscode插件快餐教程(10) - 設置
vscode插件快餐教程(10) - 設置 在插件中，根據用戶的環境和個性化的不同，需要增加一些配置項。 讀寫配置項 可以通過vscode.workspace.getConfiguration()方法來獲取所有的設置項。 let
2020-02-22 17:01:28
原创 代碼補全快餐教程(4) - 訓練語言模型
代碼補全快餐教程(4) - 訓練語言模型 一個強大的語言模型可以是其他任務的良好基礎。預訓練的模型就爲我們提供了一個強大的語言模型基礎，在些基礎上，我們進行微調，就可以實現滿足特殊需求的模型。 我們先做實操，然後再講解相關理論。
2020-02-22 17:01:28
原创 Python全棧快餐教程(1) - 用Flask處理HTTP請求
Python全棧快餐教程(1) - 用Flask處理HTTP請求 初識Flask Flask是最流行的Python web框架之一。 我們來寫個最小的web應用，只有一個路由先跑進來玩玩吧。 from flask import F
2020-02-22 17:01:28
原创 Python使用阿里雲鏡像
Python使用阿里雲鏡像 臨時使用 pip install -i https://mirrors.aliyun.com/pypi/simple/ 包名 以後都使用阿里雲的源 pip config set global.inde
2020-02-22 17:01:28