Post B5WdVhbJ3yrAsUiEOu by hannah@hai.z0ne.social
 (DIR) More posts by hannah@hai.z0ne.social
 (DIR) Post #B5WaT6DamP6yUqggXg by hannah@hai.z0ne.social
       0 likes, 0 repeats
       
       what I'm hearing is rhat we need an eight counting functionbut for now, that's a crisp 0.954 ninesRE: https://akko.wtf/objects/fd38c467-a729-40b4-be5c-367c64d879e5
       
 (DIR) Post #B5WdJGbfbK25gLx8QS by hannah@hai.z0ne.social
       0 likes, 0 repeats
       
       ok gang i have deliveredhere is the formula to count the number of r\in \mathbb{R}\backslash\{0\} in a number x< 100r/9=(11.1\dots1\dots )r:-\log_{10}\left(1-\dfrac{9x}{100r}\right)
       
 (DIR) Post #B5WdVhbJ3yrAsUiEOu by hannah@hai.z0ne.social
       0 likes, 0 repeats
       
       the trick is that the formula does cross-multiplicatlon to turn"number of r's in x" into "number of 9's in a 9x/r"for example, rhis turns number of 7s in 77.7777 into number of 9s in 99.9999
       
 (DIR) Post #B5WdtFYH03w8psWQN6 by hannah@hai.z0ne.social
       0 likes, 0 repeats
       
       have you ever wondered how many e's are in pi? well wonde rno more, becauSe there's roughly 0,04769948463909854548519
       
 (DIR) Post #B5Wi9EjWD8uukMf0i0 by novenary@akko.wtf
       0 likes, 1 repeats
       
       @hannah nerd
       
 (DIR) Post #B5WjHe2w553VWcJeUK by tfb@functional.cafe
       0 likes, 1 repeats
       
       @hannah the number of e's in pi is absolutely something I needed to know !