-"Far away in the heavenly abode of the +00:00:02.960 --> 00:00:04.644 +"Far away in the heavenly abode
-great god Indra, +00:00:04.644 --> 00:00:06.560 +of the great god Indra,
-there is a wonderful net which has been +00:00:06.560 --> 00:00:07.688 +there is a wonderful net
-hung by some cunning artificer +00:00:07.688 --> 00:00:10.160 +which has been hung +by some cunning artificer
in such a manner that it stretches out @@ -18,92 +19,85 @@ in such a manner that it stretches out
infinitely in all directions.
+00:00:14.320 --> 00:00:16.938 In accordance with the extravagant +tastes of deities,
-tastes of deities, the artificer has hung +00:00:16.938 --> 00:00:18.240 +the artificer has hung
-a single glittering jewel in each eye of +00:00:18.240 --> 00:00:20.277 +a single glittering jewel
-the net, +00:00:20.277 --> 00:00:22.080 +in each eye of the net,
-and since the net itself is infinite, the +00:00:22.080 --> 00:00:23.859 +and since the net itself is infinite,
-jewels are infinite in number. +00:00:23.859 --> 00:00:26.480 +the jewels are infinite in number.
-There hang the jewels, glittering like +00:00:26.480 --> 00:00:27.642 +There hang the jewels,
-stars in the first magnitude, +00:00:27.642 --> 00:00:30.480 +glittering like stars in the first +magnitude,
-a wonderful sight to behold. Were we to +00:00:30.480 --> 00:00:32.681 +a wonderful sight to behold.
-select one of these jewels for +00:00:32.681 --> 00:00:35.680 +Were we to select one of these jewels +for inspection,
-inspection, +00:00:35.680 --> 00:00:38.216 +we would discover that in +its polished surface
-we would discover that in its polished +00:00:38.216 --> 00:00:39.520 +there are reflected
-surface there are reflected +00:00:39.520 --> 00:00:41.451 +all the other jewels in the net,
-all the other jewels in the net, infinite +00:00:41.451 --> 00:00:43.360 +infinite in number.
-in number. +00:00:43.360 --> 00:00:45.140 +If we look still more closely,
-If we look still more closely, we would +00:00:45.140 --> 00:00:48.960 +we would see that each of the jewels +reflected in this one jewel
-see that each of the jewels reflected in +00:00:48.960 --> 00:00:51.264 +reflects all the others."
-this one jewel +00:00:51.264 --> 00:00:54.000 +This is the metaphor of Indra's Net,
-reflects all the others." This is the -
-metaphor of Indra's Net, -
+00:00:54.000 --> 00:00:57.615 which is told in some schools of +philosophy.
-philosophy. Let's keep this metaphor in -
-mind, -
-because it'll help us understand the +00:00:57.615 --> 00:01:00.160 +Let's keep this metaphor in mind,
-Emacs extension that we're about to +00:01:00.160 --> 00:01:01.773 +because it'll help us understand
+00:01:01.773 --> 00:01:06.960 +the Emacs extension that we're about to discuss.
-In editing text, there's two +00:01:06.960 --> 00:01:12.810 +In editing text, there's two main +paradigms:
-main paradigms: one -
-is editing at the ground level, +00:01:12.810 --> 00:01:16.880 +one is editing at the ground level,
where the characters that we type @@ -114,83 +108,67 @@ actually appear on the screen,
the changes we make actually occur.
-The other editing paradigm is where we +00:01:28.479 --> 00:01:30.126 +The other editing paradigm
-escape to a higher level +00:01:30.126 --> 00:01:33.439 +is where we escape to a higher level
+00:01:33.439 --> 00:01:36.479 and now the characters that we type are -
not...
They don't actually appear on the screen
+00:01:39.040 --> 00:01:42.748 because we're not at the ground level +with the text,
-with the text, we are at a higher level +00:01:42.748 --> 00:01:44.799 +we are at a higher level
looking down at the text
-and regarding the text, referring to +00:01:48.479 --> 00:01:50.773 +and regarding the text,
-this world of text in terms of a -
-language. +00:01:50.773 --> 00:01:56.159 +referring to this world of text in terms +of a language.
For instance, we could describe this
+00:01:57.920 --> 00:02:03.404 world as having words and paragraphs and +sentences and lines and so on.
-sentences and +00:02:03.404 --> 00:02:05.985 +We could reason about this text
-lines and so on. We could reason +00:02:05.985 --> 00:02:13.120 +in terms of these textual entities and +this textual language.
-about this -
-text in terms of these -
-textual entities and this textual -
-language. -
+00:02:13.120 --> 00:02:18.640 This is the second paradigm of text -
editing.
When we're in the second paradigm,
+00:02:22.800 --> 00:02:25.304 there is a way to go down to ground +level.
-level. You hit Enter -
-now--or we'll hit Enter to go down to the +00:02:25.304 --> 00:02:28.997 +You hit Enter now--or we'll hit Enter to +go down to the ground level,
-ground level, and you can hit Escape +00:02:28.997 --> 00:02:30.480 +and you can hit Escape
to go back out to the referential level. @@ -198,182 +176,147 @@ to go back out to the referential level.
Enter to go down to ground level
-and Escape to go up to the referential -
-level. -
-Now, in Vim, the nouns +00:02:35.200 --> 00:02:40.160 +and Escape to go up to the +referential level.
-in this world of text all +00:02:40.160 --> 00:02:47.565 +Now, in Vim, the nouns in this +world of text
-share the same referential plane which +00:02:47.565 --> 00:02:52.319 +all share the same referential plane +which we call normal mode.
-we call -
-normal mode. So in normal mode, all of the -
-nouns +00:02:52.319 --> 00:02:54.959 +So in normal mode, all of the nouns
of the world of text are available,
+00:02:57.360 --> 00:03:00.959 whether it's words or sentences or -
paragraphs,
-and they all share this same -
-referential plane. +00:03:00.959 --> 00:03:08.319 +and they all share this same referential +plane.
-They compete for space on the +00:03:08.319 --> 00:03:12.720 +They compete for space on the keyboard.
-keyboard. +00:03:12.720 --> 00:03:17.037 +An alternative way to structure these +modes is
-An alternative +00:03:17.037 --> 00:03:21.840 +instead of having a single mode where +all the nouns coexist,
-way to structure these modes is instead +00:03:21.840 --> 00:03:24.005 +peacefully or otherwise,
-of having a single mode where all the +00:03:24.005 --> 00:03:30.400 +you instead have a dedicated mode for +every noun.
-nouns coexist, +00:03:30.400 --> 00:03:32.540 +In that case, what happens is
-peacefully or otherwise, you instead +00:03:32.540 --> 00:03:35.440 +because your modal spaces are +now much smaller,
-have a dedicated mode for every noun. -
-In that case, what happens is because -
-your modal spaces are now much smaller, -
+00:03:35.440 --> 00:03:40.593 you're just talking about words or +paragraphs or lines or something,
-paragraphs or -
-lines or something, the keys that you use +00:03:40.593 --> 00:03:42.560 +the keys that you use
can be much more targeted.
-You can use the same keystrokes in +You can use the same keystrokes
in all of your modes and they would have
-the same ideas behind them, but +00:03:50.400 --> 00:03:51.845 +the same ideas behind them,
-they would have different effects +00:03:51.845 --> 00:03:53.280 +but they would have different effects
depending on which context you're using.
+00:03:55.519 --> 00:03:59.120 It's the same keystrokes, different -
contexts.
+00:03:59.120 --> 00:04:04.244 The advantage of that is it's often +easier to change context
-easier -
-to change context than it is to -
-learn new key bindings. So let's see +00:04:04.244 --> 00:04:07.888 +than it is to learn new key bindings.
-an example of how that works. We go into +00:04:07.888 --> 00:04:11.289 +So let's see an example of how +that works.
-character mode, and if you look at the +00:04:11.289 --> 00:04:14.039 +We go into character mode, and if you +look at the mode line
-mode line at the bottom of the screen there, +00:04:14.039 --> 00:04:15.439 +at the bottom of the screen there,
you'll see that we're in character mode.
-Now, when we move up, down, left, and +00:04:18.720 --> 00:04:21.955 +Now, when we move up, down, +left, and right,
-right, we're moving by character. +00:04:21.955 --> 00:04:23.919 +we're moving by character.
-We can also transform the text, and +00:04:23.919 --> 00:04:28.088 +We can also transform the text,
-the transformations occur in terms of +00:04:28.088 --> 00:04:32.400 +and the transformations occur in terms +of character.
-character. +00:04:32.400 --> 00:04:34.207 +You can also go into word mode.
-You can also go into word mode. In +00:04:34.207 --> 00:04:40.000 +In word mode, the transformations that +you do are on words.
-word mode, -
-the transformations that you do are on -
-words. -
+00:04:40.000 --> 00:04:43.440 and you try... Your movement is also in -
terms of words.
+00:04:43.440 --> 00:04:46.560 So that's the level of granularity that -
you have.
-You could also go to line mode. When +00:04:46.560 --> 00:04:49.191 +You could also go to line mode.
-you're in line mode, +00:04:49.191 --> 00:04:50.720 +When you're in line mode,
-you go up and down by line, and you can +00:04:50.720 --> 00:04:52.901 +you go up and down by line,
-move lines +00:04:52.901 --> 00:04:54.240 +and you can move lines
up and down left and right and so on. @@ -384,20 +327,19 @@ The transformations you do are in
terms of lines.
-You could also go to window mode, where -
-now the objects that you're referring to +00:05:02.800 --> 00:05:07.682 +You could also go to window mode,
-are windows. You can +00:05:07.682 --> 00:05:11.695 +where now the objects that you're +referring to are windows.
-move spatially amongst the windows or +00:05:11.695 --> 00:05:15.578 +You can move spatially +amongst the windows
-do transformations on the windows +00:05:15.578 --> 00:05:17.520 +or do transformations on the windows
using the same keystrokes. @@ -408,197 +350,170 @@ So let's go to...
Right. One of the things,
-the principles that play here is -
-something called the Rumpelstiltskin -
-principle, which is something +00:05:32.800 --> 00:05:35.114 +the principles at play here
-that's known in computer science. +00:05:35.114 --> 00:05:37.266 +is something called the +Rumpelstiltskin principle,
-If you can name something, then +00:05:37.266 --> 00:05:40.720 +which is something that's known in +computer science.
-you have power over it. This is +00:05:40.720 --> 00:05:42.113 +If you can name something,
-kind of an adaptation of that principle +00:05:42.113 --> 00:05:45.824 +then you have power over it.
-which says that if you can +00:05:45.824 --> 00:05:48.560 +This is kind of an adaptation of that +principle
-name something and if you can talk about +00:05:48.560 --> 00:05:51.123 +which says that if you can name +something
-it, then it's a noun +00:05:51.123 --> 00:05:52.572 +and if you can talk about it,
-in your editing language. If it's a +00:05:52.572 --> 00:05:56.334 +then it's a noun in your editing +language.
-noun, then it has... +00:05:56.334 --> 00:05:58.960 +If it's a noun, then it has...
+00:05:58.960 --> 00:06:02.319 It's a mode. So if we can talk about it, -
it's a noun.
-If it's a noun, then it's a mode. One -
-of the things we've been talking a lot -
-about +00:06:02.319 --> 00:06:04.818 +If it's a noun, then it's a mode.
-is modes. In fact, +00:06:04.818 --> 00:06:08.919 +One of the things we've been talking a +lot about is modes.
-by this principle, modes also +00:06:08.919 --> 00:06:12.699 +In fact, by this principle,
-should be a mode. +00:06:12.699 --> 00:06:17.280 +modes also should be a mode.
You should have a mode that can reason
-in terms of modes as objects, just like +00:06:19.039 --> 00:06:20.639 +in terms of modes as objects,
-you have +00:06:20.639 --> 00:06:22.300 +just like you have modes
-modes where you can reason in terms of +00:06:22.300 --> 00:06:23.759 +where you can reason in terms of
words or lines as objects.
-So let's do that. Let's go to mode -
-mode. +00:06:26.560 --> 00:06:30.479 +So let's do that. Let's go to mode mode.
-When you go to mode mode, you see that -
-the objects that are depicted here are +When you go to mode mode, you see that
-the modes that are +00:06:34.000 --> 00:06:35.915 +the objects that are depicted here
-present in the buffer, +00:06:35.915 --> 00:06:40.960 +are the modes that are present +in the buffer,
-which we knew about because the +00:06:40.960 --> 00:06:44.500 +which we knew about because
-style of editing that we had in this +00:06:44.500 --> 00:06:46.797 +the style of editing that we had +in this buffer
-buffer was the Vim style of editing +00:06:46.797 --> 00:06:48.720 +was the Vim style of editing
+00:06:48.720 --> 00:06:51.143 where there's an insert mode at the +ground level
-ground level and a normal mode that you -
-can escape to. +00:06:51.143 --> 00:06:53.039 +and a normal mode that +you can escape to.
You insert, enter the ground level.
+00:06:57.280 --> 00:07:01.352 Enter to the insert mode and escape to +normal mode.
-normal mode. When you look at the -
-mode mode +00:07:01.352 --> 00:07:04.647 +When you look at the mode mode +representation,
-representation, you see that in fact that +00:07:04.647 --> 00:07:06.160 +you see that in fact that
is the structure that's depicted.
-But in different situations, you might -
-find +00:07:10.479 --> 00:07:14.080 +But in different situations, +you might find
that these modes are not the
-ones that you want. You want something -
-more tailored for the specific +00:07:16.080 --> 00:07:16.922 +ones that you want.
-application. +00:07:16.922 --> 00:07:20.880 +You want something more tailored for the +specific application.
+00:07:20.880 --> 00:07:25.065 For instance, if you're editing +Lisp code
-Lisp code (or code in general, but +00:07:25.065 --> 00:07:27.360 +(or code in general, but
Lisp code is a particular example),
-you might want to take advantage of the +00:07:30.880 --> 00:07:32.640 +you might want to take advantage
-structure of +00:07:32.640 --> 00:07:34.852 +of the structure of the code.
-the code. For Lisp code in particular, +00:07:34.852 --> 00:07:37.599 +For Lisp code in particular,
we have a mode called symex-mode
-which is able to reason +00:07:40.960 --> 00:07:45.414 +which is able to reason about your code
-about your code in terms of its tree +00:07:45.414 --> 00:07:47.919 +in terms of its tree structure.
-structure. -
+00:07:47.919 --> 00:07:52.397 So you can use the same keystrokes: hjkl +goes left, right, up, and down,
-goes -
-left, right, up, and down, but you also have -
-other keystrokes that are more -
-specialized to the application. +00:07:52.397 --> 00:07:58.080 +but you also have other keystrokes that +are more specialized to the application.
You can run the code. @@ -606,11 +521,9 @@ You can run the code.
We'll see that happen here in a minute.
-You can make changes to it really -
-quickly +00:08:06.960 --> 00:08:12.240 +You can make changes to it +really quickly
and see the effects of those changes. @@ -618,140 +531,128 @@ and see the effects of those changes.
You're doing this all in a mode
-that's convenient for -
-this particular application, which is +00:08:19.440 --> 00:08:22.625 +that's convenient for this particular +application,
-editing Lisp code, +00:08:22.625 --> 00:08:25.039 +which is editing Lisp code,
and that is, in this case, symex-mode.
+00:08:28.960 --> 00:08:31.631 Typically, when you're editing code +like this,
-like this, you'd want to be +00:08:31.631 --> 00:08:33.435 +you'd want to be in insert mode
-in insert mode actually typing out the +00:08:33.435 --> 00:08:36.640 +actually typing out the code,
-code, -
+00:08:36.640 --> 00:08:40.959 and then you'd want to escape to symex -
mode rather than normal mode,
-and then you could escape again and +00:08:40.959 --> 00:08:42.021 +and then you could escape again
-you'd end up in normal mode. +00:08:42.021 --> 00:08:44.080 +and you'd end up in normal mode.
-So this, if we go to mode mode, we see is -
-depicted +00:08:44.080 --> 00:08:48.000 +So this, if we go to mode mode, we see +is depicted
as this tower where insert is at the
-bottom and normal is at the top, but -
-symex-mode is in between +00:08:51.040 --> 00:08:52.604 +bottom and normal is at the top,
-the two. You could also change that if +00:08:52.604 --> 00:08:55.305 +but symex-mode is in between the two.
-you like. If you don't want symex-mode to +00:08:55.305 --> 00:08:57.551 +You could also change that if you like.
-be there, you could just +00:08:57.551 --> 00:08:59.566 +If you don't want symex-mode +to be there,
-move it to the top. Now you find symex is +00:08:59.566 --> 00:09:02.187 +you could just move it to the top.
-at the top and you enter down to +00:09:02.187 --> 00:09:04.392 +Now you find symex is at the top
-normal. +00:09:04.392 --> 00:09:06.160 +and you enter down to normal.
+00:09:06.160 --> 00:09:08.848 You can see it on the status bar at the +bottom there.
-bottom there. Enter to insert, -
-escape to normal, escape to symex. +00:09:08.848 --> 00:09:13.839 +Enter to insert, escape to normal, +escape to symex.
-In fact, you can even add more modes if +00:09:13.839 --> 00:09:16.344 +In fact, you can even add more modes
-you don't like the existing ones. +00:09:16.344 --> 00:09:19.380 +if you don't like the existing ones.
Now we have an additional mode here.
-We have window mode. It goes down to +00:09:23.839 --> 00:09:25.855 +We have window mode. It goes +down to symex,
-symex, it goes down to normal. +00:09:25.855 --> 00:09:27.519 +it goes down to normal.
-Enter the insert, escape to normal, escape +00:09:27.519 --> 00:09:29.919 +Enter the insert, escape to normal,
-to symex, escape to window. +00:09:29.919 --> 00:09:33.600 +escape to symex, escape to window.
+00:09:33.600 --> 00:09:41.232 So we've talked... Okay, so another thing +actually to note here
-actually to note here is that in editing +00:09:41.232 --> 00:09:45.360 +is that in editing modes,
-modes, +00:09:45.360 --> 00:09:46.486 +if you look at the mode line
-if you look at the mode line at the +00:09:46.486 --> 00:09:48.399 +at the bottom of the screen,
-bottom of the screen, +00:09:48.399 --> 00:09:50.257 +you'll see that we are currently,
-you'll see that we are currently, in this -
-buffer, +00:09:50.257 --> 00:09:51.519 +in this buffer,
we are currently in line mode.
-I'm going to hit Enter now and +00:09:54.560 --> 00:09:57.296 +I'm going to hit Enter now
-you'll see that when I hit +00:09:57.296 --> 00:09:59.119 +and you'll see that when I hit Enter,
-Enter, nothing is happening. It's still in +00:09:59.119 --> 00:10:00.627 +nothing is happening.
-line mode. +00:10:00.627 --> 00:10:02.160 +It's still in line mode.
If you hit Escape, it's still in line mode. @@ -774,308 +675,232 @@ and line mode is the only one available
in this tower
-for editing the modes that are in +00:10:19.519 --> 00:10:21.556 +for editing the modes that are
-operation in your ground level. +00:10:21.556 --> 00:10:24.880 +in operation in your ground level.
+00:10:24.880 --> 00:10:26.898 In fact, line mode is all you need +here,
-here, because this is just -
-the nature of how these modes are -
-laid out is -
-in rows. So line mode is the most +00:10:26.898 --> 00:10:32.796 +because this is just the nature of how +these modes are laid out is in rows.
-appropriate thing here. +00:10:32.796 --> 00:10:36.399 +So line mode is the most appropriate +thing here.
+00:10:36.399 --> 00:10:39.740 But you could change it to something -
else if you like.
-Now we've seen two towers. We've -
-seen +00:10:40.959 --> 00:10:43.659 +Now we've seen two towers.
-the Vim tower and we've seen -
+00:10:43.659 --> 00:10:53.680 +We've seen the Vim tower and we've seen also the symex tower, the Lisp tower.
+00:10:53.680 --> 00:10:58.880 It turns out that, because we've been -
talking about towers now,
-by the rumpelstiltskin principle, towers +00:10:58.880 --> 00:11:06.399 +by the Rumpelstiltskin principle, towers +also can be talked about,
-also +00:11:06.399 --> 00:11:09.127 +and therefore they also are a mode.
-can be talked about, -
-and therefore they also are a mode. So -
-how do we go to tower mode? +00:11:09.127 --> 00:11:11.200 +So how do we go to tower mode?
-The way we go to tower mode is +The way we go to tower mode is
we go in a slightly different direction,
+00:11:19.200 --> 00:11:23.360 and we find that we are now in tower -
mode.
+00:11:23.360 --> 00:11:29.279 We see that there are many towers -
available. We're now...
-We're seeing several possible +00:11:29.279 --> 00:11:33.440 +We're seeing several possible towers
-towers that we have written +00:11:33.440 --> 00:11:40.344 +that we have written to be available and +for use in different buffers.
-to be available and for use in +00:11:40.344 --> 00:11:42.110 +You can edit them on the fly.
-different buffers. You can edit them +00:11:42.110 --> 00:11:46.630 +For instance, let's enter this tower.
-on the fly. For instance, let's enter this -
-tower. -
+00:11:48.000 --> 00:11:50.180 Now you see that in the bottom of +the...
-the... In the mode line, you see that we're -
-going +00:11:50.180 --> 00:11:51.519 +In the mode line, you see that we're
-across all of these different modes that +00:11:51.519 --> 00:11:53.944 +going across all of these +different modes
-were in the tower. +00:11:53.944 --> 00:11:56.480 +that were in the tower.
-You could escape and you could even +00:11:56.480 --> 00:11:59.724 +You could escape and you could even move +things around.
-move things around. You could put window +00:11:59.724 --> 00:12:00.880 +You could put window mode
-mode +00:12:00.880 --> 00:12:02.573 +all the way at the bottom,
-all the way at the bottom, right above +00:12:02.573 --> 00:12:04.079 +right above insert mode.
-insert mode. +00:12:04.079 --> 00:12:06.479 +Let's see that happen. There it is,
-Let's see that happen. There it is, window +00:12:06.479 --> 00:12:10.444 +window is right above insert, and +so on.
-is right above insert, and +00:12:10.444 --> 00:12:14.240 +The tower always reflects your current +position,
-so on. The tower always reflects your -
-current position, -
+00:12:14.240 --> 00:12:17.600 so if you're in buffer mode here and you -
go down to line mode,
+00:12:17.600 --> 00:12:22.480 when you go back to mode mode, you see -
that we are in line mode.
+00:12:22.480 --> 00:12:25.620 But in practice, you wouldn't have a +tower this elaborate
-tower this elaborate because -
-you'd rather have several smaller towers -
-you enter, +00:12:25.620 --> 00:12:29.440 +because you'd rather have several +smaller towers you enter,
that you alternate between.
-Okay. So one -
-other thing of interest here is that +00:12:33.360 --> 00:12:39.839 +Okay. So one other thing of interest +here is that
when you're in tower mode,
+00:12:42.240 --> 00:12:44.740 if you look at the status line at the +bottom there,
-bottom there, we are currently +00:12:44.740 --> 00:12:49.839 +we are currently in buffer mode while we +are in tower mode.
-in buffer mode while we are in tower +00:12:49.839 --> 00:12:53.151 +Tower mode actually isn't a mode really. +Neither is mode mode.
-mode. +00:12:53.151 --> 00:12:58.000 +They're really referential planes or +meta planes.
-Tower mode actually isn't a mode -
-really. Neither is mode mode. They're -
-really -
-referential planes or meta planes. -
+00:12:58.000 --> 00:13:01.679 In any case, you can see that we're in +buffer mode.
-buffer mode. We can take a meta jump -
-out of this to confirm -
-that buffer mode is the only mode -
-available +00:13:01.679 --> 00:13:03.840 +We can take a meta jump out of this
-when we're editing towers because that's +00:13:03.840 --> 00:13:08.000 +to confirm that buffer mode is the only +mode available
-the one +00:13:08.000 --> 00:13:09.664 +when we're editing towers
-we need, given that our towers are +00:13:09.664 --> 00:13:11.915 +because that's the one we need,
-represented +00:13:11.915 --> 00:13:23.200 +given that our towers are represented in +individual buffers.
-in individual buffers. +00:13:23.200 --> 00:13:26.320 +Right. So let's see where we're at.
-Right. So let's see where we're +00:13:26.320 --> 00:13:27.785 +Rumpelstiltskin principle...
-at. -
-Rumpelstiltskin principle... We talked -
-about mode mode. +00:13:27.785 --> 00:13:30.160 +We talked about mode mode.
We talked about the strange loop
-application of -
-ground level modes in meta levels. -
-We saw the different towers, and -
-in fact, -
-we're currently in -
-Vim tower, -
-where you can go to Emacs tower. Now, +00:13:32.240 --> 00:13:37.820 +application of ground level modes in +meta levels.
-with a single keystroke, you can +00:13:39.600 --> 00:13:41.992 +We saw the different towers,
-alternate +00:13:41.992 --> 00:13:50.720 +and in fact, we're currently +in Vim tower,
-between Emacs +00:13:50.720 --> 00:13:52.860 +where you can go to Emacs tower.
-and Vim, which are represented--which are +00:13:52.860 --> 00:13:54.720 +Now, with a single keystroke, you can
-modeled as towers. +00:13:54.720 --> 00:13:59.695 +alternate between Emacs and Vim,
-So there's... One thing that we've +00:13:59.695 --> 00:14:01.638 +which are represented--
-sort of alluded to is that there are two +00:14:01.638 --> 00:14:05.519 +which are modeled as towers.
-directions +00:14:13.360 --> 00:14:14.760 +So there's... One thing
-that you can travel in when you're going +00:14:14.760 --> 00:14:18.160 +that we've sort of alluded to is that +there are two directions
-through this framework. +00:14:18.160 --> 00:14:19.494 +that you can travel in
-One direction is--and we'll +00:14:19.494 --> 00:14:22.399 +when you're going through this +framework.
-visualize it like so... +00:14:22.399 --> 00:14:33.760 +One direction is--and we'll visualize it +like so...
There's two directions you can travel, @@ -1086,67 +911,53 @@ and you can either go sideways or you
can go up and down.
+00:14:38.399 --> 00:14:41.680 If you go sideways, you're changing your -
perspective.
So normal mode, word mode, line mode,
-window mode, and so on are all different -
-perspectives on your +00:14:45.440 --> 00:14:46.544 +window mode, and so on
+00:14:46.544 --> 00:14:51.680 +are all different perspectives on your ground editing experience.
-The other direction you can travel -
-in is up or down, which takes you -
-through meta levels. So you go from the +00:14:51.680 --> 00:14:53.265 +The other direction you can travel in
-ground level editing experience +00:14:53.265 --> 00:14:56.811 +is up or down, which takes you through +meta levels.
-up to mode mode and then up to the tower +00:14:56.811 --> 00:14:59.600 +So you go from the ground level +editing experience,
-plane and so on +00:14:59.600 --> 00:15:07.040 +up to mode mode, and then up to the +tower plane, and so on, and so on.
-and so on. +00:15:07.040 --> 00:15:12.568 +So this all sounds very complex,
-So this all sounds +00:15:12.568 --> 00:15:18.160 +but the truth is it's not really that +complicated,
-very complex, but the truth is +00:15:18.160 --> 00:15:20.699 +even though it feels that way.
-it's not really that complicated -
-even though it feels that way. The reason -
-it isn't that complicated +00:15:20.699 --> 00:15:22.959 +The reason it isn't that complicated
is because no matter how many levels
+00:15:26.480 --> 00:15:30.160 up or down you go and no matter where -
you are,
@@ -1155,131 +966,102 @@ whether you're in at the ground level
editing the actual text
-or whether you're at a meta level, some +00:15:34.079 --> 00:15:35.802 +or whether you're at a meta level,
-unknown meta level and you don't know +00:15:35.802 --> 00:15:39.279 +some unknown meta level and you don't +know where you are,
-where you are, +00:15:39.279 --> 00:15:41.133 +no matter where you are,
-no matter where you are, the way in which -
-you interact with it +00:15:41.133 --> 00:15:44.399 +the way in which you interact with it
is the same at every level.
-That is the great power of -
-this approach: that +00:15:47.519 --> 00:15:54.751 +That is the great power of this +approach:
-all of the different levels are the -
-same. +00:15:54.751 --> 00:16:00.880 +that all of the different levels +are the same.
In fact, the complexity of the whole
-is exactly identical to the -
-complexity of each part, so if you know -
-how to edit words -
-in the ground level buffer and you know -
-how to move +00:16:03.839 --> 00:16:05.545 +is exactly identical to
-lines around using line mode, then you +00:16:05.545 --> 00:16:07.657 +the complexity of each part,
-know how to edit +00:16:07.657 --> 00:16:10.000 +so if you know how to edit words
-any aspect of your editing experience at +00:16:10.000 --> 00:16:12.048 +in the ground level buffer
-any level. +00:16:12.048 --> 00:16:15.378 +and you know how to move lines around +using line mode,
-So this is a pre-release demo. This +00:16:15.378 --> 00:16:22.800 +then you know how to edit any aspect of +your editing experience at any level.
-doesn't exist on MELPA +00:16:30.079 --> 00:16:31.780 +So this is a pre-release demo.
-yet, but you can follow updates +00:16:31.780 --> 00:16:40.079 +This doesn't exist on MELPA yet, but you +can follow updates at this repo on +github.
-at this repo on github. +00:16:40.079 --> 00:16:43.850 +If you can also be a beta tester
-If you can also be a beta tester or +00:16:43.850 --> 00:16:46.775 +or something like that, if you like, +that would be very helpful.
-something like that, if you like, that -
-would be very -
-helpful. You can learn more about -
-this at +00:16:46.775 --> 00:16:50.560 +You can learn more about this at
drym.org, which is where I house
-the research that I work on. In -
-particular +00:16:53.920 --> 00:16:55.726 +the research that I work on.
-the research on epistemic levels is what +00:16:55.726 --> 00:17:00.154 +In particular, the research on epistemic +levels
-inspired this particular Emacs extension. +00:17:00.154 --> 00:17:03.600 +is what inspired this particular Emacs +extension.
-You can also learn about dialectical +00:17:03.600 --> 00:17:05.600 +You can also learn about
-inheritance attribution, which is the -
-basis of +00:17:05.600 --> 00:17:10.880 +dialectical inheritance attribution, +which is the basis of
a new economic system that could be fair
+00:17:14.559 --> 00:17:19.439 and could lead to a prosperous and happy -
world.
-You can follow me on -
-Twitter at @countvajhula. +00:17:19.439 --> 00:17:26.319 +You can follow me on Twitter at +@countvajhula.
That's it! Thank you. -- cgit v1.2.3