404
Huggingface have scraped the entirety of Github.
(huggingface.co)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 25 Jul 2026
404 points (97.6% liked)
Programming
27863 readers
312 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 3 years ago
MODERATORS
Could be wrong, but the act of downloading music isn't what gets people in trouble, it's the uploading. When people torrent both happen, but afaik it's only the uploading portion that is actually bad.
When people torrent only a part of the file is being shared by all peers. Technically only the original seeder shared the whole thing and after a few seeders it’s a tiny portion of the file.
This depends, but not because of piracy. If you have to bypass DRM to download the music, you may be violating DMCA §1201 (even if you are otherwise allowed to use the music).
Edit: This obviously doesn't apply to GitHub, but might to YouTube.
I think there's a difference between the laws for individuals and corporations. I don't think they're allowed to download either.
Downloading is illegal.