16505 noticias
Andreina Valerio volvió a toda prisa desde el trabajo a la casa de sus suegros en La Guaira, en la costa de Venezuela, tras los dos terremotos que devastaron el país. Allí encontró el edificio convertido en una montaña de escombros y supo que su hijo de casi dos años, Santiago, y su pareja, Ramsés M
Ansatz es una librería de Clojure que permite escribir programas verificados formalmente sin salir del ecosistema de la JVM. Está construida sobre el Calculus of Inductive Constructions (CIC), la misma teoría de tipos que sustenta Lean 4, e implementa el núcleo de Lean 4 en Java. De este modo, las p
ClickHouse ha presentado WAL-RUS, una reimplementación en Rust de la herramienta de copia de seguridad y archivado de WAL para Postgres pensada para reducir el consumo de memoria y hacerlo más predecible. El proyecto, publicado como código abierto en GitHub, mantiene la compatibilidad con WAL-G: uti
Un vídeo de 18 segundos subido en 2017 por el fotógrafo de naturaleza Mohammed Almuntasir se ha convertido en la primera prueba material de la presencia del gato del desierto (Felis margarita) en Libia, según un estudio peer-reviewed publicado en febrero de 2026 en el Journal of Arid Environments. A
Marfa Public Radio, emisora comunitaria del oeste de Texas que opera las 24 horas, ha estrenado un podcast diseñado para dormir a su audiencia. Bajo el título "Marfa Public Radio Puts You to Sleep", la estación lee en voz alta documentos administrativos y operativos —como normativas de la FCC, proto
Una investigación de Hunterbrook Media recoge los testimonios de más de 60 propietarios en 16 estados que compraron viviendas a D.R. Horton y Lennar, los dos mayores constructores residenciales de Estados Unidos, y describen defectos de construcción que van desde filtraciones e infestaciones de moho
El texto parte de una escena emblemática de la película 'Good Will Hunting' para reflexionar sobre el valor de la experiencia humana frente al exceso de información y contenido generado por inteligencia artificial. En la escena, el personaje de Robin Williams (Sean) interpela a Will (Matt Damon) sob
Esta guía explica cómo configurar un clúster de dos nodos equipados con las placas base Framework Desktop Mainboard con AMD Ryzen AI MAX+ 'Strix Halo' y 128 GB de memoria unificada, conectados mediante tarjetas Intel E810-CQDA1 de 100 GbE sobre el protocolo RoCE v2, para ejecutar inferencia distribu
Decomp Academy es una plataforma educativa diseñada para enseñar, desde cero, a descompilar ensamblador de la consola GameCube y reescribirlo en C que produce un binario idéntico al original. El servicio plantea un método progresivo: el alumno lee instrucciones en ensamblador, escribe su equivalente
Kiso es un motor de publicación de código abierto diseñado para transformar paquetes de Open Knowledge Format (OKF) en sitios web estáticos orientados tanto a personas como a agentes de inteligencia artificial. Su filosofía se apoya en un primer principio claro: el archivo OKF constituye la fuente ú
Las expresiones regulares son una de las herramientas más extendidas en programación y procesamiento de texto, pero su gran debilidad es la fragmentación: cada motor (sed, awk, grep, Emacs, Perl, PCRE) implementa un subconjunto distinto de sintaxis y funcionalidades, lo que provoca que un patrón que
La Old Computer Challenge (OCC) es una iniciativa comunitaria que cada verano reúne a entusiastas de la informática retro y del minimalismo digital para usar durante una semana un ordenador viejo o con recursos muy limitados. La creó Solène Rapenne en julio de 2021 con una prueba inicial de siete dí
Abogados, pescadores y responsables políticos se reunieron en Belfast este mes para explorar si reconocer al Lough Neagh, el mayor lago de agua dulce de las islas británicas, como 'persona jurídica' podría contribuir a su restauración. El profesor Eduardo Salazar-Ortuño, exabogado que lideró la conc
Instagram está probando más puntos de acceso a la función 'Tu algoritmo', que permite a los usuarios indicar qué temas quieren ver más o menos, según adelantó el jefe de la plataforma, Adam Mosseri. La herramienta se lanzó en 2025 y la compañía lleva meses llevándola a otras zonas de la aplicación.
Elegir el resolvedor DNS adecuado es crucial para la privacidad, seguridad y velocidad de navegación. Esta guía compara 29 resolvedores públicos globales, considerando factores como la jurisdicción, el tipo de operador, los métodos de filtrado (malware, familiar, sin filtrar), el soporte para IPv6 y
Wizards of the Coast confirmó el reciente fallecimiento de Ron Spears, uno de los artistas más influyentes en la historia visual de Magic: The Gathering, juego al que aportó más de 100 ilustraciones a lo largo de varias décadas. Spears debutó como ilustrador del juego con una pieza de Magic y consol
Aislar una aplicación gráfica como un navegador web o un cliente de mensajería basado en Electron en un contenedor LXC es una forma eficaz de añadir una capa extra de seguridad al escritorio Linux. Si el navegador queda comprometido, el resto del sistema y el directorio personal del usuario quedan e
Miles de personas se concentraron el 28 de junio en la Alameda de Hércules de Sevilla para celebrar la marcha del Orgullo LGTBIQ+ bajo el lema "Desde el campo a la ciudad, ¡orgullo, lucha y libertad!", en la víspera de los 47 años de los disturbios de Stonewall. La manifestación, que recorrió la Ron
OxCaml, el superset de OCaml desarrollado por Jane Street, incorpora una función que obliga al compilador a garantizar que una función completa no realiza asignaciones en el heap. Basta con anotar el código con [@zero_alloc]: si cualquier parte del árbol de llamadas reserva memoria, la compilación f
Pomerium es un proxy inverso basado en identidad y contexto que permite establecer conexiones seguras y sin cliente hacia aplicaciones web internas y otros servicios, eliminando la necesidad de una VPN corporativa. Su propuesta se articula en torno a cuatro ejes: acceso sin cliente, que simplifica l
Teenage Engineering ha lanzado la actualización OS 2.5 para su sampler EP-133 KO II, una de las más ambiciasas desde su lanzamiento. Entre las novedades destaca el audio por USB, una frecuencia de muestreo seleccionable con un modo lo-fi a 26 kHz, sample reverse, un arpegiador y un sistema de autoch
Un informe del Mackinac Center for Public Policy revela que los grandes proyectos de subsidios industriales promovidos por la gobernadora de Michigan, Gretchen Whitmer, han generado una fracción mínima de los empleos prometidos. De los 20.595 puestos anunciados, solo se han creado 602, apenas el 3 %
Conectar un sintetizador de 1983, como el Yamaha DX7, a un navegador moderno mediante la API Web MIDI plantea un problema técnico singular: el chip Hitachi 6305 de 8 bits del instrumento funciona a 2 MHz con un búfer interno de apenas 256 bytes, mientras que el equipo actual transmite datos a veloci
Investigadores de la Universidad del Sureste de China, liderados por Honghong Yao, han identificado un mecanismo por el cual los fármacos GLP-1, como Ozempic, podrían aliviar síntomas depresivos más allá de su conocida acción sobre el peso. El estudio, publicado en Cell Host & Microbe, muestra que e
El debate estadounidense sobre vivienda ha identificado con precisión un problema que Europa sufre con mayor intensidad pero apenas reconoce: la escasez de oferta derivada de la zonificación suburbana y el rechazo vecinal (NIMBYismo). En Estados Unidos existe un amplio consenso en que las restriccio
China ejecuta desde hace décadas el Proyecto de Trasvase de Agua Sur-Norte, la mayor obra de ingeniería hidráulica del planeta, con la que transfiere agua desde la cuenca del Yangtsé, en el sur, hasta las áridas llanuras del norte, donde vive gran parte de la población pero solo se concentra el 20%
La escritora canadiense Margaret Atwood arremetió contra la inteligencia artificial durante su participación en el Festival Literario y Cultural Babell, celebrado en Oporto, Portugal. Atwood, autora de obras como 'El cuento de la criada' y 'La mujer comestible', aseguró haber probado un chatbot de I
La Videx VideoTerm, lanzada en 1980 y fabricada en Corvallis (Oregón), fue la tarjeta de 80 columnas que convirtió al Apple II en una máquina apta para el trabajo empresarial. Hasta que Apple integró soporte nativo de 80 columnas en el IIe en 1983, dominó el mercado por su compatibilidad con Apple P
Prism es un compilador funcional de prueba de concepto desarrollado por Stephen Diehl durante los últimos tres años. Su propuesta central consiste en modelar los efectos computacionales —mutación, excepciones, generadores, entrada/salida— dentro del sistema de tipos, de modo que el programador decla
Un viaje a las islas Galápagos sirve de pretexto para revisar la figura de Charles Darwin y desmontar el mito del paraíso prístino que él supuestamente descubrió. El texto arranca con un encuentro anecdótico con una tortuga gigante cruzando una carretera en Santa Cruz, y a partir de ahí recorre la h