Conversation
Notices
-
V4l3y4rd (v4l3y4rd@quitter.se)'s status on Wednesday, 21-Sep-2016 08:28:26 UTC
V4l3y4rd
Antes enseñaban verificación formal en la uni, y lo quitaron porque "no servía para nada". Quien ríe el último... http://qttr.at/1hgx - drymer #en proceso de migrar repeated this.
-
drymer #en proceso de migrar (drymervieja@quitter.se)'s status on Wednesday, 21-Sep-2016 09:35:21 UTC
drymer #en proceso de migrar
@v4l3y4rd Muy interesante el articulo, no conocia ese tipo de enfoque. -
danielside (danielside@gs.dnlsd.nom.es)'s status on Wednesday, 21-Sep-2016 12:45:22 UTC
danielside
@drymer Cuando estoy conduciendo un coche moderno, siempre me acuerdo de la verificación formal, Y ME CAGO DE MIEDO, porque creo que cada vez se hace menos. Prefiero no saberlo. -
drymer #en proceso de migrar (drymervieja@quitter.se)'s status on Wednesday, 21-Sep-2016 14:01:36 UTC
drymer #en proceso de migrar
Tal como lo explica el articulo no se hace, directamente. Se empieza a hacer ahora, más como PoC que como nada práctico.