edit: oof, here's their directions for installing the toolchain:
wget https://repo.continuum.io/miniconda/Miniconda3-latest-Linux-... -O conda_installer.sh
just, ouch
Reply on news.ycombinator.com