Add recent translations

Author: 3b1b

2021/some1/english/captions.srt

@@ -1388,11 +1388,11 @@ Now the way I do things is with programmatic animations.
 
 348
 00:18:55,560 --> 00:18:58,240
-I sort of wrote this custom library called Manum to do that.
+I sort of wrote this custom library called Manim to do that.
 
 349
 00:18:58,660 --> 00:19:02,369
-And last year, actually, a group of people that called themselves the Manum 
+And last year, actually, a group of people that called themselves the Manim 
 
 350
 00:19:02,369 --> 00:19:06,420
@@ -1416,7 +1416,7 @@ actually a lot easier than it used to be.
 
 355
 00:19:16,960 --> 00:19:20,822
-There's some other libraries that I've seen that mention Manum as an inspiration, 
+There's some other libraries that I've seen that mention Manim as an inspiration, 
 
 356
 00:19:20,822 --> 00:19:23,460
@@ -1452,7 +1452,7 @@ But it doesn't have to be.
 
 364
 00:19:46,460 --> 00:19:50,505
-And a lot of times people use Manum or other programmatic animations for things that do 
+And a lot of times people use Manim or other programmatic animations for things that do 
 
 365
 00:19:50,505 --> 00:19:54,642
@@ -1500,7 +1500,7 @@ something like that.
 
 376
 00:20:28,220 --> 00:20:30,858
-Also, I see a lot of people use Manum to manipulate 
+Also, I see a lot of people use Manim to manipulate 
 
 377
 00:20:30,858 --> 00:20:33,040

2021/some1/english/sentence_timings.json

@@ -740,12 +740,12 @@
   1135.16
  ],
  [
-  "I sort of wrote this custom library called Manum to do that.",
+  "I sort of wrote this custom library called Manim to do that.",
   1135.56,
   1138.24
  ],
  [
-  "And last year, actually, a group of people that called themselves the Manum Community created a fork of it with the hope of making it a lot more user-friendly.",
+  "And last year, actually, a group of people that called themselves the Manim Community created a fork of it with the hope of making it a lot more user-friendly.",
   1138.66,
   1146.42
  ],
@@ -765,7 +765,7 @@
   1156.62
  ],
  [
-  "There's some other libraries that I've seen that mention Manum as an inspiration, you know, one that's written in Julia or one in Haskell.",
+  "There's some other libraries that I've seen that mention Manim as an inspiration, you know, one that's written in Julia or one in Haskell.",
   1156.96,
   1163.46
  ],
@@ -790,7 +790,7 @@
   1186.36
  ],
  [
-  "And a lot of times people use Manum or other programmatic animations for things that do not need to be programmatic, that you could have easily done in something like Keynote or which add flashiness for flashiness's sake that doesn't actually aid with the explanation.",
+  "And a lot of times people use Manim or other programmatic animations for things that do not need to be programmatic, that you could have easily done in something like Keynote or which add flashiness for flashiness's sake that doesn't actually aid with the explanation.",
   1186.46,
   1198.78
  ],
@@ -815,7 +815,7 @@
   1227.74
  ],
  [
-  "Also, I see a lot of people use Manum to manipulate algebraic expressions and things like that.",
+  "Also, I see a lot of people use Manim to manipulate algebraic expressions and things like that.",
   1228.22,
   1233.04
  ],

2021/some1/english/transcript.txt

@@ -146,22 +146,22 @@ The first one, which again I acknowledge is very hypocritical here, is sound qua
 The learner will appreciate a respite from all that with something that actually comes from a good microphone that you learned how to use at some point. 
 On the side of visuals, you know, I'm obviously a big believer in the idea that a well-chosen illustration or an animation can really make a mathematical idea a lot more clear and be an example of that concretization and kind of going from the lower layer of abstraction on upward by just showing exactly what it is on screen in some way. 
 Now the way I do things is with programmatic animations. 
-I sort of wrote this custom library called Manum to do that. 
-And last year, actually, a group of people that called themselves the Manum Community created a fork of it with the hope of making it a lot more user-friendly. 
+I sort of wrote this custom library called Manim to do that. 
+And last year, actually, a group of people that called themselves the Manim Community created a fork of it with the hope of making it a lot more user-friendly. 
 And I think they succeeded with that. 
 There's a lot better documentation, it's better tested, just all around friendlier to use. 
 So you can use that tool and thanks to them, it's actually a lot easier than it used to be. 
