Category Archives: links

Cosmic Call at The Universe of Discourse

I’ve really been enjoying a series of posts by Mark Dominus on his blog, The Universe of Discourse. The Cosmic Call was a series of radio messages sent in 1999 and 2003 aimed at various nearby stars (in case there … Continue reading

Posted in links | Tagged , , , | 1 Comment

Straightedge and compass construction challenges

I haven’t written here in quite a while—I’ve switched into “work on research for my dissertation really hard so that I can actually graduate” mode, and with a 21-month old in the mix that leaves very little time for blogging. … Continue reading

Posted in challenges, games, geometry, links, meta | Tagged , , , , , , | 5 Comments


Over the past few years I’ve written quite a few posts with images generated by a library I (now along with many others) wrote. Most famously, this is how I created those factorization diagrams. But I’ve used it in many … Continue reading

Posted in links, pictures, programming | Tagged , | 1 Comment

New “Chaos” videos from the makers of “Dimensions”

I just got an email from Jos Leys, one of the creators of the Dimensions video series (which I wrote about previously), announcing that they have released another video series, this time about Chaos, at I haven’t had a … Continue reading

Posted in links, video | Tagged , | 6 Comments

Introduction to Mathematical Thinking

Keith Devlin is going to be offering another instance of his online course, Introduction to Mathematical Thinking, starting on March 4. The idea is to serve as a bridge between high school mathematics— which focuses on solving specific types of … Continue reading

Posted in links, teaching | Tagged , , , | 2 Comments

A computer-checked proof of the odd order theorem

Big news: a proof of the Feit-Thompson Theorem (also known as the “odd order theorem”) has been completely formalized and verified by a computer, using the Coq proof assistant! Wait, what? Huh? you’re probably thinking. Well, let me unpack that … Continue reading

Posted in algebra, links, programming, proof | Tagged , , , , , , | 10 Comments

More factorization diagrams

My post on factorization diagrams from a month ago turned out to be (unexpectedly) quite popular! I got ten times as many hits as usual the day it was published, and since then quite a few other people have created … Continue reading

Posted in arithmetic, links, pictures, primes, programming, recursion | Tagged , , | 15 Comments