Cómo instalar ATS en Arch Linux

ATS es un lenguaje de programación de sistemas que unifica implementación con especificación formal. Pese a ser poco conocido, es uno de los mejores lenguajes de programación que existen, superando la seguridad de Haskell y alcanzando a C y C++ en eficiencia. En este breve artículo explico cómo instalarlo en Arch Linux.

Continue reading Cómo instalar ATS en Arch Linux

Guía de instalación y configuración de Arch Linux con i3

En este artículo explico cómo instalar y configurar Arch Linux junto al gestor de ventanas i3, dejando un sistema completo e integrado con un aspecto visual envidiable. Naturalmente, la guía está orientada según mis preferencias, por lo que el lector puede sentirse libre de saltarse las partes que considere oportunas, sabiendo bien lo que hace.

Continue reading Guía de instalación y configuración de Arch Linux con i3