由于国内众所周知的网络原因，从 Docker Hub 拉取镜像的时候，经常需要等很久很久，还不一定能成功。本文提供了几种加速拉取镜像的方案，在国内比较适用。

在使用 Linux 终端的时候，各种操作都是通过命令完成，而命令背后可能对应的是不同类型的调用。本文提供了一种方法可以通过使用 type 命令对每一个命令背后的具体操作进行查看。

在 Python 这样的含有大量面向对象（OOP）特性的语言中，类型系统的设计都是至关重要的。然而由于 Python 同时又是一种弱类型的脚本语言，并没有编译过程，当然也更不会存在编译期间的类型检查，甚至，一个程序可以完全不标记任何类型就能完整执行。由于这些原因，Python 的范型系统也会有所不同，本文就将对其进行一个概述。

在使用 Anaconda 时，时常会不小心装上一些不应该装的库，导致冲突，此时如果直接删除环境重装的话，很容易漏装或者忘记之前装过哪些库。更常见的问题是，在安装某些库时忘记了切换到虚拟环境，导致 base 环境里经常会多一些乱七八糟的库，而此时如果重装 Anaconda 又显得过于小题大做。本文提供了一种方法用以回退对环境的更改。

前几天搞项目搞得太累了，今天不想写专业内容，刚好前阵子胡思乱想的时候突然悟到了一些关于色彩的东西，干脆就随便记录一下吧。大概是关于光谱和颜色的。

在有些系统下安装 Xilinx Vivado 或是 Xilinx Vitis 时，进度条会卡在 Generating installed device list 相当长时间并不再走动，本文提供了一种解决方案。

Typora 作为一个优秀的 Markdown 写作工具，各项功能的支持都已经相当的完善，但是在写作的过程中，由于 Markdown 本身的语法限制，各级标题无法实现自动编号的功能。我们虽然不能直接修改 Markdown 的语法，但得益于 Typora 强大的外观自定义功能，我们可以通过一定的方式让标题编号以样式的形式显示在 Typora 中。

在 Mac 及 Windows 上使用 PyTorch 时，使用 Dataloader 经常会出现一种多线程相关的报错，报错内容也不像常规内容一样具有较强的指向性，且此时代码内容也并没有什么逻辑性错误，较难发现问题根源。本文提供了一种解决方案。

如题，国内懂得都懂的网络原因，pip 访问太慢了，本文说明了换源的方式。

由于众所周知的某些网络原因，在国内访问 GitHub 真的非常困难，尤其是 pull 或是 push 的时候。然而某些时候，即使开启了代理，也会出现连接问题，本文讲述了一种常见问题的解决方案。