Work on references

2 files changed, 473 insertions, 197 deletions

diff --git a/es/00_intro.md b/es/00_intro.md
index bfff8d5..a72ba28 100644
--- a/es/00_intro.md
+++ b/es/00_intro.md
@@ -83,9 +83,9 @@ padre, marido y programador con 20 años de experiencia.
 
 Se define como una persona muy política: quiere tanto a sus hijas que se niega
 a aceptar dejarlas vivir en una distopía sin pelear todo lo posible para
-evitarlo. Enseña informática a niños de forma innovadora y divertida con el
-objetivo de prepararlos para las luchas que tendrán que enfrentar en el futuro
-y permitirles construir un mundo mejor el día de mañana.
+evitarlo. Enseña informática a niños y niñas de forma innovadora y divertida
+con el objetivo de prepararlos para las luchas que tendrán que enfrentar en el
+futuro y permitirles construir un mundo mejor el día de mañana.
 
 Desarrolla el sistema operativo Jehanne, cuyo desarrollo partió de Plan9
 centrándose en la simpleza y la componibilidad.
diff --git a/es/01_informatics.md b/es/01_informatics.md
index 19585a7..b2a059b 100644
--- a/es/01_informatics.md
+++ b/es/01_informatics.md
@@ -1,8 +1,8 @@
 # ¿Qué es la Informática? {-}
 
 ¿Qué es la informática? ¿Por qué algunos le llaman «Ciencias de la
-Computación»[^1]?  ¿Por qué los programadores son incapaces hacer bien su
-trabajo tal y como los ingenieros civiles hacen con los puentes?
+Computación»[^1]?  ¿Por qué los quienes programan son incapaces hacer bien su
+trabajo tal y como la ingeniería civil hace con los puentes?
 
 Dada la ingente cantidad de computadoras a nuestro alrededor, se piensa que en
 la Informática como un campo muy avanzado de la tecnología, un campo que
@@ -17,8 +17,8 @@ Nada más lejos de la realidad.
 ## Un poco de historia
 
 En 1957, Karl Steinbuch[^karl-steinbuch] acuñó el término «*Informatik*» en su
-ensayo «*Informatik: Automatische Informationsverarbeitung*», *Informática:
-Procesado de información automático*.
+ensayo «*Informatik: Automatische Informationsverarbeitung*», «Informática:
+Procesado de información automático».
 
 En marzo de 1962, Philippe Dreyfus[^philipe-dreyfus] utiliza por primera vez
 el término «*Informatique*» para denominar a su nueva compañía: *Société
@@ -51,29 +51,28 @@ con ellos es tratar información.
   informática alemán, así como, con la Lernmatrix, uno de los pioneros de las
   redes neuronales artificiales. Steinbuch también escribió acerca de las
   implicaciones sociales de los medios de comunicación modernos. —*Karl
-  Steinbuch^`W`^ [28-07-2019]*
+  Steinbuch^`W`^*
 
 [^philipe-dreyfus]: **Philippe Dreyfus** es un pionero de la informática en
-  Francia.  Después de obtener su Licenciatura en Física en 1950, se convirtió
-  en profesor en la facultad de Informática en la Universidad Harvard usando
-  Mark I, el primer ordenador automatizado jamás construido. En 1958 fue
-  nombrado director del Centro de Cálculo Bol. —*Philippe Dreyfus^`W`^
-  [28-07-2019]*
+  Francia.  Después de obtener su Licenciatura en Física en 1950, fue profesor
+  en la facultad de Informática en la Universidad Harvard usando Mark I, el
+  primer ordenador automatizado jamás construido. En 1958 fue nombrado director
+  del Centro de Cálculo Bol. —*Philippe Dreyfus^`W`^*
 
 [^acm]: **ACM** acrónimo de *Association for Computing Machinery* (Asociación
   de Maquinaria Computacional). Fue fundada en 1947 como la primera sociedad
   científica y educativa para educar acerca de la Computación. Publica varias
-  revistas y periódicos científicos relacionados con la computación; patrocina
+  revistas y periódicos científicos relacionados con la computación, patrocina
   conferencias en varias áreas del campo y otros eventos relacionados con las
   ciencias de la computación como por ejemplo el internacional Competición
   Internacional Universitaria ACM de Programación (ICPC). Publica una extensiva
   biblioteca digital y una referencia de la literatura de la computación.
-  —*Association for Computing Machinery^`W`^ [30-07-2019]*
+  —*Association for Computing Machinery^`W`^*
 
 [^donald-knuth]: **Donald Ervin Knuth** es uno de los más reconocidos expertos
   en ciencias de la computación por su fructífera investigación dentro del
   análisis de algoritmos y compiladores. Es Profesor Emérito de la Universidad
-  de Stanford. —*Donald Knuth^`W`^ [30-07-2019]*
+  de Stanford. —*Donald Knuth^`W`^*
 
 
 
@@ -102,7 +101,7 @@ Sin embargo, la información es la pieza fundamental del conocimiento humano. En
 realidad, todo lo relacionado con el campo de las matemáticas[^mathematics] es
 información, hasta el punto que ninguna conjetura puede ser considerada válida
 hasta que otras personas puedan estar de acuerdo con ella tras leer la
-[descripción de la prueba][proof] formada en la mente del autor.
+descripción de la prueba formada en la mente del autor.
 
 Los datos, en cambio, son meras representaciones.
 
@@ -122,16 +121,13 @@ equivalentes.
   A pesar de que existen máquinas que utilizan otros sistemas, el sistema
   binario es, por su sencillez el más usado en las máquinas de computación.
 
-[^mathematics]: «*Matemáticas*, del griego Μαθημα-τικὴ, «el arte de aprender».
-  La matemática estudia la estructura de los constructos de la mente humana
-  (conceptos, patrones, percepciones...) que pueden ser comunicados con
+[^mathematics]: «**Matemáticas**, del griego Μαθημα-τικὴ, «el arte de
+  aprender». La matemática estudia la estructura de los constructos de la mente
+  humana (conceptos, patrones, percepciones...) que pueden ser comunicados con
   precisión a través de un lenguaje.  [...]
-  - La matemática sólo trata de nuestra mente.» — Giacomo Tesio [Consultado
-    17-08-2019]  
+  - La matemática sólo trata de nuestra mente.» — Giacomo Tesio   
   <http://www.tesio.it/2018/10/11/math-science-and-technology.html>
 
-[proof]: https://mathbabe.org/2012/08/06/what-is-a-proof/
-
 ### Una relación complicada
 
 La información y los datos tienen una relación muy compleja.
