Developer Music is a music bot for Discord that also covers programming. It has been on Discord since 2022.