Zapp

Soy Antonio Gómez, nutricionista. Pregúntame [249]

1. #8 Moixa *

   ¿Que opinas de los ayunos intermitentes?

   24 K 196

Todos los modelos de servidores NAS WD My Cloud tienen vulnerabilidades críticas [112]

1. #19 --540881--

   Yo desde que uso iCloud ya no lo utilizo, que antes lo tenía para usar con un HDD conectado al router WD.

   0 K 5

seL4, el primer sistema operativo que demuestra matemáticamente su seguridad [52]

1. #27 pikutara

   #6 No hay manera de demostrar que un software no tiene bugs
   
   Claro que la hay, ahora bien, no suele ser viable su utilización y como mucho se hace para algoritmos relativamente sencillos.

   1 K 17

1. #23 --31911--

   #11 Bueno, la verdad es que no. Que la mayoría de tests que se hacen son "tests unitarios", y "tests de integración", con algunas variantes. Todos esos tests no aseguran matemáticamente la corrección del programa, ni con un 100% de "cobertura". Hay algunas variantes, como el "mutation unit testing" que consiguen mejores resultados (pagando un mayor coste temporal y computacional para realizar los tests), pero siguen sin asegurar el 100% de corrección. Una prueba matemática es mucho más que eso, no deja resquicio de duda.

   1 K 17

Pedro J.: "Que voten por quien quieran menos por los dos grandes partidos" [136]

1. #11 Duke00

   Siempre me da que desconfiar lo que diga Pedro J., me da la impresión de ser de esas personas que no hacen absolutamente nada que no sea por interés propio...

   4 K 40

Emilio Olabarria (PNV), pedante, casi arranca el micrófono tras regresar del bar [33]

1. #3 sintesisnianalisis

   Si el que ha editado el vídeo hubiera mirado la RAE antes de ponerse gracioso igual no hubiera quedado como un inculto supino lema.rae.es/drae/?val=Anfibología

   16 K 135

Todas las mentiras del PP recopiladas en un video [160]

1. #1 ﻞαʋιҽɾαẞ *

   No tengo tiempo para ver un video tan largo.

   184 K 1579