保持冷静，保持激情
使用rust做websocket服务器，websocket协议的标准规范，用途等
学习idris这门语言的特性，了解依赖类型，强类型语言的优点
双11的时候亚马逊入手了一台xps13 9360，机器配置是i7-7500u，8GB内存，带1920x1080的ips屏。决定删掉默认的win10，全盘安装喜爱的linux
php中使用monkey patch以及在ruby和python中是如何做的
