habryka comments on View and bet in Manifold prediction markets on Lesswrong