In case you missed it, John Baez's collaborator in that post is Greg Egan, who is well known for his brilliant and visionary science fiction. http://www.gregegan.net/
Example of his books (unfortunately the only one I have read...so far)
Permutation City: People can run simulations of themselves or entirely migrate their consciousness into computer programs, but existence is often limited to the amount of computation that you can afford, leading to slow existences that stretch time into fractions of realtime. That premise had me hooked, but the book has fantastic thought provoking plot points throughout. Highly recommended.
If you read The Clockwork Rocket, it becomes very, very obvious that Egan is a mathematician who will go to any length - including writing excellent fiction - to attempt to cram knowledge into your head.
> Greg Egan and I came up with this formula last weekend.
I always wonder what it feels like to be able to do that. Even if, as Baez says, the formula wasn't actually "new", to be able to dive down and come back up with new to you must be very satisfying.
I'm not sure I follow. Multiplying through by two to get tau would simply move the nested square roots from the denominator to the numerator in the relation with the golden ratio (as is explained in the link).
I certainly don't see any step in the outlined derivation that gains or loses the ability to be intuited simply due to a factor of two.
But... why? If you wanted to express their equation in terms of tau (that is, 2pi), you could just set the first term of the right hand side to 10/phi instead of 5/phi. In fact, throughout their derivation there are points where a tau-based version would be a bit cleaner (though of course there are other points where tau might be a bit messier).
i can't tell you how many failed trig tests happen as a direct result of a non-intuitive unit circle defined in terms of Pi [1].
Pi is fundamentally wrong. A circle is defined by a point and a radius. Diameter is just something that has always been easier to measure, so now we're stuck with it :( The fact that Tau makes some formulas less "elegant" is irrelevant.
Then again John Baez is the dude who very nearly explained General Relativity to my satisfaction, long after I got my PhD in physics.
So I am no longer surprised by what he (and apparently Greg Egan) can do.