Quantifiers with restricted domains
Quantifiers with restricted domains, Interpreting informal proofs
视频编码与封装
介绍一些视频编码格式与封装格式
FOL semantics
FOL semantics, Properties of first order propositions
First Order Logic
Logic Behind Natural Language Proof, Syntax of First Order Logic, The semantics of first order language
Propositional Logic
Propositional Logic and Logic Connectives, Logical Equivalence, Consequence Relation
Windows Terminal 的一个小 Bug
使用 Windows terminal 的时候发现按下空格之后，字体背景会变黑的问题。
充电协议
介绍一下手机常用的一些充电协议
笔记本接口
介绍一下笔记本电脑上的各种接口以及其支持的协议
Linux 包管理与库管理
先介绍 Linux 中的包(package)和库(library)，接着介绍一下 dnf 之类的包管理器，以及用来管理库的 pkg-config。
CUDA版本
关于`nvidia-smi`和nvcc显示的CUDA版本不同的问题
在Jetson设备上安装Pytorch
在 Jetson Xavier NX 上安装 Pytorch 遇到了问题，发现只能使用 NVIDIA 编译好的 .whl 文件安装
文件系统概述
文件系统的分区、格式以及架构
git 拉取子模块
在拉取repo时拉取子模块
Linux文件压缩与解压
介绍一些在Linux中压缩与解压文件夹的方法
改变代理端口
因为某一次代理的端口被其他程序占用，因此对代理端口做了修改
Tmux 入门
介绍 tmux 的一些基本用法