I have a list with integers. I want to choose 80% from them. For example, for [1,...,30] I want to keep 80% from the list with random so I
80%
[1,...,30]
random