On November 2nd, 2022, we ran a workshop on making a Discord bot! Neil & Shriansh walked ~65 people through getting set up and building basic interactions. It was a lot of fun, and everyone walked away with a finished project.