Table of Contents (Personal website)

[Top]

Personal
- Curriculum vitae (CV)
- Exercise log
Science
- Model
- Science
  - By proof/evidence
  - By goal
  - By understanding
  - By reasoning
- Falsifiable
- Formal science
  - Examples
- Formal
- Empirical science
  - Examples
- Empirical
- Scientific method
  - Results
- Hypothesis
- Scientific fact
- Scientific theory
- Theorem
- Objective reality
- Induction
  - Terminology
  - Opposite
  - Example
  - Synonyms
- Deduction
  - Example
  - Opposite
  - Synonyms
- Experimental variable
- Experimental group
- Control group
- Serendipity
  - Example
- Basic science
  - Result
  - Opposite
- Applied science
  - Opposite
  - Synonyms
- Natural science
  - Kinds
- Life science
- Physical science
  - Examples
- Social science
- Behavioral science
  - Validity
  - Example
- Order of magnitude
  - Practice implementation
- Metric prefix
- Sources
Mathematics
- Mathematics
  - Fields
  - Synonyms
  - Connect
  - References
  - BibTeX
Logic
- Logic
  - Orders
  - Synonyms
- Propositional logic
  - Synonyms
- Statement
  - Synonyms
- Propositional variable
- Tautology
  - Explore
- Atomic statement
  - Synonyms
- Molecular statement
  - Synonyms
- Truth table
  - Implementation
- Logical connective
  - Synonyms
  - By type
  - By precedence
- Negation
  - Synonyms
  - Truth table
- Conjunction
  - Synonyms
  - Truth table
- Disjunction
  - Synonyms
  - Truth table
- De Morgan’s laws
  - Proof
- Conditional
  - Synonyms
  - Truth table
- Antecedent
  - Synonyms
- Consequent
- Contrapositive
  - Example
- Converse
  - Example
  - Proof
- Biconditional
  - Synonyms
  - Truth table
- Exclusive disjunction
  - Synonyms
  - Truth table
- Mutual exclusivity
  - Synonyms
  - Explore
- Argument
- Premise
- Conclusion
- Rule of inference
  - Synonyms
- Modus ponens
  - Example
- Fallacy
  - Synonym
- Predicate logic
  - Synonyms
  - Example
- Predicate
- Quantifier
- Universal quantifier
  - Synonyms
  - Relation to existential quantification
  - Example
- Existential quantifier
  - Synonyms
  - Relation to universal quantification
  - Example
- Unique existential quantifier
  - Synonyms
Graph theory
- Graph theory
- Graph
- Undirected graph
  - Synonyms
  - Reasoning
- Directed graph
  - Synonyms
- Edge
  - Synonyms
- Degree
- Branching factor
- Sources
Linear algebra
- Linear algebra
  - References
  - BibTeX
- Field
  - Link
- Scalar
- Addition
  - Properties
  - Synonyms
- Multiplication
  - Properties
  - Synonyms
- Vector space
  - Synonyms
  - Link
  - Notation
- Vector
  - Synonyms
  - Intuition: Real space
  - Intuition: Standard basis
- Zero vector
  - Synonyms
- Unit vector
- Vector addition
  - Intuition
  - Properties
  - Synonyms
  - Implement
- Vector subtraction
  - Synonyms
  - Implement
- Vector scaling
  - Intuition
  - Properties
  - Synonyms
  - Implement
- Vector length
  - Synonyms
  - Intuit
  - Implement
- Vector equation
  - Equivalence with matrix equation
  - Equivalence with augmented matrix
  - Equivalence with linear combination
- Dot product
  - Synonyms
  - Intuition
  - Properties
  - Dimensionality: Vectors
  - Dimensionality: Tensors
  - Implement
- Outer product
  - Synonyms
  - Computing tools
  - Dimensionality: Vectors
  - Dimensionality: Tensors
- Euclidean distance
  - Intuit
  - Closed form
  - Derive
  - Derive again
  - Synonyms
  - Implement
- Matrix
- Zero matrix
  - Synonyms
- Zero column
  - Opposite
- Zero row
  - Opposite
- Matrix equality
- Matrix addition
  - Properties
- Matrix scaling
  - Synonyms
  - Properties
- Matrix multiplication
  - Anti-definition
  - Properties
  - Anti-properties
  - Example
  - Synonyms
