15 noticias
Un estudio de caso sobre la usabilidad de PGP 5.0, presentado en el 8º Simposio de Seguridad de USENIX, sostiene que la eficacia de la criptografía depende de que el usuario medio sea capaz de utilizarla correctamente, y que los principios generales de diseño de interfaces no bastan para lograrlo. L
Anthropic ha presentado la versión preliminar de investigación del Model Hardware Standard (MHS), una especificación compartida diseñada para que agentes de inteligencia artificial puedan operar dispositivos físicos de laboratorio y manufactura de forma segura. El estándar, desarrollado en colaborac
Emmanuel Nyarko, participante en el Google Summer of Code 2026, ha presentado las mejoras implementadas en RAIDframe, el módulo de gestión de discos de NetBSD basado en el framework RAID desarrollado por la Universidad Carnegie Mellon. El proyecto aborda tres limitaciones conocidas del módulo: la im
El profesor de la Carnegie Mellon University Andy Pavlo se incorpora a ClickHouse para crear y dirigir ClickHouse Labs, un nuevo grupo de investigación en bases de datos. Pavlo, que seguirá vinculado a la universidad, liderará un equipo que colaborará estrechamente con los ingenieros, clientes y soc
El Instituto de Seguridad de IA del Reino Unido (UK AISI) y el Centro de Estándares e Innovación en IA de EE. UU. (CAISI) publicaron una evaluación preliminar conjunta del modelo Kimi K3, desarrollado por la china Moonshot AI y lanzado el 16 de julio de 2026. El informe mide sus capacidades cibernét
Robots con forma de serpiente se introdujeron entre los escombros de edificios derrumbados para localizar a personas atrapadas tras el doble terremoto que sacudió Venezuela el 24 de junio y que dejó más de 5.000 muertos y 16.740 heridos. Los llamados snakebots, equipados con una cámara de vídeo, pud
El 13 de marzo de 2004, quince vehículos sin conductor tomaron la salida en Barstow (California) para recorrer 228 kilómetros por el desierto de Mojave hasta Primm (Nevada) en la primera DARPA Grand Challenge, una competición organizada por la agencia de defensa estadounidense con un premio de un mi
Un equipo de Impossible Research, la Universidad de California en Berkeley y la Carnegie Mellon University presenta Schema, un arnés que logra que los modelos de frontera afronten los retos de ARC-AGI-3 como lo haría un físico: escribir el mecanismo de cada juego como un programa ejecutable, contras
BLISS es un lenguaje de programación de sistemas desarrollado en la Universidad Carnegie Mellon (CMU) hacia 1970 por W. A. Wulf, D. B. Russell y A. N. Habermann. Se considera uno de los lenguajes de sistemas más relevantes de su época, hasta la aparición de C pocos años después, idioma que lo despla
Una investigación publicada como preprint por Jacob Ginesin, de la Universidad Carnegie Mellon, sostiene que un commit firmado en GitHub con la etiqueta "Verified" puede no ser único: un atacante sin acceso a la clave de firma puede generar un segundo commit distinto, con el mismo árbol, los mismos
La irrupción de la inteligencia artificial en las matemáticas ha pasado en pocos años de la regurgitación de fórmulas básicas a la demostración autónoma de teoremas de nivel predoctoral. En el verano de 2025, sistemas de Google DeepMind y OpenAI alcanzaron la medalla de oro en la Olimpiada Internaci
El libro "Modern GPU Programming For MLSys" ofrece un recorrido técnico por la programación de GPUs aplicada a sistemas de machine learning, el pilar de las cargas actuales de inteligencia artificial. El texto parte de una premisa concreta: el rendimiento de estos sistemas depende en gran medida de
Investigadores de robótica de Nvidia, junto a colaboradores de la Universidad Carnegie Mellon y la Universidad de California en Berkeley, han desarrollado ENPIRE, un framework tipo harness que permite a agentes de código con IA entrenar robots de manera totalmente autónoma. El sistema envuelve a los
Una nueva startup de inteligencia artificial llamada RamAIn, acelerada por Y Combinator (YC W26), ha surgido con la misión de automatizar flujos de trabajo empresariales mediante el uso de 'agentes de uso de computadora'. Fundada por Shourya Vir Jain (CEO) y Vansh Ramani (CTO), ambos egresados del I
Una nueva startup llamada RamAIn, acelerada por Y Combinator (YC W26), ha surgido con la misión de revolucionar la automatización empresarial mediante el uso de agentes de inteligencia artificial. Fundada por Shourya Vir Jain (CEO) y Vansh Ramani (CTO), ambos egresados de IIT Delhi, la empresa busca