Hey there~ I'm Austin, currently building https://manifold.markets. Always happy to meet LessWrong people; reach out at akrolsmir@gmail.com, or find a time on https://calendly.com/austinchen/manifold !