I'm trying to understand the following command:
user$ bash < <(curl -s https://something.com )
What do the < < do?
< <