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