software · 8 menciones
Trail of Bits ha presentado SequenceHash y SequenceMAC, una nueva especificación de multihashing diseñada para desarrolladores que no utilizan la función Keccak. Esta herramienta busca resolver una vulnerabilidad crítica en la criptografía donde la concatenación simple de entradas puede comprometer
El artículo técnico explora la implementación de una estructura de datos que garantiza la ordenación de las listas en el lenguaje OCaml, respondiendo a una propuesta de Antonin Décimo para mejorar la seguridad de tipos. Aunque la librería 'nel' ya existía para gestionar errores no vacíos, la discusi
La creciente preocupación por la dependencia de las pantallas y el impacto de la inteligencia artificial ha impulsado un interés renovado por un estilo de vida más analógico. Sin embargo, la realidad es que muchas personas utilizan herramientas digitales para facilitar actividades que tradicionalmen
El verano de Lucas Ma, bajo la tutela de Anil Madhavapeddy, giró en torno a una idea ambiciosa: usar el sistema de efectos del lenguaje OCaml, introducido en la versión 5.0, para convertir el propio compilador en una biblioteca bajo demanda, un "servicio de compilación" de larga vida. El reto no es
Keith Hansen, reconocido ilustrador ornitológico afincado en Bolinas (California), se ha propuesto pintar a mano las cerca de 1.000 especies de aves registradas en Estados Unidos y Canadá para completar el catálogo visual de Flock, una aplicación de birding que, a diferencia de la mayoría, busca ale
Un docente ha desarrollado un curso completo de programación funcional con OCaml, titulado “Functional Programming with OCaml”, para la plataforma MOOC NPTEL. Lo singular del material es su formato: no es un PDF ni un sitio web con listados de código que copiar en otro entorno, sino una obra web don
Un ingeniero relata su viaje a través de la evolución de su red doméstica, desde un router ASUS con firmware Merlin hasta la implementación de un firewall OpenSense y la búsqueda de una solución de switch de código abierto. El relato abarca la transición desde una simple conexión WiFi a una red segm
Este artículo describe un método para arrancar un sistema Linux sin disco duro utilizando ZFS, iSCSI y PXE. El autor buscaba una solución para probar modelos de lenguaje grandes (LLMs) en su PC de juegos sin alterar su configuración de Windows, que a menudo se corrompe con actualizaciones. También d
