leastfixedpoint

Archived tweet #5291 from the @leastfixedpoint Twitter Archive
@awelonblue Cool. OTOH, 775/10k is nearly 10% of the way there, after a reasonably short time, so that's not so bad!