-There's some other libraries that I've seen that mention Manum as an inspiration, you know, one that's written in Julia or one in Haskell. 
+There's some other libraries that I've seen that mention Manim as an inspiration, you know, one that's written in Julia or one in Haskell. 
 And it doesn't have to be programmatic either. 
 I think where programmatic animations make sense for math is if you're somehow leveraging loops or conditionals or layers of abstraction. 
 And in the right context, I think it can be a wonderful way to let the visuals authentically reflect the math that you're describing, if the code is essentially just that math as it's illustrating things. 
 But it doesn't have to be. 
-And a lot of times people use Manum or other programmatic animations for things that do not need to be programmatic, that you could have easily done in something like Keynote or which add flashiness for flashiness's sake that doesn't actually aid with the explanation. 
+And a lot of times people use Manim or other programmatic animations for things that do not need to be programmatic, that you could have easily done in something like Keynote or which add flashiness for flashiness's sake that doesn't actually aid with the explanation. 
 I think one really good example of using traditional animation software is the channel Boerbach Tree. 
 So he really has these friendly handwritten kind of whiteboard lectures, but uses animation to help those whiteboards come alive. 
 And he uses Adobe Animate for that. 
 And I think it's a really nice way to make this friendly hand-drawn environment come to life, which is different from kind of the platonic, stark, this is precisely what the math would draw when you're illustrating a surface or something like that. 
-Also, I see a lot of people use Manum to manipulate algebraic expressions and things like that. 
+Also, I see a lot of people use Manim to manipulate algebraic expressions and things like that. 
 But if you look at other videos, things like Mathologer, you know, he's doing a lot of that in PowerPoint.
 And again, content is king. 
 The first thing is to focus on what are you actually describing and then just showing it, however, is easiest to show it in that case works totally fine. 

2021/some1/english/word_timings.json

@@ -912,15 +912,15 @@ that if we fast forward to today, so many of the entries in this contest use tha
 
 229
 00:13:35,072 --> 00:13:36,800
-Manum, to illustrate their lessons.
+Manim, to illustrate their lessons.
 
 230
 00:13:37,460 --> 00:13:39,704
 I have nothing wrong with that, it actually delights me, 
 
 231
 00:13:39,704 --> 00:13:42,343
-it's why I made it open source, and I'm very grateful to the Manum 
+it's why I made it open source, and I'm very grateful to the Manim 
 
 232
 00:13:42,343 --> 00:13:45,140

2022/some2-results/english/captions.srt

@@ -450,12 +450,12 @@
   806.78
  ],
  [
-  "This means there's at least a little hint of irony in the fact that if we fast forward to today, so many of the entries in this contest use that tool, Manum, to illustrate their lessons.",
+  "This means there's at least a little hint of irony in the fact that if we fast forward to today, so many of the entries in this contest use that tool, Manim, to illustrate their lessons.",
   807.62,
   816.8
  ],
  [
-  "I have nothing wrong with that, it actually delights me, it's why I made it open source, and I'm very grateful to the Manum community for everything they've done to make the tool more accessible.",
+  "I have nothing wrong with that, it actually delights me, it's why I made it open source, and I'm very grateful to the Manim community for everything they've done to make the tool more accessible.",
   817.46,
   825.14
  ],

2022/some2-results/english/sentence_timings.json

@@ -88,8 +88,8 @@ Moving on to novelty, this is another category that has two distinct interpretat
 One would be stylistic originality. 
 Back when I created this channel, part of the reason I wrote my own animation tool behind it was to ensure a kind of stylistic originality. 
 Well, the main reason was it was a fun side project, and having my hands deep into the guts of some tool helped me to feel less constrained in trying to visualize whatever came to mind, but being a forcing function for originality was at least a small part of my reasoning. 
-This means there's at least a little hint of irony in the fact that if we fast forward to today, so many of the entries in this contest use that tool, Manum, to illustrate their lessons. 
-I have nothing wrong with that, it actually delights me, it's why I made it open source, and I'm very grateful to the Manum community for everything they've done to make the tool more accessible. 
+This means there's at least a little hint of irony in the fact that if we fast forward to today, so many of the entries in this contest use that tool, Manim, to illustrate their lessons. 
+I have nothing wrong with that, it actually delights me, it's why I made it open source, and I'm very grateful to the Manim community for everything they've done to make the tool more accessible. 
 But I would still encourage people to find their own unique voice and aesthetic, whatever tools they use, and whoever they take inspiration from. 
 I don't want to overemphasize that point because it's the much less important half of novelty, the much more important kind of novelty is when the thing you present would have been very hard to find elsewhere on the internet, either because it's a highly unique topic or because it's a very unique perspective. 
 For example, this video on percolation showed a completely fascinating toy model for studying phase changes, a model where it's easier to make exact proofs, and considering the level of depth and the level of clarity the authors provided, I think it's fair to say you wouldn't find something like this on YouTube if this group hadn't made it.