This is an introductory talk about finite type invariants for knots with a focus on computation complexity. I will give some new language to help the knot theory community to talk about our current understanding of knot invariants. I will conclude the talk with a new and very efficient algorithm to compute finite type invariants.