summaryrefslogtreecommitdiffstats
path: root/2020/subtitles
diff options
context:
space:
mode:
authorSacha Chua <sacha@sachachua.com>2020-12-13 01:35:03 -0500
committerSacha Chua <sacha@sachachua.com>2020-12-13 01:35:03 -0500
commita835a2b017829395cba32e3fc2dc19a51f32cf69 (patch)
tree6c767ef050f8fedcec59cd8ab0fcb84bc96a16f0 /2020/subtitles
parent72e48bc52524672fc6179d1f45f091df76cd2e02 (diff)
downloademacsconf-wiki-a835a2b017829395cba32e3fc2dc19a51f32cf69.tar.xz
emacsconf-wiki-a835a2b017829395cba32e3fc2dc19a51f32cf69.zip
Add subtitles for talk07
Diffstat (limited to '')
-rw-r--r--2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--questions--sid-kasivajhula.vtt (renamed from 2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--questions--sid-kasivajhula-autogen.vtt)202
-rw-r--r--2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--sid-kasivajhula.vtt (renamed from 2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--sid-kasivajhula-autogen.vtt)657
2 files changed, 400 insertions, 459 deletions
diff --git a/2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--questions--sid-kasivajhula-autogen.vtt b/2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--questions--sid-kasivajhula.vtt
index 9cbec458..ebe18254 100644
--- a/2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--questions--sid-kasivajhula-autogen.vtt
+++ b/2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--questions--sid-kasivajhula.vtt
@@ -1,76 +1,71 @@
WEBVTT
00:00:00.080 --> 00:00:01.680
-for the list of questions in whatever
+(Amin: ... for the list of questions in whatever
00:00:01.680 --> 00:00:03.520
-order you like
+order you like.)
00:00:03.520 --> 00:00:06.160
-okay so I see what package is used um
+Okay, so I see what package is used,
00:00:06.160 --> 00:00:08.000
-probably cemex mode
+probably symex-mode...
00:00:08.000 --> 00:00:10.400
-um right so the main package that was
+Right. So the main package that was
00:00:10.400 --> 00:00:11.360
-being demoed
+being demoed,
00:00:11.360 --> 00:00:14.480
-um that is not yet on melpa in fact I
+that is not yet on MELPA. In fact, I
00:00:14.480 --> 00:00:16.720
-haven't even decided on a name for it
+haven't even decided on a name for it.
00:00:16.720 --> 00:00:19.359
-um I've alternately alternately called
+I've alternately called
00:00:19.359 --> 00:00:22.080
-it epistemic mode I've called it
+it epistemic-mode, I've called it
00:00:22.080 --> 00:00:26.000
-um england I called it uh
+england, I called it
00:00:26.000 --> 00:00:28.560
-all kinds of things but at the moment
+all kinds of things, but at the moment
-00:00:28.560 --> 00:00:30.240
-you can find it on my github there's a
-
-00:00:30.240 --> 00:00:31.439
-link
+00:00:28.560 --> 00:00:31.439
+you can find it on my Github. There's a link
00:00:31.439 --> 00:00:32.960
-in the presentation itself if you go to
+in the presentation itself, if you go to
00:00:32.960 --> 00:00:35.600
-github slash account about
+https://github.com/countvajhula, you'll see
00:00:35.600 --> 00:00:38.879
-um the package there it's currently
+the package there. It's currently
00:00:38.879 --> 00:00:39.840
-named indra
+named Indra, but
00:00:39.840 --> 00:00:42.879
-I'm not sure um
+I'm not sure. (Organizer: Package is
+called rigpa.)
00:00:42.879 --> 00:00:46.800
-packages actually yes the second one is
+Actually, yes, the second one is
00:00:46.800 --> 00:00:49.920
-red that was the name that I selected um
+correct. That was the name that I selected
00:00:49.920 --> 00:00:53.280
-last night um and that's because it
-
-00:00:53.280 --> 00:00:53.920
-might that
+last night. That's because it...
00:00:53.920 --> 00:00:55.760
-there's a concept in tibetan buddhism
+There's a concept in Tibetan Buddhism
00:00:55.760 --> 00:00:57.520
that seems like it might have something
@@ -82,43 +77,43 @@ to do with
the kinds of concepts we're talking
00:00:59.840 --> 00:01:01.600
-about with this package so I just
+about with this package, so I just
00:01:01.600 --> 00:01:04.000
-thought it would be a good name for it
+thought it would be a good name for it.
00:01:04.000 --> 00:01:05.760
-so you can look up that concept
+You can look up that concept
00:01:05.760 --> 00:01:09.920
-and get a sense of it on wikipedia
+and get a sense of it on Wikipedia.
00:01:09.920 --> 00:01:13.119
-next question is how to deal with dwarak
+Next question is "how to deal with Dvorak
00:01:13.119 --> 00:01:15.759
-dwarjak or however that's pronounced
+or however that's pronounced.
00:01:15.759 --> 00:01:16.960
-this is always bug me
+This has always bugged me.
00:01:16.960 --> 00:01:20.400
-is there an x-mod map mode so the thing
+Is there an Xmodmap mode?" So the thing
00:01:20.400 --> 00:01:22.400
-with this is it's kind of surprising but
+with this is it's kind of surprising, but
00:01:22.400 --> 00:01:23.360
-although vim
+although Vim
00:01:23.360 --> 00:01:26.000
-was originally developed um you know
+was originally developed
00:01:26.000 --> 00:01:27.200
with the idea of
00:01:27.200 --> 00:01:29.520
-the key bindings being on the home rule
+the key bindings being on the home row,
00:01:29.520 --> 00:01:32.000
it turns out that that is actually not a
@@ -127,55 +122,55 @@ it turns out that that is actually not a
major aspect
00:01:33.119 --> 00:01:36.400
-of the vim editing experience so
+of the Vim editing experience, so
00:01:36.400 --> 00:01:38.560
-people who use the dvorak layout
+people who use the Dvorak layout
00:01:38.560 --> 00:01:40.720
actually end up using the same keys as
00:01:40.720 --> 00:01:42.640
-they do on the normal qwerty layout so
+they do on the normal QWERTY layout, so
00:01:42.640 --> 00:01:44.720
-they don't remap anything
+they don't remap anything,
00:01:44.720 --> 00:01:48.159
-because the uh the the sort of
+because
00:01:48.159 --> 00:01:51.040
-the power that vim or the the
+the power that Vim--or the
00:01:51.040 --> 00:01:52.240
-flexibility the
+flexibility, the
00:01:52.240 --> 00:01:55.600
-spiral that bim enables on qwerty layout
+spiral that Vim enables on QWERTY-layout
00:01:55.600 --> 00:01:56.880
keyboards is exactly
00:01:56.880 --> 00:01:58.719
-preserved even on a door jack keyboard
+preserved, even on a Dvorak keyboard,
00:01:58.719 --> 00:01:59.920
-even though you your
+even though your
00:01:59.920 --> 00:02:01.920
-fingers are not in the same positions
+fingers are not in the same positions.
00:02:01.920 --> 00:02:04.399
-it's not a big deal actually
+It's not a big deal, actually.
00:02:04.399 --> 00:02:09.119
-um and then I mostly use default model
+"I mostly use default model
00:02:09.119 --> 00:02:10.879
provided by vanilla Emacs and work and
00:02:10.879 --> 00:02:12.319
-org mode for text editing can you give
+Org Mode for text editing. Can you give
00:02:12.319 --> 00:02:13.840
me some examples
@@ -184,43 +179,40 @@ me some examples
of how the user can use the concept of
00:02:15.920 --> 00:02:17.280
-mode mode
+"mode of mode"
00:02:17.280 --> 00:02:20.840
-to do some interesting
+to do some interesting editing?
00:02:20.840 --> 00:02:24.640
-um so probably the main thing would be
-
-00:02:24.640 --> 00:02:25.120
-the
+Probably the main thing would be
00:02:25.120 --> 00:02:27.920
-the keystrokes would be less uh
+the keystrokes would be less
00:02:27.920 --> 00:02:28.959
-contrived
+contrived.
00:02:28.959 --> 00:02:32.080
-so they the the fewer modes you have
+The fewer modes you have,
00:02:32.080 --> 00:02:36.560
the more modifiers you need
00:02:36.560 --> 00:02:39.840
-in order to um do whatever it is that
+in order to do whatever it is that
00:02:39.840 --> 00:02:41.280
-you're trying to do because you've got
+you're trying to do, because you've got,
00:02:41.280 --> 00:02:44.800
-essentially with a max model you've got
+essentially, with the Emacs model, you've got
00:02:44.800 --> 00:02:48.080
a completely flat
00:02:48.080 --> 00:02:50.959
-keyboard structure and so all of the
+keyboard structure. So all of the
00:02:50.959 --> 00:02:52.160
different things that you might
@@ -229,13 +221,13 @@ different things that you might
want to express are all mapped to a flat
00:02:55.680 --> 00:02:58.720
-keyboard uh set of keys
+keyboard, a set of keys.
00:02:58.720 --> 00:03:02.840
-so with um with this kind of
+With this kind of
00:03:02.840 --> 00:03:06.400
-modal structure the more modes you have
+modal structure, the more modes you have,
00:03:06.400 --> 00:03:09.200
the more the individual keystrokes
@@ -244,13 +236,13 @@ the more the individual keystrokes
become
00:03:10.400 --> 00:03:13.200
-shorter and shorter so that could be one
+shorter and shorter. That could be one
00:03:13.200 --> 00:03:14.959
-benefit that would be provided
+benefit that would be provided.
00:03:14.959 --> 00:03:17.519
-with many modes your keystrokes would
+With many modes, your keystrokes would
00:03:17.519 --> 00:03:18.000
generally
@@ -259,103 +251,103 @@ generally
be a single keystroke long for even
00:03:20.080 --> 00:03:22.080
-relatively complex tasks
+relatively complex tasks,
00:03:22.080 --> 00:03:24.159
because you're setting the context
00:03:24.159 --> 00:03:25.440
-beforehand
+beforehand.
00:03:25.440 --> 00:03:27.200
-so you already say oh I'm going to be
+So you already say, "Oh, I'm going to be
00:03:27.200 --> 00:03:30.840
-talking about this org buffer
+talking about this Org buffer
00:03:30.840 --> 00:03:33.440
-agenda and then
+agenda," and then
00:03:33.440 --> 00:03:36.319
-um the all the keystrokes that you do at
+all the keystrokes that you do at
00:03:36.319 --> 00:03:39.599
-that point would be in relation to that
+that point would be in relation to that.
00:03:39.599 --> 00:03:42.159
-um okay I think we have time for like
+(Amin: I think we have time for like
00:03:42.159 --> 00:03:44.080
-one more short question
+one more short question.)
00:03:44.080 --> 00:03:46.879
-one more short question okay let's see
+One more short question... Okay, let's see.
00:03:46.879 --> 00:03:48.879
-how do new modes come into existence you
+"How do new modes come into existence?" You
00:03:48.879 --> 00:03:50.400
-can make them yourself
+can make them yourself,
00:03:50.400 --> 00:03:53.040
-um and you can specify them in Emacs
+and you can specify them in Emacs
00:03:53.040 --> 00:03:53.760
-lisp
+Lisp
00:03:53.760 --> 00:03:56.159
-if you like but there's also simple you
+if you like, but there's also a simple way.
00:03:56.159 --> 00:03:59.040
-can also do it visually as we did
+You can also do it visually as we did.
00:03:59.040 --> 00:04:02.720
-um but the yeah defining them
+But yeah, defining them
00:04:02.720 --> 00:04:04.799
-is essentially built on top of hydra but
+is essentially built on top of Hydra, but
00:04:04.799 --> 00:04:07.519
-it could also be built on top of evil or
+it could also be built on top of Evil or
00:04:07.519 --> 00:04:09.120
-any other modal interface provider
+any other modal interface provider.
00:04:09.120 --> 00:04:12.840
-there's an abstraction layer
+There's an abstraction layer.
00:04:12.840 --> 00:04:15.920
-okay thank you so much for your talk and
+(Amin: Okay. Thank you so much for your talk and
00:04:15.920 --> 00:04:17.919
-for the live q a
+for the live Q&A.)
00:04:17.919 --> 00:04:21.440
-sure thank you yes feel free to um take
+Sure, thank you. (Amin: Feel free to take
00:04:21.440 --> 00:04:22.880
up the rest of the questions either via
00:04:22.880 --> 00:04:23.759
-irc or
+IRC or
00:04:23.759 --> 00:04:25.680
on the pad on on your own time off the
00:04:25.680 --> 00:04:26.960
-stream
+stream.)
00:04:26.960 --> 00:04:28.639
-perfect yeah I'll go ahead and put in
+Perfect. Yeah, I'll go ahead and put in
00:04:28.639 --> 00:04:30.000
-some answers there
+some answers there.
00:04:30.000 --> 00:04:32.240
-awesome thank you all right thank you
+(Amin: Awesome, thank you.) All right, thank you.
00:04:32.240 --> 00:04:33.120
-have a good one
+Have a good one.
00:04:33.120 --> 00:04:36.880
-thanks you too
+(Amin: Thanks you too)
diff --git a/2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--sid-kasivajhula-autogen.vtt b/2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--sid-kasivajhula.vtt
index e4508034..14913a32 100644
--- a/2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--sid-kasivajhula-autogen.vtt
+++ b/2020/subtitles/emacsconf-2020--07-beyond-vim-and-emacs-a-scalable-ui-paradigm--sid-kasivajhula.vtt
@@ -1,10 +1,10 @@
WEBVTT
00:00:02.960 --> 00:00:04.960
-far away in the heavenly abode of the
+"Far away in the heavenly abode of the
00:00:04.960 --> 00:00:06.560
-great god indra
+great god Indra,
00:00:06.560 --> 00:00:08.320
there is a wonderful net which has been
@@ -16,40 +16,40 @@ hung by some cunning artificer
in such a manner that it stretches out
00:00:12.080 --> 00:00:14.320
-infinitely in all directions
+infinitely in all directions.
00:00:14.320 --> 00:00:15.920
-in accordance with the extravagant
+In accordance with the extravagant
00:00:15.920 --> 00:00:18.240
-tastes of deities the artificer has hung
+tastes of deities, the artificer has hung
00:00:18.240 --> 00:00:20.960
a single glittering jewel in each eye of
00:00:20.960 --> 00:00:22.080
-the net
+the net,
00:00:22.080 --> 00:00:24.000
-and since the net itself is infinite the
+and since the net itself is infinite, the
00:00:24.000 --> 00:00:26.480
-jewels are infinite in number
+jewels are infinite in number.
00:00:26.480 --> 00:00:28.400
-there hang the jewels glittering like
+There hang the jewels, glittering like
00:00:28.400 --> 00:00:30.480
-stars in the first magnitude
+stars in the first magnitude,
00:00:30.480 --> 00:00:33.440
-a wonderful sight to behold were we to
+a wonderful sight to behold. Were we to
00:00:33.440 --> 00:00:34.800
select one of these jewels for
00:00:34.800 --> 00:00:35.680
-inspection
+inspection,
00:00:35.680 --> 00:00:37.760
we would discover that in its polished
@@ -58,13 +58,13 @@ we would discover that in its polished
surface there are reflected
00:00:39.520 --> 00:00:41.920
-all the other jewels in the net infinite
+all the other jewels in the net, infinite
00:00:41.920 --> 00:00:43.360
-in number
+in number.
00:00:43.360 --> 00:00:45.600
-if we look still more closely we would
+If we look still more closely, we would
00:00:45.600 --> 00:00:47.840
see that each of the jewels reflected in
@@ -73,19 +73,19 @@ see that each of the jewels reflected in
this one jewel
00:00:48.960 --> 00:00:52.239
-reflects all the others this is the
+reflects all the others." This is the
00:00:52.239 --> 00:00:54.000
-metaphor of indra's net
+metaphor of Indra's Net,
00:00:54.000 --> 00:00:56.840
which is told in some schools of
00:00:56.840 --> 00:00:59.359
-philosophy let's keep this metaphor in
+philosophy. Let's keep this metaphor in
00:00:59.359 --> 00:01:00.160
-mind
+mind,
00:01:00.160 --> 00:01:01.920
because it'll help us understand the
@@ -94,31 +94,28 @@ because it'll help us understand the
Emacs extension that we're about to
00:01:03.760 --> 00:01:06.960
-discuss
+discuss.
00:01:06.960 --> 00:01:10.080
-so in editing text there's two
+In editing text, there's two
00:01:10.080 --> 00:01:13.200
-main paradigms one
+main paradigms: one
00:01:13.200 --> 00:01:16.880
-is um editing at the ground level
+is editing at the ground level,
00:01:16.880 --> 00:01:19.439
where the characters that we type
00:01:19.439 --> 00:01:22.159
-actually appear on the screen
+actually appear on the screen,
00:01:22.159 --> 00:01:25.960
-the changes we make actually occur
-
-00:01:25.960 --> 00:01:28.479
-[Music]
+the changes we make actually occur.
00:01:28.479 --> 00:01:30.720
-the other editing paradigm is where we
+The other editing paradigm is where we
00:01:30.720 --> 00:01:33.439
escape to a higher level
@@ -127,31 +124,31 @@ escape to a higher level
and now the characters that we type are
00:01:36.000 --> 00:01:36.479
-not
+not...
00:01:36.479 --> 00:01:39.040
-they don't actually appear on the screen
+They don't actually appear on the screen
00:01:39.040 --> 00:01:41.600
because we're not at the ground level
00:01:41.600 --> 00:01:44.799
-with the text we are at a higher level
+with the text, we are at a higher level
00:01:44.799 --> 00:01:48.479
looking down at the text
00:01:48.479 --> 00:01:51.920
-and regarding the text referring to
+and regarding the text, referring to
00:01:51.920 --> 00:01:54.640
this world of text in terms of a
00:01:54.640 --> 00:01:56.159
-language
+language.
00:01:56.159 --> 00:01:57.920
-for instance we could describe this
+For instance, we could describe this
00:01:57.920 --> 00:02:00.640
world as having words and paragraphs and
@@ -160,7 +157,7 @@ world as having words and paragraphs and
sentences and
00:02:02.079 --> 00:02:04.640
-lines and so on and we could reason
+lines and so on. We could reason
00:02:04.640 --> 00:02:05.360
about this
@@ -172,43 +169,43 @@ text in terms of these
textual entities and this textual
00:02:11.440 --> 00:02:13.120
-language
+language.
00:02:13.120 --> 00:02:15.920
-this is the second paradigm of text
+This is the second paradigm of text
00:02:15.920 --> 00:02:18.640
-editing
+editing.
00:02:18.640 --> 00:02:22.800
-and when we're in the second paradigm
+When we're in the second paradigm,
00:02:22.800 --> 00:02:24.800
there is a way to go down to ground
00:02:24.800 --> 00:02:26.480
-level you hit enter
+level. You hit Enter
00:02:26.480 --> 00:02:28.160
-now or we'll hit enter to go down to the
+now--or we'll hit Enter to go down to the
00:02:28.160 --> 00:02:30.480
-ground level and you can hit escape
+ground level, and you can hit Escape
00:02:30.480 --> 00:02:33.200
-to go back out to the referential level
+to go back out to the referential level.
00:02:33.200 --> 00:02:35.200
-enter to go down to ground level
+Enter to go down to ground level
00:02:35.200 --> 00:02:37.280
-and escape to go up to the referential
+and Escape to go up to the referential
00:02:37.280 --> 00:02:40.160
-level
+level.
00:02:40.160 --> 00:02:44.879
-now in vim the nouns
+Now, in Vim, the nouns
00:02:44.879 --> 00:02:48.239
in this world of text all
@@ -220,34 +217,34 @@ share the same referential plane which
we call
00:02:51.519 --> 00:02:54.319
-normal mode so in normal mode all of the
+normal mode. So in normal mode, all of the
00:02:54.319 --> 00:02:54.959
nouns
00:02:54.959 --> 00:02:57.360
-of the world of text are available
+of the world of text are available,
00:02:57.360 --> 00:02:58.959
whether it's words or sentences or
00:02:58.959 --> 00:03:00.959
-paragraphs
+paragraphs,
00:03:00.959 --> 00:03:04.400
and they all share this same
00:03:04.400 --> 00:03:08.319
-referential plane and there's uh
+referential plane.
00:03:08.319 --> 00:03:11.120
-they sort of compete for space on the
+They compete for space on the
00:03:11.120 --> 00:03:12.720
-keyboard
+keyboard.
00:03:12.720 --> 00:03:15.760
-um so an alternative uh
+An alternative
00:03:15.760 --> 00:03:17.680
way to structure these modes is instead
@@ -256,19 +253,19 @@ way to structure these modes is instead
of having a single mode where all the
00:03:19.280 --> 00:03:21.840
-nouns coexist
+nouns coexist,
00:03:21.840 --> 00:03:24.959
-peacefully or otherwise you instead
+peacefully or otherwise, you instead
00:03:24.959 --> 00:03:30.400
-have a dedicated mode for every noun
+have a dedicated mode for every noun.
00:03:30.400 --> 00:03:33.040
-so in that case what happens is because
+In that case, what happens is because
00:03:33.040 --> 00:03:35.440
-your modal spaces are now much smaller
+your modal spaces are now much smaller,
00:03:35.440 --> 00:03:37.280
you're just talking about words or
@@ -277,34 +274,34 @@ you're just talking about words or
paragraphs or
00:03:38.720 --> 00:03:42.560
-lines or something the keys that you use
+lines or something, the keys that you use
00:03:42.560 --> 00:03:45.760
-can be much more targeted
+can be much more targeted.
00:03:45.760 --> 00:03:48.560
-and you can use the same keystrokes in
+You can use the same keystrokes in
00:03:48.560 --> 00:03:50.400
in all of your modes and they would have
00:03:50.400 --> 00:03:52.000
-the same ideas behind them but
+the same ideas behind them, but
00:03:52.000 --> 00:03:53.280
they would have different effects
00:03:53.280 --> 00:03:55.519
-depending on which context you're using
+depending on which context you're using.
00:03:55.519 --> 00:03:57.519
-so it's the same keystrokes different
+It's the same keystrokes, different
00:03:57.519 --> 00:03:59.120
-contexts
+contexts.
00:03:59.120 --> 00:04:01.360
-and the advantage of that is it's often
+The advantage of that is it's often
00:04:01.360 --> 00:04:02.480
easier
@@ -313,136 +310,121 @@ easier
to change context than it is to
00:04:05.519 --> 00:04:09.040
-learn new key bindings so let's see
+learn new key bindings. So let's see
00:04:09.040 --> 00:04:12.080
-an example of how that works we go into
+an example of how that works. We go into
00:04:12.080 --> 00:04:13.680
-character mode and if you look at the
-
-00:04:13.680 --> 00:04:14.000
-mode
+character mode, and if you look at the
-00:04:14.000 --> 00:04:15.439
-line at the bottom of the screen there
+00:04:13.680 --> 00:04:15.439
+mode line at the bottom of the screen there,
00:04:15.439 --> 00:04:18.720
-you'll see that we're in character mode
+you'll see that we're in character mode.
00:04:18.720 --> 00:04:21.519
-and now when we move up down left and
+Now, when we move up, down, left, and
00:04:21.519 --> 00:04:23.919
-right we're moving by character
+right, we're moving by character.
00:04:23.919 --> 00:04:28.479
-we can also transform the text and
+We can also transform the text, and
00:04:28.479 --> 00:04:30.240
the transformations occur in terms of
00:04:30.240 --> 00:04:32.400
-character
+character.
00:04:32.400 --> 00:04:34.320
-you can also go into word mode and in
+You can also go into word mode. In
00:04:34.320 --> 00:04:35.520
-word mode
+word mode,
00:04:35.520 --> 00:04:38.560
the transformations that you do are on
00:04:38.560 --> 00:04:40.000
-words
+words.
00:04:40.000 --> 00:04:42.320
-and you try you your movement is also in
+and you try... Your movement is also in
00:04:42.320 --> 00:04:43.440
-terms of words
+terms of words.
00:04:43.440 --> 00:04:45.600
-so that's the level of granularity that
+So that's the level of granularity that
00:04:45.600 --> 00:04:46.560
-you have
+you have.
00:04:46.560 --> 00:04:49.520
-you could also go to line mode and when
+You could also go to line mode. When
00:04:49.520 --> 00:04:50.720
-you're in line mode
+you're in line mode,
00:04:50.720 --> 00:04:53.759
-you go up and down by line and you can
+you go up and down by line, and you can
00:04:53.759 --> 00:04:54.240
-move
+move lines
00:04:54.240 --> 00:04:57.520
-lines up and down left and right and so
-
-00:04:57.520 --> 00:04:59.120
-on
+up and down left and right and so on.
00:04:59.120 --> 00:05:00.880
-and the transformations you do are in
+The transformations you do are in
00:05:00.880 --> 00:05:02.800
-terms of lines
+terms of lines.
00:05:02.800 --> 00:05:08.400
-you could also go to window mode where
+You could also go to window mode, where
00:05:08.400 --> 00:05:10.639
now the objects that you're referring to
00:05:10.639 --> 00:05:12.400
-are windows and you can
+are windows. You can
00:05:12.400 --> 00:05:15.759
move spatially amongst the windows or
00:05:15.759 --> 00:05:17.520
-make do transformations on the windows
+do transformations on the windows
00:05:17.520 --> 00:05:20.850
-using the same keystrokes
-
-00:05:20.850 --> 00:05:22.840
-[Music]
-
-00:05:22.840 --> 00:05:25.360
-um
+using the same keystrokes.
00:05:25.360 --> 00:05:28.720
-so let's go to
+So let's go to...
00:05:28.720 --> 00:05:32.800
-um right and so um the one of the things
+Right. One of the things,
00:05:32.800 --> 00:05:35.280
-the the principles that play here is
+the principles that play here is
00:05:35.280 --> 00:05:36.880
-something called the rumpelstiltskin
+something called the Rumpelstiltskin
00:05:36.880 --> 00:05:38.000
-principle which is something
+principle, which is something
00:05:38.000 --> 00:05:40.720
-that's known in computer science which
+that's known in computer science.
00:05:40.720 --> 00:05:42.320
-is that if you can name something then
-
-00:05:42.320 --> 00:05:43.759
-you have that you have power
+If you can name something, then
00:05:43.759 --> 00:05:46.720
-then you have power over it so this is
+you have power over it. This is
00:05:46.720 --> 00:05:48.560
kind of an adaptation of that principle
@@ -454,25 +436,22 @@ which says that if you can
name something and if you can talk about
00:05:52.320 --> 00:05:54.000
-it then it's a noun
-
-00:05:54.000 --> 00:05:55.360
-[Music]
+it, then it's a noun
00:05:55.360 --> 00:05:56.960
-in your editing language and if it's a
+in your editing language. If it's a
00:05:56.960 --> 00:05:58.960
-noun then it has
+noun, then it has...
00:05:58.960 --> 00:06:01.520
-it's a mode so if we can talk about it
+It's a mode. So if we can talk about it,
00:06:01.520 --> 00:06:02.319
-it's a noun
+it's a noun.
00:06:02.319 --> 00:06:05.039
-if it's a noun then it's a mode and one
+If it's a noun, then it's a mode. One
00:06:05.039 --> 00:06:06.479
of the things we've been talking a lot
@@ -481,19 +460,19 @@ of the things we've been talking a lot
about
00:06:07.039 --> 00:06:10.800
-is modes so in fact
+is modes. In fact,
00:06:10.800 --> 00:06:14.240
-uh by this principle modes also
+by this principle, modes also
00:06:14.240 --> 00:06:17.280
-should be a mode
+should be a mode.
00:06:17.280 --> 00:06:19.039
-you should have a mode that can reason
+You should have a mode that can reason
00:06:19.039 --> 00:06:21.120
-in terms of modes as objects just like
+in terms of modes as objects, just like
00:06:21.120 --> 00:06:22.080
you have
@@ -502,16 +481,16 @@ you have
modes where you can reason in terms of
00:06:23.759 --> 00:06:26.560
-words or lines as objects
+words or lines as objects.
00:06:26.560 --> 00:06:28.800
-and so let's do that let's go to mode
+So let's do that. Let's go to mode
00:06:28.800 --> 00:06:30.479
-mode
+mode.
00:06:30.479 --> 00:06:34.000
-when you go to mode mode you see that uh
+When you go to mode mode, you see that
00:06:34.000 --> 00:06:36.080
the objects that are depicted here are
@@ -520,16 +499,16 @@ the objects that are depicted here are
the modes that are
00:06:37.919 --> 00:06:40.960
-that are present in the buffer
+present in the buffer,
00:06:40.960 --> 00:06:44.880
-which we knew about um because the
+which we knew about because the
00:06:44.880 --> 00:06:46.400
style of editing that we had in this
00:06:46.400 --> 00:06:48.720
-buffer was the vim style of editing
+buffer was the Vim style of editing
00:06:48.720 --> 00:06:50.479
where there's an insert mode at the
@@ -538,55 +517,52 @@ where there's an insert mode at the
ground level and a normal mode that you
00:06:52.400 --> 00:06:53.039
-can escape
+can escape to.
00:06:53.039 --> 00:06:57.280
-to you insert enter the ground level
+You insert, enter the ground level.
00:06:57.280 --> 00:07:00.479
-enter to the insert mode and escape to
+Enter to the insert mode and escape to
00:07:00.479 --> 00:07:02.880
-normal mode and when you look at the
+normal mode. When you look at the
00:07:02.880 --> 00:07:03.680
mode mode
00:07:03.680 --> 00:07:06.160
-representation you see that in fact that
+representation, you see that in fact that
00:07:06.160 --> 00:07:10.479
-is the structure that's depicted
+is the structure that's depicted.
00:07:10.479 --> 00:07:12.720
-but in different situations you might
+But in different situations, you might
00:07:12.720 --> 00:07:14.080
find
00:07:14.080 --> 00:07:16.080
-that you that these modes are not the
+that these modes are not the
00:07:16.080 --> 00:07:17.680
-ones that you want you want something
+ones that you want. You want something
00:07:17.680 --> 00:07:19.360
more tailored for the specific
00:07:19.360 --> 00:07:20.880
-application
+application.
00:07:20.880 --> 00:07:23.050
-for instance if you're editing
-
-00:07:23.050 --> 00:07:24.240
-[Music]
+For instance, if you're editing
00:07:24.240 --> 00:07:27.360
-lisp code uh or or code in general but
+Lisp code (or code in general, but
00:07:27.360 --> 00:07:30.880
-list code is a particular example
+Lisp code is a particular example),
00:07:30.880 --> 00:07:32.960
you might want to take advantage of the
@@ -595,10 +571,10 @@ you might want to take advantage of the
structure of
00:07:34.000 --> 00:07:37.599
-the code and for lisp code in particular
+the code. For Lisp code in particular,
00:07:37.599 --> 00:07:40.960
-we have a mode called symax mode
+we have a mode called symex-mode
00:07:40.960 --> 00:07:44.240
which is able to reason
@@ -607,79 +583,79 @@ which is able to reason
about your code in terms of its tree
00:07:46.720 --> 00:07:47.919
-structure
+structure.
00:07:47.919 --> 00:07:50.560
-so you can use the same keystrokes hkl
+So you can use the same keystrokes: hjkl
00:07:50.560 --> 00:07:51.120
goes
00:07:51.120 --> 00:07:53.440
-left right up and down but you also have
+left, right, up, and down, but you also have
00:07:53.440 --> 00:07:54.960
other keystrokes that are more
00:07:54.960 --> 00:07:58.080
-specialized to the application
+specialized to the application.
00:07:58.080 --> 00:08:01.520
-and you can run the code and
+You can run the code.
00:08:01.520 --> 00:08:06.960
-we'll see that happen here in a minute
+We'll see that happen here in a minute.
00:08:06.960 --> 00:08:10.080
-and you can make changes to it really
+You can make changes to it really
00:08:10.080 --> 00:08:12.240
quickly
00:08:12.240 --> 00:08:18.000
-and see the effects of those changes
+and see the effects of those changes.
00:08:18.000 --> 00:08:19.440
-and you're doing this all in a mode
+You're doing this all in a mode
00:08:19.440 --> 00:08:21.360
that's convenient for
00:08:21.360 --> 00:08:23.199
-this particular application which is
+this particular application, which is
00:08:23.199 --> 00:08:25.039
-editing lisp code
+editing Lisp code,
00:08:25.039 --> 00:08:28.960
-and that is in this case symmex mode
+and that is, in this case, symex-mode.
00:08:28.960 --> 00:08:31.039
-so typically when you're editing code
+Typically, when you're editing code
00:08:31.039 --> 00:08:32.640
-like this you'd want to be
+like this, you'd want to be
00:08:32.640 --> 00:08:34.800
in insert mode actually typing out the
00:08:34.800 --> 00:08:36.640
-code
+code,
00:08:36.640 --> 00:08:38.320
-and then you'd want to escape to simex
+and then you'd want to escape to symex
00:08:38.320 --> 00:08:40.959
-mode rather than normal mode
+mode rather than normal mode,
00:08:40.959 --> 00:08:42.159
and then you could escape again and
00:08:42.159 --> 00:08:44.080
-you'd end up in normal mode
+you'd end up in normal mode.
00:08:44.080 --> 00:08:46.720
-so this if we go to mode mode we see is
+So this, if we go to mode mode, we see is
00:08:46.720 --> 00:08:48.000
depicted
@@ -688,112 +664,109 @@ depicted
as this tower where insert is at the
00:08:51.040 --> 00:08:52.800
-bottom and normal is at the top but
+bottom and normal is at the top, but
00:08:52.800 --> 00:08:54.800
-symmex mode is in between
+symex-mode is in between
00:08:54.800 --> 00:08:57.200
-the two you could also change that if
+the two. You could also change that if
00:08:57.200 --> 00:08:58.800
-you like if you don't want cmx mode to
+you like. If you don't want symex-mode to
00:08:58.800 --> 00:09:00.640
-be there you could just
+be there, you could just
00:09:00.640 --> 00:09:03.760
-move it to the top and now you find some
+move it to the top. Now you find symex is
00:09:03.760 --> 00:09:05.600
-mixes at the top and you enter down to
+at the top and you enter down to
00:09:05.600 --> 00:09:06.160
-normal
+normal.
00:09:06.160 --> 00:09:07.600
-you can see it on the status bar at the
+You can see it on the status bar at the
00:09:07.600 --> 00:09:10.480
-bottom there enter to insert
+bottom there. Enter to insert,
00:09:10.480 --> 00:09:13.839
-escape to normal escape to symmex and
+escape to normal, escape to symex.
00:09:13.839 --> 00:09:16.480
-in fact you can even add more modes if
+In fact, you can even add more modes if
00:09:16.480 --> 00:09:19.380
-you don't like the existing ones
-
-00:09:19.380 --> 00:09:21.519
-[Music]
+you don't like the existing ones.
00:09:21.519 --> 00:09:23.839
-and now we have an additional mode here
+Now we have an additional mode here.
00:09:23.839 --> 00:09:25.440
-we have window mode it goes down to
+We have window mode. It goes down to
00:09:25.440 --> 00:09:27.519
-symmex goes down to normal
+symex, it goes down to normal.
00:09:27.519 --> 00:09:30.320
-enter the insert escape to normal escape
+Enter the insert, escape to normal, escape
00:09:30.320 --> 00:09:33.600
-to smx escape the window
+to symex, escape to window.
00:09:33.600 --> 00:09:37.600
-um so we've talked okay so another thing
+So we've talked... Okay, so another thing
00:09:37.600 --> 00:09:41.760
actually to note here is that in editing
00:09:41.760 --> 00:09:45.360
-modes um
+modes,
00:09:45.360 --> 00:09:46.720
if you look at the mode line at the
00:09:46.720 --> 00:09:48.399
-bottom of the screen
+bottom of the screen,
00:09:48.399 --> 00:09:50.640
-you'll see that we are currently in this
+you'll see that we are currently, in this
00:09:50.640 --> 00:09:51.519
-buffer
+buffer,
00:09:51.519 --> 00:09:54.560
-we are currently in line mode
+we are currently in line mode.
00:09:54.560 --> 00:09:57.600
-and I'm going to hit enter now and
+I'm going to hit Enter now and
00:09:57.600 --> 00:09:58.720
you'll see that when I hit
00:09:58.720 --> 00:10:01.519
-enter nothing is happening it's still in
+Enter, nothing is happening. It's still in
00:10:01.519 --> 00:10:02.160
-line mode
+line mode.
00:10:02.160 --> 00:10:05.120
-if you'd escape it's still in line mode
+If you hit Escape, it's still in line mode.
00:10:05.120 --> 00:10:07.200
-and you can find out the reason for that
+You can find out the reason for that
00:10:07.200 --> 00:10:10.640
-by taking another meta jump out of this
+by taking another meta jump out of this.
00:10:10.640 --> 00:10:12.800
-and you'll see that in fact the reason
+You'll see that, in fact, the reason
00:10:12.800 --> 00:10:15.279
-is that we're currently in line mode
+is that we're currently in line mode,
00:10:15.279 --> 00:10:17.360
and line mode is the only one available
@@ -805,112 +778,106 @@ in this tower
for editing the modes that are in
00:10:21.760 --> 00:10:24.880
-operation in your ground level
+operation in your ground level.
00:10:24.880 --> 00:10:26.560
-and in fact line mode is all you need
+In fact, line mode is all you need
00:10:26.560 --> 00:10:28.320
-here because this is just
+here, because this is just
00:10:28.320 --> 00:10:30.320
-uh the nature of how these modes are
+the nature of how these modes are
00:10:30.320 --> 00:10:32.079
laid out is
00:10:32.079 --> 00:10:35.040
-in in rows and so line mode is the most
+in rows. So line mode is the most
00:10:35.040 --> 00:10:36.399
-appropriate thing here
+appropriate thing here.
00:10:36.399 --> 00:10:37.680
-but you could change it to something
+But you could change it to something
00:10:37.680 --> 00:10:39.740
-else if you like
-
-00:10:39.740 --> 00:10:40.959
-[Music]
+else if you like.
00:10:40.959 --> 00:10:44.160
-and then now we've seen two towers we've
+Now we've seen two towers. We've
00:10:44.160 --> 00:10:44.560
seen
00:10:44.560 --> 00:10:48.079
-the vim tower and we've seen
+the Vim tower and we've seen
00:10:48.079 --> 00:10:53.680
-also the symex tower the the lisp tower
+also the symex tower, the Lisp tower.
00:10:53.680 --> 00:10:56.959
-and it turns out that because we've been
+It turns out that, because we've been
00:10:56.959 --> 00:10:58.880
-talking about towers now
+talking about towers now,
00:10:58.880 --> 00:11:01.519
-by the rumpelstiltskin principle towers
+by the rumpelstiltskin principle, towers
00:11:01.519 --> 00:11:02.800
also
00:11:02.800 --> 00:11:06.399
-um can be talked about
+can be talked about,
00:11:06.399 --> 00:11:09.279
-and therefore they also are a mode so
+and therefore they also are a mode. So
00:11:09.279 --> 00:11:11.200
-how do we go to tower mode
+how do we go to tower mode?
00:11:11.200 --> 00:11:14.640
-and the way we go tower mode is we do
+The way we go to tower mode is
00:11:14.640 --> 00:11:19.200
-we go in a slightly different direction
+we go in a slightly different direction,
00:11:19.200 --> 00:11:20.800
and we find that we are now in tower
00:11:20.800 --> 00:11:23.360
-mode
+mode.
00:11:23.360 --> 00:11:27.440
-and we see that there are many towers
+We see that there are many towers
00:11:27.440 --> 00:11:29.279
-available so we're now
+available. We're now...
00:11:29.279 --> 00:11:32.640
-we're we're seeing several possible
+We're seeing several possible
00:11:32.640 --> 00:11:36.240
towers that we have written
00:11:36.240 --> 00:11:39.120
-um to be available and for use in
+to be available and for use in
00:11:39.120 --> 00:11:41.440
-different buffers and you can edit them
+different buffers. You can edit them
00:11:41.440 --> 00:11:44.000
-on the fly for instance let's enter this
+on the fly. For instance, let's enter this
00:11:44.000 --> 00:11:46.630
-tower
-
-00:11:46.630 --> 00:11:48.000
-[Music]
+tower.
00:11:48.000 --> 00:11:49.920
-and now you see that in the bottom of
+Now you see that in the bottom of
00:11:49.920 --> 00:11:51.519
-the in the mode line you see that we're
+the... In the mode line, you see that we're
00:11:51.519 --> 00:11:52.480
going
@@ -919,49 +886,49 @@ going
across all of these different modes that
00:11:54.240 --> 00:11:56.480
-were in the tower
+were in the tower.
00:11:56.480 --> 00:11:58.800
-and you could escape and you could even
+You could escape and you could even
00:11:58.800 --> 00:12:00.399
-move things around you could put window
+move things around. You could put window
00:12:00.399 --> 00:12:00.880
mode
00:12:00.880 --> 00:12:02.399
-all the way at the bottom right above
+all the way at the bottom, right above
00:12:02.399 --> 00:12:04.079
-insert mode
+insert mode.
00:12:04.079 --> 00:12:06.880
-let's see that happen there it is window
+Let's see that happen. There it is, window
00:12:06.880 --> 00:12:09.839
-is right above insert
+is right above insert, and
00:12:09.839 --> 00:12:13.040
-so on and the tower always reflects your
+so on. The tower always reflects your
00:12:13.040 --> 00:12:14.240
-current position
+current position,
00:12:14.240 --> 00:12:15.760
so if you're in buffer mode here and you
00:12:15.760 --> 00:12:17.600
-go down to line mode
+go down to line mode,
00:12:17.600 --> 00:12:19.120
-when you go back to mode mode you see
+when you go back to mode mode, you see
00:12:19.120 --> 00:12:22.480
-that we are in line mode
+that we are in line mode.
00:12:22.480 --> 00:12:24.000
-but in practice you wouldn't have a
+But in practice, you wouldn't have a
00:12:24.000 --> 00:12:26.160
tower this elaborate because
@@ -970,49 +937,49 @@ tower this elaborate because
you'd rather have several smaller towers
00:12:28.959 --> 00:12:29.440
-you
+you enter,
00:12:29.440 --> 00:12:33.360
-enter that you alternate between
+that you alternate between.
00:12:33.360 --> 00:12:36.639
-um okay so one
+Okay. So one
00:12:36.639 --> 00:12:39.839
other thing of interest here is that
00:12:39.839 --> 00:12:42.240
-when you're in tower mode
+when you're in tower mode,
00:12:42.240 --> 00:12:43.839
if you look at the status line at the
00:12:43.839 --> 00:12:45.920
-bottom there we are currently
+bottom there, we are currently
00:12:45.920 --> 00:12:49.200
in buffer mode while we are in tower
00:12:49.200 --> 00:12:49.839
-mode
+mode.
00:12:49.839 --> 00:12:51.600
-and tower mode actually isn't a mode
+Tower mode actually isn't a mode
00:12:51.600 --> 00:12:53.519
-really neither is mode mode they're
+really. Neither is mode mode. They're
00:12:53.519 --> 00:12:53.920
really
00:12:53.920 --> 00:12:58.000
-referential planes or meta planes
+referential planes or meta planes.
00:12:58.000 --> 00:13:00.959
-um in any case you can see that we're in
+In any case, you can see that we're in
00:13:00.959 --> 00:13:03.120
-buffer mode and we can take a meta jump
+buffer mode. We can take a meta jump
00:13:03.120 --> 00:13:04.560
out of this to confirm
@@ -1030,76 +997,67 @@ when we're editing towers because that's
the one
00:13:11.200 --> 00:13:14.240
-we need given that our towers are
+we need, given that our towers are
00:13:14.240 --> 00:13:15.200
represented
00:13:15.200 --> 00:13:23.200
-in individual buffers
+in individual buffers.
00:13:23.200 --> 00:13:26.000
-right so let's uh let's see where we're
+Right. So let's see where we're
00:13:26.000 --> 00:13:26.320
-at
+at.
00:13:26.320 --> 00:13:28.240
-trump's still skin principle we talked
+Rumpelstiltskin principle... We talked
00:13:28.240 --> 00:13:30.160
-about mode mode
+about mode mode.
00:13:30.160 --> 00:13:32.240
-um we talked about the strange loop
+We talked about the strange loop
00:13:32.240 --> 00:13:33.920
application of
00:13:33.920 --> 00:13:37.820
-ground level modes in meta levels
-
-00:13:37.820 --> 00:13:39.600
-[Music]
+ground level modes in meta levels.
00:13:39.600 --> 00:13:42.240
-and yeah we saw the different towers and
+We saw the different towers, and
00:13:42.240 --> 00:13:43.199
-in fact
+in fact,
00:13:43.199 --> 00:13:46.639
-you can we're currently in
+we're currently in
00:13:46.639 --> 00:13:50.720
-vim tower
+Vim tower,
00:13:50.720 --> 00:13:53.120
-where you can go to Emacs tower and now
+where you can go to Emacs tower. Now,
00:13:53.120 --> 00:13:54.720
-with a single keystroke you can
+with a single keystroke, you can
00:13:54.720 --> 00:13:55.760
alternate
00:13:55.760 --> 00:13:59.040
-between e-max
+between Emacs
00:13:59.040 --> 00:14:02.399
-and vim which are represented which are
+and Vim, which are represented--which are
00:14:02.399 --> 00:14:05.519
-modeled as towers
-
-00:14:05.519 --> 00:14:09.279
-um
-
-00:14:09.279 --> 00:14:13.360
-okay so
+modeled as towers.
00:14:13.360 --> 00:14:15.360
-so there's uh the one thing that we've
+So there's... One thing that we've
00:14:15.360 --> 00:14:17.040
sort of alluded to is that there are two
@@ -1111,49 +1069,49 @@ directions
that you can travel in when you're going
00:14:20.480 --> 00:14:22.399
-through this framework
+through this framework.
00:14:22.399 --> 00:14:25.120
-one lev one direction is uh and we'll
+One direction is--and we'll
00:14:25.120 --> 00:14:33.760
-visualize it with uh like so
+visualize it like so...
00:14:33.760 --> 00:14:35.120
-there's two directions you can travel
+There's two directions you can travel,
00:14:35.120 --> 00:14:37.040
and you can either go sideways or you
00:14:37.040 --> 00:14:38.399
-can go up and down
+can go up and down.
00:14:38.399 --> 00:14:40.399
-if you go sideways you're changing your
+If you go sideways, you're changing your
00:14:40.399 --> 00:14:41.680
-perspective
+perspective.
00:14:41.680 --> 00:14:45.440
-so normal mode word mode line mode
+So normal mode, word mode, line mode,
00:14:45.440 --> 00:14:47.360
-window mode and so on are all different
+window mode, and so on are all different
00:14:47.360 --> 00:14:49.120
-perspectives on your under on your
+perspectives on your
00:14:49.120 --> 00:14:51.680
-ground editing experience
+ground editing experience.
00:14:51.680 --> 00:14:53.040
-and the other direction you can travel
+The other direction you can travel
00:14:53.040 --> 00:14:55.519
-in is up or down which takes you
+in is up or down, which takes you
00:14:55.519 --> 00:14:57.920
-through meta levels so you go from the
+through meta levels. So you go from the
00:14:57.920 --> 00:14:59.600
ground level editing experience
@@ -1165,19 +1123,19 @@ up to mode mode and then up to the tower
plane and so on
00:15:03.440 --> 00:15:07.040
-or uh yeah and so on
+and so on.
00:15:07.040 --> 00:15:10.800
-um yeah so this all sounds
+So this all sounds
00:15:10.800 --> 00:15:14.880
-very complex but the truth is
+very complex, but the truth is
00:15:14.880 --> 00:15:18.160
it's not really that complicated
00:15:18.160 --> 00:15:21.519
-even though it feels that way the reason
+even though it feels that way. The reason
00:15:21.519 --> 00:15:22.959
it isn't that complicated
@@ -1189,7 +1147,7 @@ is because no matter how many levels
up or down you go and no matter where
00:15:28.800 --> 00:15:30.160
-you are
+you are,
00:15:30.160 --> 00:15:32.399
whether you're in at the ground level
@@ -1198,43 +1156,43 @@ whether you're in at the ground level
editing the actual text
00:15:34.079 --> 00:15:36.000
-or whether you're at a meta level some
+or whether you're at a meta level, some
00:15:36.000 --> 00:15:37.600
unknown meta level and you don't know
00:15:37.600 --> 00:15:39.279
-where you are
+where you are,
00:15:39.279 --> 00:15:42.320
-no matter where you are the way in which
+no matter where you are, the way in which
00:15:42.320 --> 00:15:44.399
you interact with it
00:15:44.399 --> 00:15:47.519
-is the same at every level
+is the same at every level.
00:15:47.519 --> 00:15:52.000
-and that is the great power of um
+That is the great power of
00:15:52.000 --> 00:15:55.440
-this approach is that
+this approach: that
00:15:55.440 --> 00:15:58.720
-all of the different levels um are the
+all of the different levels are the
00:15:58.720 --> 00:16:00.880
-same
+same.
00:16:00.880 --> 00:16:03.839
-and in fact the complexity of the whole
+In fact, the complexity of the whole
00:16:03.839 --> 00:16:05.759
is exactly identical to the
00:16:05.759 --> 00:16:08.720
-complexity of each part so if you know
+complexity of each part, so if you know
00:16:08.720 --> 00:16:10.000
how to edit words
@@ -1246,7 +1204,7 @@ in the ground level buffer and you know
how to move
00:16:13.440 --> 00:16:15.839
-lines around using line mode then you
+lines around using line mode, then you
00:16:15.839 --> 00:16:16.720
know how to edit
@@ -1255,49 +1213,40 @@ know how to edit
any aspect of your editing experience at
00:16:19.519 --> 00:16:22.800
-any level
-
-00:16:22.800 --> 00:16:23.310
-so
-
-00:16:23.310 --> 00:16:26.240
-[Music]
-
-00:16:26.240 --> 00:16:30.079
-um
+any level.
00:16:30.079 --> 00:16:32.000
-so this is a pre-release demo this
+So this is a pre-release demo. This
00:16:32.000 --> 00:16:33.839
-doesn't exist on melpa
+doesn't exist on MELPA
00:16:33.839 --> 00:16:36.880
-yet but you can follow updates um
+yet, but you can follow updates
00:16:36.880 --> 00:16:40.079
-at this repo on github
+at this repo on github.
00:16:40.079 --> 00:16:44.079
-and if you can also be a beta tester or
+If you can also be a beta tester or
00:16:44.079 --> 00:16:45.199
-something like that if you like that
+something like that, if you like, that
00:16:45.199 --> 00:16:46.000
would be very
00:16:46.000 --> 00:16:49.199
-uh helpful and you can learn more about
+helpful. You can learn more about
00:16:49.199 --> 00:16:50.560
this at
00:16:50.560 --> 00:16:53.920
-dream.org which is where I house
+drym.org, which is where I house
00:16:53.920 --> 00:16:55.920
-the research that I work on and in
+the research that I work on. In
00:16:55.920 --> 00:16:57.279
particular
@@ -1306,13 +1255,13 @@ particular
the research on epistemic levels is what
00:17:00.800 --> 00:17:03.600
-inspired this particular Emacs extension
+inspired this particular Emacs extension.
00:17:03.600 --> 00:17:06.480
-you can also learn about dialectical
+You can also learn about dialectical
00:17:06.480 --> 00:17:08.480
-inheritance attribution which is the
+inheritance attribution, which is the
00:17:08.480 --> 00:17:10.880
basis of
@@ -1324,13 +1273,13 @@ a new economic system that could be fair
and could lead to a prosperous and happy
00:17:16.959 --> 00:17:19.439
-world
+world.
00:17:19.439 --> 00:17:22.799
-and um yeah you can follow me on
+You can follow me on
00:17:22.799 --> 00:17:26.319
-twitter at countwajoula and
+Twitter at @countvajhula.
00:17:26.319 --> 00:17:31.919
-that's it thank you
+That's it! Thank you.