jeffsantillan (25)in #security • 4 years agoDeepSEA nuevo lenguaje en Blockchain por CertiKLa verificación formal es un método poderoso para garantizar matemáticamente que los programas funcionen de una correcta y segura, pero sigue siendo un uso intensivo de recursos…jeffsantillan (25)in #ai • 4 years agoTiny AI (Inteligencia Artificial Diminuta)Tiny AI o Inteligencia Artificial Diminuta Dentro de las tecnologías emergentes para el 2020 tenemos a la Inteligencia Artificial (IA) diminuta, impulsada principalmente por…jeffsantillan (25)in #blockchain • 4 years agoQuien soy.Hola me llamo Jefferson y soy de Perú. He decidido aperturar este Blog en Hive porqué me interesa mucho el mundo de las criptomonedas y quiero compartir con todos ustedes los…