John R. Hogerhuis Sat, 02 Jun 2018 09:26:18 -0700
2nd rule of optimization is also don’t.
3rd rule of optimization: Not yet!