- Matrix equation
  - Synonyms
  - Equivalence: Vector equation
  - Equivalence: Augmented matrix
  - Solutions and invertibility
  - Example: Homogeneous consistent system
  - Example: Non-homogeneous consistent system
  - Example: Non-homogeneous inconsistent system
- Identity matrix
  - Relation to basis
  - Relation to matrix multiplication
  - Determinant
- Real space
  - Synonyms
  - Examples
- Subspace
  - Synonyms
  - Examples
- Zero subspace
  - Basis and dimension
- Trivial subspace
- Real line
  - Synonyms
  - Subspaces
- Real plane
  - Synonyms
  - Subspaces
- Real three-dimensional space
  - Synonyms
  - Subspaces
- Origin
- Basis
  - Intuition
- Standard basis
- Standard vector
- Dimension
- Linear equation
  - One variable
- Linear system
  - Relation to science
  - Solution
  - Homogeneity
  - Synonyms
- Consistent system
  - Opposite
- Inconsistent system
  - Opposite
  - Augmented matrix
  - Example
- Equivalent system
- Coefficient matrix
- Augmented matrix
  - Row reduction
- Row echelon form
- Reduced row echelon form
  - Uniqueness
- Elementary row operation
  - No change in solutions
  - Reversibility
- Row reduction
  - Synonyms
  - Example
- Row equivalence
- Leading entry
- Leading one
- Pivot column
- Pivot position
Probability theory
- Probability theory
  - Foundations
- Experiment
  - Synonyms
- Sample space
  - Notation
  - Example
- Outcome
  - Example
- Event
  - Notation
  - Example
- Event space
  - Synonyms
  - Notation
- Probability (distribution)
  - Notation
  - Image
  - Example
  - Synonyms
- Probability axioms
  - Synonyms
  - History
Descriptive statistics
- Descriptive statistics
- Individual
- Variable
- Observation
  - Processing
  - Synonyms
- Normalization
  - Computation
  - Synonyms
- Population
  - Intuition
- Parameter
  - Examples
  - Synonyms
- Population size
  - Notation
- Sample
  - Denote
  - Synonyms
- Sample size
  - Notation
- Statistic
  - Examples
- Robust statistic
  - Examples
- Central tendency
  - Intuition
  - Examples
  - Synonyms
- Population mean
  - Notation
  - Estimation
  - Theoretical foundations
- Sample mean
  - Notation
  - Estimation
  - Robustness
  - Theoretical foundations
- Law of large numbers
  - Simulation
- Sampling distribution
  - Random variables
  - Example
- Sampling distribution of the sample mean
  - Notation
  - Significance
  - Synonyms
- Central limit theorem
  - Significance
  - Symbolically
  - Exploration in R
- Frequency (distribution)
  - Variants
  - Synonyms
- Relative frequency (distribution)
  - Significance
- Sources
  - [18]
Computer science
- Computer science (CS)
  - BibTeX
  - References
- Computational problem
- Decision problem
- P
  - Synonyms
- NP
  - Synonyms
- NP-complete
  - Synonyms
  - Intuition
  - History
- Generic search
  - Algorithm
  - Synonyms
  - Practice implementation
- Breadth-first search (BFS)
  - Implementation
  - Space and time complexity
  - Practice implementation
  - Proof of complexity claims
- Depth-first search (DFS)
  - Implementation
  - Space and time complexity
  - Synonyms
  - Practice implementation
- Graph coloring (COL)
- 3-coloring (3COL)
  - Reduce
  - Check
- Boolean satisfiability problem (SAT)
  - Synonyms
  - Tips
  - Implement
- Conjunctive normal form (CNF)
- 3-satisfiability (3SAT)
  - Explore
- SATLIB
  - Citation
- GSAT
  - Name
  - Algorithm
  - Variants
  - Alternatives
  - Citation
- HSAT
  - Name
  - Citation
- GWSAT
  - Citation
- TSAT
  - Parameterization
  - Citation
- WalkSAT (WSAT)
  - Citation
  - Alternatives
- Unsat
  - Example use
- Flip
Freedom
- Free software
  - Synonyms
  - Cost
  - References
  - BibTeX
- Four essential freedoms
- General public license, version 3 (GPLv3)
  - Synonyms
