Your original question sounded like you were unaware of how licensing music works. Royalty-free is a good place to start. If you want anything else, you can still do it legally, you just have to license the music for your use case. Various artists (and labels) provide various licensing terms. If you know someone, they might let you do it free.
If you're specific question was meant to be "did this person license this music legally for his site?" - yes, there's a chance he did. There's a chance he didn't. You'd have to ask him. Even if he did, that doesn't give anyone else rights to use those songs on their site.
alt Hacker News
Your original question sounded like you were unaware of how licensing music works. Royalty-free is a good place to start. If you want anything else, you can still do it legally, you just have to license the music for your use case. Various artists (and labels) provide various licensing terms. If you know someone, they might let you do it free.
If you're specific question was meant to be "did this person license this music legally for his site?" - yes, there's a chance he did. There's a chance he didn't. You'd have to ask him. Even if he did, that doesn't give anyone else rights to use those songs on their site.