C chittur.dev The field of “useful reals” between rational and real numbers (2019) 125 points peanut_is_yum 6 years ago 116 comments
