一直以来，贵州一直出现在卓林的自黑之中。什么江苏六州、南京四省省会，和伟哥那段“贵州山水甲天下”、“贵州简称赣”的梗更是屡屡被提起。于是今年暑假在他的热情邀请下，我们去贵州进行了一次非常幸运与快乐的旅行。主要行程包括镇远-凯里-安顺-麻尾-荔波。

基本规律

1. x, y, z系操作后不影响面的转动方向
   例如对于公式y’ U’ (R’ U R)，经过y’后变为U’ F’ U F，只有转R变成了转F，但方向是不变的
2. 常用手法
   1. fsc1: R U R’ U’
      将当前槽起到顶层
   2. fsc2: U R U’ R’
      fsc1的反操作
   3. s: U’ F’ U F
   4. t: U R U’ R

微软Office产品的特点是看上去非常弱智，但实际用起来各种棘手。比较麻烦的有自动添加引用文献、设置多级标题、自动续表等工作。这里介绍以下我的方法。

去敦煌玩回来的时候，卓林兄说其实明史是写的不错的，建议我读读。

三月份，我法发现去敦煌非常实惠，于是招贤纳士，最终克服重重阻碍，确定4月19日前往兰州，20日晚从兰州前往敦煌，4月21日和22日在敦煌游览两天并在23日前往嘉峪关，23日晚从嘉峪关到兰州，并于24日晚从兰州返程。

由于一些历史原因，我们常用的CPython具有全局解释器锁(GIL)机制，这把全局大锁导致Python的多线程性能非常糟糕，为了解决这个问题，一种方案是使用协程代替多线程，由于自带了yield，Python实现协程相对于C++那种动辄setjmp或者CPS，抑或利用Linux.ucontext等基于运行时的组件的方式相比要优雅了一些。不过协程对于IO密集型的程序用处很大，但如果我们想要实现并行，那么使用多进程来取代多线程就是一个必由之路。
multiprocessing和multiprocessing.dummy是Python下两个常用的多进程和多线程模块。

为期五天的毕业实习，我们参观了位于溧水的宁溧城际铁路交通路地铁站TA08标段、苏州虎丘塔、上海青浦区金泽水库、上海石洞口无水处理厂、无锡雪浪山边坡治理工程、南京双子楼及南京眼。

tensorflow是一个采用数据流图(data flow graph)的机器学习平台，其特征在于用点和线来表示状态和计算过程。

因为没找到比较好的 Coq 中文学习资料，所以主要根据官方 doc和tutorial-nahas等国外的教程来学习。

这篇文章被 deprecated 掉了，详见 Software Foundation 做题的 Notes。

最近在做毕业论文，其中涉及到一项是检验某个为有限元程序优化参数的遗传算法的正确性。
deap是Python上的一个遗传算法库，主要封装了和遗传算法相关的生成population、select、mutant这些相关的操作。比较方便的是deap框架允许自定义个体类型、种群生成方法、评价函数等，所以灵活性比较高