software · 5 menciones
HOL Light es un demostrador de teoremas que puede resultar intimidante para principiantes debido a la complejidad de su manual estándar. Este documento ofrece una guía alternativa de inicio rápido, diseñada para enseñar el uso básico mediante ejemplos graduados y simplificar el proceso de instalació
A lo largo de dieciséis semanas de seguimiento de lanzamientos en el ecosistema de gestores de paquetes, tres ejes marcan la evolución del sector: el endurecimiento defensivo por defecto, la incorporación de controles en los registros y la persistencia de tres familias de vulnerabilidades recurrente
Este artículo explica cómo combinar dos tecnologías del ecosistema del software libre —NixOS y MirageOS— para desplegar servicios de red reproducibles y seguros, tomando como caso de uso un servidor DNS autoritativo. MirageOS es un framework de library operating system que permite compilar aplicaci
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
Dune es el sistema de compilación de referencia en el ecosistema OCaml y un paso esencial para empezar a trabajar con este lenguaje. Este artículo ofrece una guía práctica dirigida a personas que se inician en OCaml, basada en un proyecto de ejemplo minimalista llamado "helloer", con el objetivo de
