Nice story. An even more powerful way to express numbers is as a continued fraction (https://en.wikipedia.org/wiki/Continued_fraction). You can express both real and rational numbers efficiently using a continued fraction representation.As a fun fact, I have a not-that-old math textbook (from a famous number theorist) that says that it is most likely that algorithms for adding/multiplying continue

Read the original and it explains the purpose of each item:https://spinroot.com/gerard/pdf/P10.pdf The original clearly describes that the coding rules primarily target C and attempt to optimize the ability to more thoroughly check the reliability of critical applications written in C. The original author clearly understands what they're doing, and explains lots of other ways to verify C code. For

> The cost to use a given level of AI falls about 10x every 12 months, and lower prices lead to much more use. ... Moore’s law changed the world at 2x every 18 months; this is unbelievably stronger.Moore waited at least five years [1] before deriving his law. On top of that, I don't think that it makes much sense to compare commercial pricing schemes to technical advancements. [1] http://cva.stanf