instruction: Who proposed the use of Tau as the circle constant, instead of Pi
output: Tau was proposed as a better circle constant than Pi by Michael Hartl in The Tau Manifesto, published on June 28, 2010.  Hartl's idea for Tau was inspired by Bob Palais, who had earlier published an article questioning whether Pi was the best constant to use.