Emacs
- Emacs
- Frame
- Selected frame
- Window
- Selected window
- Buffer
- Current buffer
- Keyboard macro
  - Basic workflow
  - Automatic repeating
- Register
- Text mode
  - Configuration: Disable completions
- Isearch
- Dired
- Hi Lock
- Notmuch
- Notmuch hello
- Notmuch search
- Notmuch show
- Notmuch message
- Avy
Emacs Lisp
- Emacs Lisp (Elisp)
- Map n-to-n: mapcar function
- Map n-to-m: mapcan function
  - Gotcha with destructive concatenation
- Map n-to-m side-effects: mapc function
  - Performance considerations
  - Input/output types
- Map n-to-m-to-1 string: mapconcat function
- Loop over a list: dolist macro
- Loop n times: dotimes macro
  - Example
- Generate randomness: random
LibreWolf
- Versus Firefox
- Installation
- Keyboard shortcuts
- Customization: User interface
- Customization: Theme detection
Lua
- Pattern
- In-pattern recursive item
- In-pattern item
- In-pattern class
- In-pattern quantifier
- In-pattern special
- In-pattern capture reference
  - Example
- In-pattern balanced expression
  - Example
- In-pattern frontier expression
  - Example
LaTeX
- Typesetting transposes: A^\mathsf{T}
- Bottom figures: \begin{figure*}[!b]
- Boxing: \boxed and \Aboxed
- Typesetting “:” division with physics loaded
Python
- Python
  - Installation
- Set comprehension
  - Example
  - Example with if
- List comprehension
  - Example
  - Example with if
- Dictionary comprehension
  - Example
  - Example with if
NumPy
- NumPy
  - Installation
  - Interface
- n-dimensional array: ndarray
- Pre-filling: np.<empty|zeros|ones|full>[_like]
- Sampling intervals: np.<arange|linspace>
- Matrix multiplication: linarg.matmul (@)
  - Worked example
- Broadcasting: Implicit outer product
  - Example
Matplotlib
- Matplotlib
- Graphing single function
- Graphing multiple functions
Deep learning
- Universal approximation theorem
- Input matrix
- Target matrix
  - Synonyms
- Weight tensor
- Bias tensor
- Forward propagation
- Automatic differentiation
- Ollama
- Curriculum learning
TensorFlow
- TensorFlow
- Automatic differentiation with GradientTape
- Broadcasting
- Performance benchmark
  - Benchmark
  - Interpretation of numbers
Utilities
- Exiftool
- Yabai
Misc
- Abbreviations
  - adj.
  - AFAICT
  - AFAIR
  - AFAIU
  - AFK
  - AKA, a.k.a.
  - AMA
  - ASAP
  - ATM
  - B2B
  - B2C
  - BBIAB
  - BDFL
  - BF
  - BFF
  - BFN
  - BRB
  - BTW
  - CL
  - CLI
  - D/L
  - DX
  - e.g.
  - EOF
  - ETA
  - etc
  - FAQ
  - FML
  - FTW
  - FU
  - FUD
  - FWIW
  - FYI
  - GF
  - GTFO
  - i.e.
  - IANAL
  - IDE
  - IDK
  - IIRC
  - IIUC
  - IMAO
  - IME
  - IMHO
  - IMNSHO
  - IMO
  - IOW
  - KISS
  - leet, 1337
  - LHS
  - LMAO
  - LMK
  - LMS
  - LOL
  - LTR
  - MTA
  - MUA
  - n.b.
  - NBD
  - NIH
  - NP
  - OMG
  - OOTB
  - OSD
  - OTOH
  - P2P
  - PC
  - PITA
  - pl.
  - POV
  - QOL
  - RAM
  - RHS
  - ROFL
  - ROM
  - RTFM
  - RTL
  - SNAFU
  - SOTA
  - TBH
  - THX
  - TIA
  - TIL
  - TLDR (also TL;DR)
  - TOC
  - TTYL
  - TTYT
  - TY
  - TYVM
  - UI
  - UX
  - WDYT?
  - WIP
  - WRT
  - WTF
  - WYSIWYG
  - YMMW
  - YOLO
- Prefixes
  - Endo-
- Heimlich maneuver
  - Preparation
  - Procedure
References