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

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

Configuración personal de FreeBSD (con TrueOS)

Hace pocas semanas decidí que migraría a FreeBSD, abandonando GNU/Linux definitivamente. Por diversas problemáticas relacionadas con mi hardware, me vi obligado a instalar TrueOS en lugar de un FreeBSD puro. En la práctica es como usar FreeBSD-CURRENT, así que no hay mucha diferencia. Todo fue bien hasta que el mal soporte de mi webcam y mi micrófono, junto a las complicaciones para usar cierto software, me llevaron a desistir y volver a GNU/Linux de nuevo. En este artículo publico la configuración que hice por si me sirve en el futuro.

Continue reading Configuración personal de FreeBSD (con TrueOS)