#10 Amigo, hay que leer mejor, así podrías darme la respuesta zasca a la primera en vez de volver casi diez minutos más tarde.
También, si tú dices "No he visto ni leído más datos oficiales sobre el tema." eso significa que no has encontrado más info que la del twitt pero acto seguido te contradices diciendo que "En varios medios en Alemania la noticia ha sido difundida" por lo que entiende que en esos medios has visto más info de la que se ve en el twit.
Y lo mantengo, tú sabrás por qué meneas un twitt sobre un suceso de Alemania como si hubiese mucho que debatir sobre el tema pero al mismo tiempo solo traes el vídeo del suceso.
#17 ¿Exactamente dónde me he quejado de que nos cuentes tú vida? No te inventes cosas.
Te digo que no entiendo cómo intentas informarte o informar a los demás.
#12 ay amigo, siendo del 2013 sabrás que aquí todos somos viejos, pero muchos con nicks nuevos... Yo lo cambio cada año desde que gallir se estaba sacando el carnet para conducir Ferraris...
#7 ¿Y cómo has encontrado ese Twitter entonces? ¿Por qué te ha parecido de una urgencia tan grave que en vez de buscar medio minuto más te has limitado a compartir eso junto a tus dudas de cómo encontrar más info?
#19 Querido hater, parece que no te has leído la columna. Se trata de un análisis de la situación en la que Putin y su gobierno se han metido y de las salidas que tienen. No es una noticia, es un análisis.
Un analisis.
Un análisis, y ya está. Un análisis es un "examen detallado de una cosa para conocer sus características o cualidades, o su estado, y extraer conclusiones, que se realiza separando o considerando por separado las partes que la constituyen." --> Directo de la Wikipedia... a ver dime, ¿otro nido de propagandistas?
Te pido perdón si te has sentido ofendido por el comentario #9, pero he de decir que tiene mucho de piropo, ya que admiro a David por su coherencia y lucha por abandonar los dogmas que lo radicalizaron.
Por último, ojala tuviera esos 18. Juventud, ¡bendito tesoro!
#9 18 años los tienes tu, si no eres capaz de ver que esto es propaganda, y de la mas burda
O quizas eres un propagandista, y por ello no lo reconoces abiertamente.
En ese caso, te recomiendo ser mas sutil en el futuro, la propaganda que es obvia no suele ser muy efectiva.
Que te hayan tumbado la noticia, es muestra de ello
#_8 cuando Hersch decía bobadas fácilmente rebatibles "ej que es un Pulitzer". Y ahora que otro ganador del mismo premio dice cositas que no gustan "es propaganda"
_Lo que se afirma es que no existe una manera automática computable de saber si todos los programas posibles terminan. No se niega que exista la prueba para programas concretos. De hecho, la construcción de pruebas para programas concretos es un paso obligatorio para demostrar su correctitud._
Con lo que, o limitas los programas que se pueden escribir (en el caso de Rust mediante reglas sobre qué código es el propietario de qué regiones de memoria, y qué referencias pueden existir a esa memoria en un momento dado), o, post-facto, sólo podrás eliminar un porcentaje (mayor o menor) de los problemas.
#88 hay herramientas de análisis estático (a partir el código fuente) y dinámico (usan el programa compilado). Son muy útiles y se podrían utilizar mucho más, la verdad.
#20 ChatGPT 
