Linux 工作与进程管理
查询在后台运行的进程，并且使用命令处理这些进程
服务器部署 ollama 远程调用
在Linux服务器上部署ollama，并且在Windows主机上调用模型
SAT Solver
SAT solver
Application of propositional logic
Application of propositional logic, Sub-classes of Propositions, Normal Forms, SAT solver
Inference Rules and Proof Theory
Negating a proposition, Important properties of logic equivalence and consequence relation, Inference Rules and Proof Theory
Introduction and elimination of quantifiers
Introduction and elimination of quantifiers
bibtex 与 biber
写毕设的时候发现除了 bibtex 之外还有 biber 能够处理 latex 中的引用信息，于是上网了解了一下。本文大概是比较全面的介绍。
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
充电协议
介绍一下手机常用的一些充电协议
笔记本接口
介绍一下笔记本电脑上的各种接口以及其支持的协议
Linux 包管理与库管理
先介绍 Linux 中的包(package)和库(library)，接着介绍一下 dnf 之类的包管理器，以及用来管理库的 pkg-config。
CUDA版本
关于`nvidia-smi`和nvcc显示的CUDA版本不同的问题