ciencia: comentarios [4031167]

#19 Cómo pondrá India un astronauta sobre la Luna en 2040

gozne9 — Mon, 24 Feb 2025 08:14:58 +0000

ya claro.

Lo que pasa es que la exploracion espacial esta por encima de la ley cientifica. Es como el sheriff del condado saltandose todos los semaforos a 200 km/h

Ese escepticismo es de doble estandar porque los psicopatas de la NASA y las demas agencias espaciales saben que gracias a los que las apoyais incondicionalmente tienen un free out of jail ticket como en el monopoly.

» autor: gozne9

#18 Cómo pondrá India un astronauta sobre la Luna en 2040

donchan — Mon, 24 Feb 2025 03:03:41 +0000

#17 para que un descubrimiento sea verificado un laboratorio independiente del primero debe repetir el experimento. Dime un motivo por el cual el viaje a la Luna no debe pasar la revisión por pares.

Porque viajar a la Luna no es un descubrimiento.

» autor: donchan

#17 Cómo pondrá India un astronauta sobre la Luna en 2040

gozne9 — Sun, 23 Feb 2025 21:37:14 +0000

#16 Sabes lo que es la revisión por pares? Significa que para que un descubrimiento sea verificado un laboratorio independiente del primero debe repetir el experimento. Dime un motivo por el cual el viaje a la Luna no debe pasar la revisión por pares. mientras el viaje a la Luna no sea verificado convenientemente tiene la misma validez que La visita a Narnia o la brujula dorada.

Insistes en que debo creer en Extraterrestres. Pues lo siento, pero no creo en ellos, te lo digo por segunda vez, si no lo entiendes ahora te lo puedo explicar con otras palabras.

» autor: gozne9

#16 Cómo pondrá India un astronauta sobre la Luna en 2040

donchan — Sun, 23 Feb 2025 18:24:01 +0000

#15 Es una creencia que te recomiendo. Si eres tan ignorante como para creerte que los viajes a la Luna fueron una invención, no le veo yo el problema con los extraterrestres. Hay muchas razas y puedes coleccionar las figuritas.

Es mucho menos peligroso que creerse tonterías sobre las vacunas.

» autor: donchan

#15 Cómo pondrá India un astronauta sobre la Luna en 2040

gozne9 — Sun, 23 Feb 2025 15:59:30 +0000

#14 Tu crees en extraterrestres? Que gente mas curiosa sois lo que rondais por aqui. Yo solo creo en lo que puedo verificar. Pero respeto las creencias por muy locas que me parezcan.

» autor: gozne9

#14 Cómo pondrá India un astronauta sobre la Luna en 2040

donchan — Sun, 23 Feb 2025 09:13:45 +0000

#12 No tiene sentido discutir tonterías inventadas. Lo del "y tu más" es una respuesta sin significado.

Recomendación: Mira videos de encuentros con extraterrestres. Hay para entretenerse años.

» autor: donchan

#13 Cómo pondrá India un astronauta sobre la Luna en 2040

donchan — Sun, 23 Feb 2025 09:04:50 +0000

#8 Un trabajo importante en toda misión de volar muy arriba, es la de verificación de software. Tenemos ahí el problema de las IA. Esos trastos no sirven, pero el hype es tal que algún burócrata hará que se usen, y puede acabar realmente mal.

Lo que funciona son otras cosas.

Several systems similar to SPARK on Ada exist, each offering unique features for high-assurance software development:

MISRA C: Like SPARK, MISRA C is intended for high-assurance applications where reliability, safety, and security are critical. It provides guidelines for C programming in safety-critical systems.

Frama-C: This is a static analysis tool for C programs that can be compared to SPARK in terms of its ability to verify program properties and detect potential errors.

Rust: While not directly based on Ada, Rust offers similar safety guarantees to SPARK. It provides memory safety without garbage collection and has a strong ownership model and borrow checker, similar to SPARK4.

Dafny: A programming language and program verifier that supports formal specification and verification, similar to SPARK's approach to proving program correctness.

Coq: A formal proof management system that, while not a programming language like SPARK, can be used to develop formally verified software.

Isabelle/HOL: Another theorem prover that can be used for formal verification of software systems, comparable to SPARK's proof capabilities.

F*: A functional programming language aimed at program verification, combining features from ML-style languages and dependent types.

» autor: donchan

