Seconded, thirded, and fourthed. My favorite is "NaN Gates and Flip FLOPS", where he dismisses 0 and 1 as being too ugly to be the foundation of all computation and reinvents computing via the beauty of rational numbers, which is to say, the horror of IEEE754 floating point (along with a working hardware implementation!): https://www.youtube.com/watch?v=5TFDG-y-EHs