Category Archives: programming

Stars of the Mind’s Sky with Diagrams

A few weeks ago, Paul Salomon posted a really beautiful work of mathematical art on his blog, Lost In Recursion: Stars of the Mind’s Sky, by Paul Salomon He included a precise mathematical description of the image, and I naturally … Continue reading

Posted in geometry, group theory, pictures, programming | Tagged , , , , , | 9 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

What I Do, Part I: Programming languages (Up-Goer 5 edition)

“Splasho” has has created an online text editor which checks to make sure you use only the 1000 most common English words, inspired by this recent XKCD comic. Over the past few weeks, many scientists have taken up the challenge … Continue reading

Posted in computation, programming | Tagged , , | 14 Comments

What I Do, Part 1: Programming languages

[This is the second in an occasional series of posts explaining what I do in my “day job” as a computer science PhD student. The idea is to write a series of posts of increasing specificity, but all aimed at … Continue reading

Posted in computation, programming | Tagged , , , | 9 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

Factorization diagrams

In an idle moment a while ago I wrote a program to generate "factorization diagrams". Here’s 700: It’s easy to see (I hope), just by looking at the arrangement of dots, that there are in total. Here’s how I did … Continue reading

Posted in arithmetic, pictures, primes, programming, recursion | Tagged , , | 72 Comments