Se trata de una herramienta para realizar demostraciones en varias lógicas (por ejemplo, la lógica proposicional, la lógica predicada) de forma visual: Simplemente se añaden bloques que representan los distintos pasos de las demostraciones, se conectan correctamente, y si la conclusión se vuelve verde, ¡entonces se ha creado una demostración completa! Simplemente arrastra y suelta para conectar dos puntos; para algunos ejemplos de demostraciones completas, vea este documento (link).

En este vídeo de la cadena japonesa ANN news se muestra una solución de baja tecnología para abrir la puerta de los armarios refrigeradores de las tiendas sin riesgo de contagio. Dado que hacerlo con las manos sin guantes sería «relativamente inseguro», una pequeña pieza en forma de U añadida en la parte de abajo de la puerta permite abrirlas fácilmente con los pies. Como alternativa es ingeniosa.

Cada año, conductores y pasajeros que abren una puerta de un vehículo en la trayectoria de un ciclista causan miles de accidentes en Europa. El ‘dooring’ provoca que 60 ciclistas resulten gravemente heridos o mueran cada año sólo en el Reino Unido, mientras que en Alemania fue la causa de unos 3.500 accidentes durante 2018. En España no hay cifras concretas de esta modalidad de siniestro, pero se registraron más de 7.600 accidentes entre coches y ciclistas solo en 2016. (Incluye vídeo.)

El Juego de Nand está inspirado en el asombroso curso "De NAND a Tetris - construyendo una computadora moderna desde los primeros principios" que es altamente recomendado. Los niveles se van pasando construyendo poco a poco componentes más complejos: Primero un inversor, luego una puerta and, or, xor, semisumador, etc.

Unidades de hackeo respaldadas por el gobierno de Irán han dado una alta prioridad el año pasado para explotar los errores de VPN tan pronto como se hicieron públicos para infiltrarse y plantar puertas traseras en empresas de todo el mundo. Rápidamente aprovecharon las vulnerabilidades reveladas en la VPN Secure Connect de Connect (CVE-2019-11510), Fortinet FortiOS VPN (CVE-2018-13379) y Palo Alto Networks "Global Protect" VPN (CVE-2019-1579).

Estados Unidos llevó su última prueba a reuniones a puerta cerrada con funcionarios en el Reino Unido y Alemania. Huawei ha incluido puertas traseras que efectivamente les permite acceder a los mismos datos a los que pueden acceder las fuerzas del orden público. Por lo general, estas puertas traseras, conocidas como “interfaces de interceptación legal” son utilizadas exclusivamente por las fuerzas del orden público. El equivalente de las escuchas telefónicas de la vieja escuela. Acusan a Huawei de hacer precisamente eso en su hardware.

Mientras que el Parlamento Europeo revelaba en el día de hoy que quiere que se desarrolle un puerto universal para todos los dispositivos móviles, Apple fue la única compañía que alzó la voz, y esto se debe a que defendió el uso de su puerto propietario, el Lightning, usado en sus dispositivos iPhone e iPad. Según indicó la compañía de la manzana mordida, obligarles a usar el mismo puerto que todo el mundo, el USB Type-C, "frena la innovación".

Todas las placas base del mercado incorporan puertos USB en los que podremos conectar todo tipo de dispositivos, pero estos puertos suelen quedar lejos del alcance del usuario, así que casi todas las cajas de PC también tienen puertos USB en el frontal. Pero, ¿se pierde rendimiento al utilizar estos puertos para conectar dispositivos USB?

WhatsApp ha sufrido dos graves vulnerabilidades este año que permitían espiar nuestro móvil al completo. Afirman que no es casual.

Los diseñadores tuvieron esta idea tomando como referencia el devastador brote de síndrome respiratorio agudo (SRAS) que se produjo entre noviembre de 2002 y julio de 2003 en el sur de China.8.098 casos tuvieron como consecuencia 774 muertes en 37 países.El diseño consiste en un tubo de vidrio con tapas de aluminio, recubierto con polvo fotocatalítico hecho de dióxido de titanio que, cuando se expone a la luz UV, produce una reacción química que hace que la manilla de la puerta de vidrio descomponga las bacterias.

La transición energética está tomando forma en el puerto de Amberes con la instalación de una planta piloto de energía solar térmica concentrada para la empresa de logística Adpo en Beveren.

Durante la prueba de carga final del avión Boeing 777X, el equipo de calidad se vio con un problema que obligó a parar las pruebas de estrés en suelo que se realizaban.

Científicos australianos desarrollaron una puerta cuántica de dos cúbits doscientas veces más rápida que otras de su tipo, lo que supone un paso más hacia la construcción de un ordenador cuántico a escala atómica. La puerta cúantica de dos cúbits es la pieza central de los ordenadores cúanticos y la versión del equipo de la UNSW es la más rápida que se ha desarrollado: logró completar una operación en 0,8 nanosegundos, 200 veces más rápido que modelos similares.

Investigadores han encontrado un problema grave en el nuevo sistema suizo de votación por Internet que dejaría que alguien modificara los votos sin ser detectado. Aconsejan poner fin al plan de Suiza para implementar el sistema en elecciones reales este año.

Hoy te proponemos 17 clientes de BitTorrent para sacar el máximo partido a tus descargas. Pese a que suele ir unido a la polémica por algunos de los usos que se le da, el protocolo BitTorrent sigue siendo una de las mejores alternativas para la descarga de grandes archivos en la red, y es utilizado por muchas organizaciones y empresas para permitir que sus clientes puedan gestionar la descarga de sus aplicaciones.

Incluso sin un cerebro o un sistema nervioso, las plantas carnívoras parecen tomar decisiones sofisticadas sobre cuándo cerrarse o abrirse. Investigadores de la Escuela de Ingeniería y Ciencias Aplicadas de la Universidad de Pennsylvania se han inspirado en su funcionamiento para imprimir en 3D materiales que responden a estímulos y principios geométricos, creando estructuras que tienen la "lógica incorporada". Esto permitiría diseñar dispositivo de control de la contaminación acuática que tomaran datos ante cierto estímulo físico o químico.

En 2020 entrará en vigor un acuerdo de la IMO para recortar las emisiones contaminantes del bunker, el fuel pesado con alto contenido en azufre que sirve de combustible a los navíos. Se espera que reduzca significativamente la contaminación en zonas costeras y prevenga millones de casos de asma infantil y otras patologías respiratorias. Actualmente un portacontenedores emite tanta contaminación como medio millón de camiones. Se espera que un pequeño porcentaje de buques de nueva factura funcionen con LNG (metano licuado)

Matthew Estrada, doctorado en Física por la Universidad de Stanford, y un equipo del laboratorio de Biomimética, han estado trabajando en unos minidrones equipados con ganchos que se inspiran en las habilidades morfológicas de insectos como las avispas y los escarabajos, capaces de transportar varias veces su propio peso. Estos minidrones, llamados FlyCroTugs, son capaces de coger objetos, abrir puertas, y levantar 40 veces su propio peso. Pesan solo 100 gramos, pero levantan botellas de agua de hasta 4 Kilos. En español: bit.ly/2z3Rx6B

Abrir puertas de garaje con teléfono móvil. Por mucho tiempo nos parecía muy cómodo usar el control de mando para abrir nuestro garaje. En muchas ocasiones dentro y fuera de nuestra casa este aparato se nos extraviaba y nos volvíamos locos a la hora de salir ya que sin el no podíamos ir a nuestro destino porque no teníamos como sacar el auto del garaje.