Redis数据类型​

字符串​

设置值：set key value 获取值：get key 没有相同key时才设置值：set key newval nx 拥有相同key时才设置值：set key newval xx

增加1：incr key 增加x：incrby key x

同时设置多个值：mset key1 value1 key2 value2 同时获取多个值：mget key1 key2

列表​

PUSH: lpush 插入新元素到头部；rpush 插入新元素到尾部（一次可以push多个元素） POP: lpop 删除头部元素；rpop 删除尾部元素

查看显卡信息​

要使用CUDA，必须要有NVIDIA显卡，可以使用lspci命令来查看：

$ lspci | grep NVIDIA
02:00.0 VGA compatible controller: NVIDIA Corporation Device 1b06 (rev a1)
02:00.1 Audio device: NVIDIA Corporation Device 10ef (rev a1)
03:00.0 VGA compatible controller: NVIDIA Corporation Device 1b06 (rev a1)
03:00.1 Audio device: NVIDIA Corporation Device 10ef (rev a1

例如，上面显示显卡是NVIDIA的，1b06是deviceID，是厂商给自己某个型号的产品分配的ID。那么，如何通过deviceID来查询产品型号呢？网上有一些deviceID的数据库，例如：envytools。在此页面可查得1b06的产品型号为GeForce GTX 1080 Ti。

前言​

看到有不少人在GitHub展示自己的LeetCode题解。其实我自己也在GitHub记录了自己的LeetCode题解，但是，从做题到整理，需要很多时间。本来刷题就需要时间，也够累的，还要整理，再写出来，一道题得花上好久。

最近在LeetCode上刷了上百道题目，当然，不少是Easy难度的。如果让我手动去整理，我觉得太费时间了。我一直贯彻一种理念，简单不麻烦的事容易坚持。于是，我就想着，是否能用程序来去做这些呢？

以前在刷题的时候没注意到右侧的Notes，后来偶尔注意到了，突发灵感，这个不正好可以用来写解题思路吗？于是，我就希望有个工具能整理我刷过的题目和我的解答，还有Notes。但是，找了一圈，没发现合适的，所以，干脆就自己花了大概一天半的时间撸了一个：leetcode-publisher

说一下这个工具和别的类似的工具的不同点吧。在GitHub上看到有人做过类似的工具，但是是基于headless的浏览器做的，我觉得这种方式不够优雅。其实LeetCode的请求构造并没有很麻烦，主要是csrftoken，在cookies里有，在请求头要传x-csrftoken和referer。另外，类似的LeetCode题解仓库其实放的主要是程序源代码，这并不是我想要的。因为Markdown格式可以很方便插入代码，而且，刷题的代码并不长，放在Markdown里，和题目与笔记一起，更为合适。

在做LeetCode上的一道非常简单的题目find-all-numbers-disappeared-in-an-array时，竟然做错了。经过Debug发现，Python在移除list中的True把1也移除了。为了说明这个问题，下面是示例代码：

>>> a = [1, 2, True]
>>> a.remove(True)
>>> a
[2, True]
>>> a.remove(True)
>>> a
[2]

U盘插上电脑，发现没有自动挂载。然后运行

$ sudo fdisk -l

一看，发现并没有U盘所对应的设备，也就是U盘不能识别了！以前从没在Linux上遇到这种问题，通过查资料得知，要识别U盘，需要装载usb-storage模块。

于是，运行

$ lsmod | grep usb

发现确实没有usb-storage模块。