#5 "Yo le echo una magnitud sieeete...". Espero que esté hablando solo del sismo... 
. Eso sí, lo ha clavado. No quiero saber en que se ha basado para calcularlo.... 
Me parece muy mal este vídeo. La gente va a pensar que allá donde vayas te vas a encontrar a la cabra. ¡Pero es muy difícil verla! Es muy esquiva y cuesta mucho encontrarla. Pero si pones el suficiente empeño en buscarla al final la ves. Yo lo he conseguido un par de veces.
#39 Realmente lo de la tarjeta sanitaria europea (TSE) no es indicativo. Hace ya un tiempo que la TSE solo te la dan si tienes un contrato indefinido. En cualquier otro caso, incluyendo si estás contratado por obra y servicio, lo único que te dan es el certificado (con una validez máxima de 90 días desde que lo solicitas).
#51 Hace dos años todos los predoctorales que pidieron TSE la obtuvieron. Es cierto que la funcionaria que me atendió me indicó lo que dices de que sólo se la dan a indefinidos, pensionistas y creo que autónomos
#52 Como te ha dicho #51, el certificado lo puedes pedir. Ahora bien, el certificado tiene una duración máxima de 90 días, así que si te vas de estancia científica por, digamos, tres meses a Alemania, te has de buscar la vida por mes y medio. Una vergüenza.
Y luego está el tema de la indemnización (que es la razón de las ratas en el gobierno para este cambio en los contratos, sin duda)...
#54 perdona mi ignorancia, pero la indemnización es por si te despiden?
#55 Claro, es muy diferente en función del tipo de contrato.
Corrección a mi comentario en #6: no es verdad que el array quede inicializado con el mismo valor en todas las componentes. Lo que dice el estándar es que las posiciones para las cuales no se especifique valor se inicializarán con cero. Estaba pensando en el caso particular en el que uno especifica como primera componente un cero, que produce como efecto lo que comentaba en #6. Sobre lo de que se admita que "main" sea un array en vez de una función: http://stackoverflow.com/a/34764930
#2 El sufijo "u" hace que el número -1 se interprete como un "unsigned", que es un entero sin signo usando (al menos) 4 bytes. La representación en binario de -1 interpretado como un número sin signo corresponde al número 4294967295 (el mayor entero sin signo representable con 4 bytes). Por otra parte, el estándar de C dice que si inicializas un array dando valor solo a la primera componente, se usa el mismo valor para el resto de posiciones. Es una forma de forzar a reservar memoria estática.
Corrección a mi comentario en #6: no es verdad que el array quede inicializado con el mismo valor en todas las componentes. Lo que dice el estándar es que las posiciones para las cuales no se especifique valor se inicializarán con cero. Estaba pensando en el caso particular en el que uno especifica como primera componente un cero, que produce como efecto lo que comentaba en #6. Sobre lo de que se admita que "main" sea un array en vez de una función: http://stackoverflow.com/a/34764930
#16 jajjajaj@rafaojosverdes ha convertido esto en un Pregúntame de tipo: Soy informático, respondo preguntas
(pero su pregunta no tiene sentido, porque me parece que todos los informáticos somos vírgenes, no?)
#21 ¿No todos lo somos?
#14 Pues no sé si el chaval es virgen o no, pero yo soy informático y ha habido épocas en mi vida que tenía la polla envuelta en paños calientes de tanto follar (y sin pagar).
Que pasa ¿que una cosa es incompatible con la otra?
Es decir: ¿No puedes ser virtuoso en tu trabajo y el fin de semana dedicarte a follar con todas las chicas que puedas?
#16
#29 Este se quedó en los 80.
#29 yo siempre he dicho que la gente no hetero somos menos aceptados en el mundo de IT porque follamos más y tal. Pero en plan coña, ojo.
#14 ¿Eres tonto?
#26 ¿Tu también eres virgen?
#35 ¿Tu también eres tonto?
#1 Recomiendo leer el artículo original (en inglés): https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/
Como siempre, los titulares tienden a ser algo sensacionalistas para llamar la atención. En el artículo original se habla del tema de la verificación formal de manera más extensa y ya se aclara que: “We’re not claiming we’re going to prove an entire system is correct, 100 percent reliable in every bit, down to the circuit level,” Wing said. “That’s ridiculous to make those claims. We are much more clear about what we can and cannot do.”
La idea interesante del artículo es que la verificación formal, aún siendo una idea desarrollada por el año 1976, es ahora cuando empieza a utilizarse de manera práctica gracias a los avances hechos en la última década.
#2 La verificación formal no consiste en poner más trabas. Consiste en especificar de manera rigurosa que propiedades debe cumplir un programa y demostrar matemáticamente que es correcto. Lógicamente, eso no asegura que un sistema sea 100% seguro, ya que hay muchos puntos en la cadena de desarrollo donde puede introducirse fallos (¿la especificación recoge correctamente el comportamiento deseado?, ¿el código ejecutable es una implementación que satisface la especificación?, ¿se ha validado el hardware donde se ejecuta el programa?), pero el artículo pone de manifiesto con un ejemplo que es una dirección muy prometedora para conseguir sistemas más seguros en un futuro del Internet de las cosas.
#131 Aunque no lo he aclarado, yo no creo que haya que temer el control de Pepephone por parte de Másmovil (en cuanto a ADSL/Fibra se refiere). Ambos ofrecen ofertas muy similares y mi breve experiencia hasta la fecha ha sido satisfactoria. No sé si el resto ha tenido malas experiencias con Másmovil.
¿Han probado a preguntar a la chica?