Tomas Rokicki

Tomas Rokicki es un programador de Estados Unidos con residencia en Palo Alto.^[1]​Él es el director fundador y la tecnología de su compañía de software, Instantis. Rokicki era parte de un equipo de 4 personas (Tomas Rokicki, Herbert Kociemba, Morley Davidson, y John Dethridge) que resultó en julio de 2010, la cifra de Dios para el Cubo de Rubik es 20.

Tomas Rokicki es un entusiasta de la vida, bien conocido para el desarrollo de Golly con Andrew Trevorrow. Creó HLife, un simulador de vida implementar algoritmo hashlife de Gosper antes de trabajar en Golly. Incorporó este algoritmo en Golly, lo que permite que se ejecute inimaginablemente grandes patrones a velocidades exponenciales, así como generalizaciones de 64 bits y 256 por el estado del algoritmo.

Tomas Rokicki is an American cuber. He is the founder and technology director of his software company, Instantis. Rokicki was part of a 4-person team (Tomas Rokicki, Herbert Kociemba, Morley Davidson, and John Dethridge) that proved in July, 2010, that God's Number for the Rubik's Cube is 20. Tomas Rokicki is a Life enthusiast, well-known for developing Golly with Andrew Trevorrow. He created hlife, a Life simulator implementing Gosper's HashLife algorithm before working on Golly. He incorporated this algorithm into Golly, allowing it to run unimaginably large patterns at exponential speeds, as well as 64-bit and 256-state generalisations of the algorithm.

Además de desarrollar Golly, descubrió varios Matusalenes de larga vida. Es decir, se trata de 23334M, 7468M, conejitos de 10 y 11 de los conejitos.

In addition to developing Golly, he discovered several long-lived methuselahs. Namely, these are 23334M, 7468M, Bunnies 10 and Bunnies 11.

Usando algoritmos hashlife, se ha determinado con éxito el comportamiento a largo plazo de las especies previamente no resueltos de Worms de Paterson, dejando sólo una super caótica gusano restante. También utilizó un equipo de búsqueda exhaustiva para probar que todos los estados del cubo de Rubik puede ser devuelto al estado resuelto en 20 o menos movimientos. Esto se basó en su récord anterior de 25 movimientos, pero con más poder computacional. También ha demostrado que esto es posible con 29 o menos cuartos de vueltas (la cifra anterior incluye medias vueltas).

Using Hashlife algorithms, he has successfully determined the long-term behaviour of previously unsolved species of Paterson's Worms, leaving just one super-chaotic worm remaining. He also used an exhaustive computer search to prove that every state of the Rubik's cube can be returned to the solved state in 20 or fewer moves. This was based on his earlier record of 25 moves, but with more computational power. He has also proven that this is possible with 29 or fewer quarter-turns (the above figure includes half-turns).