@@ -170,16 +166,13 @@ informática.
 
 [^metadata]: Los **metadatos** (del griego μετα, meta, 'después de, más allá
   de' y latín datum, 'lo que se da', «dato»), literalmente «sobre datos», son
-  datos que describen otros datos. —*Metadatos^`W`^ [28-07-2019]*
-
+  datos que describen otros datos. —*Metadatos^`W`^*
 
 [^lethal]: El 9 de abril de 2019 «CNN Business» publica que tras los accidentes
   sufridos por el «Boeing 737 Max» en Etiopía, donde todos los pasajeros y la
   tripulación murieron, las ventas de este modelo han caído en picado hasta
   rozar la desaparición.  
-  [Consultado 16-08-2019]  
-  [`https://edition.cnn.com/2019/04/09/business/boeing-737-max-deliveries/
-  index.html`](https://edition.cnn.com/2019/04/09/business/boeing-737-max-deliveries/index.html)
+  <https://edition.cnn.com/2019/04/09/business/boeing-737-max-deliveries/index.html>
 
     El 18 de abril de 2019 el IEEE-Spectrum publica que todo apunta a que un
   fallo de software ha provocado los accidentes. Según el artículo, los cambios
@@ -203,10 +196,8 @@ informática.
   reducir costes acaba matando más gente (346 personas) que la que nunca habría
   salvado y añade que en lugar de añadir más complejidad de software sobre éste
   la solución parte de eliminarlo por completo.  
-  [Consultado 16-08-2019]  
-  [`https://spectrum.ieee.org/aerospace/aviation/how-the-boeing-737-max-
-  disaster-looks-to-a-software-developer`](https://spectrum.ieee.org/aerospace/aviation/how-the-boeing-737-max-disaster-looks-to-a-software-developer)
-
+  [`https://spectrum.ieee.org/aerospace/aviation/how-the-boeing-737-max-disaster
+  -looks-to-a-software-developer`][spectrum-ieee]
 
 
 ## Entonces, ¿Qué es la informática?
@@ -243,30 +234,29 @@ informática.
 
 Los algoritmos son información en la mente de las personas que los conocen.
 
-Si la informática sólo tratara de algoritmos, la vida de los programadores
-sería mucho más fácil y aburrida. Desgraciadamente **los programas informáticos
-no son información sino datos**. Los programas no existen en la mente humana,
-sino en un soporte físico **reproducible** por una computadora, del mismo modo
-que un gramófono reproduce un disco de vinilo.
+Si la informática sólo tratara de algoritmos, la vida de quien se dedica a la
+programación sería mucho más fácil y aburrida. Desgraciadamente **los programas
+informáticos no son información sino datos**. Los programas no existen en la
+mente humana, sino en un soporte físico **reproducible** por una computadora,
+del mismo modo que un gramófono reproduce un disco de vinilo.
 
 [^knuth-essay]: Ciencias de la computación y su relación con las matemáticas
   («Computer Science and Its Relation to Mathematics») (Abril de 1974).  
-  [`http://www.maa.org/programs/maa-awards/writing-awards/computer-science-
-  and-its-relation-to-mathematics`](http://www.maa.org/programs/maa-awards/writing-awards/computer-science-and-its-relation-to-mathematics)
+  [`http://www.maa.org/programs/maa-awards/writing-awards/computer-science-and- 
+  its-relation-to-mathematics`][cs-and-math]
 
-[^hash-table]: Una tabla hash [...] es una estructura de datos que asocia
+[^hash-table]: Una **tabla hash** [...] es una estructura de datos que asocia
   llaves o claves con valores. La operación principal que soporta de manera
   eficiente es la búsqueda: permite el acceso a los elementos (teléfono y
   dirección, por ejemplo) almacenados a partir de una clave generada (usando el
   nombre o número de cuenta, por ejemplo). Funciona transformando la clave
   [...] en un hash, un número que identifica la posición (casilla o cubeta)
-  donde la tabla hash localiza el valor deseado. —*Tabla Hash^`W`^
-  [28-07-2019]*
+  donde la tabla hash localiza el valor deseado. —*Tabla Hash^`W`^*
 
 
 ### Los errores pertenecen al mundo real
 
-[Como datos que son][as-data], los programas informáticos pueden tener errores
+Como datos que son[^as-data], los programas informáticos pueden tener errores
 cuando tratan de representar un algoritmo correcto por la mera razón de que
 *errar es humano*[^errare-humanum-est].
 
@@ -274,49 +264,59 @@ Cada programa no es más que una de las posibles representaciones de un
 algoritmo y, junto con el propio algoritmo, acarrea gran cantidad de
 información añadida[^de-anonymizing-programmers].
 
-Además, si el programador no conoce el algoritmo **completo** que pretende
+Además, si quien programa no conoce el algoritmo **completo** que pretende
 implementar con anterioridad, los errores son otro ejemplo más del concepto
 conocido como «Garbage In, Garbage Out[^garbage]».
 
 Los errores, conocidos como *bug* (bicho en inglés), son tan inherentes a la
-informática que los programadores han creado un amplísimo conjunto de
-herramientas y técnicas para cazarlos y eliminarlos[^tools-to-hunt-and-kill]
-sin demasiado éxito.
+informática que los practicantes de la programación han creado un amplísimo
+conjunto de herramientas y técnicas para cazarlos y
+eliminarlos[^tools-to-hunt-and-kill] sin demasiado éxito.
 
 Pero este fracaso absoluto desde la perspectiva de la ingeniería puede suponer
 un sustento sólido sobre el que construir la democracia.
 
-[as-data]: http://wiki.c2.com/?DataAndCodeAreTheSameThing
-
-[^errare-humanum-est]: Referencia a «Errare humanum est, sed perseverare
-  diabolicum.», frase atribuida a Séneca que significa literalmente:  *Errar es
-  humano, perseverar [en el error] diabólico*.
-
-[^de-anonymizing-programmers]: Como muestra, investigadores de varias
-  universidades junto con investigadores del laboratorio de investigación de la
-  armada estadounidense publicaron el siguiente artículo, en el que se analizan
-  métodos para de-anonimizar a los programadores. Esto es, conocer la identidad
-  de programadores anónimos a través del estilo de programación de sus autores.
-  El artículo muestra que los programadores más experimentados, que están
-  capacitados para realizar tareas más complejas, son más fáciles de
-  identificar que los novatos debido a que desarrollan un estilo personal que
-  se ve reflejado en su código fuente.  
-  <https://www.usenix.org/system/files/conference/usenixsecurity15/sec15-paper-caliskan-islam.pdf>
+[^as-data]: Muchos son los autores que afirman que los programas informáticos
+  son datos y deben tratarse como tales. La familia de lenguajes LISP, se basa
+  radicalmente en esta afirmación, mientras que otros lenguajes no la
+  aprovechan en absoluto. Desde un punto de vista técnico, los programas son
+  datos por diversos motivos: se almacenan del mismo modo en su soporte físico
+  y el código puede usarse como datos en muchas ocasiones (y viceversa). De
+  hecho, los propios compiladores e intérpretes son programas que usan el
+  código como datos, probando así que son perfectamente intercambiables en
+  función de la situación. El artículo original enlaza a un texto que defiende
+  esta afirmación con firmeza:  
+  <http://wiki.c2.com/?DataAndCodeAreTheSameThing>
+
+[^errare-humanum-est]: Referencia a «*Errare humanum est, sed perseverare
+  diabolicum.*», frase atribuida a Séneca que significa literalmente: «Errar es
+  humano, perseverar [en el error] diabólico».
+
+[^de-anonymizing-programmers]: Como muestra, el siguiente artículo analiza
+  métodos para de-anonimizar programas informáticos. Esto es, conocer la
+  autoría de los programas a través del estilo de programación. El artículo
+  muestra que las personas más experimentadas, que están capacitadas para
+  realizar tareas más complejas, son más fáciles de identificar que las novatas
+  debido a que desarrollan un estilo personal que se ve reflejado en su código
+  fuente.  
+  Aylin Caliskan-Islam et al. *«De-anonymizing Programmers via Code
+  Stylometry»*. Disponible online:  
+  [`https://www.usenix.org/system/files/conference/usenixsecurity15/sec15-paper-  
+  caliskan-islam.pdf`][caliskan-islam]
 
 [^garbage]: En informática, el concepto **Garbage in, garbage out (GIGO)**
   describe que si se alimenta un proceso con datos absurdos o defectuosos los
   datos resultantes del proceso son también absurdos o «basura» (en inglés
-  «garbage») —*Garbage in, garbage out^`W`^ [28-07-2019] (traducción propia)*
-
+  «garbage») —*Garbage in, garbage out^`W`^ (traducción propia)*
 
 [^tools-to-hunt-and-kill]: Existen herramientas de verificación de software,
-  como Adacore o TLA+, técnicas, como la programación por pares y el desarrollo
-  guiado por pruebas, cuya intención es prevenir la aparición de errores en el
-  software. También se han desarrollado herramientas de corrección y análisis
-  de éstos, conocidas como debuggers, como GDB (The GNU Debugger). A pesar de
-  su existencia y de su amplio uso, el software sigue teniendo fallos.
-  Además, la existencia de muchas herramientas para una misma labor suele ser
-  una muestra de su falta de efectividad.
+  como Adacore o TLA+, y técnicas, como la programación por pares y el
+  desarrollo guiado por pruebas, cuya intención es prevenir la aparición de
+  errores en el software. También se han desarrollado herramientas de
+  corrección y análisis de éstos, conocidas como debuggers, como GDB (The GNU
+  Debugger). A pesar de su existencia y de su amplio uso, el software sigue
+  teniendo fallos. Además, la existencia de muchas herramientas para una misma
+  labor suele ser una muestra de su falta de efectividad.
 
 ## Mucho más que computadoras
 
@@ -424,7 +424,7 @@ plantea **cómo** está ocurriendo.
 Resulta que la explicación es la maravilla de la electrónica: la computadora
 programable de uso general. Las computadoras de uso general no están diseñadas
 para resolver un problema concreto sino para ejecutar una serie de
-instrucciones entregadas por un programador en un formato binario.
+instrucciones entregadas por una persona en un formato binario.
 
 De esta forma, mientras que las computadoras reproducen el software, lo que
 ocurre es que un acto de mera imaginación expresado en un lenguaje concreto es
@@ -438,7 +438,7 @@ teniendo lugar ahora mismo. Una guerra por la total dominación del ser humano
 mediante la tecnología.
 
 [^daemon]: Juego de palabras intraducible. En sistemas POSIX se utiliza el
-  término «daemon», demonio en inglés, para referirse a programas que se
+  término *«daemon»*, demonio en inglés, para referirse a programas que se
   ejecutan en segundo plano. En español el término no ha sido traducido y se
   usa el original en inglés.
 
@@ -457,32 +457,32 @@ específicos.
 
 Esta especialización **limita** lo que la computadora puede hacer. **Reduce**
 su potencial. Esto puede parecer contra-intuitivo para el no versado en la
-programación (e incluso para los propios programadores), pero, en realidad,
-todo lo que hacemos con lenguajes de programación es **reducir** lo que la
-máquina es **capaz de hacer** decidiendo lo que **hará en realidad**.
+programación (o incluso para quien lo está), pero, en realidad, todo lo que
+hacemos con lenguajes de programación es **reducir** lo que la máquina es
+**capaz de hacer** decidiendo lo que **hará en realidad**.
 
 ¿Pero trata esto sólo sobre computadoras?
 
-Si todo lo que dispusiéramos fuera [ensamblador][assembly] podría ser así. La
+Si todo lo que dispusiéramos fuera ensamblador[^assembly] podría ser así. La
 programación no sería muy diferente al diseño de circuitos.
 
-Sin embargo, se crearon [lenguajes de programación de alto
-nivel][high-level-programming-languages] para acelerar el desarrollo de
-software y, al hacerlo, se redujo el [acoplamiento][coupling] entre el hardware
-y el software.
+Sin embargo, se crearon lenguajes de programación de alto
+nivel[^high-level-programming-languages] para acelerar el desarrollo de
+software y, al hacerlo, se redujo el acoplamiento[^coupling] entre el
+hardware y el software.
 
-Los lenguajes de programación de alto nivel reducen la carga cognitiva de los
-programadores. Gracias a ellos no necesitamos conocer los detalles internos de
-un procesador o dispositivo (al menos, [la mayor parte de las
-veces][meltdown]). Una vez liberados de los límites de la máquina, los
-programadores se encuentran con otro límite: el de su propia mente.
+Los lenguajes de programación de alto nivel reducen la carga cognitiva de las
+personas que programan. Gracias a ellos no necesitamos conocer los detalles
+internos de un procesador o dispositivo (al menos, la mayor parte de las
+veces[^meltdown]). Una vez liberadas de los límites de la máquina, las personas
+se encuentran con otro límite: el de su propia mente.
 
 Hay muchas formas de expresar un programa. La mayor parte incorrectas.
 
 Por tanto, la práctica de la programación evolucionó hacia herramientas cada
-vez más complejas constriñendo la forma en la que los programadores pueden
-expresar lo que tienen en mente, ayudándoles a escribir código que su mente
-pueda manejar.
+vez más complejas constriñendo la forma en la que las personas pueden expresar
+lo que tienen en mente, ayudándolas a escribir código que su mente pueda
+manejar.
 
 Sin embargo, como el hardware subyacente sigue estrictamente las normas de la
 lógica y la matemática, cualquier lenguaje de programación debe hacerlas
@@ -493,8 +493,8 @@ racionalmente** y a ser capaz de explicarlo.
 
 En otras palabras, programar fuerza a las personas a describir complejas
 dinámicas y sistemas en constante evolución a alguien tan **tonto** como es un
-ordenador. Algunas [técnicas][techniques-ii] son tan cercanas a la filosofía que
-sus practicantes hablan más de lo que programan.
+ordenador. Algunas técnicas[^techniques-ii] son tan cercanas a la filosofía
+que sus practicantes hablan más de lo que programan.
 
 El lenguaje de programación que eliges influencia también tu forma de pensar en
 un modo mucho más profundo que el que experimentas al aprender un lenguaje
@@ -506,17 +506,56 @@ la **depuración del código** (proceso conocido en inglés como «debugging»).
 Durante el proceso de depuración **buscas un error en la elaboración cultural
 colectiva de miles de personas** de todo el mundo.
 
-[assembly]: https://en.wikipedia.org/wiki/Assembly_language
-[high-level-programming-languages]: https://en.wikipedia.org/wiki/High-level_programming_language
-[coupling]: https://en.wikipedia.org/wiki/Coupling_(computer_programming)
-[meltdown]: https://meltdownattack.com/
-[techniques-ii]: https://en.wikipedia.org/wiki/Domain-driven_design
+[^assembly]: Se conoce como lenguaje ensamblador a cualquier lenguaje de
+  programación cuya relación sea muy cercana al lenguaje máquina. Las órdenes
+  los lenguajes ensamblador se corresponden con una orden en lenguaje máquina.
+  Es por eso que no son órdenes similares a lo que un humano consideraría un
+  proceso lógico, sino que están mucho más asociadas al funcionamiento del
+  dispositivo físico subyacente. Las órdenes del lenguaje ensamblador indican
+  las acciones que la máquina debe realizar tales como mover un valor a un
+  registro, saltar a una dirección de memoria concreta, etc. es por eso que el
+  autor afirma que la programación en ensamblador no es muy diferente al diseño
+  de circuitos.
+
+[^high-level-programming-languages]: Los lenguajes de programación de alto
+  nivel abstraen los conceptos subyacentes de la máquina de modo que quien
+  programa no debe preocuparse de las instrucciones de lenguaje máquina
+  individuales que la máquina vaya a procesar.
+
+[^coupling]: El acoplamiento (*coupling*) define el grado de interdependencia
+  entre distintos elementos en un sistema. En este caso trata de la
+  interdependencia entre el programa y la máquina en la que éste vaya a
+  ejecutarse.
+
+[^meltdown]: El autor muestra un caso en el que abstraerse del comportamiento
+  de la máquina es peligroso. Las vulnerabilidades como Meltdown y Spectre son
+  vulnerabilidades críticas que afectan a los procesadores debido a su manejo
+  avanzado de las instrucciones. Ambas vulnerabilidades explotan la ejecución
+  especulativa, una técnica de optimización aplicada por procesadores modernos.
+  Más información en:  
+  <https://meltdownattack.com/>
+
+[^techniques-ii]: El texto original hace referencia al la página de wikipedia
+  del diseño guiado por el dominio (*Domain Driven Design* en inglés,
+  normalmente abreviado como *DDD*) como un ejemplo de esto:
+
+    «El **diseño guiado por el dominio**, en inglés: domain-driven design
+  (DDD), es un enfoque para el desarrollo de software con necesidades complejas
+  mediante una profunda conexión entre la implementación y los conceptos del
+  modelo y núcleo del negocio.
+
+    El DDD no es una tecnología ni una metodología, este provee una estructura
+  de prácticas y terminologías para tomar decisiones de diseño que enfoquen y
+  aceleren el manejo de dominios complejos en los proyectos de software.
+
+    El término fue acuñado por Eric Evans en su libro "Domain-Driven Design -
+  Tackling Complexity in the Heart of Software".» —*Diseño guiado por el
+  dominio^`W`^*
 
 ### La depuración de código entrena el pensamiento crítico
 
-No existe nada en la tierra que pueda entrenar el [pensamiento
-crítico][critical-thinking] tanto como un par de décadas de [depuración de
-software][debugging].
+No existe nada en la tierra que pueda entrenar el pensamiento crítico tanto
+como un par de décadas de depuración de software.
 
 Ves a la computadora ejecutar billones de líneas de código y tienes que
 adivinar dónde ocurre el error que genera el fallo en el comportamiento del
@@ -528,7 +567,7 @@ problema. Pero cuando **tienes que** arreglarlo, es una experiencia muy
 En primer lugar porque, la mayor parte de las veces, es culpa tuya.
 
 Pero otras veces es el compilador, otras el sistema operativo, otras el
-navegador web y otras veces ves el [efecto mariposa][butterfly-effect] ocurrir
+navegador web y otras veces ves el efecto mariposa[^butterfly-effect] ocurrir
 frente a tus ojos y tú tienes que encontrar (y matar) la mariposa correcta a
 kilómetros de distancia, sólo para parar el tornado en el que te encuentras.
 
@@ -544,14 +583,26 @@ que sabían o malentendieron, también lo que no conocían en absoluto.
 
 Lo desconocido es parte fundamental de la informática.
 
-Los buenos programadores [saben que no saben nada][socratic-method] por la
-propia experiencia. Y los verdaderos hackers saben que **nadie sabe nada**.
-¡Por eso somos tan curiosos!
-
-[critical-thinking]:https://en.wikipedia.org/wiki/Critical_thinking
-[debugging]: https://en.wikipedia.org/wiki/Debugging
-[butterfly-effect]: https://en.wikipedia.org/wiki/Butterfly_effect
-[socratic-method]: https://en.wikipedia.org/wiki/Socratic_method 
+Quien de verdad se dedica a la programación sabe que no sabe
+nada[^socratic-method] por la propia experiencia. Y los *hackers* de verdad
+saben que **nadie sabe nada**. ¡Por eso somos tan curiosos!
+
+[^butterfly-effect]: El efecto mariposa es un concepto de la teoría del caos
+  que describe que en algunas situaciones una pequeña perturbación puede
+  terminar amplificándose para acabar generando un efecto enorme más adelante.
+  El efecto mariposa se describe en lenguaje común como que el aleteo de una
+  mariposa puede generar un tornado a kilómetros de distancia. En el proceso de
+  depuración de software es muy frecuente alterar pequeñas secciones del
+  programa y ver como éstas alteraciones se ven amplificadas y afectan a
+  secciones inesperadas del programa, llegando en muchas ocasiones a ser
+  catastróficas.
+
+[^socratic-method]: El autor hace referencia al método socrático aquí,
+  enlazando su página de *Wikipedia, la enciclopedia libre*. La frase «Sólo sé
+  que no sé nada» es un dicho derivado de los textos de Platón sobre Sócrates.
+  Se relaciona también con el momento en el que la Pitia, el Oráculo de Delfos,
+  afirmó que Sócrates era el hombre más sabio, siendo esta frase una de las
+  respuestas posibles de Sócrates a tal afirmación.
 
 ## Un derecho humano universal
 
@@ -583,7 +634,7 @@ tres artículos que tratan accidentalmente sobre la informática.
 >    literarias o artísticas de que sea autora.
 
 Incluso sin considerar las grandes multinacionales que constituyen el núcleo
-del [Capitalismo de la Vigilancia][surveillance-capitalism] podemos ver estos
+del Capitalismo de la Vigilancia[^surveillance-capitalism] podemos ver estos
 artículos ser violados sistemáticamente en la mayor parte de los dispositivos
 que «poseemos».
 
@@ -592,17 +643,44 @@ no pueden dar por cumplido el artículo 12. Quien no sepa programar está
 incapacitado para «difundir \[informaciones\], sin limitación de fronteras, por
 cualquier medio de expresión» y por tanto no puede dar por cumplido el artículo
 19. Quienes no sepan depurar una librería de criptografía no pueden dar por
-cumplido el artículo 19. Como los programas son cultura (y teoremas, ver [la
-correspondencia entre Curry y Howard][curry-howard]), las personas incapaces de
+cumplido el artículo 19. Como los programas son cultura (y teoremas, ver la
+correspondencia de Curry y Howard[^curry-howard]), las personas incapaces de
 programar no pueden dar por cumplido el 27.1.
 
 Así que **saber informática es un derecho humano**.
 
-[^human-rights]: La declaración completa puede leerse aquí:  
+[^human-rights]: La declaración completa puede leerse en la página oficial de
+  las Naciones Unidas:  
   <https://www.un.org/es/universal-declaration-human-rights/index.html>
 
-[surveillance-capitalism]: https://thebaffler.com/latest/capitalisms-new-clothes-morozov
-[curry-howard]: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
+[^surveillance-capitalism]: El Capitalismo de la Vigilancia es un concepto dado
+  a conocer por Shoshana Zuboff en su libro del mismo nombre y se refiere a la
+  mercantilización de los datos personales con fines lucrativos.
+
+    El texto original enlaza, sin embargo un artículo de Eugeny Morozov en The
+  Baffler donde trata sobre el libro de Zuboff y analiza la historia del
+  término y el estado de la tecnología a día de hoy y su reciente evolución, en
+  el que critica a Zuboff diciendo que muestra mucho más interés en criticar la
+  vigilancia que el sistema capitalista que, en su opinión, es el que la
+  provoca. El artículo original puede leerse en el siguiente enlace (en
+  inglés):  
+  <https://thebaffler.com/latest/capitalisms-new-clothes-morozov>
+
+    El periodista Ekaitz Cancela tradujo el artículo al español para el diario
+  El Salto en dos partes:  
+  [`https://www.elsaltodiario.com/tecnologia/los-nuevos-ropajes-del-capitalismo-  
+  parte-i`][salto-1]  
+  [`https://www.elsaltodiario.com/tecnologia/evgeny-morozov-nuevos-ropajes-  
+  capitalismo-zuboff-surveillance-capitalism-ii`][salto-2]
+
+[^curry-howard]: En teoría de la demostración y teoría de lenguajes de
+  programación, **la correspondencia de Curry-Howard** (también llamada
+  isomorfismo de Curry-Howard) es la relación directa que guardan las
+  demostraciones matemáticas con los programas de ordenador. Es una
+  generalización de una analogía sintáctica entre varios sistemas de la lógica
+  formal y varios cálculos computacionales que fue descubierta por primera vez
+  por Haskell Curry y William Alvin Howard.  —*Correspondencia de
+  Curry-Howard^`W`^*
 
 
 ## Un derecho fundamental
@@ -627,20 +705,21 @@ Nunca deberíamos aceptar que un extraño leyera o escribiera nuestro correo. Ni
 siquiera gratuitamente.
 
 Pero aceptamos que, sin ninguna supervisión, un software escrito por extraños
-controle nuestros dispositivos. Que actúe por nosotros. Pueden leer lo que
-escribimos. Escuchar lo que decimos. Ver lo que hacemos. Deciden lo que debemos
-o no debemos saber.
+controle nuestros dispositivos. Que actúe por nosotros.
+
+Pueden leer lo que escribimos. Escuchar lo que decimos. Ver lo que hacemos.
+Deciden lo que debemos o no debemos saber.
 
-A principios de [los años ochenta][talking-to-the-mailman] del pasado siglo,
+A principios de los años ochenta[^talking-to-the-mailman] del pasado siglo,
 Richard Stallman de algún modo previó lo que ocurriría y fundó el movimiento
-[político][political-movement] del Software Libre para combatirlo. Concibió las
-[cuatro libertades del software libre][four-freedoms] para: usar, **estudiar**,
+político[^political-movement] del Software Libre para combatirlo. Concibió las
+cuatro libertades del software libre[^four-freedoms] para: usar, **estudiar**,
 compartir y **mejorar** el software que recibes.
 
-Más tarde, la iniciativa Open Source convirtió esos valores en [herramientas de
-marketing][open-source].
+Más tarde, la iniciativa Open Source convirtió esos valores en herramientas de
+marketing[^open-source].
 
-[Vaciadas de sus valores éticos][emptied-of-values], las cuatro libertades se
+Vaciadas de sus valores éticos[^emptied-of-values], las cuatro libertades se
 convirtieron en una herramienta para ganar participación en el mercado y valor
 para los accionistas.
 
@@ -649,31 +728,128 @@ software que cumple **formalmente** las cuatro libertades mientras se mantiene
 total control del mismo. El truco es aumentar **la complejidad técnica** hasta
 tal punto que nadie es capaz de poner en cuestión tu control del proyecto.
 
-Así que te disfrazas de cumplir los valores de los hackers mientras que los
+Así que te disfrazas de cumplir los valores *hackers* mientras que los
 **marginas**. Mediante esos valores consigues que los usuarios confíen en ti.
-Usuarios que usan tu software **gratis** pero a cambio de **su propia
-[libertad][mass-surveillance] y [seguridad][safety]**.
+Usuarios que usan tu software **gratis** pero a cambio de **su propia**
+**libertad**[^mass-surveillance] y **seguridad**[^safety].
 
 Hoy en día hasta Microsoft[^linux-is-cancer] distribuye
-[GNU/Linux][gnu-linux-in-windows].
-
-¿[Gano Richard Stalman][open-source-2]?
-
-
-[talking-to-the-mailman]: https://newleftreview.org/issues/II113/articles/richard-stallman-talking-to-the-mailman
-[political-movement]: https://www.gnu.org/gnu/initial-announcement.en.html
-[four-freedoms]: https://fsfe.org/freesoftware/basics/4freedoms.en.html
-[open-source]: https://thebaffler.com/salvos/the-meme-hustler
-[emptied-of-values]: https://www.gnu.org/philosophy/open-source-misses-the-point.en.html
-[mass-surveillance]: https://en.wikipedia.org/wiki/Mass_surveillance_industry
-[safety]: https://bugzilla.mozilla.org/show_bug.cgi?id=1487081#c16
-[gnu-linux-in-windows]: https://docs.microsoft.com/en-us/windows/wsl/install-win10
-[open-source-2]: https://abhas.io/open-source-still-misses-the-point/
-
-[^linux-is-cancer]: En 2001, el entonces CEO de Microsoft, Steve Ballmer,
-  declaró que «Linux es un cáncer» y «contamina todo el software con su basura
-  hippie GPL».  
-  [Consultado 16-08-2019]  
+GNU/Linux[^gnu-linux-in-windows].
+
+¿Gano Richard Stalman[^open-source-2]?
+
+
+[^talking-to-the-mailman]: El texto original enlaza aquí una entrevista (en
+  inglés) realizada a Richard Stallman conocida como «Talking to the mailman»
+  (hablándole al cartero). En ella, Richard Stallman habla de los orígenes del
+  software libre.  
+  [`https://newleftreview.org/issues/II113/articles/richard-stallman-talking-to
+  -the-mailman`][mailman]
+
+[^political-movement]: El texto original hace referencia al anuncio inicial del
+  proyecto GNU, que nace con la intención de crear un sistema operativo libre.
+  El texto, a pesar de no posicionarse políticamente de forma explícita es, a
+  juicio del autor, justificación suficiente para su afirmación de que el
+  software libre es un movimiento político. El enlace a continuación es
+  una traducción oficial que incluye además el texto original en inglés:  
+  <https://www.gnu.org/gnu/initial-announcement.es.html>
+
+[^four-freedoms]: El movimiento del software libre define las cuatro reglas que
+  el software debe cumplir para considerarse libre. Estas reglas se conocen
+  como las cuatro libertades, y son las siguientes:
+
+    - El software debe poder usarse para cualquier fin sin restricciones
+      de ningún tipo.
+
+    - El software debe poder ser estudiado sin ninguna restricción.
+
+    - El software debe poder compartirse libremente.
+
+    - El software debe poder modificarse por cualquiera y sus versiones
+      modificadas deben poder compartirse sin restricciones.
+
+[^open-source]: El autor enlaza un artículo de Evgeny Morozov (en inglés) para
+  The Baffler donde el intelectual Bielorruso critica a Tim O'Reilly y su
+  capacidad para explotar nuevos términos como mecanismo de márketing.  El
+  éxito más importante de Tim O'Reilly es el de la mercantilización del término
+  «open source» (código abierto) en contra de la idea de software libre
+  propuesta por Richard Stallman, aunque también se le atribuye la creación de
+  otros términos como la Web 2.0.
+
+    Según el artículo, O'Reilly, con la ayuda de Eric S. Raymond, popularizó a
+  finales de los años noventa el concepto del código abierto con la única
+  intención de hacerlo amigable desde un punto de vista corporativo, dejando de
+  lado los valores que definen al software libre. A partir de ese momento
+  O'Reilly se ha esforzado en hacer que la idea del código abierto forme parte
+  del imaginario colectivo, declarando en muchas ocasiones que software
+  anterior a la propia existencia del término fue desarrollado como «open
+  source», negando la existencia del software libre o de unos valores
+  anteriores a su movimiento franquicia. Este método, que también aplica
+  continuamente con otros de sus términos favoritos, como «transparencia» o
+  «participación», tiene como intención cambiar el pasado controlando la
+  terminología técnica que cumple con sus intereses ideológicos y económicos.
+
+    El artículo describe a Tim O'Reilly como una persona muy influyente, que
+  gracias a su gigantesca editorial de libros tecnológicos, valorada en cientos
+  de millones de dólares estadounidenses, dispone de todo el mecanismo de
+  publicación necesario para imponer su discurso tecnológico en la gente de a
+  pie, mientras que su don de la palabra y su posición de pensador en el sector
+  de la tecnología en Silicon Valley le permiten distribuir su mensaje en las
+  esferas más elevadas, como los gobiernos y la industria del software en
+  general.  
+  <https://thebaffler.com/salvos/the-meme-hustler>
+
+[^emptied-of-values]: El proyecto GNU, y la comunidad del software libre en
+  general, siempre han considerado que el *Open Source* o Código Abierto pierde
+  de vista lo esencial al defender las ventajas prácticas (acceso al código
+  fuente) frente a unos valores éticos (las libertades de las personas).
+  Richard Stallman escribió una larga explicación de esto titulada «El Código
+  Abierto no llega al centro del problema», que puede leerse en el siguiente
+  enlace (en español):  
+  <https://www.gnu.org/philosophy/open-source-misses-the-point.es.html>
+
+[^mass-surveillance]: El autor enlaza aquí la página de Wikipedia *«Mass
+  Surveillance Industry»* (sólo disponible en inglés), la industria de la
+  vigilancia masiva, que muestra cómo el negocio de la vigilancia masiva surge
+  como sector en 2001 hasta llegar a ser una industria multimillonaria en 2011
+  usando como excusa la lucha antiterrorista. El enlace detalla además cómo los
+  diferentes agentes gubernamentales utilizan empresas para vulnerar los
+  derechos de humanos a través del uso retorcido de leyes de copyright y
+  técnicas de engaño para obtener un consentimiento, generalmente no informado,
+  de las personas usuarias de plataformas privadas.  
+  <https://en.wikipedia.org/wiki/Mass_surveillance_industry>
+
+[^safety]: En el texto original, la palabra «seguridad» enlaza a una lucha
+  personal del autor en la que pretendía concienciar sobre los fallos de
+  seguridad que los navegadores Web modernos sufren debido a su propio diseño.
+  El enlace es un reporte de un fallo en el sistema de gestión de incidencias
+  de Mozilla Firefox (en inglés) en el que el autor describe diferentes fallos
+  de seguridad y que recibe como respuesta que ése es el funcionamiento de la
+  web y llegan incluso a preguntarle si se trata de una broma. El reporte de
+  fallo está cerrado actualmente, ya que no existe ninguna intención de
+  mitigarlo o resolverlo, pero las brechas de seguridad asociadas siguen
+  estando disponibles y en uso. En los mensajes del autor puede encontrarse
+  información más avanzada sobre qué tipo de ataques pueden realizarse.  
+  <https://bugzilla.mozilla.org/show_bug.cgi?id=1487081#c16>
+
+[^gnu-linux-in-windows]: Desde el año 2016 es posible instalar un subsistema
+  GNU/Linux en Windows. El texto original enlaza a la documentación de Windows
+  sobre cómo realizar la instalación.
+
+[^open-source-2]: Al hilo de un enlace anterior sobre la diferencia entre
+  Código Abierto y Software Libre, el autor recupera la misma discusión
+  propuesta en el artículo de Richard Stallman en el que cuenta que el Código
+  Abierto se centra en la parte técnica en lugar de la parte ética. En esta
+  ocasión, enlaza a un texto titulado *«Open Source still misses the point»*
+  (en inglés), que se traduce como «El Código Abierto sigue sin llegar al
+  centro del problema», haciendo referencia al título del artículo enlazado
+  previamente:  
+  <https://abhas.io/open-source-still-misses-the-point/>
+
+[^linux-is-cancer]: Según reporta The Register en el enlace añadido por el
+  autor (en inglés), en 2001, el entonces CEO de Microsoft, Steve Ballmer,
+  declaró para Chicago-Sun Times que «Linux es un cáncer» y «contamina todo el
+  software con su basura hippie GPL».  
   <https://www.theregister.co.uk/2001/06/02/ballmer_linux_is_a_cancer/>
 
 ### Más allá de la libertad para unos pocos
@@ -698,16 +874,16 @@ tienen libertad.
 Entonces tenemos que ir más allá del Software libre. Tenemos que convertir sus
 libertades en derechos **universales**.
 
-[^malicious-piece]: el 23 de marzo de 2016 The Register publicó:
+[^malicious-piece]: el 23 de marzo de 2016 The Register publicó (en inglés):
   «Cómo un programador ha roto Node.js, Babel y miles de proyectos con
-  al retirar de NPM 11 líneas de JavaScript que todo el mundo estaba usando»
-  [Consultado 16-08-2019]  
+  al retirar de NPM 11 líneas de JavaScript que todo el mundo estaba usando»  
   <https://www.theregister.co.uk/2016/03/23/npm_left_pad_chaos/>
+
 [^os-rethoric]: El autor enlaza aquí al capítulo quinto del texto «La catedral
   y el bazar» escrito por Eric S. Raymond, impulsor del concepto Open Source, a
   finales de los años 90. Pueden encontrarse traducciones del texto a otros
   idiomas con relativa facilidad.  
-  Éste es el texto original, publicado en la web de Eric S. Raymond:
+  Éste es el texto original, publicado en la web de Eric S. Raymond:  
   <http://catb.org/~esr/writings/cathedral-bazaar/cathedral-bazaar/ar01s05.html>
 
 
@@ -716,21 +892,21 @@ libertades en derechos **universales**.
 Para convertir la informática de una herramienta de poder a una herramienta de
 libertad tenemos que mejorarla drásticamente.
 
-Tal y como los escribas hicieron con los jeroglíficos en el antiguo Egipto, los
-programadores ganan su poder usando herramientas **primitivas** que lleva años
-aprender a manejar.
+Tal y como los escribas hicieron con los jeroglíficos en el antiguo Egipto,
+quienes programan ganan su poder usando herramientas **primitivas** que lleva
+años aprender a manejar.
 
 E, igual que los escribas, no son conscientes de su propio poder y siguen
 sirviendo al faraón[^capitalism] que los oprime.
 
 Al entender que la informática es sobre información y la información reside
-dentro de sus propias cabezas, los programadores se darán cuenta de que son
-*únicos*[^2] en la historia de la economía.
+dentro de sus propias cabezas, quienes se dedican a programar se darán cuenta
+de que son *únicos*[^unicum] en la historia de la economía.
 
-[^2]: En la versión original, debido a la influencia del italiano, el autor usa
-  el término latino «unicum» que, a pesar de que la palabra latina se traduce
-  como «único» al español, en italiano este término hace referencia a piezas
-  únicas de colecciones o eventos históricos que son irrepetibles.
+[^unicum]: En la versión original, debido a la influencia del italiano, el
+  autor usa el término latino «unicum» que, a pesar de que la palabra latina se
+  traduce como «único» al español, en italiano este término hace referencia a
+  piezas únicas de colecciones o eventos históricos que son irrepetibles.
 
 **Los programadores son los primeros trabajadores que controlan los medios de
 producción**. Los tienen sólidamente unidos a su cuello y no pueden
@@ -742,33 +918,38 @@ Eso sólo son herramientas que «facilitan» lo que haces. Son útiles, pero
 secundarias.  
 Aun así: ¿Quién decide lo que haces?
 
-Ahora piensa lo que podrías hacer por este mundo en lugar de [aumentar el valor
-de los accionistas][shareholders-value].
+Ahora piensa lo que podrías hacer por este mundo en lugar de maximizar el valor
+accionarial[^shareholders-value].
 
 [^capitalism]: En el texto original en la palabra «faraón» se encuentra, como
-  en otros casos, un enlace a la Wikipedia, la enciclopedia libre. En este
+  en otros casos, un enlace a Wikipedia, la enciclopedia libre. En este
   caso, para la sorpresa del lector, el enlace no es a la página «faraón» sino
   a «capitalismo».
 
-[shareholders-value]: https://puri.sm/posts/the-future-of-computing-and-why-you-should-care/
+[^shareholders-value]: Esta frase enlaza en el texto original a una charla del
+  CEO de la empresa Purism, Todd Weaver, que desarrolla dispositivos
+  electrónicos centrados en la privacidad y seguridad de quien los usa. En la
+  charla, Weaver desarrolla su argumentación partiendo de que las empresas
+  modernas tienen como único fin aumentar el valor sus acciones.  
+  <https://puri.sm/posts/the-future-of-computing-and-why-you-should-care/>
 
 
 ### Evita el moralismo
 
-Desde [hace años][years-moralism], ha habido mucho ruido acerca ~~del
+Desde hace años[^years-moralism], ha habido mucho ruido acerca ~~del
 moralismo~~ la ética en la tecnología de la información.
 
-En el campo de la [inteligencia artificial][ia-desilusion],tras varias muertes
-causadas porque los [coches autónomos][self-driving-car] son incapaces de
-resolver un [«dilema del tranvía»][trolley-problem] [que no debería estar
-ahí][shouldnt-be-there], los investigadores [tratan de enseñar ética a las
-máquinas][machine-morality].
+En el campo de la inteligencia artificial[^ia-desilusion], tras varias muertes
+causadas porque los coches autónomos[^self-driving-cars] son incapaces de
+resolver un «dilema del tranvía»[^trolley-problem] que no debería estar
+ahí[^shouldnt-be-there]. Los investigadores tratan de enseñar ética a las
+máquinas[^machine-morality].
 
 Es muy inteligente, si lo piensas.  
 Desde la perspectiva práctica es como enseñar sexo a los condones. Deberías
 empezar por las personas.  
-Pero desde el punto de vista político es un intento sutil de [reducir la
-responsabilidad corporativa][corporate-acountability] del daño causado por sus
+Pero desde el punto de vista político es un intento sutil de reducir la
+responsabilidad corporativa[^corporate-acountability] del daño causado por sus
 productos «autónomos».
 
 No es ética, es moralismo: una perversión de la moralidad para servir los
@@ -776,23 +957,97 @@ intereses individuales.
 
 Debemos rechazar esta hipocresía como la cortina de humo que es.
 
-[years-moralism]: https://theconversation.com/a-code-of-ethics-in-it-just-lip-service-or-something-with-bite-32807
-[ia-desilusion]: http://www.tesio.it/documents/2018_Milano_The-Delusions-of-Neural-Networks.pdf
-[self-driving-cars]: http://www.tesio.it/2018/10/06/the-intelligent-symbiosis.html
-[trolley-problem]: http://moralmachine.mit.edu/
-[shouldnt-be-there]: https://github.com/daviddao/awful-ai/issues/14
-[machine-morality]: https://en.wikipedia.org/wiki/Machine_morality
-[corporate-acountability]: https://en.wikipedia.org/wiki/Death_of_Elaine_Herzberg
+[^years-moralism]: En este punto el autor enlaza un artículo de The
+  Conversation del año 2015 (en inglés), donde tras el engaño de Volkswagen en
+  las pruebas de contaminantes en los Estados Unidos de América, donde los
+  coches, mediante un mecanismo software, reducían su potencia para aparentar
+  ser menos contaminantes de lo que eran realmente, plantea una discusión de
+  ética en la informática. El artículo recoge las opiniones de dos expertos del
+  entorno de la informática en Australia, que hablan de la importancia de un
+  código ético en el sector. El primero de ellos menciona un punto interesante
+  diciendo que la mayor parte de las personas que se dedican a la informática
+  trabajan en el sector privado y muchas empresas tratan de conseguir beneficio
+  en primer lugar, dejando en segundo plano tanto la ley como la ética y
+  presionan a sus trabajadores para ser cómplices de ello.  
+  [`https://theconversation.com/a-code-of-ethics-in-it-just-lip-service-or-
+  something-with-bite-32807`][conversation]
+
+[^ia-desilusion]: En este punto el autor enlaza los contenidos de una de sus
+  charlas (en inglés), llamada «La desilusión de las redes neuronales», una
+  crítica a la mal llamada Inteligencia Artificial, donde el autor analiza su
+  comportamiento a nivel técnico y plantea varios problemas éticos como el mal
+  uso del la inteligencia artificial y el uso de una terminología que nos aleja
+  de la realidad técnica de ésta con el fin de humanizarla y que parezca que
+  las computadoras son capaces de pensar, cuando en realidad no lo son.  
+  <http://www.tesio.it/documents/2018_Milano_The-Delusions-of-Neural-Networks.pdf>
+
+[^self-driving-cars]: El autor añade aquí un enlace a una traducción y
+  adaptación del contenido de una de sus charlas en la propone que la relación
+  humano-máquina que es parte de nuestra vida actual es una simbiosis, pero que
+  para serlo correctamente ambas partes deben coevolucionar. Según el autor,
+  para que las personas evolucionen necesitan educación y conocer sin lugar a
+  engaños el otro lado de la relación: la informática.  
+  <http://www.tesio.it/2018/10/06/the-intelligent-symbiosis.html>
+
+[^trolley-problem]: El dilema del tranvía es un dilema ético cuyo enunciado
+  dice lo siguiente:  
+  «*Un tranvía corre fuera de control por una vía. En su camino se hallan
+  cinco personas atadas a la vía. Es posible accionar un botón que encaminará
+  al tranvía por una vía diferente, pero hay otra persona atada a ésta.
+  ¿Debería pulsarse el botón?*»
+
+    El dilema ha sido estudiado en profundidad, cambiando la cantidad de
+  personas, sus ocupaciones, etc. El texto original enlaza aquí la Máquina
+  Moral del MIT (en múltiples idiomas, que incluyen el español), un proyecto
+  que pretende recoger la opinión del público sobre las decisiones que los
+  vehículos autónomos deben tomar. Todas ellas son extensiones del problema del
+  tranvía, pero se proponen desde una asunción peligrosa: la de que es
+  necesario tomar la decisión de quién vive y quién muere.  
+  <http://moralmachine.mit.edu/>
+
+[^shouldnt-be-there]: Aquí el autor enlaza una discusión (en inglés) que ha
+  mantenido con el proyecto «*Awful AI*» («IA Horrible» en español), que tiene
+  como objetivo listar usos inadecuados de la inteligencia artificial. En la
+  discusión el autor propone el caso de los vehículos autónomos como un uso
+  inadecuado de la inteligencia artificial y cita a la profesora de filosofía
+  política Maria Chiara Pievatolo diciendo que: «en un sistema moral que no es
+  utilitario, sino deontológico y basado en la dignidad de las personas, un
+  sistema autónomo sólo puede ser aceptable si ha sido diseñado para evitar y
+  reducir los riesgos de las personas, es decir, para evitar que el problema
+  del tranvía pueda llegar a ocurrir.»  
+  A fecha de edición la discusión sigue abierta:  
+  <https://github.com/daviddao/awful-ai/issues/14>
+
+[^machine-morality]: La **ética de las máquinas** (o moral de las máquinas) es
+  la parte de la ética de la inteligencia artificial que trata el
+  comportamiento moral de los seres con inteligencia artificial. La ética de
+  las máquinas contrasta con la roboética, que se enfoca al comportamiento
+  moral de los humanos mientras diseñan, construyen, usan y tratan a los seres
+  con inteligencia artificial. La ética de las máquinas no debe ser confundida
+  con la ética computacional, la cual se enfoca en el comportamiento
+  profesional en el uso de las computadoras y la información.  —*Ética de las
+  máquinas^`W`^*
+
+[^corporate-acountability]: El 18 de Marzo de 2018 una mujer llamada Elaine
+  Herzberg fue atropellada por un coche de pruebas de la empresa Uber
+  funcionando en modo autónomo mientras un piloto humano de respaldo viajaba en
+  el asiento del conductor. El de Elaine Herzberg fue el primer caso de muerte
+  provocada por un vehículo autónomo en un peatón. Las investigaciones llegaron
+  a múltiples y contradictorias conclusiones: fallos de software, fallos en el
+  reconocimiento del peatón y un informe policial preliminar que indicaba que
+  era imposible evitar el accidente porque la víctima cruzó una carretera de
+  forma insegura, teniendo lugares habilitados para hacerlo de forma segura y
+  correcta.
 
 ### Sé humano
 
-Los programadores suelen mirar a los usuarios desde la limitada perspectiva de
+Quienes programan suelen mirar a los usuarios desde la limitada perspectiva de
 la aplicación que están desarrollando.
 
 Quien programa decide con gran grado de libertad lo que los usuarios de la
-aplicación resultante pueden o no pueden hacer. De esta forma, los
-programadores deciden lo que los usuarios deben entender y lo que no. Lo que
-probablemente pensarán y lo que no.
+aplicación resultante pueden o no pueden hacer. De esta forma, decide lo que
+los usuarios deben entender y lo que no. Lo que probablemente pensarán y lo que
+no.
 
 Esto va más allá que los problemas de la vigilancia y es la base de la
 interacción humano-máquina[^human-machine-interaction] y es... **inevitable**.
@@ -819,7 +1074,7 @@ No hagas eso.
   interacción persona-ordenador (IPO)** se podría definir formalmente como: "La
   disciplina dedicada a diseñar, evaluar e implementar sistemas informáticos
   interactivos para el uso humano, y a estudiar los fenómenos relacionados más
-  significativos" —*Interacción persona-computadora^`W`^ [28-07-2019]*
+  significativos" —*Interacción persona-computadora^`W`^*
 
 
 ### Sé político
@@ -827,7 +1082,7 @@ No hagas eso.
 Siendo la tecnología una persecución de la política por medios que **tenemos
 bajo control**, debemos considerar qué responsabilidad viene con ellos.
 
-Como programadores liberados debemos manifestar qué objetivos políticos
+Como personas liberadas debemos manifestar qué objetivos políticos
 queremos conseguir con cada programa que hacemos.
 
 Desde ahora, todos mis programas de Software Libre contendrán un nuevo archivo,
@@ -860,15 +1115,15 @@ de los demonios que invocas.
 
 [^google-principles]: El autor hace burla de la reciente moda de que las
   grandes corporaciones tengan una carta de principios éticos que sólo se
-  utilizan como herramienta de marketing. En este caso enlaza a la de google:
+  utilizan como herramienta de marketing. En este caso enlaza a la de Google:  
   <https://ai.google/principles>
 
 
 ### Sé educativo
 
-La ética hacker que subyace al Software Libre está erigida sobre la curiosidad.
-Todo trata sobre el deseo de aprender, explorar nuevas soluciones y poner a
-prueba suposiciones generalmente aceptadas por válidas.
+La ética *hacker* que subyace al Software Libre está erigida sobre la
+curiosidad. Todo trata sobre el deseo de aprender, explorar nuevas soluciones
+y poner a prueba suposiciones generalmente aceptadas por válidas.
 
 Pero nuestro tiempo es limitado y también lo es nuestra mente.
 
@@ -895,12 +1150,12 @@ Tenemos que crear un alfabeto de la informática.
 
 Con este alfabeto debemos liberar a la siguiente generación de esclavos.
 
-[^simple-code]: Referencia a un projecto que él mismo mantiene llamado Jehanne,
+[^simple-code]: Referencia a un proyecto que él mismo mantiene llamado Jehanne,
   un sistema operativo *simple* y a un texto que describe el funcionamiento de
-  Jehanne para demostrar su simpleza:  
+  Jehanne para demostrar su simpleza (en inglés):  
   <http://jehanne.io/2018/11/15/simplicity-awakes.html>
 
-[^wirth]: El profesor Niklaus Emil Wirth es un informático nacido en
+[^wirth]: El profesor **Niklaus Emil Wirth** es un informático nacido en
   Winterthur, Suiza, en 1934, que diseñó muchos lenguajes de programación,
   entre ellos Pascal. En 1984 obtuvo el premio Turing, premio otorgado por la
   ACM que se considera el premio más prestigioso de la informática. Se puede
@@ -923,12 +1178,12 @@ Con este alfabeto debemos liberar a la siguiente generación de esclavos.
 
 ## La humanidad debe evolucionar
 
-Esto no trata sólo de desarrolladores de software.
+Esto no trata sólo de quienes se dedican a desarrollar software.
 
 Un médico no puede curar a un enfermo que se niega a ser tratado.
 
 Si queremos preservar la democracia **tenemos** que hacerla evolucionar. No es
-la democracia la que debe ser [automatizada][automated-democracy], la gente
+la democracia la que debe ser automatizada[^automated-democracy], la gente
 debe ser educada.
 
 Las personas deben darse cuenta de que son marionetas en las manos de grupos de
@@ -943,14 +1198,24 @@ Otros verán la realidad tal y como es, y lucharán... Estudiando.
 Independientemente de lo que hagamos, la informática va a ser una
 revolución[^revolution] de todas formas.
 
-[automated-democracy]: https://motherboard.vice.com/en_us/article/yw84q7/darpa-is-building-a-dollar10-million-open-source-secure-voting-system
+[^automated-democracy]: El texto original enlaza un artículo de Motherboard (en
+  inglés), la sección tecnológica de Vice, que anuncia que DARPA, la agencia de
+  proyectos de investigación avanzados de defensa del departamento de defensa
+  de los estadounidense (*Defense Advanced Research Projects Agency*), está
+  desarrollando un sistema de voto electrónico después de las críticas
+  recibidas por los sistemas de voto electrónico anteriores. El artículo
+  manifiesta ciertas dudas sobre su posible solución, y detalla que el desafío
+  es extremadamente complejo incluso para un proyecto de las dimensiones de
+  éste (10 millones de dólares estadounidenses).  
+  [`https://motherboard.vice.com/en_us/article/yw84q7/darpa-is-building-a-dollar10-
+  million-open-source-secure-voting-system`][darpa-10mil]
 
 [^oppression-as-identity]: «Pedagogía del Oprimido» Paulo Freire, 1970. 
 
 [^revolution]: Una **revolución** (del latín *revolutio*, "una vuelta") es un
   cambio social fundamental en la estructura de poder o la organización que
   toma lugar en un periodo relativamente corto o largo dependiendo la
-  estructura de la misma —*Revolución^`W`^ [30-07-2019]*
+  estructura de la misma —*Revolución^`W`^*
 
 
 > **Morfeo**: Matrix nos rodea, está por todas partes. Incluso ahora en esta
@@ -967,7 +1232,18 @@ revolución[^revolution] de todas formas.
 
 **La informática** es la pastilla roja[^matrix].
 
-[^matrix]: Referencia a la película «Matrix», dirigida por las Hermanas
+[^matrix]: Referencia a la película «Matrix», dirigida por las hermanas
   Wachowski, en 1999. Esta conversación Morfeo ofrece a Neo dos pastillas, con
   la azul vuelve a su vida normal y se olvida de lo que sabe sobre Matrix, con
   la roja sigue en su búsqueda de la verdad y la libertad.
+
+
+
+[spectrum-ieee]: https://spectrum.ieee.org/aerospace/aviation/how-the-boeing-737-max-disaster-looks-to-a-software-developer
+[darpa-10mil]: https://motherboard.vice.com/en_us/article/yw84q7/darpa-is-building-a-dollar10-million-open-source-secure-voting-system
+[cs-and-math]: http://www.maa.org/programs/maa-awards/writing-awards/computer-science-and-its-relation-to-mathematics
+[caliskan-islam]: https://www.usenix.org/system/files/conference/usenixsecurity15/sec15-paper-caliskan-islam.pdf
+[salto-1]: https://www.elsaltodiario.com/tecnologia/los-nuevos-ropajes-del-capitalismo-parte-i
+[salto-2]: https://www.elsaltodiario.com/tecnologia/evgeny-morozov-nuevos-ropajes-capitalismo-zuboff-surveillance-capitalism-ii
+[mailman]: https://newleftreview.org/issues/II113/articles/richard-stallman-talking-to-the-mailman
+[conversation]: https://theconversation.com/a-code-of-ethics-in-it-just-lip-service-or-something-with-bite-32807