Izaak Meckler

Fundador y CTO en CodaProtocol escalando criptomoneda, programación funcional, zk-SNARKs, etc. Soy estudiante de posgrado en el departamento de matemáticas de la Universidad de Berkeley. Me gusta la complejidad computacional, la criptografía, la geometría y la topología, las categorías y hacer cálculos explícitos sobre objetos matemáticos en el equipo, entre muchas otras cosas. Estas son algunas cosas que creo que son hermosas y geniales: Pseudoalazaridad; Geometría a gran escala; Variaciones en la noción de prueba (pruebas interactivas, PCP, cero pruebas de conocimiento, argumentos, términos lambda); Clasificación; La prueba de Erdés de que hay infinitamente muchos primos.