Welp, my day-and-a-half data download was useless because ftp defaults to ASCII mode. Like many computer annoyances, this is due to Windows not playing well with others. https://www.jscape.com/blog/ftp-binary-and-ascii-transfer-types-and-the-case-of-corrupt-files
RT @dynarski@twitter.com
Faculty meetings, explained https://twitter.com/netmanchris/status/1106933045737721856
@SecondJon California? It's ceding them to the popular vote (but only once enough states are on board so that no state is giving up their voice unilaterally).
CS professor, game designer, and fire dancer ordinaire.