diff --git a/doc/articles/design.html b/doc/articles/design.html
index 59f534542..413d11a83 100644
--- a/doc/articles/design.html
+++ b/doc/articles/design.html
@@ -186,8 +186,8 @@ <h2 id="turing_completeness">Rationale for Turing-Completeness</h2>
         termination either restrict the language (e.g. to primitive recursion), which makes some
         programs impossible / difficult to write, or, alternatively, require the programmer to
         provide evidence that the program terminates, via some sort of annotation / <a
-        href="http://www.turingarchive.org/browse.php/B/8">energy function</a>.  Both of these make
-        the programmer's life more difficult.
+        href="https://turingarchive.kings.cam.ac.uk/publications-lectures-and-talks-amtb/amt-b-8"
+        >energy function</a>.  Both of these make the programmer's life more difficult.
       </p>
       <p>
         Furthermore, non-Turing complete languages can take arbitrary CPU or RAM by running