Something It Is Like to Do Math · HackerLangs