Noticias que mencionan Datalog

Bez genera motores de renderizado web desde especificaciones

Bez es un motor de generación de motores de renderizado web que crea el código fuente de un navegador web a partir de especificaciones técnicas y pruebas, eliminando la necesidad de escribir el motor a mano. El proyecto busca reducir la dependencia de las pocas empresas que poseen motores web propio

Ddisasm: nueva herramienta de desensamblado binario con Datalog

Antonio Flores-Montoya y Eric Schulte, de GrammaTech Inc., presentan Ddisasm, una herramienta de código abierto que realiza la desensamblación de binarios desprovistos para generar código de ensamblaje reensamblable. A diferencia de los desensambladores tradicionales, Ddisasm produce información sim

Lemmalog aplica análisis de programas para gestionar la memoria de LLMs

El investigador Jordy Zomer ha desarrollado Lemmalog, una herramienta que integra un motor Datalog en los agentes de Inteligencia Artificial para resolver problemas de pérdida de contexto durante investigaciones largas. El sistema surge de la necesidad de evitar que los modelos de lenguaje grandes (

Una formulación alternativa del borrow checker de Rust basada en alias

Niko Matsakis presenta una propuesta experimental para reformular el borrow checker de Rust. El objetivo es superar algunas limitaciones del diseño actual (NLL) y, a la vez, mejorar su velocidad de cómputo. Matsakis ya cuenta con un prototipo implementado que supera la suite completa de pruebas de N