跳到主要内容

使用ipv6 hosts

· 阅读需 2 分钟

一些校园网能使用ipv6，而Google、Youtube等网站支持ipv6。但是，DNS服务器一般返回的是ipv4的地址，因此，可以通过修改hosts来直接使用ipv6地址访问这些网站。

可以先在IPv6 连接测试来测试是否接入了ipv6。

在GitHub上有ipv6-hosts，用这个替换系统默认的hosts文件即可直接使用ipv6地址来访问这些网站。

然而，在使用过程中发现stackoverflow.com不能正常使用了，因此，需要删除stackoverflow.com相关条目，用ipv4访问stackoverflow.com就正常了。

《SQL入门经典》学习笔记

· 阅读需 4 分钟

这本书总体上来讲还是比较简单的，SQL入门还是不难的。使用了三种数据库，语法有所不同，有点混乱。在看书的过程中记录了一些笔记，以便查阅吧。就是下面这本：

【实验楼】Redis基础教程——学习笔记

· 阅读需 3 分钟

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 删除尾部元素

Ubuntu深度学习CUDA环境安装配置指南

· 阅读需 4 分钟

查看显卡信息​

要使用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。

撸了个LeetCode题解仓库自动生成与发布的工具

· 阅读需 3 分钟

前言​

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

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

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

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