996 Worker's Blog

归档

2021 年 08 月

The isolation level of database transactions.
常用AbsorptionP ∧ P ≡ PP ∨ P ≡ PCommutativityP ∧ Q ≡ Q ∧ PP ∨ Q ≡ Q ∨ PAssociativityP ∧ (Q ∧ R) ≡ (P ∧ Q) ∧ RP ∨ (Q ∨ R) ≡ (P ∨ Q) ∨ RDistributivityP ∧
Using calibre's plugin to export the kindle e-book to PC.
Symbols and examples of propositional logic
软件测试课程学习笔记。

2021 年 07 月

Use the `fast - slow pointer` to find a linked list's midpoint.