欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Allen 2011 训练计划
7.10开始:胸部及上半身训练,包括倾斜度比较大的单臂划船和杠铃划船
7.11 深蹲,包括支腿硬拉,和杠铃挺身,主要下背部。
接下来6周训练计划,结合蛋白粉和肌酸的使用,戒白酒和啤酒,少许红酒,哥接下来要狂练,别挡着我,哈 :)
两天一个循环 + 休息一天或两天 + 下一个循环
休息一天
休息两天
早上起床:煮好10个鸡蛋
晚上睡前:吃两个