Hard-Boiled Prediction Markets and the End of the World · HackerLangs