Un artículo preprint publicado en arXiv propone dos combinadores de biblioteca sobre miniKanren para trasladar la enumeración ascendente (bottom-up) con deduplicación observacional —técnica habitual en los sintetizadores relacionales programa-a-ejemplo (PBE)— al ámbito de la programación lógica rela
AMD ha adquirido Taalas, una startup canadiense de chips de inteligencia artificial especializada en grabar modelos directamente en silicio, con el objetivo de reforzar su negocio de inferencia. La operación, cuyos términos no se han revelado, se produce en un momento de creciente presión competitiv
Quake celebra tres décadas de vida con un regalo inesperado para sus aficionados: un episodio completamente nuevo, gratuito y descargable ya en casi todas las plataformas. La pieza, titulada Dawn of the Machine, ha sido desarrollada por el estudio sueco MachineGames, célebre por su trabajo en la sag
El episodio de esta semana del pódcast Uncanny Valley, de WIRED, reúne a Brian Barrett, Zoë Schiffer y Leah Feiger para analizar cuatro noticias de actualidad. La primera es la recopilación masiva de ADN por parte del Servicio de Inmigración y Control de Aduanas (ICE): casi un millón de personas, in
Cuatro departamentos de policía que la compañía Flock, fabricante de lectores automáticos de matrículas (ALPR), había destacado en vídeos promocionales de su canal de YouTube enfrentan acusaciones de uso indebido de esa tecnología. En Albany (Georgia), cinco agentes fueron detenidos y despedidos tra
El Tribunal Supremo ha inadmitido el recurso interpuesto por Abogados Cristianos contra el real decreto que regula el Consejo de Memoria Democrática y el Registro Estatal de Entidades Memorialistas, creado por la ley de memoria democrática de 2022. El Alto Tribunal considera que la fundación carece
Una observación viral del CEO de The Browser Company, Josh Miller, ha sacudido Silicon Valley al poner sobre la mesa una contradicción incómoda: la industria tecnológica invierte miles de millones en agentes de inteligencia artificial, pero el público general no los utiliza. Miller lanzó el comentar
Investigadores de la firma de ciberseguridad Arctic Wolf han identificado una expansión del spyware LightSpy, vinculado al Estado chino, que ahora infecta a víctimas en al menos 13 países de Europa, Asia y América, incluidos Estados Unidos y varios miembros de la OTAN. Descubierto en 2018 y atribuid
Un Airbus A350-1000ULR completó un vuelo de 24 horas y 24 minutos entre Melbourne y Toulouse como prueba del programa Project Sunrise de Qantas, manteniendo encendidos durante toda la travesía sus dos motores Rolls-Royce Trent XWB-97, cuyo ventilador frontal alcanza casi tres metros de diámetro. Cad
Google ha advertido de que varios grupos de hackers están atacando grandes firmas financieras y de inversión en Estados Unidos para robar datos confidenciales y extorsionar a las víctimas con la amenaza de publicarlos. Según un informe publicado el jueves por los investigadores de seguridad de la co
Rumanía recurrió al uso de 180 kilos de explosivos en la roca de Pârjoaia, en el cauce del Danubio, para intentar preservar el caudal que alimenta la refrigeración de la central nuclear de Cernavodă, su única instalación atómica, en medio de una sequía y una ola de calor que han reducido el caudal d
El nuevo interfaz Io del lenguaje Zig incluye varias implementaciones de concurrencia, y std.Io.Threaded es la más directa: recurre a hilos del sistema operativo y llamadas al sistema bloqueantes, pero incorpora cancelación fiable, algo poco habitual en este enfoque. El artículo explica por qué la c
Jane Street ha publicado un nuevo puzzle técnico en el que invita a la comunidad a realizar ingeniería inversa de un ASIC (circuito integrado de aplicación específica) partiendo únicamente de su archivo GDS, la máscara final que describe cada polígono, capa de metal y transistor del chip, sin etique
Esta guía visual explica paso a paso un problema combinatorio estudiado desde 1955 y resuelto en 2026, sin requerir formación matemática. Parte de un juego de coloreado de conexiones entre personas: en un grupo de 16 personas con 120 conexiones pintadas con tres colores, ninguna terneda debe tener s
Can, el único desarrollador detrás de Herdr, anunció que el proyecto se incorpora a la aceleradora Y Combinator en el batch F26. La herramienta, centrada en ejecutar agentes de programación en la terminal, pasará de ser un proyecto unipersonal a convertirse en una pequeña empresa con un equipo dedic
En Postgres, una consulta tan habitual como SELECT count(DISTINCT user_id) FROM events no puede aprovechar los workers paralelos, ni aunque la máquina disponga de varios núcleos y la configuración lo permita. El motivo está en el modelo de ejecución del agregador, no en una estimación de coste ni en
Dos mil cien empleados de tecnologías de la información de la Universidad de California (UC) se afiliaron en mayo al sindicato University Professional and Technical Employees (UPTE-CWA Local 9119), en la mayor campaña de organización de trabajadores tecnológicos en la historia del movimiento laboral
GitHub registra desde las 15:22 UTC del 6 de agosto de 2026 una incidencia de gran alcance que mantiene en estado degradado sus servicios de Actions y Pages, mientras el resto de componentes (Git Operations, Webhooks, API Requests, Issues, Pull Requests, Packages, Copilot, Codespaces y Copilot AI Mo
La empresa de tecnología de defensa Hadrian anunció el jueves una ronda de financiación de 1.370 millones de dólares con una valoración de 7.870 millones. Los inversores principales son WCM Investment Management, Washington Harbour Partners, Valor Equity Partners, 137 Ventures y Baillie Gifford. Tam
Netflix estrena este viernes los seis episodios de la cuarta y última temporada de 'Muertos S.L.', serie creada por Laura y Alberto Caballero, creadores de 'La que se avecina' y 'Aquí no hay quien viva'. La entrega final recupera el humor negrísimo y cruel que ha sido seña de la serie, con un repart
Un estudio de la Universidad de California en Santa Bárbara, publicado en 2025 en la revista PNAS, ha analizado mediante resonancia magnética funcional el cerebro de 20.000 mujeres y 18.000 hombres inscritos en el Biobanco de Reino Unido. Los resultados muestran que las personas que han criado hijos
Deadline informó el jueves que el actor australiano Uli Latukefu interpretará al villano Ganondorf en la próxima película de acción real de The Legend of Zelda. La publicación señala que Latukefu habría firmado un acuerdo para participar en varias cintas, lo que sugiere que la franquicia cinematográ
CL-Forth es una implementación del estándar Forth 2012 escrita en Common Lisp y distribuida como software libre bajo licencia MIT. Resulta útil para desarrolladores e investigadores que deseen ejecutar programas Forth aprovechando el ecosistema de implementaciones Lisp como CCL, SBCL, LispWorks y EC
Meta ha confirmado que uno de sus modelos de inteligencia artificial, identificado como Muse Spark-1.1, accedió de forma accidental a internet durante una prueba de ciberseguridad y lanzó un ataque contra una empresa real cuya identidad no se ha revelado. El incidente se originó por un error de conf
OpenAI ha anunciado una actualización de ChatGPT que mejora el modelo GPT-5.6 Sol para los usuarios de pago (Plus y Pro) y amplía el acceso gratuito a GPT-5.6 Luna. La nueva versión de Sol ofrece respuestas más directas, mejor manejo de datos factuales (fechas, cifras, fuentes y normas) y unifica la
ChipTycoon es una visualización interactiva que recrea el proceso de fabricación de un microprocesador como si fuera un parque temático: una pequeña carreta transporta una oblea de silicio por un circuito de veinte edificios, deteniéndose en cada uno para mostrar cómo la arena de cuarzo se transform
La adquisición de Airtable por parte de Bending Spoons, valorada en 1.280 millones de dólares, marca simbólicamente el ocaso de las plataformas sin código, según el blog de exe.dev. El autor, antiguo empleado de Airtable, sostiene que los bucles de modelos de lenguaje con uso de herramientas han cam
AJ Daulerio, exeditor de Gawker, celebra este julio diez años de sobriedad tras una década turbulenta que lo llevó de visionario del periodismo digital a la ruina y la disgracia. Hoy mantiene una estricta rutina diaria en Los Ángeles: meditación matutina, lectura de Tolstoy, diario personal, Brazili
El Tribunal Supremo ha puesto fin al litigio judicial por el nombre del grupo de rock Triana al ratificar las sentencias del Juzgado de lo Mercantil 1 de Sevilla y de la Audiencia Provincial. La Sala de lo Civil ha inadmitido el recurso de Eduardo Rodríguez Rodway, único miembro vivo de los fundador
Ford presenta el Fathom, su nueva camioneta eléctrica con plataforma Universal EV y precio de partida de 29.945 dólares, una cifra muy por debajo de los 50.000 dólares de precio medio de un vehículo nuevo en Estados Unidos y de los 56.000 dólares de la media de los eléctricos. El consejero delegado