(typo: all instances of "Jacobian Transform" should be replaced by "Jacobian Transpose".)
This post only scratches the surface. There are many interesting topics in IK. Joint weights, null space optimization when the robot is overactuated wrt the end effector, self-intersection, singularities, stability when reaching for unreachable points, hybrid position/force control, ...