生活管理

还是决定要把自己的生活好好的管理起来。

• 凌晨1点睡觉，早上7点30起床，中午午休30分钟。
• 坚持英语学习。暂时以单词、阅读、写作为主，GRE考试后重点提升口语。
• 坚持体育锻炼。间天进行一次半个小时的慢跑。每天做一组力量练习，暂时以腹肌、胸肌为主，借助Keep进行。
• 通过零散时间上公开课，以Udacity为主。
• 坚持阅读程序语言的相关书籍。做好笔记和整理。
• Certified Programming with Dependent Types
• Types and Programming Languages
• Practical Foundations for Programming Languages
• Decision Procedures
• 坚持每天写一写代码，保持手感。争取GitHub保持长青。
• 最重要的，科研，思考以及实践。每天进行记录。