If you prefer a different miner, connect it to mint.bitminter.com:8332. The username must be in the form "myname_mymachine", where "myname" is your user name and "mymachine" is the name of one of your registered machines/workers. If port 8332 is problematic for you, you can use port 80 instead.