Abstract: "Bend is a proof language whose programs run as fast as C on one core, and in parallel on GPUs. Its checker verifies proofs in seconds, so you can write large programs t…

Join Norbauer & Co. for an evening celebrating the delights of enthusiast keyboards. In the style of a traditional community keyboard meetups, there won't be a formal program but…

Build a Discord server that works for you at every stage of your game's development. We'll talk about channels, roles, events, moderation, and how to bring players straight from y…