Stuff I find slightly meaningful and close to achievable

- How to have correct fonts on Windows
- Error propagation in the Logit-Normal family
- Thomas Bayes can tell you if you're Transgender
- Logic as a bounded lattice
- Invertible square matrices form an open and dense set
- Saddle point quadratic approximation
- Minimum of a parametric convex function
- Convex sum of diracs on a bounded subset of the real line
- Jensen's inequality: going to the limit
- Evidence lower-bound: two derivations
- Expectation of a quadratic form: the trace trick
- Approximating the differential entropy
- SVD when everything goes right
- Condition number of a matrix: basics
- The Gram-Schmidt algorithm
- A well-known proof of cauchy-schwartz
- Matrix-vector product inequalities
- The composition of two linear maps
- Proving the multivariate chain rule
- Bayesian linear regression in three languages