#12 Cómo pondrá India un astronauta sobre la Luna en 2040

gozne9 — Sun, 23 Feb 2025 09:04:38 +0000

#10 "Es interesante el comportamiento humano. Una vez que un tonto se ha creido alguna estupidez ya no hay forma de sacarlo de ahí. Seguirá diciendo la tontería hasta que, al final, afortunadamente, se muera."

Completamente de acuerdo. Seguro que moriras, y la ultima noticia que te llegara al rss de meneame sera: "dentro de 5 años la NASA (esta vez si) vuelve a la Luna"

» autor: gozne9

#11 Cómo pondrá India un astronauta sobre la Luna en 2040

donchan — Sun, 23 Feb 2025 08:55:52 +0000

#7 Están ligando con lunáticas.

» autor: donchan

#10 Cómo pondrá India un astronauta sobre la Luna en 2040

donchan — Sun, 23 Feb 2025 08:54:28 +0000

#4 los almadecantaros que se creen que alguna vez un humano viajo a la Luna

Es interesante el comportamiento humano. Una vez que un tonto se ha creido alguna estupidez ya no hay forma de sacarlo de ahí. Seguirá diciendo la tontería hasta que, al final, afortunadamente, se muera.

Yo quiero suponer que, aparte de los problemas mentales evidentes, los que no creen posible que se haya viajado a la Luna es que desconocen la técnica que lo hace posible. Como que ellos no podrían hacerlo, es fácil creerse que los demás tampoco.

Es un efecto conocido esto. Cuando tu ignoracia es grande, no eres capaz de identificar a los que saben mucho más que tú y te crees que están de postureo o algo así.

» autor: donchan

#9 Cómo pondrá India un astronauta sobre la Luna en 2040

Otrebla8002 — Sun, 23 Feb 2025 07:38:57 +0000

#2 jajajajaja...... Que bueno.

» autor: Otrebla8002

#8 Cómo pondrá India un astronauta sobre la Luna en 2040

flixter — Sun, 23 Feb 2025 07:29:44 +0000

#1 bailando, con figuritas de elefantes, y con una solución software llena de bugs a mas no poder porque "lo he sacado de chatgpt".

» autor: flixter

#7 Cómo pondrá India un astronauta sobre la Luna en 2040

cocolisto — Sun, 23 Feb 2025 03:51:03 +0000

Yo creo que hay mucha gente en la luna ya.

» autor: cocolisto

#6 Cómo pondrá India un astronauta sobre la Luna en 2040

otama — Sun, 23 Feb 2025 03:06:26 +0000

Joder, leí Indra en el titular, y casi me atraganto de la carcajada.

» autor: otama

#5 Cómo pondrá India un astronauta sobre la Luna en 2040

Emotivo — Sun, 23 Feb 2025 02:41:47 +0000

Lo pondrán vendiendo kebab, y cuando lleguen después los americanos comerán kebab en vez de hamburguesas.
Cuando lleguen los chinos comerán kebab en vez de rollitos primaverales y cerdo agridulce y cuando lleguen los españoles comerán kebab en vez de bocadillos de calamares pringosos.

» autor: Emotivo

#4 Cómo pondrá India un astronauta sobre la Luna en 2040

gozne9 — Sun, 23 Feb 2025 02:39:02 +0000

Yo no se porque se pillan los dedos asi. Podrian decir que llegaran en el año 3000 y asi se ahorrarian el ridiculo de tener que retrasar la vuelta a la Luna cada 10 años, pero en realidad da igual, los almadecantaros que se creen que alguna vez un humano viajo a la Luna tiene un queso gruyere en vez de un cerebro. Venga, le doy a meneo, con 10 meneos llegamos s portada fijo.

» autor: gozne9

#3 Cómo pondrá India un astronauta sobre la Luna en 2040

ronko — Sun, 23 Feb 2025 02:19:30 +0000

Cuando lleguen se pondrán a cantar y bailar.

» autor: ronko

#2 Cómo pondrá India un astronauta sobre la Luna en 2040

CharlesBrowson — Sun, 23 Feb 2025 01:18:23 +0000

mientras no cocinen alli...

» autor: CharlesBrowson

#1 Cómo pondrá India un astronauta sobre la Luna en 2040

tatamka — Sun, 23 Feb 2025 01:05:30 +0000

Con dinero de UK

» autor: tatamka