Entradas

Wolfram Alpha ya sabe realizar demostraciones matemáticas mediante inducción

Imagen
Connor Flood ha sido el encargado de un proyecto apasionante en las tripas de Wolfram Alpha , ese poco conocido «motor de conocimiento» con aspecto de buscador pero que cuenta con gigantescas bases de datos estructuradas y con el cerebro de Mathematica , el software de computación simbólico. El resultado es que ahora permite generar pruebas matemáticas mediante inducción a partir de una consulta en lenguaje normal y corriente. Los detalles tecnico-matemáticos son bastante complejos pero baste saber que la respuesta a las demostraciones que se solicitan no son básicamente resultados como «cierto» o «falso», sino el «paso a paso» que lleva de la proposición a la demostración . Un ejemplo típico sería Demostrar que 8 elevado a n menos 3 elevado a n es divisible por 5 para cualquier valor de n mayor que 0. Puede comprobarse con lápiz y papel que la afirmación es cierta para muchos valores de n , pero lo complicado es demostrarlo para todos los valores que se indican. El progr...

Este fin de semana podremos ver una espectacular lluvia de estrellas en todo el mundo

Imagen
Siempre que haya un cielo oscuro y despejado, desde hoy y todo el fin de semana, puede contemplarse una espectacular lluvia de estrellas en cualquier parte del mundo: la lluvia de meteoritos Delta Acuáridas . Se podrán ver hasta 20 meteoritos por hora, si bien continuarán viéndose en días sucesivos en menor proporción. Pero lo que hace más especial este fin de semana es que tenedremos luna menguante, es decir, unas condiciones de oscuridad idóneas. Las mejores horas son entre la media noche y antes del amanecer, sobre las dos y tres de la madrugada . Si os encuentráis en el hemisferio norte, buscadlas por el sur, justo al frente de la constelación de Acuario. Mientras que en el sur, donde se podrá apreciar mejor, Acuario lo encontraréis más encima de la cabeza. El origen de esta lluvia de meteoritos puede proceder del cometa 96P Machholz, pero tampoco se sabe con seguridad. Vía | BBC Mundo También te recomendamos El impacto del meteorito que aniquilo a los dinosaurios, cortesía ...

Watch SpaceX test fire one of the Falcon 9 rockets it relanded

Imagen
SpaceX is getting ready to launch one of the rockets it relanded to prove they're truly reusable. In fact, it just finished test firing one of them at its Texas development facility. The first-stage booster burned for a total of 2 minutes and 30 seconds, the full duration for a single stage flight, on Thursday night. According to NASA Spaceflight , the booster looked like it was in great shape after the test upon initial evaluation, which bodes well for the company's plans. If you're wondering which Falcon 9 was test fired, it was the one that ferried the JCSAT communications satellite to orbit back in May. SpaceX didn't use the first rocket it ever relanded (on solid ground), because Elon Musk sees is as a museum piece. The company didn't use the first rocket that successfully touched down on a barge either, because it's too valuable: that's the one the company wants to send back to space. Source: SpaceX (YouTube)

Esta NES con Raspberry Pi y cartuchos es mucho más Classic que la de Nintendo

Imagen
¿Os gustó la mini NES que Nintendo se ha sacado de la manga? La mayoría diríamos que sí por eso de la nostalgia que nos produce un producto así, que además viene con una colección de títulos realmente buena. Pero hay muchas cosas que chirrían, que se pueden mejorar: es algo que podemos ver mejor si la comparamos con la NES artesanal que Daftmike ha creado. A partir de una Raspberry Pi , el tipo ha dado forma a una versión en miniatura de la gran consola de Nintendo, con una calidad bastante buena y en la que valoramos cosas como que los botones funcionan, está el piloto rojo de encendido, e incluso hay cartuchos. No es la primera vez que vemos a la famosa placa relacionarse con consolas de la gran N, echad un vistazo a esta particular Gameboy . Sí, aquí la compuerta funciona, y aunque dudamos de la utilidad de tener mini cartuchos a estas alturas, ya que vamos a hacer algo nostálgico, vamos a llevarlo hasta el final . Obviamente este proyecto no se ha hecho en tres días, tras ver...

Study identifies two new carcinogens in e-cigarette vapor

Imagen
Most people won't dispute the claim that e-cigarettes are less harmful than traditional smokes , but evidence is rapidly mounting that vaping isn't exactly good for you , either. Numerous studies have found toxic chemicals and carcinogens in e-cigarette vapor -- but a new study shows that the age, type and temperature of the vaporizer can effect just how toxic its emissions are . Researchers have also identified two previously unreported cancer-causing chemicals present in most e-cigarette liquid. According to researchers at the Lawrence Berkeley National Laboratory , most of the toxic chemicals found in vaporizer smoke comes from the thermal decomposition of glycol and glycerin -- two food-safe solvents commonly used in e-cigarette liquid. When vaporized, however, researchers found that the liquid emits toxic chemicals. Among them are propylene oxide and glycidol, two probable carcinogens. That said, not all e-cigarettes are equal: researchers found that when it tested th...

9 sistemas operativos y gestores de contenido que puedes instalar en una Raspberry Pi

Imagen
La Raspberry Pi se ha hecho muy popular entre los aficionados a la tecnología, y méritos no le sobran para ello. Este ordenador que cabe en la palma de tu mano y que nació como un proyecto educativo para acercar la programación a los escolares se ha convertido en un gadget muy versátil que puede hacer casi de todo, con el software adecuado. Precisamente es esa capacidad de poder personalizar tu Raspberry Pi para el proyecto que quieras (junto con su precio, y una activa comunidad de usuarios que ayudan con cualquier problema) la que ha convertido a la Raspberry en el centro de muchos "experimentos" caseros, usándola como primer ordenador para niños, como media center para la tele o como consola de videojuegos retro. Hay tantas opciones en los proyectos que puedes hacer con una Raspberry Pi como sistemas operativos y gestores de contenido le puedes instalar. Vamos a repasar a continuación unos cuantos de ellos, aunque la lista es mucho más amplia... y seguramente segui...

¿Y si el alimentador inteligente para mascotas falla? Más vale que te pases por casa

Imagen
Poco a poco vemos como el internet de las cosas va materializándose en varios tipos de soluciones como el control de la temperatura y la iluminación en casa. Más allá de esto, lo que también hemos visto en este campo son aplicaciones en el cuidado de las mascotas , pero ¿qué ocurre en este caso si hay algún error? Hace poco veíamos algunos dispositivos pensados para perros y otras mascotas , algunos de ellos con funciones de control remoto (si es que se puede hablar de esto con animales) como el caso Petcube , que además de poder ver las mascotas permite jugar con ellos con un láser. Pero en este caso no hablamos de evitar que muerdan muebles o hagan alguna trastada, sino de su alimentación. ¿Qué solución hay si se cae el servicio? A la antigua usanza Hace muchos años que existen dosificadores automáticos de pienso usados sobre todo en el caso de criaderos y animales que pasan parte del día solos. Petnet añade el componente smart a estos dosificadores ofreciendo un cálculo de la...