I've taken a minor personal interest in some of Ramanujan's more quickly converging sequences for pi. Giving myself a crash course in computable analysis/computable reals. Wish there was more out there about them (particularly limitations vis a vis traditionally defined reals).
