Hausdorff's badges
Floating point drifter
Aug. 12, 2017, 3:33 p.m.
Complete a run with time ending with .999
Experienced
Aug. 10, 2017, 6:53 p.m.
Finish 100 runs
Newcomer
Aug. 10, 2017, 3:38 p.m.
Finish one run