Incalculable Pieces

http://cc.byexamples.com/2008/06/13/gnu-readline-how-to-keep-a-history-list-of-entered-command-lines/

今天是實驗室總 meeting。 學長先講了他將區塊鏈應用在保險的專題， 看到 Demo 影片，意外的有趣。 之前 Live Demo 和海報顯得有些乏味。 恩，對大四的專題有點改觀了。 然後就是同學的電子錢包應用， 用在租房，看起來還不錯，其實應用也沒那麼乏味。 最後教授叫我講一下 proposal，大概講了一下， 改了一下方向，除了估計 gas，還要給點優化上的建議。 大概就是這樣了，中午教授請吃披薩，給了我本書回去讀。 是有關 PL 的 semantic 方面。 教授說我算是他第一位做這方面的學生。 他在我這個年紀時也自己嘗試讀了很多這方面的東西。 之前做找他這方面的學生，自己都有些基礎， 他應該算是諮詢的角色吧。而我是近乎於零開始的學徒。 雖然之前有位立場和我相似學長的也做這方面，但最後轉方向了。 感覺我的實驗性質很高，儘管有些忐忑，但我對未來同時也感到雀躍。 我應該找到自己想要的東西了吧？  

教授：講話！ 不然我不知道你適合什麼！ ( ͡° ͜ʖ ͡°) 總結：可能試試看比較硬的東西，對目前看到大四做出來的，我比較沒有興趣。 現在看到的是 CMU 一個學生的 project，靜態分析 smart contract 所需的 gas。 現在再看他的 proposal，不排除會選相關的主題。 教授是說我可以試試看 semantic 的東西。 還有最後一點，可以試試看閱讀以太坊的黃皮書。 看得懂便能大有斬獲。