Anyway, this reminds me of a rather different initiative in the same vein: The building of Mathematical principles based on the expediences of Computer Science: CONCRETE MATHEMATICS
by Donald Knuth, Ronald Graham and Oren Patashnik.
https://www-cs-faculty.stanford.edu/~knuth/gkp.html
https://en.wikipedia.org/wiki/Concrete_Mathematics
available on the Internet Archive: https://archive.org/download/concrete-mathematics/Concrete%2...