Among the stars aboard the Evil flagship of Spacemacs

Who doesn’t know the holy wars between Emacs and Vim, the most advanced text editors? “Vim is lighter”, “Emacs is more configurable”, “Vim is more productive”, “Emacs can have everything you can imagine”… If you believe, like me, that both sides are right, Spacemacs is your text editor. Like they say in their website: The best editor is neither Emacs nor Vim, it’s Emacs and Vim!

Continue reading Among the stars aboard the Evil flagship of Spacemacs

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

Configuración personal de Firefox

El navegador es uno de los programas más utilizados de una computadora, si no el que más. No configurarlo es un gran error que se traducirá en mal rendimiento y baja productividad, más aún si no se usan las combinaciones de teclas oportunas para cada tarea. En este artículo pretendo compartir cómo configuro y uso mi navegador, Mozilla Firefox. Lo que aquí muestro es aplicable a cualquier sistema operativo, sea Windows, MAC, GNU/Linux o FreeBSD.

NOTA [29/11/2017]: Algunas partes de este artículo están desactualizadas desde la nueva versión de Firefox de noviembre de 2017.

Continue reading Configuración personal de Firefox