Being a practicing mathematician means generating and publishing results. I am interested to see your iPad app for diagonalization results or computability proofs.