Random notes about non-convex optimization