Así que finalmente tuve la oportunidad de mirar Mojo/Modular. No es lo que pensé que era, es un reemplazo de OpenCL + implementaciones de kernels, no un compilador de IA. Si bien esto facilita mucho obtener un rendimiento completo rápidamente, creo que la completitud de Turing es un error para estas cosas. Finalmente tenemos la oportunidad de vivir en un mundo de flujo de datos puro, ¿por qué no lo aprovecharíamos? Lenguajes como este no separan la definición del cálculo de la programación del cálculo. Lee el PhD de Halide, estoy obsesionado con esta idea. A medida que las redes neuronales se vuelven cada vez mejores en programar, lo que queremos es la forma más concisa de expresar *exactamente* lo que hace el programa sin preocuparnos por los detalles de cómo. Deja eso a las máquinas. Nota el parámetro "maybe_epilogue_func" aquí. ¿Qué pasa si quieres dos funciones de epílogo que almacenan en diferentes buffers, o reducciones encadenadas? El bucle está dentro de esta función conv, así que es demasiado tarde para cambiar. Lee el conv de tinygrad para contrastar. "En mis décadas de construcción de compiladores, ¡nunca he visto que el mito de un 'compilador suficientemente inteligente' realmente funcione!" -- @clattner_llvm Estamos apostando a que con técnicas de búsqueda modernas (lee: IA) esto finalmente cambiará. Aunque es una apuesta totalmente justa tomar el otro lado, y si no resulta en los próximos 10 años, Mojo probablemente sea el punto correcto en el espacio de compensación.