最近在用OpenNMT训练机器翻译模型。OpenNMT 全称 Open-Source Neural Machine Translation，是https://nlp.seas.harvard.edu/ 和SYSTRAN 共同开发的适用于机器翻译的集成库（现在由SYSTRAN和 Ubiqus 维护）。
OpenNMT有两个版本，分别为依赖PyTorch 和TensorFlow的。从使用人数上来说，PyTorch用的人多得多，更新的速度也快一点，所以就选了OpenNMT-py 的版本。据说Academia的趋势也是PyTorch增多，考虑复用的话PyTorch是你的好朋友 :p
不得不说，OpenNMT开发得确实快，版本更新也快，眼睁睁看着它两个月更新一个版本，也是挺6。但这也导致文档update的速度跟不上开发的速度 🐶
所以本文记录下从头训练一个NMT的pipeline，也记录一些useful 的七七八八。
Without root privilege, the installation may occur some unexpected incidents which really drive me crazy
So I listed error cases and solutions, hope they would be helpful.
This document files how to install Torch7:
本文将详细分析该协议的数据结构及迁移规则 （Murphi语言）
Godson-T 是中国科学院计算技术研究所设计并实现的一个众核处理器系统。Godson-T 缓存一致性协议 (简称Godson-T协议) 是Godson-T 众核处理器所使用的缓存一致性协议。
本文将详细分析该协议的数据结构及迁移规则 （Murphi语言）
本文详细的讲解了一些证明程序正确性的概念，并以一个例子详细介绍了如何用循环不变式证明程序的部分正确性。
概念包括：
This article shows how to install paraVerifier
ParaVerifier：an automatic framework for parameterized verification
最合适的系统应该是ubuntu系统，且需要sudo权限。
windows和macosx系统会有诸多的限制，可能会和系统的版本不兼容导致无法运行图形界面，只能使用命令行。
本文介绍一下摸索的艰难历史。最终在mac系统下只能安装成功命令行，并且对于macosx 10.14 version， 目前图形界面是无法运行的。浪费了很多时间，真的是很不值得。记录下来，希望大家不要做无用功。
研究者花费大量时间在读论文上。但是这个技能却很少人教，这就导致大量时间被浪费。最近居然发现一篇paper，教人如何阅读paper，所以记录如下，与君共勉。
文章来源: https://www.albany.edu/spatial/WebsiteFiles/ResearchAdvices/how-to-read-a-paper.pdf