cross-connect:

Kiyoshi Okada is a math student with interests in logic taking a break from college in California. His blog, enchantedconsole, started as a research blog where he was writing an automated theorem prover. His blog became a GIF blog when he was experimenting with different ways to visualize the data he was creating and began creating data strictly for aesthetic purposes.

#