- Neo-Luddism before AGI, and how we are going to live on
- Linear algebra knowledge review, with proofs (2)
- Linear algebra knowledge review, with proofs (1)
- Group theory definitions & proofs (1)
- Probability theory revisit, and proofs
- Deprived of thinking?
- Preventing Esc from closing dialogs during IME composition
- Quick start: build a Wikipedia user script with TypeScript + NPM
- React vs. Vue: comparisons
- Sum of the largest k ordered pair sums
- NP-completeness proofs (3): set-related problems
- Inversion number: deep dive into sorting algorithms
- The power of bit manipulation: a brief guide and essential techniques
- How to detect cycles in a graph?
- NP-completeness proofs (2): Hamiltonian path, cycle, and Travelling Salesman Problem
- Proof of the Master’s Theorem for Dividing Function
- NP-completeness proofs (1): reduction from 3-SAT