We will most likely finish the GAS miner today and publish it on Github before anything else. This way we can guarantee that everyone has enough time to create their own, optimised GAS mining equipment before the project goes live. Everything else would be unfair and people might (correctly) argue that even though the project is launched in a fair manner, the developers would have had way more time than everyone else to create optimized versions of the mining algorithm, which again would give them an unfair advantage.