-<li>GRAKN.AI: database in the form of a knowledge graph that uses
-machine reasoning to simplify data processing challenges for AI
-applications.
+<li><a href="#sec-3-2">CM-1 Connection Machine</a>
+</li>
+
+<li><a href="http://phantomos.org/">http://phantomos.org/</a>
+<ul class="org-ul">
+<li>Programs run forever. System crash or reboot does not destroy
+state of running program.
+</li>
+</ul>
+</li>
+
+<li>Taichi: A Language for High-Performance Computation onSpatially
+Sparse Data Structures
+<ul class="org-ul">
+<li><a href="http://taichi.graphics/wp-content/uploads/2019/09/taichi_lang.pdf">http://taichi.graphics/wp-content/uploads/2019/09/taichi_lang.pdf</a>
+</li>
+</ul>
+</li>
+
+<li>GRAKN.AI
+<ul class="org-ul">
+<li>database in the form of a knowledge graph that uses machine
+reasoning to simplify data processing challenges for AI
+applications. <a href="https://grakn.ai/">https://grakn.ai/</a>
+</li>
+</ul>
+</li>
+
+<li><a href="http://wiki.squeak.org/squeak/2665">Magma</a>