This episode is also available as a blog post: http://carloscgollerphd.blog/2021/10/10/maths-software-and-badges/