This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A130430 #14 May 24 2023 17:19:13 %S A130430 0,9465000000,9486799989,9486799990,9486799991,9486799992,9486799993, %T A130430 9486799994,9486799995,9486799996,9486799997,9497400000,9498399989, %U A130430 9498399990,9498399991,9498399992,9498399993,9498399994,9498399995 %N A130430 List of numbers n such that n is equal to the number of 8's in the decimal digits of all numbers <= n. %C A130430 A finite sequence with 344 terms. %H A130430 Graeme McRae, May 26 2007, <a href="/A130430/b130430.txt">Table of n, a(n) for n = 1..344</a> (full sequence) %H A130430 Tanya Khovanova and Gregory Marton, <a href="https://arxiv.org/abs/2305.10357">Archive Labeling Sequences</a>, arXiv:2305.10357 [math.HO], 2023. See p. 4. %e A130430 a(5)=9486799991 because the number of 8's in the decimal digits of the numbers from 0 to 9486799991 is 9486799991 and this is the 5th such number. %Y A130430 Cf. A014778 for proof these sequences are finite; Also A101639, A101640, A101641, A130427, A130428, A130429, A130431; Cf. A130432 for the number of numbers in these sequences. %K A130430 base,fini,full,nonn %O A130430 1,2 %A A130430 _Graeme McRae_, May 26 2007