🇪🇸 ¿Es importante la verificación formal? + bonus | CH AMA 15 Mar 2020

:es: Transcripción al español de un fragmento de “Sunday AMA March 15, 2020”

Publicado en el canal de Youtube de Charles Hoskinson el 15 de Marzo de 2020

Enlace a la versión doblada al español


Hablemos de verificación formal, esta es una interesante, ¿es importante la verificación formal?

El proceso de verificación formal, hacer preguntas, pensar cuidadosamente sobre lo que quieres hacer, es realmente la clave de valor para la verificación formal. De modo que la verificación formal no necesariamente significa que vas a escribir un gran software o escribir un software que haga lo que tú crees que va a hacer, por defectos en el diseño del sistema o porque no entendiste bien los problemas que estabas intentando resolver, podrías escribir código perfecto inútil o código imperfecto. Sin embargo, el proceso de hacer verificación formal, te obliga a pensar por encima el código y pensar en el problema, el dominio, el diseño y empezar realmente a hacer preguntas profundas sobre cómo vas a actualizarlo, como vas a mantenerlo, qué significan las cosas, por qué estás haciendo lo que estás haciendo y si esas cosas son razonables o sensatas. Este es un ejercicio tremendamente valioso y es uno que no requiere un uso extensivo de recursos. Si realmente estás interesado en una manera rápida de hacer métodos formales, Practical TLA + es un libro maravilloso y hay un montón de buenas ideas y ejemplos ahí y Grahm incluso hizo algunos videos de YouTube sobre ello, es un gran punto de entrada en los métodos formales que no requiere un conocimiento profundo de lógica deductiva y tipos de dependientes y este tipo de cosas. Sólo puedes leer el libro y mientras tengas suficiente experiencia en programación puedes entrar fácilmente y aún así escribir algunos grandes modelos, muy rápidamente verás su poder. Leslie Lamport también ha hecho algunos maravillosos videos sobre TLA+, en particular explicando el valor del mismo como sistema y ese es un buen punto de entrada a los métodos formales.

Charles, ¿esperas que Cardano sea listado en un nuevo e importante intercambiador cripto en 2020?

Sí, en varios,

1 Like