Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs.  (Send feeback to erik@mathmutation.com)

Math Mutation 252:  A Mathematician Translating Pushkin?

Welcome to Math Mutation, a podcast for people of all ages where we discuss fun, interesting, or just plain weird corners of mathematics that you would not have heard in school.(Feedback email  erik@mathmutation.com).