1. 多态(polymorphic)最早从19世纪希腊语中引入, 其中poly代表很多(many), morph代表形式(form), 而-ic的后缀表示由…制成(made of). 因此, 多态意味着"made of many form", 即有许多形式构成. 因此单态(monomorphic)很容易猜到是"made of one form". 2019.03.04

  2. -ary的后缀表示属于或关于(of or pertaining to), 在讨论数学上的元数(arity)时, -ary是公共的后缀, 诸如nullary(零元), unary(一元), binary(二元)等. 2019.03.07

  3. 我发现gnome-terminal下C-;会映射成;,导致我在terminal的emacs中使用快捷键C-x C-;注释行失败.

    网上查阅后发现, 由于gnome-terminal没有C-;的转义序列(escape sequence), 而默认的将其识别为;. 2019.04.13

  4. 紧接3, 我发现在gnome-terminal下emacs无法使用C-;, 又懒的配置term. 于是就重新编译了带有GUI的emacs(./configure --with-gnutls=no --without-pop --with-x), 之后发现其默认会使用Anacnoda的lib, 一开始会报一些libxml2.so: undefined reference to `ucnv_close_58', 之后我将LD_LIBRARY_PATH设置为~/anaconda3/lib之后, 上述错误没有了, 但又报了新的错误libSM.so: undefined reference to `uuid_unparse_lower@UUID_1.0'. 解决方法是不使用Anaconda的lib, 而使用系统的lib(export不包含~/anaconda/bin的PATH, 随后重新configure和make), 具体原因未查明. 2019.04.13

  5. i3-wm的layout-restore的问题. i3-save-tree生成的json文件无法直接使用, 需要手工修改layout文件, 首先需要包含一个顶层的container, 随后每一个swallows都需要声明class和instance, i3-save-tree会生成class和instance信息, 当然也可以通过xprop获取. 2019.05.01

  6. 硬件之上最重要的两种软件是操作系统和编译器, 操作系统提供处理用户应用和硬件的接口, 编译器负责将高级语言编写的程序翻译成低级语言(相对于硬件而言). 2019.05.20

  7. Typora is the best markdown editor. 2019.05.24

  8. c function without a return statement sometimes can return a value, depending on the exact platform. For x86, the vaule should be in eax register, while the correct value will be left in eax.

  9. regular expression could use to find integer solution of a linear equation, e.g. ^(.*)\1{A-1}(.*)\2{B-1} could find an integer solution of equation in the formalization of Ax + By = Z.

  10. A module allows a collections of objects-subroutines, variables, types, and so on-to be encapsulated in such a way that (1) object inside are visible to each other but (2) objects on the inside may not be visible on the outside unless they are exported, and (3) object on the outside may not be visible on the inside unless they are imported.