software · 5 menciones
Adam Langley, conocido por su blog ImperialViolet, explica cómo los modelos de lenguaje grandes están convirtiendo la verificación formal en algo práctico. El autor, tras años de experiencia con lenguajes de tipos dependientes como Rocq (antes Coq) y Lean, construyó un descompresor de Zstandard en L
Xavier Leroy, investigador francés del Inria y creador del lenguaje de programación OCaml, protagoniza una entrevista en profundidad en el podcast The Peterman Pod, conducido por Ryan Peterman. El episodio, de una hora y veinticuatro minutos, recorre la trayectoria de Leroy en compiladores, lenguaje
Una conversación comunitaria recoge los proyectos de software y hardware que varios desarrolladores planean abordar durante el fin de semana. Uno de ellos avanza en el porte de los niveles de Perfect Dark (N64) a noclip.website, un visualizador de niveles basado en web: ya consigue cargar geometría
El proyecto QSOE ha anunciado el lanzamiento de su primera release numerada, v0.1, que agrupa en un único paquete sus dos variantes de núcleo, el cargador de arranque, el espacio de usuario y la libc. El conjunto incluye QSOE/N v0.17 con el núcleo propio "Skimmer", QSOE/L v0.14 que se apoya en seL4
Jane Street, una de las firmas de trading cuantitativo más influyentes de Wall Street, ha anunciado la creación de un equipo dedicado a métodos formales de verificación de software, en un giro estratégico motivado por el auge de la programación agéntica. La decisión marca un cambio radical en la pos