Github copilot 处于脱机状态
vscode 使用 Remote-SSH 连接服务器，使用 Copilot 时显示 “你当前处于脱机状态，请连接到Internet已使用Github Copilot”
Linux 工作与进程管理
查询在后台运行的进程，并且使用命令处理这些进程
服务器部署 ollama 远程调用
在Linux服务器上部署ollama，并且在Windows主机上调用模型
PowerShell中的`$PROFLE`
PowerShell 中几个不同的 `$PROFLE` 指向了不同的位置
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
Windows Terminal 的一个小 Bug
使用 Windows terminal 的时候发现按下空格之后，字体背景会变黑的问题。
充电协议
介绍一下手机常用的一些充电协议