WEBVTT Kind: captions Language: en 00:00:01.070 --> 00:00:17.310 align:start position:0% [Applause] 00:00:17.310 --> 00:00:17.320 align:start position:0% 00:00:17.320 --> 00:00:27.480 align:start position:0% technical<00:00:18.320> and<00:00:18.500> full<00:00:18.800> of<00:00:18.980> complications 00:00:27.480 --> 00:00:27.490 align:start position:0% 00:00:27.490 --> 00:00:32.920 align:start position:0% second<00:00:28.490> research<00:00:28.910> and<00:00:29.180> try<00:00:29.600> to<00:00:31.930> balance 00:00:32.920 --> 00:00:32.930 align:start position:0% second research and try to balance 00:00:32.930 --> 00:00:35.799 align:start position:0% second research and try to balance tracks<00:00:33.800> for<00:00:34.129> people's<00:00:34.699> messages<00:00:35.120> as 00:00:35.799 --> 00:00:35.809 align:start position:0% tracks for people's messages as 00:00:35.809 --> 00:00:38.979 align:start position:0% tracks for people's messages as explorers<00:00:36.770> of<00:00:37.730> the<00:00:37.970> limitations<00:00:38.720> of<00:00:38.870> the 00:00:38.979 --> 00:00:38.989 align:start position:0% explorers of the limitations of the 00:00:38.989 --> 00:00:45.600 align:start position:0% explorers of the limitations of the tools<00:00:39.230> views<00:00:40.600> somewhat<00:00:41.979> so<00:00:43.900> implications<00:00:44.900> I 00:00:45.600 --> 00:00:45.610 align:start position:0% tools views somewhat so implications I 00:00:45.610 --> 00:00:48.219 align:start position:0% tools views somewhat so implications I am<00:00:46.610> cooking<00:00:46.879> a<00:00:47.059> four-course<00:00:47.239> wasn't<00:00:47.870> like<00:00:48.110> an 00:00:48.219 --> 00:00:48.229 align:start position:0% am cooking a four-course wasn't like an 00:00:48.229 --> 00:00:52.689 align:start position:0% am cooking a four-course wasn't like an abstract<00:00:48.860> thing<00:00:49.040> not<00:00:49.940> such<00:00:50.269> as<00:00:51.699> extra 00:00:52.689 --> 00:00:52.699 align:start position:0% abstract thing not such as extra 00:00:52.699 --> 00:00:55.869 align:start position:0% abstract thing not such as extra computation<00:00:53.680> and<00:00:54.680> the<00:00:55.129> name<00:00:55.430> of<00:00:55.549> Thomas 00:00:55.869 --> 00:00:55.879 align:start position:0% computation and the name of Thomas 00:00:55.879 --> 00:00:59.710 align:start position:0% computation and the name of Thomas inspired<00:00:56.809> by<00:00:57.080> great<00:00:57.860> work<00:00:58.129> by<00:00:58.460> on<00:00:58.970> that<00:00:59.180> way<00:00:59.360> to 00:00:59.710 --> 00:00:59.720 align:start position:0% inspired by great work by on that way to 00:00:59.720 --> 00:01:07.060 align:start position:0% inspired by great work by on that way to support<00:01:00.019> for<00:01:01.720> 20,000<00:01:02.720> circulation<00:01:05.229> since<00:01:06.229> one 00:01:07.060 --> 00:01:07.070 align:start position:0% support for 20,000 circulation since one 00:01:07.070 --> 00:01:10.570 align:start position:0% support for 20,000 circulation since one first<00:01:07.430> technical<00:01:08.299> aspect<00:01:08.750> of<00:01:09.490> whatever<00:01:10.490> we 00:01:10.570 --> 00:01:10.580 align:start position:0% first technical aspect of whatever we 00:01:10.580 --> 00:01:13.359 align:start position:0% first technical aspect of whatever we want<00:01:11.360> to<00:01:11.479> try<00:01:11.750> to<00:01:12.140> build<00:01:12.380> an<00:01:12.619> so<00:01:12.860> that<00:01:13.100> all 00:01:13.359 --> 00:01:13.369 align:start position:0% want to try to build an so that all 00:01:13.369 --> 00:01:16.240 align:start position:0% want to try to build an so that all system<00:01:13.909> the<00:01:14.840> most<00:01:14.960> like<00:01:15.200> reported<00:01:15.710> around<00:01:15.980> I 00:01:16.240 --> 00:01:16.250 align:start position:0% system the most like reported around I 00:01:16.250 --> 00:01:24.550 align:start position:0% system the most like reported around I believe<00:01:16.280> all<00:01:18.160> of<00:01:21.340> its<00:01:22.340> operating<00:01:22.820> system<00:01:23.560> and 00:01:24.550 --> 00:01:24.560 align:start position:0% believe all of its operating system and 00:01:24.560 --> 00:01:27.580 align:start position:0% believe all of its operating system and become<00:01:25.070> the<00:01:25.610> heart<00:01:26.240> to<00:01:26.570> solve<00:01:26.810> it<00:01:26.930> is<00:01:27.110> hard<00:01:27.410> way 00:01:27.580 --> 00:01:27.590 align:start position:0% become the heart to solve it is hard way 00:01:27.590 --> 00:01:30.620 align:start position:0% become the heart to solve it is hard way where<00:01:27.890> the<00:01:28.370> protocols<00:01:28.910> the<00:01:29.390> coders 00:01:30.620 --> 00:01:30.630 align:start position:0% where the protocols the coders 00:01:30.630 --> 00:01:34.460 align:start position:0% where the protocols the coders and<00:01:30.720> he<00:01:31.159> can<00:01:32.159> be<00:01:32.340> very<00:01:32.369> specified<00:01:33.470> for 00:01:34.460 --> 00:01:34.470 align:start position:0% and he can be very specified for 00:01:34.470 --> 00:01:37.490 align:start position:0% and he can be very specified for modification<00:01:35.310> and<00:01:36.210> unfortunately<00:01:36.869> it's 00:01:37.490 --> 00:01:37.500 align:start position:0% modification and unfortunately it's 00:01:37.500 --> 00:01:41.149 align:start position:0% modification and unfortunately it's courtesy<00:01:38.009> and<00:01:38.310> respect<00:01:38.810> implementation<00:01:40.159> and 00:01:41.149 --> 00:01:41.159 align:start position:0% courtesy and respect implementation and 00:01:41.159 --> 00:01:45.289 align:start position:0% courtesy and respect implementation and then<00:01:41.310> there's<00:01:41.520> some<00:01:41.820> aspect<00:01:42.360> of<00:01:44.299> systems 00:01:45.289 --> 00:01:45.299 align:start position:0% then there's some aspect of systems 00:01:45.299 --> 00:01:48.530 align:start position:0% then there's some aspect of systems rebuilding<00:01:46.080> sort<00:01:47.070> of<00:01:47.130> produce<00:01:47.880> communities 00:01:48.530 --> 00:01:48.540 align:start position:0% rebuilding sort of produce communities 00:01:48.540 --> 00:01:51.620 align:start position:0% rebuilding sort of produce communities that<00:01:48.750> produce<00:01:48.899> organizations<00:01:50.360> so<00:01:51.360> it's<00:01:51.479> very 00:01:51.620 --> 00:01:51.630 align:start position:0% that produce organizations so it's very 00:01:51.630 --> 00:01:54.880 align:start position:0% that produce organizations so it's very much<00:01:52.190> important<00:01:53.190> topic<00:01:53.580> to<00:01:53.759> take<00:01:54.000> care<00:01:54.180> of 00:01:54.880 --> 00:01:54.890 align:start position:0% much important topic to take care of 00:01:54.890 --> 00:01:58.370 align:start position:0% much important topic to take care of when<00:01:55.890> you<00:01:56.009> try<00:01:56.250> to<00:01:56.310> pull<00:01:56.549> apart<00:01:56.670> also<00:01:57.229> think<00:01:58.229> of 00:01:58.370 --> 00:01:58.380 align:start position:0% when you try to pull apart also think of 00:01:58.380 --> 00:02:02.859 align:start position:0% when you try to pull apart also think of what<00:01:59.100> sort<00:01:59.700> of<00:01:59.789> plate<00:01:59.970> system<00:02:00.930> able<00:02:01.590> to<00:02:01.830> build 00:02:02.859 --> 00:02:02.869 align:start position:0% what sort of plate system able to build 00:02:02.869 --> 00:02:06.139 align:start position:0% what sort of plate system able to build and<00:02:03.869> also<00:02:04.289> more<00:02:04.950> importantly<00:02:05.009> what<00:02:05.850> sort<00:02:06.119> of 00:02:06.139 --> 00:02:06.149 align:start position:0% and also more importantly what sort of 00:02:06.149 --> 00:02:11.500 align:start position:0% and also more importantly what sort of accidents<00:02:07.489> before<00:02:08.489> goal<00:02:08.910> for<00:02:09.750> example<00:02:10.400> like 00:02:11.500 --> 00:02:11.510 align:start position:0% accidents before goal for example like 00:02:11.510 --> 00:02:15.440 align:start position:0% accidents before goal for example like the<00:02:12.510> nice<00:02:12.690> station<00:02:13.380> protocol<00:02:14.120> and<00:02:15.120> all<00:02:15.239> of<00:02:15.360> a 00:02:15.440 --> 00:02:15.450 align:start position:0% the nice station protocol and all of a 00:02:15.450 --> 00:02:18.080 align:start position:0% the nice station protocol and all of a sudden<00:02:15.830> they're<00:02:16.830> like<00:02:17.130> it's<00:02:17.850> quite 00:02:18.080 --> 00:02:18.090 align:start position:0% sudden they're like it's quite 00:02:18.090 --> 00:02:21.009 align:start position:0% sudden they're like it's quite successful<00:02:18.540> over<00:02:19.140> some<00:02:19.380> much<00:02:20.010> much<00:02:20.280> less 00:02:21.009 --> 00:02:21.019 align:start position:0% successful over some much much less 00:02:21.019 --> 00:02:24.610 align:start position:0% successful over some much much less protection<00:02:22.019> on<00:02:22.260> Shane<00:02:22.500> myself<00:02:23.220> much<00:02:23.940> Oh 00:02:24.610 --> 00:02:24.620 align:start position:0% protection on Shane myself much Oh 00:02:24.620 --> 00:02:36.880 align:start position:0% protection on Shane myself much Oh what's<00:02:25.620> this<00:02:25.769> election<00:02:26.670> season<00:02:26.819> that<00:02:27.720> starts 00:02:36.880 --> 00:02:36.890 align:start position:0% 00:02:36.890 --> 00:02:39.050 align:start position:0% application<00:02:37.890> area<00:02:38.130> one<00:02:38.310> of<00:02:38.340> the<00:02:38.459> officers 00:02:39.050 --> 00:02:39.060 align:start position:0% application area one of the officers 00:02:39.060 --> 00:02:44.040 align:start position:0% application area one of the officers before<00:02:39.660> we<00:02:39.930> go<00:02:40.049> Geneva<00:02:40.350> Protocol<00:02:40.769> Roger 00:02:44.040 --> 00:02:44.050 align:start position:0% 00:02:44.050 --> 00:02:46.860 align:start position:0% I<00:02:44.080> cannot<00:02:44.440> change<00:02:44.710> market<00:02:45.130> maker<00:02:45.310> to<00:02:45.910> Newport 00:02:46.860 --> 00:02:46.870 align:start position:0% I cannot change market maker to Newport 00:02:46.870 --> 00:02:47.449 align:start position:0% I cannot change market maker to Newport hospital 00:02:47.449 --> 00:02:47.459 align:start position:0% hospital 00:02:47.459 --> 00:02:52.170 align:start position:0% hospital so<00:02:48.459> here<00:02:48.819> every<00:02:50.100> witness<00:02:51.120> would<00:02:52.120> be 00:02:52.170 --> 00:02:52.180 align:start position:0% so here every witness would be 00:02:52.180 --> 00:02:57.510 align:start position:0% so here every witness would be comfortable<00:02:52.840> I<00:02:53.170> think<00:02:53.880> most<00:02:54.880> people<00:02:56.490> that<00:02:57.490> I 00:02:57.510 --> 00:02:57.520 align:start position:0% comfortable I think most people that I 00:02:57.520 --> 00:03:02.610 align:start position:0% comfortable I think most people that I ask<00:02:57.940> not<00:02:58.930> technically<00:02:59.530> we're<00:03:00.810> asking<00:03:01.810> me<00:03:01.990> was 00:03:02.610 --> 00:03:02.620 align:start position:0% ask not technically we're asking me was 00:03:02.620 --> 00:03:05.880 align:start position:0% ask not technically we're asking me was one<00:03:02.920> called<00:03:03.130> a<00:03:03.340> have<00:03:04.000> this<00:03:04.240> notion<00:03:04.810> of<00:03:05.020> fosters 00:03:05.880 --> 00:03:05.890 align:start position:0% one called a have this notion of fosters 00:03:05.890 --> 00:03:09.260 align:start position:0% one called a have this notion of fosters record<00:03:06.280> formal<00:03:06.780> things<00:03:07.780> are<00:03:07.959> happening<00:03:08.290> to<00:03:08.320> me 00:03:09.260 --> 00:03:09.270 align:start position:0% record formal things are happening to me 00:03:09.270 --> 00:03:12.660 align:start position:0% record formal things are happening to me resource<00:03:10.270> of<00:03:10.540> the<00:03:10.660> earliest<00:03:11.050> English<00:03:11.670> like 00:03:12.660 --> 00:03:12.670 align:start position:0% resource of the earliest English like 00:03:12.670 --> 00:03:16.290 align:start position:0% resource of the earliest English like ancient<00:03:13.000> Greek<00:03:13.709> word<00:03:14.739> so<00:03:15.310> first<00:03:15.790> things<00:03:16.030> wrong 00:03:16.290 --> 00:03:16.300 align:start position:0% ancient Greek word so first things wrong 00:03:16.300 --> 00:03:18.210 align:start position:0% ancient Greek word so first things wrong and<00:03:16.739> then<00:03:17.739> later 00:03:18.210 --> 00:03:18.220 align:start position:0% and then later 00:03:18.220 --> 00:03:22.860 align:start position:0% and then later so<00:03:18.640> things<00:03:19.980> very<00:03:20.980> like<00:03:21.940> whatever<00:03:22.330> I<00:03:22.480> think 00:03:22.860 --> 00:03:22.870 align:start position:0% so things very like whatever I think 00:03:22.870 --> 00:03:27.210 align:start position:0% so things very like whatever I think we're<00:03:23.080> in<00:03:23.440> the<00:03:23.709> policy<00:03:24.600> if<00:03:25.600> like<00:03:26.220> awesome 00:03:27.210 --> 00:03:27.220 align:start position:0% we're in the policy if like awesome 00:03:27.220 --> 00:03:32.340 align:start position:0% we're in the policy if like awesome things<00:03:27.580> about<00:03:29.489> try<00:03:30.489> to<00:03:30.550> sort<00:03:31.480> of<00:03:31.510> give<00:03:32.320> us 00:03:32.340 --> 00:03:32.350 align:start position:0% things about try to sort of give us 00:03:32.350 --> 00:03:34.710 align:start position:0% things about try to sort of give us social<00:03:32.860> framework<00:03:33.040> to<00:03:33.519> human<00:03:34.120> reaction<00:03:34.660> if 00:03:34.710 --> 00:03:34.720 align:start position:0% social framework to human reaction if 00:03:34.720 --> 00:03:38.790 align:start position:0% social framework to human reaction if you<00:03:34.840> will<00:03:35.310> and<00:03:36.310> this<00:03:36.850> fortress<00:03:37.540> so<00:03:38.500> pretty 00:03:38.790 --> 00:03:38.800 align:start position:0% you will and this fortress so pretty 00:03:38.800 --> 00:03:42.150 align:start position:0% you will and this fortress so pretty nice<00:03:39.040> because<00:03:39.750> the<00:03:40.750> price<00:03:41.140> for<00:03:41.380> a<00:03:41.410> moment<00:03:41.890> the 00:03:42.150 --> 00:03:42.160 align:start position:0% nice because the price for a moment the 00:03:42.160 --> 00:03:45.780 align:start position:0% nice because the price for a moment the protocol<00:03:42.550> is<00:03:42.720> on<00:03:43.720> a<00:03:43.780> social<00:03:44.019> network<00:03:44.530> the<00:03:45.070> same 00:03:45.780 --> 00:03:45.790 align:start position:0% protocol is on a social network the same 00:03:45.790 --> 00:03:47.460 align:start position:0% protocol is on a social network the same thing<00:03:45.970> applies<00:03:46.269> protective<00:03:46.870> layers<00:03:47.170> also 00:03:47.460 --> 00:03:47.470 align:start position:0% thing applies protective layers also 00:03:47.470 --> 00:03:50.520 align:start position:0% thing applies protective layers also propose<00:03:48.070> of<00:03:48.250> an<00:03:48.340> X<00:03:48.570> and<00:03:49.570> the<00:03:49.720> self<00:03:49.989> promise 00:03:50.520 --> 00:03:50.530 align:start position:0% propose of an X and the self promise 00:03:50.530 --> 00:03:52.500 align:start position:0% propose of an X and the self promise means<00:03:50.950> those<00:03:51.190> people<00:03:51.220> who<00:03:51.730> are<00:03:51.880> closest<00:03:52.299> can 00:03:52.500 --> 00:03:52.510 align:start position:0% means those people who are closest can 00:03:52.510 --> 00:03:54.990 align:start position:0% means those people who are closest can make<00:03:52.660> to<00:03:52.989> relate<00:03:53.410> to<00:03:53.440> each<00:03:53.650> other<00:03:53.829> the<00:03:54.549> loss<00:03:54.790> of 00:03:54.990 --> 00:03:55.000 align:start position:0% make to relate to each other the loss of 00:03:55.000 --> 00:03:56.850 align:start position:0% make to relate to each other the loss of freedom<00:03:55.510> concentrating<00:03:56.110> a<00:03:56.170> contribution<00:03:56.500> to 00:03:56.850 --> 00:03:56.860 align:start position:0% freedom concentrating a contribution to 00:03:56.860 --> 00:03:59.150 align:start position:0% freedom concentrating a contribution to society<00:03:56.940> and<00:03:57.940> personal<00:03:58.420> and<00:03:58.480> professional 00:03:59.150 --> 00:03:59.160 align:start position:0% society and personal and professional 00:03:59.160 --> 00:04:02.039 align:start position:0% society and personal and professional portal<00:04:00.160> is<00:04:00.280> in<00:04:00.760> effect<00:04:01.150> the<00:04:01.540> frame<00:04:01.810> of<00:04:01.959> the 00:04:02.039 --> 00:04:02.049 align:start position:0% portal is in effect the frame of the 00:04:02.049 --> 00:04:11.020 align:start position:0% portal is in effect the frame of the picture<00:04:02.410> are<00:04:02.620> confident<00:04:04.079> Brazil<00:04:05.079> lost 00:04:11.020 --> 00:04:11.030 align:start position:0% 00:04:11.030 --> 00:04:14.650 align:start position:0% basically<00:04:11.990> the<00:04:12.620> pricing<00:04:13.190> service<00:04:13.360> and<00:04:14.360> sort 00:04:14.650 --> 00:04:14.660 align:start position:0% basically the pricing service and sort 00:04:14.660 --> 00:04:16.240 align:start position:0% basically the pricing service and sort of<00:04:14.720> like<00:04:14.900> describing<00:04:15.500> the<00:04:15.620> extra<00:04:15.860> content 00:04:16.240 --> 00:04:16.250 align:start position:0% of like describing the extra content 00:04:16.250 --> 00:04:23.410 align:start position:0% of like describing the extra content what's<00:04:20.620> the<00:04:21.640> sort<00:04:22.640> of<00:04:22.670> thing<00:04:22.850> that<00:04:22.880> then 00:04:23.410 --> 00:04:23.420 align:start position:0% what's the sort of thing that then 00:04:23.420 --> 00:04:25.990 align:start position:0% what's the sort of thing that then proposed<00:04:24.140> due<00:04:24.380> respect<00:04:24.860> this<00:04:25.010> or<00:04:25.250> facility 00:04:25.990 --> 00:04:26.000 align:start position:0% proposed due respect this or facility 00:04:26.000 --> 00:04:31.840 align:start position:0% proposed due respect this or facility may<00:04:26.180> never<00:04:26.570> billion<00:04:28.480> so<00:04:30.190> firm<00:04:31.190> cause<00:04:31.460> provide 00:04:31.840 --> 00:04:31.850 align:start position:0% may never billion so firm cause provide 00:04:31.850 --> 00:04:33.940 align:start position:0% may never billion so firm cause provide the<00:04:31.970> conditions<00:04:32.150> under<00:04:32.780> which<00:04:32.900> there<00:04:33.770> has 00:04:33.940 --> 00:04:33.950 align:start position:0% the conditions under which there has 00:04:33.950 --> 00:04:37.480 align:start position:0% the conditions under which there has been<00:04:34.160> formed<00:04:34.990> and<00:04:35.990> thus<00:04:36.290> they<00:04:36.620> also<00:04:36.770> shape 00:04:37.480 --> 00:04:37.490 align:start position:0% been formed and thus they also shape 00:04:37.490 --> 00:04:42.090 align:start position:0% been formed and thus they also shape sort<00:04:38.120> of<00:04:38.180> networks<00:04:38.600> can<00:04:38.930> be<00:04:38.960> built<00:04:40.420> so<00:04:41.420> it's 00:04:42.090 --> 00:04:42.100 align:start position:0% sort of networks can be built so it's 00:04:42.100 --> 00:04:46.659 align:start position:0% sort of networks can be built so it's only<00:04:43.100> recently<00:04:43.460> when<00:04:44.330> protocol<00:04:45.100> the<00:04:46.100> protocol 00:04:46.659 --> 00:04:46.669 align:start position:0% only recently when protocol the protocol 00:04:46.669 --> 00:04:50.170 align:start position:0% only recently when protocol the protocol so<00:04:46.940> provides<00:04:47.570> lack<00:04:47.930> of<00:04:48.169> services<00:04:48.880> there<00:04:49.880> are 00:04:50.170 --> 00:04:50.180 align:start position:0% so provides lack of services there are 00:04:50.180 --> 00:04:52.210 align:start position:0% so provides lack of services there are instances<00:04:50.660> like<00:04:51.200> implementations<00:04:52.010> of<00:04:52.100> a 00:04:52.210 --> 00:04:52.220 align:start position:0% instances like implementations of a 00:04:52.220 --> 00:04:57.100 align:start position:0% instances like implementations of a service<00:04:53.380> and<00:04:54.970> services<00:04:55.970> like<00:04:56.690> everybody 00:04:57.100 --> 00:04:57.110 align:start position:0% service and services like everybody 00:04:57.110 --> 00:04:59.380 align:start position:0% service and services like everybody knows<00:04:57.230> for<00:04:57.560> example<00:04:57.590> if<00:04:58.010> you<00:04:58.160> want<00:04:58.370> to<00:04:58.490> post<00:04:59.060> my 00:04:59.380 --> 00:04:59.390 align:start position:0% knows for example if you want to post my 00:04:59.390 --> 00:05:02.909 align:start position:0% knows for example if you want to post my what<00:05:00.140> their<00:05:01.010> losses<00:05:01.220> on<00:05:01.970> service<00:05:02.360> and<00:05:02.510> this 00:05:02.909 --> 00:05:02.919 align:start position:0% what their losses on service and this 00:05:02.919 --> 00:05:06.520 align:start position:0% what their losses on service and this was<00:05:03.919> an<00:05:04.070> information<00:05:04.630> was<00:05:05.630> for<00:05:05.870> a<00:05:06.050> night<00:05:06.230> life 00:05:06.520 --> 00:05:06.530 align:start position:0% was an information was for a night life 00:05:06.530 --> 00:05:09.310 align:start position:0% was an information was for a night life become<00:05:07.160> what's<00:05:07.400> most<00:05:08.360> likely<00:05:08.480> you<00:05:08.930> do<00:05:09.050> for 00:05:09.310 --> 00:05:09.320 align:start position:0% become what's most likely you do for 00:05:09.320 --> 00:05:11.620 align:start position:0% become what's most likely you do for whatever<00:05:09.580> different<00:05:10.580> protocols<00:05:11.000> but<00:05:11.210> Secret 00:05:11.620 --> 00:05:11.630 align:start position:0% whatever different protocols but Secret 00:05:11.630 --> 00:05:16.990 align:start position:0% whatever different protocols but Secret Service<00:05:12.050> is<00:05:12.200> the<00:05:12.260> same<00:05:14.560> services<00:05:15.560> so<00:05:15.910> sort<00:05:16.910> of 00:05:16.990 --> 00:05:17.000 align:start position:0% Service is the same services so sort of 00:05:17.000 --> 00:05:19.030 align:start position:0% Service is the same services so sort of define<00:05:17.330> it<00:05:17.660> strongly<00:05:17.990> visible<00:05:18.200> gave<00:05:18.650> her<00:05:18.830> a 00:05:19.030 --> 00:05:19.040 align:start position:0% define it strongly visible gave her a 00:05:19.040 --> 00:05:21.460 align:start position:0% define it strongly visible gave her a formal<00:05:19.760> surrender<00:05:19.910> some<00:05:20.690> black<00:05:21.020> box<00:05:21.320> and 00:05:21.460 --> 00:05:21.470 align:start position:0% formal surrender some black box and 00:05:21.470 --> 00:05:26.950 align:start position:0% formal surrender some black box and limitations<00:05:22.070> of<00:05:22.160> these<00:05:22.310> this<00:05:23.300> behavior<00:05:25.960> so 00:05:26.950 --> 00:05:26.960 align:start position:0% limitations of these this behavior so 00:05:26.960 --> 00:05:29.230 align:start position:0% limitations of these this behavior so let's<00:05:27.140> get<00:05:27.979> rid<00:05:28.130> were<00:05:28.340> irrelevant<00:05:28.700> to<00:05:29.090> the 00:05:29.230 --> 00:05:29.240 align:start position:0% let's get rid were irrelevant to the 00:05:29.240 --> 00:05:31.870 align:start position:0% let's get rid were irrelevant to the watching<00:05:29.990> contents<00:05:30.590> New<00:05:30.740> Mexico<00:05:31.310> they<00:05:31.700> work 00:05:31.870 --> 00:05:31.880 align:start position:0% watching contents New Mexico they work 00:05:31.880 --> 00:05:36.430 align:start position:0% watching contents New Mexico they work closely<00:05:32.110> what's<00:05:33.110> proposed<00:05:33.919> we<00:05:34.160> have<00:05:35.020> any<00:05:36.020> sort 00:05:36.430 --> 00:05:36.440 align:start position:0% closely what's proposed we have any sort 00:05:36.440 --> 00:05:39.370 align:start position:0% closely what's proposed we have any sort of<00:05:36.500> an<00:05:36.620> order<00:05:36.740> of<00:05:37.660> like<00:05:38.660> first<00:05:38.960> appearance 00:05:39.370 --> 00:05:39.380 align:start position:0% of an order of like first appearance 00:05:39.380 --> 00:05:41.890 align:start position:0% of an order of like first appearance resident<00:05:39.830> communicated<00:05:40.370> also<00:05:40.910> very<00:05:41.120> intimate 00:05:41.890 --> 00:05:41.900 align:start position:0% resident communicated also very intimate 00:05:41.900 --> 00:05:50.380 align:start position:0% resident communicated also very intimate the<00:05:42.560> graphically<00:05:43.310> many<00:05:45.520> novels<00:05:48.970> the<00:05:49.970> the 00:05:50.380 --> 00:05:50.390 align:start position:0% the graphically many novels the the 00:05:50.390 --> 00:05:52.480 align:start position:0% the graphically many novels the the interesting<00:05:50.750> thing<00:05:51.140> is<00:05:51.260> that<00:05:51.290> as<00:05:52.160> you<00:05:52.310> move 00:05:52.480 --> 00:05:52.490 align:start position:0% interesting thing is that as you move 00:05:52.490 --> 00:05:56.010 align:start position:0% interesting thing is that as you move from<00:05:52.669> left<00:05:53.450> to<00:05:54.169> right<00:05:54.410> you<00:05:54.800> sort<00:05:55.340> of<00:05:55.400> starts 00:05:56.010 --> 00:05:56.020 align:start position:0% from left to right you sort of starts 00:05:56.020 --> 00:05:58.490 align:start position:0% from left to right you sort of starts child<00:05:57.020> eyes 00:05:58.490 --> 00:05:58.500 align:start position:0% child eyes 00:05:58.500 --> 00:06:01.890 align:start position:0% child eyes sanity's<00:05:59.670> observe<00:06:00.670> the<00:06:01.150> try<00:06:01.420> to<00:06:01.480> distance 00:06:01.890 --> 00:06:01.900 align:start position:0% sanity's observe the try to distance 00:06:01.900 --> 00:06:04.830 align:start position:0% sanity's observe the try to distance aside<00:06:02.380> from<00:06:02.770> occasional<00:06:02.890> bolts<00:06:03.790> all<00:06:04.630> you 00:06:04.830 --> 00:06:04.840 align:start position:0% aside from occasional bolts all you 00:06:04.840 --> 00:06:06.810 align:start position:0% aside from occasional bolts all you assume<00:06:05.170> is<00:06:05.350> is<00:06:05.560> just<00:06:05.710> is<00:06:05.920> Elizabeth<00:06:06.400> Lhasa 00:06:06.810 --> 00:06:06.820 align:start position:0% assume is is just is Elizabeth Lhasa 00:06:06.820 --> 00:06:09.180 align:start position:0% assume is is just is Elizabeth Lhasa channel<00:06:07.300> their<00:06:07.690> every<00:06:07.990> adversary<00:06:08.500> serving 00:06:09.180 --> 00:06:09.190 align:start position:0% channel their every adversary serving 00:06:09.190 --> 00:06:12.480 align:start position:0% channel their every adversary serving spice<00:06:09.550> eurozone<00:06:10.500> the<00:06:11.500> shores<00:06:11.770> at<00:06:11.980> work<00:06:12.220> or 00:06:12.480 --> 00:06:12.490 align:start position:0% spice eurozone the shores at work or 00:06:12.490 --> 00:06:15.530 align:start position:0% spice eurozone the shores at work or like<00:06:12.910> during<00:06:13.390> a<00:06:13.950> normal<00:06:14.950> series 00:06:15.530 --> 00:06:15.540 align:start position:0% like during a normal series 00:06:15.540 --> 00:06:18.210 align:start position:0% like during a normal series thank<00:06:16.540> you<00:06:16.690> everyone<00:06:17.230> goes<00:06:17.620> on<00:06:17.770> the<00:06:17.890> second 00:06:18.210 --> 00:06:18.220 align:start position:0% thank you everyone goes on the second 00:06:18.220 --> 00:06:22.530 align:start position:0% thank you everyone goes on the second episode<00:06:18.910> of<00:06:19.030> military<00:06:19.600> wants<00:06:20.140> to<00:06:21.540> interrupt 00:06:22.530 --> 00:06:22.540 align:start position:0% episode of military wants to interrupt 00:06:22.540 --> 00:06:25.860 align:start position:0% episode of military wants to interrupt the<00:06:22.690> connection<00:06:23.230> they<00:06:23.740> want<00:06:23.980> to<00:06:24.130> maybe<00:06:24.870> Easter 00:06:25.860 --> 00:06:25.870 align:start position:0% the connection they want to maybe Easter 00:06:25.870 --> 00:06:28.650 align:start position:0% the connection they want to maybe Easter all<00:06:25.960> things<00:06:26.290> like<00:06:26.470> that<00:06:26.910> an<00:06:27.910> economic 00:06:28.650 --> 00:06:28.660 align:start position:0% all things like that an economic 00:06:28.660 --> 00:06:31.890 align:start position:0% all things like that an economic economic<00:06:29.170> protocol<00:06:29.860> system<00:06:30.280> adds<00:06:30.690> like<00:06:31.690> the 00:06:31.890 --> 00:06:31.900 align:start position:0% economic protocol system adds like the 00:06:31.900 --> 00:06:34.560 align:start position:0% economic protocol system adds like the biggest<00:06:32.590> economic<00:06:33.030> domestic<00:06:34.030> true<00:06:34.210> people 00:06:34.560 --> 00:06:34.570 align:start position:0% biggest economic domestic true people 00:06:34.570 --> 00:06:36.840 align:start position:0% biggest economic domestic true people get<00:06:34.900> their<00:06:35.050> actual<00:06:35.260> monetary<00:06:35.740> incentives<00:06:36.310> or 00:06:36.840 --> 00:06:36.850 align:start position:0% get their actual monetary incentives or 00:06:36.850 --> 00:06:40.890 align:start position:0% get their actual monetary incentives or whatever<00:06:37.300> Iike<00:06:37.660> a<00:06:37.960> vicious<00:06:39.690> animal 00:06:40.890 --> 00:06:40.900 align:start position:0% whatever Iike a vicious animal 00:06:40.900 --> 00:06:43.530 align:start position:0% whatever Iike a vicious animal what<00:06:41.320> sort<00:06:41.530> of<00:06:41.560> actors<00:06:41.920> or<00:06:42.730> protocols<00:06:43.300> breath 00:06:43.530 --> 00:06:43.540 align:start position:0% what sort of actors or protocols breath 00:06:43.540 --> 00:06:45.990 align:start position:0% what sort of actors or protocols breath out<00:06:44.410> first<00:06:44.680> aggression<00:06:45.100> listen<00:06:45.490> to<00:06:45.580> actress 00:06:45.990 --> 00:06:46.000 align:start position:0% out first aggression listen to actress 00:06:46.000 --> 00:06:49.290 align:start position:0% out first aggression listen to actress after<00:06:46.270> see<00:06:46.630> actors<00:06:46.990> they<00:06:47.170> are<00:06:48.090> one<00:06:49.090> that 00:06:49.290 --> 00:06:49.300 align:start position:0% after see actors they are one that 00:06:49.300 --> 00:06:51.300 align:start position:0% after see actors they are one that followed<00:06:49.870> and<00:06:50.140> so<00:06:50.260> at<00:06:50.410> work<00:06:50.620> while<00:06:50.830> even<00:06:51.070> if<00:06:51.160> it 00:06:51.300 --> 00:06:51.310 align:start position:0% followed and so at work while even if it 00:06:51.310 --> 00:06:54.510 align:start position:0% followed and so at work while even if it means<00:06:51.490> losing<00:06:52.240> like<00:06:52.990> tiny<00:06:53.710> amount<00:06:54.250> of<00:06:54.310> money 00:06:54.510 --> 00:06:54.520 align:start position:0% means losing like tiny amount of money 00:06:54.520 --> 00:07:00.240 align:start position:0% means losing like tiny amount of money or<00:06:54.790> whatever<00:06:55.780> or<00:06:57.270> basically<00:06:58.410> yeah<00:06:59.410> the 00:07:00.240 --> 00:07:00.250 align:start position:0% or whatever or basically yeah the 00:07:00.250 --> 00:07:02.190 align:start position:0% or whatever or basically yeah the rational<00:07:00.670> actors<00:07:01.000> are<00:07:01.210> the<00:07:01.510> ones<00:07:01.690> who 00:07:02.190 --> 00:07:02.200 align:start position:0% rational actors are the ones who 00:07:02.200 --> 00:07:06.300 align:start position:0% rational actors are the ones who traction<00:07:02.710> some<00:07:03.460> of<00:07:03.840> the<00:07:04.840> solutions<00:07:05.830> that<00:07:05.920> they 00:07:06.300 --> 00:07:06.310 align:start position:0% traction some of the solutions that they 00:07:06.310 --> 00:07:08.220 align:start position:0% traction some of the solutions that they want<00:07:06.520> to<00:07:06.760> have<00:07:07.300> the<00:07:07.420> best<00:07:07.570> place<00:07:07.870> so<00:07:07.900> it 00:07:08.220 --> 00:07:08.230 align:start position:0% want to have the best place so it 00:07:08.230 --> 00:07:11.410 align:start position:0% want to have the best place so it appears<00:07:08.740> reportable 00:07:11.410 --> 00:07:11.420 align:start position:0% 00:07:11.420 --> 00:07:14.050 align:start position:0% Azula<00:07:12.260> we<00:07:12.290> can<00:07:13.040> basically<00:07:13.220> anything<00:07:13.790> they're 00:07:14.050 --> 00:07:14.060 align:start position:0% Azula we can basically anything they're 00:07:14.060 --> 00:07:17.020 align:start position:0% Azula we can basically anything they're willing<00:07:14.270> to<00:07:14.300> lose<00:07:14.600> money<00:07:14.840> they<00:07:15.710> will<00:07:16.030> lose 00:07:17.020 --> 00:07:17.030 align:start position:0% willing to lose money they will lose 00:07:17.030 --> 00:07:26.760 align:start position:0% willing to lose money they will lose money<00:07:17.210> to<00:07:17.480> a<00:07:17.510> packaging<00:07:19.840> try<00:07:20.840> to<00:07:20.900> know<00:07:22.090> yes<00:07:23.800> sir 00:07:26.760 --> 00:07:26.770 align:start position:0% money to a packaging try to know yes sir 00:07:26.770 --> 00:07:30.220 align:start position:0% money to a packaging try to know yes sir so<00:07:27.770> let's<00:07:28.730> its<00:07:29.120> own<00:07:29.330> mechanism<00:07:29.840> the<00:07:29.990> open 00:07:30.220 --> 00:07:30.230 align:start position:0% so let's its own mechanism the open 00:07:30.230 --> 00:07:33.850 align:start position:0% so let's its own mechanism the open communication<00:07:30.560> protocols<00:07:31.250> which<00:07:31.460> is<00:07:32.830> like<00:07:33.830> I 00:07:33.850 --> 00:07:33.860 align:start position:0% communication protocols which is like I 00:07:33.860 --> 00:07:36.310 align:start position:0% communication protocols which is like I said<00:07:34.130> the<00:07:34.550> the<00:07:34.580> nicest<00:07:35.510> world<00:07:35.840> everything's 00:07:36.310 --> 00:07:36.320 align:start position:0% said the the nicest world everything's 00:07:36.320 --> 00:07:37.300 align:start position:0% said the the nicest world everything's good 00:07:37.300 --> 00:07:37.310 align:start position:0% good 00:07:37.310 --> 00:07:39.160 align:start position:0% good Mustangs<00:07:37.850> example<00:07:38.330> which<00:07:38.450> is<00:07:38.600> still<00:07:38.810> in<00:07:39.050> use 00:07:39.160 --> 00:07:39.170 align:start position:0% Mustangs example which is still in use 00:07:39.170 --> 00:07:41.800 align:start position:0% Mustangs example which is still in use today<00:07:39.380> as<00:07:39.680> a<00:07:39.920> DGP<00:07:40.310> which<00:07:41.300> is<00:07:41.420> sort<00:07:41.630> of<00:07:41.690> the 00:07:41.800 --> 00:07:41.810 align:start position:0% today as a DGP which is sort of the 00:07:41.810 --> 00:07:45.640 align:start position:0% today as a DGP which is sort of the protocol<00:07:43.360> which<00:07:44.360> controls<00:07:44.810> peering<00:07:45.260> over<00:07:45.380> the 00:07:45.640 --> 00:07:45.650 align:start position:0% protocol which controls peering over the 00:07:45.650 --> 00:07:47.320 align:start position:0% protocol which controls peering over the internet<00:07:46.010> basically<00:07:46.220> will<00:07:46.760> appear<00:07:47.090> to<00:07:47.180> be 00:07:47.320 --> 00:07:47.330 align:start position:0% internet basically will appear to be 00:07:47.330 --> 00:07:49.150 align:start position:0% internet basically will appear to be envy<00:07:47.600> that<00:07:47.630> doesn't<00:07:48.170> work<00:07:48.320> at<00:07:48.620> the<00:07:48.650> moment 00:07:49.150 --> 00:07:49.160 align:start position:0% envy that doesn't work at the moment 00:07:49.160 --> 00:07:53.080 align:start position:0% envy that doesn't work at the moment PGP<00:07:50.120> sort<00:07:50.570> of<00:07:50.630> is<00:07:50.900> a<00:07:51.200> nice<00:07:52.100> happy<00:07:52.520> place<00:07:52.760> where 00:07:53.080 --> 00:07:53.090 align:start position:0% PGP sort of is a nice happy place where 00:07:53.090 --> 00:07:54.820 align:start position:0% PGP sort of is a nice happy place where a<00:07:53.120> register<00:07:53.750> students<00:07:54.050> are<00:07:54.140> various<00:07:54.410> goods 00:07:54.820 --> 00:07:54.830 align:start position:0% a register students are various goods 00:07:54.830 --> 00:07:57.430 align:start position:0% a register students are various goods there's<00:07:55.490> also<00:07:55.820> good<00:07:56.360> graphic<00:07:56.810> and<00:07:57.020> is<00:07:57.110> my<00:07:57.260> ps4 00:07:57.430 --> 00:07:57.440 align:start position:0% there's also good graphic and is my ps4 00:07:57.440 --> 00:08:01.600 align:start position:0% there's also good graphic and is my ps4 graphic<00:07:59.140> or<00:08:00.140> even<00:08:00.410> economic<00:08:00.610> incentives 00:08:01.600 --> 00:08:01.610 align:start position:0% graphic or even economic incentives 00:08:01.610 --> 00:08:04.420 align:start position:0% graphic or even economic incentives Swamiji<00:08:02.090> peanuts<00:08:02.570> to<00:08:02.840> keep<00:08:03.590> them<00:08:03.740> secure<00:08:03.890> to 00:08:04.420 --> 00:08:04.430 align:start position:0% Swamiji peanuts to keep them secure to 00:08:04.430 --> 00:08:09.610 align:start position:0% Swamiji peanuts to keep them secure to announce<00:08:05.330> all<00:08:05.480> of<00:08:05.600> the<00:08:05.720> other<00:08:05.900> things<00:08:08.620> an 00:08:09.610 --> 00:08:09.620 align:start position:0% announce all of the other things an 00:08:09.620 --> 00:08:11.410 align:start position:0% announce all of the other things an emphasis<00:08:09.950> on<00:08:10.340> will<00:08:10.490> make<00:08:10.640> sequel<00:08:11.360> new 00:08:11.410 --> 00:08:11.420 align:start position:0% emphasis on will make sequel new 00:08:11.420 --> 00:08:13.090 align:start position:0% emphasis on will make sequel new controls<00:08:11.840> make<00:08:12.140> making<00:08:12.380> sure<00:08:12.590> you<00:08:12.680> interact 00:08:13.090 --> 00:08:13.100 align:start position:0% controls make making sure you interact 00:08:13.100 --> 00:08:16.680 align:start position:0% controls make making sure you interact as<00:08:13.430> sequence<00:08:14.110> let's<00:08:15.110> upload<00:08:15.410> up<00:08:15.710> by<00:08:16.190> numbering 00:08:16.680 --> 00:08:16.690 align:start position:0% as sequence let's upload up by numbering 00:08:16.690 --> 00:08:23.560 align:start position:0% as sequence let's upload up by numbering control<00:08:17.690> with<00:08:18.290> this<00:08:19.630> direction<00:08:22.540> then<00:08:23.540> you 00:08:23.560 --> 00:08:23.570 align:start position:0% control with this direction then you 00:08:23.570 --> 00:08:26.350 align:start position:0% control with this direction then you have<00:08:23.750> two<00:08:23.900> protocols<00:08:24.770> which<00:08:25.400> come<00:08:25.610> with<00:08:25.640> lots 00:08:26.350 --> 00:08:26.360 align:start position:0% have two protocols which come with lots 00:08:26.360 --> 00:08:30.370 align:start position:0% have two protocols which come with lots of<00:08:26.570> different<00:08:26.900> flavors<00:08:28.690> but<00:08:29.690> generally<00:08:30.260> just 00:08:30.370 --> 00:08:30.380 align:start position:0% of different flavors but generally just 00:08:30.380 --> 00:08:32.980 align:start position:0% of different flavors but generally just means<00:08:30.500> I<00:08:30.830> throw<00:08:31.100> a<00:08:31.310> protocol<00:08:31.970> and<00:08:32.390> concerts<00:08:32.780> at 00:08:32.980 --> 00:08:32.990 align:start position:0% means I throw a protocol and concerts at 00:08:32.990 --> 00:08:36.029 align:start position:0% means I throw a protocol and concerts at the<00:08:33.020> site<00:08:33.290> which<00:08:34.070> might<00:08:34.310> be<00:08:34.550> like<00:08:34.940> a<00:08:34.970> Byzantine 00:08:36.029 --> 00:08:36.039 align:start position:0% the site which might be like a Byzantine 00:08:36.039 --> 00:08:37.380 align:start position:0% the site which might be like a Byzantine [Music] 00:08:37.380 --> 00:08:37.390 align:start position:0% [Music] 00:08:37.390 --> 00:08:39.520 align:start position:0% [Music] concept<00:08:38.390> that<00:08:38.570> was<00:08:38.750> in<00:08:38.870> Ford<00:08:39.140> Coppola 00:08:39.520 --> 00:08:39.530 align:start position:0% concept that was in Ford Coppola 00:08:39.530 --> 00:08:44.170 align:start position:0% concept that was in Ford Coppola consensus<00:08:40.010> purple<00:08:40.690> but<00:08:41.690> it<00:08:41.840> might<00:08:41.990> be 00:08:44.170 --> 00:08:44.180 align:start position:0% consensus purple but it might be 00:08:44.180 --> 00:08:47.530 align:start position:0% consensus purple but it might be the<00:08:44.240> authentication<00:08:45.040> by<00:08:46.040> parts<00:08:46.400> such<00:08:46.730> as<00:08:46.760> HTTP 00:08:47.530 --> 00:08:47.540 align:start position:0% the authentication by parts such as HTTP 00:08:47.540 --> 00:08:51.310 align:start position:0% the authentication by parts such as HTTP web<00:08:49.060> and<00:08:50.060> all<00:08:50.360> things<00:08:50.720> that<00:08:50.900> are<00:08:51.020> listed<00:08:51.290> here 00:08:51.310 --> 00:08:51.320 align:start position:0% web and all things that are listed here 00:08:51.320 --> 00:08:53.560 align:start position:0% web and all things that are listed here in<00:08:51.830> the<00:08:51.980> same<00:08:52.160> no<00:08:52.310> they<00:08:52.940> got<00:08:53.120> you<00:08:53.300> when<00:08:53.450> it<00:08:53.540> is 00:08:53.560 --> 00:08:53.570 align:start position:0% in the same no they got you when it is 00:08:53.570 --> 00:08:55.840 align:start position:0% in the same no they got you when it is Mike<00:08:53.810> miss<00:08:54.020> hash<00:08:54.200> environment<00:08:54.850> signatures 00:08:55.840 --> 00:08:55.850 align:start position:0% Mike miss hash environment signatures 00:08:55.850 --> 00:08:57.340 align:start position:0% Mike miss hash environment signatures because<00:08:56.150> my<00:08:56.360> position<00:08:56.570> on<00:08:56.900> truce<00:08:57.200> and 00:08:57.340 --> 00:08:57.350 align:start position:0% because my position on truce and 00:08:57.350 --> 00:09:02.790 align:start position:0% because my position on truce and whatever<00:08:57.500> I<00:08:57.950> just 00:09:02.790 --> 00:09:02.800 align:start position:0% 00:09:02.800 --> 00:09:06.790 align:start position:0% and<00:09:03.800> then<00:09:04.120> the<00:09:05.120> talks<00:09:05.720> broke<00:09:05.960> up<00:09:06.230> because<00:09:06.440> the 00:09:06.790 --> 00:09:06.800 align:start position:0% and then the talks broke up because the 00:09:06.800 --> 00:09:08.430 align:start position:0% and then the talks broke up because the interesting<00:09:06.860> things<00:09:07.460> are<00:09:07.670> all<00:09:07.790> sudden 00:09:08.430 --> 00:09:08.440 align:start position:0% interesting things are all sudden 00:09:08.440 --> 00:09:14.020 align:start position:0% interesting things are all sudden becomes<00:09:09.440> possible<00:09:10.330> to<00:09:11.330> push<00:09:12.370> what<00:09:13.370> economic 00:09:14.020 --> 00:09:14.030 align:start position:0% becomes possible to push what economic 00:09:14.030 --> 00:09:18.370 align:start position:0% becomes possible to push what economic condition<00:09:14.570> way<00:09:16.750> participate<00:09:17.750> in<00:09:17.870> the<00:09:17.960> furball 00:09:18.370 --> 00:09:18.380 align:start position:0% condition way participate in the furball 00:09:18.380 --> 00:09:23.070 align:start position:0% condition way participate in the furball if<00:09:18.650> they<00:09:18.800> don't<00:09:19.630> it<00:09:20.630> was<00:09:21.580> really<00:09:22.580> interesting 00:09:23.070 --> 00:09:23.080 align:start position:0% if they don't it was really interesting 00:09:23.080 --> 00:09:26.740 align:start position:0% if they don't it was really interesting wasn't<00:09:24.080> be<00:09:24.350> possible<00:09:24.740> for<00:09:25.360> buy<00:09:26.360> something 00:09:26.740 --> 00:09:26.750 align:start position:0% wasn't be possible for buy something 00:09:26.750 --> 00:09:28.230 align:start position:0% wasn't be possible for buy something from<00:09:26.900> us<00:09:26.990> a<00:09:27.260> new<00:09:27.530> direction 00:09:28.230 --> 00:09:28.240 align:start position:0% from us a new direction 00:09:28.240 --> 00:09:30.700 align:start position:0% from us a new direction if<00:09:29.240> somebody<00:09:29.600> misbehaved<00:09:29.930> on<00:09:30.410> the<00:09:30.500> side 00:09:30.700 --> 00:09:30.710 align:start position:0% if somebody misbehaved on the side 00:09:30.710 --> 00:09:33.880 align:start position:0% if somebody misbehaved on the side saying<00:09:31.040> you<00:09:31.400> might<00:09:31.580> slash<00:09:31.850> the<00:09:32.060> state<00:09:32.890> that 00:09:33.880 --> 00:09:33.890 align:start position:0% saying you might slash the state that 00:09:33.890 --> 00:09:37.660 align:start position:0% saying you might slash the state that also<00:09:34.100> gives<00:09:34.430> you<00:09:34.670> like<00:09:35.620> access<00:09:36.620> to<00:09:36.650> a<00:09:36.860> big 00:09:37.660 --> 00:09:37.670 align:start position:0% also gives you like access to a big 00:09:37.670 --> 00:09:40.090 align:start position:0% also gives you like access to a big array<00:09:38.030> of<00:09:38.240> all<00:09:38.390> something<00:09:38.690> make<00:09:39.440> easy<00:09:39.650> design 00:09:40.090 --> 00:09:40.100 align:start position:0% array of all something make easy design 00:09:40.100 --> 00:09:42.940 align:start position:0% array of all something make easy design like<00:09:40.670> auction<00:09:41.120> market<00:09:41.630> things<00:09:42.080> like<00:09:42.260> that<00:09:42.440> can 00:09:42.940 --> 00:09:42.950 align:start position:0% like auction market things like that can 00:09:42.950 --> 00:09:44.830 align:start position:0% like auction market things like that can incentivize<00:09:43.430> people<00:09:43.940> to<00:09:44.150> behave<00:09:44.420> rationally 00:09:44.830 --> 00:09:44.840 align:start position:0% incentivize people to behave rationally 00:09:44.840 --> 00:09:52.200 align:start position:0% incentivize people to behave rationally and<00:09:45.460> to<00:09:46.460> so<00:09:46.640> lead<00:09:47.060> to<00:09:47.240> design<00:09:48.580> of<00:09:49.580> my<00:09:49.940> being<00:09:50.800> and 00:09:52.200 --> 00:09:52.210 align:start position:0% and to so lead to design of my being and 00:09:52.210 --> 00:09:55.810 align:start position:0% and to so lead to design of my being and it<00:09:53.210> just<00:09:53.450> makes<00:09:53.630> a<00:09:53.810> neural<00:09:54.200> link<00:09:54.820> behavior 00:09:55.810 --> 00:09:55.820 align:start position:0% it just makes a neural link behavior 00:09:55.820 --> 00:09:57.520 align:start position:0% it just makes a neural link behavior according<00:09:56.330> to<00:09:56.390> the<00:09:56.480> portal<00:09:56.870> must<00:09:57.050> was<00:09:57.290> more 00:09:57.520 --> 00:09:57.530 align:start position:0% according to the portal must was more 00:09:57.530 --> 00:10:00.640 align:start position:0% according to the portal must was more expensive<00:09:58.240> there's<00:09:59.240> also<00:09:59.450> a<00:09:59.690> nice<00:09:59.930> little<00:09:59.990> for 00:10:00.640 --> 00:10:00.650 align:start position:0% expensive there's also a nice little for 00:10:00.650 --> 00:10:07.780 align:start position:0% expensive there's also a nice little for security<00:10:02.650> so<00:10:03.650> the<00:10:03.800> problem<00:10:04.190> is<00:10:05.440> that<00:10:06.700> when<00:10:07.700> he 00:10:07.780 --> 00:10:07.790 align:start position:0% security so the problem is that when he 00:10:07.790 --> 00:10:11.230 align:start position:0% security so the problem is that when he good<00:10:07.970> with<00:10:09.040> quoting<00:10:10.040> rates<00:10:10.310> focuses<00:10:11.060> on 00:10:11.230 --> 00:10:11.240 align:start position:0% good with quoting rates focuses on 00:10:11.240 --> 00:10:14.440 align:start position:0% good with quoting rates focuses on architecture<00:10:12.140> like<00:10:12.860> so<00:10:13.360> architecture<00:10:14.360> we 00:10:14.440 --> 00:10:14.450 align:start position:0% architecture like so architecture we 00:10:14.450 --> 00:10:17.470 align:start position:0% architecture like so architecture we live<00:10:14.630> in<00:10:15.100> when<00:10:16.100> you<00:10:16.220> think<00:10:16.640> I'm<00:10:16.910> really<00:10:17.270> good 00:10:17.470 --> 00:10:17.480 align:start position:0% live in when you think I'm really good 00:10:17.480 --> 00:10:18.340 align:start position:0% live in when you think I'm really good thing 00:10:18.340 --> 00:10:18.350 align:start position:0% thing 00:10:18.350 --> 00:10:20.650 align:start position:0% thing nation<00:10:18.710> with<00:10:18.830> your<00:10:18.980> muscle<00:10:19.700> also<00:10:19.790> repair<00:10:20.210> the 00:10:20.650 --> 00:10:20.660 align:start position:0% nation with your muscle also repair the 00:10:20.660 --> 00:10:22.540 align:start position:0% nation with your muscle also repair the wall<00:10:20.840> around<00:10:21.110> its<00:10:21.380> and<00:10:21.650> within<00:10:21.860> it<00:10:22.100> to<00:10:22.340> the 00:10:22.540 --> 00:10:22.550 align:start position:0% wall around its and within it to the 00:10:22.550 --> 00:10:24.160 align:start position:0% wall around its and within it to the delay<00:10:22.820> the<00:10:22.880> work<00:10:23.120> that<00:10:23.450> one<00:10:23.660> case<00:10:23.870> because 00:10:24.160 --> 00:10:24.170 align:start position:0% delay the work that one case because 00:10:24.170 --> 00:10:27.430 align:start position:0% delay the work that one case because more<00:10:24.410> hear<00:10:24.680> it<00:10:24.830> more<00:10:25.520> all<00:10:25.790> the<00:10:26.450> things<00:10:26.750> that 00:10:27.430 --> 00:10:27.440 align:start position:0% more hear it more all the things that 00:10:27.440 --> 00:10:29.380 align:start position:0% more hear it more all the things that think<00:10:27.770> which<00:10:27.950> it<00:10:28.100> may<00:10:28.250> take<00:10:28.610> six<00:10:28.760> places<00:10:29.090> where 00:10:29.380 --> 00:10:29.390 align:start position:0% think which it may take six places where 00:10:29.390 --> 00:10:31.870 align:start position:0% think which it may take six places where information<00:10:29.540> to<00:10:29.960> making<00:10:30.460> so<00:10:31.460> this<00:10:31.610> sort<00:10:31.820> of 00:10:31.870 --> 00:10:31.880 align:start position:0% information to making so this sort of 00:10:31.880 --> 00:10:35.380 align:start position:0% information to making so this sort of the<00:10:32.920> the<00:10:33.920> things<00:10:34.220> where<00:10:34.640> things<00:10:34.880> are<00:10:35.120> getting 00:10:35.380 --> 00:10:35.390 align:start position:0% the the things where things are getting 00:10:35.390 --> 00:10:37.900 align:start position:0% the the things where things are getting messy<00:10:35.600> because<00:10:35.810> you<00:10:36.530> can't<00:10:36.770> mask<00:10:37.100> even<00:10:37.610> if<00:10:37.820> you 00:10:37.900 --> 00:10:37.910 align:start position:0% messy because you can't mask even if you 00:10:37.910 --> 00:10:40.810 align:start position:0% messy because you can't mask even if you want<00:10:38.120> some<00:10:38.360> good<00:10:38.540> progress<00:10:38.930> registration<00:10:39.820> I'm 00:10:40.810 --> 00:10:40.820 align:start position:0% want some good progress registration I'm 00:10:40.820 --> 00:10:45.010 align:start position:0% want some good progress registration I'm watching<00:10:41.240> me<00:10:41.390> thank<00:10:42.320> my<00:10:42.380> example<00:10:43.360> like<00:10:44.360> these 00:10:45.010 --> 00:10:45.020 align:start position:0% watching me thank my example like these 00:10:45.020 --> 00:10:47.050 align:start position:0% watching me thank my example like these way<00:10:45.350> the<00:10:45.980> grant<00:10:46.430> I<00:10:46.580> will<00:10:46.760> just<00:10:46.940> be 00:10:47.050 --> 00:10:47.060 align:start position:0% way the grant I will just be 00:10:47.060 --> 00:10:53.410 align:start position:0% way the grant I will just be fabrications<00:10:48.850> all<00:10:49.850> of<00:10:50.060> a<00:10:50.120> sudden<00:10:51.580> the<00:10:52.580> -<00:10:53.270> have 00:10:53.410 --> 00:10:53.420 align:start position:0% fabrications all of a sudden the - have 00:10:53.420 --> 00:10:55.810 align:start position:0% fabrications all of a sudden the - have very<00:10:53.720> high<00:10:53.930> incentive<00:10:54.560> to<00:10:54.830> for<00:10:55.370> example<00:10:55.730> in 00:10:55.810 --> 00:10:55.820 align:start position:0% very high incentive to for example in 00:10:55.820 --> 00:10:58.150 align:start position:0% very high incentive to for example in the<00:10:55.910> here<00:10:56.150> to<00:10:56.390> mess<00:10:56.570> with<00:10:56.780> the<00:10:57.170> drawing<00:10:58.010> of 00:10:58.150 --> 00:10:58.160 align:start position:0% the here to mess with the drawing of 00:10:58.160 --> 00:11:00.640 align:start position:0% the here to mess with the drawing of transactions<00:10:58.760> let's<00:10:59.420> say<00:10:59.600> the<00:11:00.200> amount<00:11:00.500> of 00:11:00.640 --> 00:11:00.650 align:start position:0% transactions let's say the amount of 00:11:00.650 --> 00:11:02.020 align:start position:0% transactions let's say the amount of transaction<00:11:01.160> from<00:11:01.220> the<00:11:01.310> unit<00:11:01.640> are<00:11:01.820> being 00:11:02.020 --> 00:11:02.030 align:start position:0% transaction from the unit are being 00:11:02.030 --> 00:11:04.510 align:start position:0% transaction from the unit are being suppressed<00:11:02.300> fee<00:11:02.570> and<00:11:02.840> you<00:11:03.590> try<00:11:03.920> to<00:11:03.950> trace<00:11:04.310> up 00:11:04.510 --> 00:11:04.520 align:start position:0% suppressed fee and you try to trace up 00:11:04.520 --> 00:11:08.050 align:start position:0% suppressed fee and you try to trace up there<00:11:05.060> you<00:11:05.750> try<00:11:05.960> to<00:11:06.020> train<00:11:06.320> my<00:11:06.500> desk<00:11:06.970> and<00:11:07.970> he 00:11:08.050 --> 00:11:08.060 align:start position:0% there you try to train my desk and he 00:11:08.060 --> 00:11:09.940 align:start position:0% there you try to train my desk and he selling<00:11:08.420> they've<00:11:08.600> changed<00:11:08.840> but<00:11:09.500> a<00:11:09.560> sudden<00:11:09.830> the 00:11:09.940 --> 00:11:09.950 align:start position:0% selling they've changed but a sudden the 00:11:09.950 --> 00:11:12.600 align:start position:0% selling they've changed but a sudden the minor<00:11:10.160> hasn't<00:11:10.550> pretty<00:11:11.420> much<00:11:11.600> intended<00:11:12.020> to 00:11:12.600 --> 00:11:12.610 align:start position:0% minor hasn't pretty much intended to 00:11:12.610 --> 00:11:17.050 align:start position:0% minor hasn't pretty much intended to make<00:11:13.610> process<00:11:14.060> that<00:11:14.570> starts<00:11:15.020> before<00:11:16.060> myself 00:11:17.050 --> 00:11:17.060 align:start position:0% make process that starts before myself 00:11:17.060 --> 00:11:21.460 align:start position:0% make process that starts before myself it<00:11:17.180> feels<00:11:17.360> like<00:11:17.570> gospel<00:11:19.330> or<00:11:20.330> take<00:11:21.260> for<00:11:21.440> example 00:11:21.460 --> 00:11:21.470 align:start position:0% it feels like gospel or take for example 00:11:21.470 --> 00:11:24.130 align:start position:0% it feels like gospel or take for example in<00:11:21.980> the<00:11:22.160> neck<00:11:22.370> ago<00:11:22.670> the<00:11:23.300> other<00:11:23.420> that<00:11:23.630> position 00:11:24.130 --> 00:11:24.140 align:start position:0% in the neck ago the other that position 00:11:24.140 --> 00:11:27.340 align:start position:0% in the neck ago the other that position the<00:11:25.040> price<00:11:25.820> changes<00:11:26.210> rapidly<00:11:26.450> you<00:11:27.050> try<00:11:27.290> to 00:11:27.340 --> 00:11:27.350 align:start position:0% the price changes rapidly you try to 00:11:27.350 --> 00:11:30.580 align:start position:0% the price changes rapidly you try to talk<00:11:27.680> off<00:11:27.860> you<00:11:28.040> review<00:11:28.370> of<00:11:28.610> STP<00:11:29.270> basically<00:11:29.810> and 00:11:30.580 --> 00:11:30.590 align:start position:0% talk off you review of STP basically and 00:11:30.590 --> 00:11:33.810 align:start position:0% talk off you review of STP basically and all<00:11:30.710> of<00:11:30.800> a<00:11:30.830> sudden<00:11:31.220> -<00:11:31.640> very<00:11:32.150> like<00:11:32.870> so<00:11:33.260> I 00:11:33.810 --> 00:11:33.820 align:start position:0% all of a sudden - very like so I 00:11:33.820 --> 00:11:37.030 align:start position:0% all of a sudden - very like so I incentive<00:11:34.820> if<00:11:35.240> perhaps<00:11:35.510> you<00:11:35.900> say<00:11:36.110> ok<00:11:36.410> you<00:11:36.890> can 00:11:37.030 --> 00:11:37.040 align:start position:0% incentive if perhaps you say ok you can 00:11:37.040 --> 00:11:38.980 align:start position:0% incentive if perhaps you say ok you can write<00:11:37.310> me<00:11:37.520> I'm<00:11:37.880> not<00:11:38.090> going<00:11:38.300> to<00:11:38.510> talk<00:11:38.810> me<00:11:38.960> off 00:11:38.980 --> 00:11:38.990 align:start position:0% write me I'm not going to talk me off 00:11:38.990 --> 00:11:45.620 align:start position:0% write me I'm not going to talk me off your<00:11:39.410> CBP<00:11:39.980> this<00:11:40.880> is<00:11:42.700> problem 00:11:45.620 --> 00:11:45.630 align:start position:0% your CBP this is problem 00:11:45.630 --> 00:11:50.480 align:start position:0% your CBP this is problem and<00:11:46.079> if<00:11:46.350> you<00:11:46.440> got<00:11:46.620> arrested<00:11:48.560> and<00:11:49.560> it<00:11:50.100> is<00:11:50.310> all 00:11:50.480 --> 00:11:50.490 align:start position:0% and if you got arrested and it is all 00:11:50.490 --> 00:11:53.809 align:start position:0% and if you got arrested and it is all suede<00:11:51.110> all<00:11:52.110> problems<00:11:52.649> away<00:11:52.800> from<00:11:53.100> running<00:11:53.250> can 00:11:53.809 --> 00:11:53.819 align:start position:0% suede all problems away from running can 00:11:53.819 --> 00:11:56.120 align:start position:0% suede all problems away from running can actually<00:11:54.149> reverse<00:11:54.329> switches<00:11:54.630> this<00:11:55.380> is<00:11:55.589> what 00:11:56.120 --> 00:11:56.130 align:start position:0% actually reverse switches this is what 00:11:56.130 --> 00:12:00.620 align:start position:0% actually reverse switches this is what the<00:11:56.779> more<00:11:57.779> recent<00:11:58.139> papers<00:11:58.550> -<00:11:59.550> I<00:11:59.699> thought 00:12:00.620 --> 00:12:00.630 align:start position:0% the more recent papers - I thought 00:12:00.630 --> 00:12:02.470 align:start position:0% the more recent papers - I thought yesterday<00:12:00.899> on<00:12:01.259> something<00:12:01.769> similar<00:12:01.920> which<00:12:02.250> is 00:12:02.470 --> 00:12:02.480 align:start position:0% yesterday on something similar which is 00:12:02.480 --> 00:12:07.759 align:start position:0% yesterday on something similar which is basically<00:12:05.180> exactly<00:12:06.180> whatever<00:12:06.810> they've<00:12:07.440> given 00:12:07.759 --> 00:12:07.769 align:start position:0% basically exactly whatever they've given 00:12:07.769 --> 00:12:09.889 align:start position:0% basically exactly whatever they've given deposits<00:12:08.279> of<00:12:08.339> mining<00:12:08.730> work<00:12:08.910> on<00:12:09.180> some<00:12:09.480> degree 00:12:09.889 --> 00:12:09.899 align:start position:0% deposits of mining work on some degree 00:12:09.899 --> 00:12:10.430 align:start position:0% deposits of mining work on some degree listed 00:12:10.430 --> 00:12:10.440 align:start position:0% listed 00:12:10.440 --> 00:12:13.819 align:start position:0% listed -<00:12:11.009> if<00:12:11.639> you<00:12:11.790> build<00:12:12.000> like<00:12:12.060> I<00:12:12.360> soon<00:12:12.630> forgot<00:12:13.319> about 00:12:13.819 --> 00:12:13.829 align:start position:0% - if you build like I soon forgot about 00:12:13.829 --> 00:12:16.249 align:start position:0% - if you build like I soon forgot about the<00:12:13.980> -<00:12:14.339> they're<00:12:14.970> very<00:12:15.269> very<00:12:15.540> high<00:12:15.750> incentive 00:12:16.249 --> 00:12:16.259 align:start position:0% the - they're very very high incentive 00:12:16.259 --> 00:12:18.350 align:start position:0% the - they're very very high incentive to<00:12:16.500> extract<00:12:17.100> more<00:12:17.339> value<00:12:17.399> than<00:12:17.790> they<00:12:18.029> get<00:12:18.149> from 00:12:18.350 --> 00:12:18.360 align:start position:0% to extract more value than they get from 00:12:18.360 --> 00:12:21.319 align:start position:0% to extract more value than they get from these<00:12:18.569> of<00:12:19.199> international<00:12:19.889> awards<00:12:20.329> it's 00:12:21.319 --> 00:12:21.329 align:start position:0% these of international awards it's 00:12:21.329 --> 00:12:25.550 align:start position:0% these of international awards it's basically<00:12:21.690> down<00:12:23.810> you<00:12:24.810> know<00:12:24.899> because 00:12:25.550 --> 00:12:25.560 align:start position:0% basically down you know because 00:12:25.560 --> 00:12:27.559 align:start position:0% basically down you know because basically<00:12:25.800> the<00:12:26.250> the<00:12:26.759> protocols<00:12:27.300> which<00:12:27.480> are 00:12:27.559 --> 00:12:27.569 align:start position:0% basically the the protocols which are 00:12:27.569 --> 00:12:29.120 align:start position:0% basically the the protocols which are highly<00:12:28.019> leveraged<00:12:28.350> soom<00:12:28.589> that<00:12:28.800> they're<00:12:28.980> known 00:12:29.120 --> 00:12:29.130 align:start position:0% highly leveraged soom that they're known 00:12:29.130 --> 00:12:31.610 align:start position:0% highly leveraged soom that they're known as<00:12:29.339> idea<00:12:29.880> which<00:12:30.660> is<00:12:30.690> sort<00:12:30.930> of<00:12:30.959> awesome<00:12:31.110> I<00:12:31.410> would 00:12:31.610 --> 00:12:31.620 align:start position:0% as idea which is sort of awesome I would 00:12:31.620 --> 00:12:33.920 align:start position:0% as idea which is sort of awesome I would have<00:12:31.800> necessarily<00:12:32.069> the<00:12:32.670> sections<00:12:33.180> capacity 00:12:33.920 --> 00:12:33.930 align:start position:0% have necessarily the sections capacity 00:12:33.930 --> 00:12:37.249 align:start position:0% have necessarily the sections capacity to<00:12:34.050> useful<00:12:34.230> some<00:12:34.800> degree<00:12:35.160> so<00:12:36.079> there<00:12:37.079> are<00:12:37.139> more 00:12:37.249 --> 00:12:37.259 align:start position:0% to useful some degree so there are more 00:12:37.259 --> 00:12:39.379 align:start position:0% to useful some degree so there are more things<00:12:37.470> under<00:12:38.069> the<00:12:38.190> city<00:12:38.399> universe<00:12:38.850> that<00:12:39.209> are 00:12:39.379 --> 00:12:39.389 align:start position:0% things under the city universe that are 00:12:39.389 --> 00:12:41.019 align:start position:0% things under the city universe that are on<00:12:39.839> those<00:12:39.959> months 00:12:41.019 --> 00:12:41.029 align:start position:0% on those months 00:12:41.029 --> 00:12:43.910 align:start position:0% on those months Gilbert<00:12:42.029> because<00:12:42.750> the<00:12:42.930> Muslims<00:12:43.259> were<00:12:43.410> like 00:12:43.910 --> 00:12:43.920 align:start position:0% Gilbert because the Muslims were like 00:12:43.920 --> 00:12:47.030 align:start position:0% Gilbert because the Muslims were like abstraction<00:12:44.819> energy<00:12:45.360> which<00:12:46.319> in<00:12:46.649> the<00:12:46.769> end<00:12:46.800> in 00:12:47.030 --> 00:12:47.040 align:start position:0% abstraction energy which in the end in 00:12:47.040 --> 00:12:50.230 align:start position:0% abstraction energy which in the end in our<00:12:47.160> spot<00:12:47.579> this<00:12:48.029> week<00:12:48.300> into<00:12:48.660> the<00:12:49.019> highlights 00:12:50.230 --> 00:12:50.240 align:start position:0% our spot this week into the highlights 00:12:50.240 --> 00:12:53.329 align:start position:0% our spot this week into the highlights and<00:12:51.240> then<00:12:51.389> is<00:12:51.569> also<00:12:51.930> the<00:12:52.290> one<00:12:52.889> of<00:12:52.920> the<00:12:53.069> biggest 00:12:53.329 --> 00:12:53.339 align:start position:0% and then is also the one of the biggest 00:12:53.339 --> 00:12:55.699 align:start position:0% and then is also the one of the biggest composers<00:12:53.939> nobody<00:12:54.899> has<00:12:55.019> really<00:12:55.230> interested 00:12:55.699 --> 00:12:55.709 align:start position:0% composers nobody has really interested 00:12:55.709 --> 00:12:58.990 align:start position:0% composers nobody has really interested is<00:12:55.949> bribery<00:12:57.350> especially 00:12:58.990 --> 00:12:59.000 align:start position:0% is bribery especially 00:12:59.000 --> 00:13:02.290 align:start position:0% is bribery especially to<00:12:59.120> say<00:12:59.990> so<00:13:00.620> proper<00:13:01.459> of<00:13:01.579> us<00:13:01.699> it<00:13:01.850> would<00:13:01.970> be<00:13:02.000> very 00:13:02.290 --> 00:13:02.300 align:start position:0% to say so proper of us it would be very 00:13:02.300 --> 00:13:04.869 align:start position:0% to say so proper of us it would be very interesting<00:13:02.870> to<00:13:02.899> see<00:13:02.990> or<00:13:03.980> using<00:13:04.399> different 00:13:04.869 --> 00:13:04.879 align:start position:0% interesting to see or using different 00:13:04.879 --> 00:13:08.379 align:start position:0% interesting to see or using different chains<00:13:05.980> to<00:13:06.980> bright<00:13:07.250> people<00:13:07.759> other<00:13:08.029> chance 00:13:08.379 --> 00:13:08.389 align:start position:0% chains to bright people other chance 00:13:08.389 --> 00:13:14.350 align:start position:0% chains to bright people other chance will<00:13:08.750> use<00:13:10.029> 3d<00:13:11.029> pretentious<00:13:12.279> so<00:13:13.279> let's<00:13:13.490> let's 00:13:14.350 --> 00:13:14.360 align:start position:0% will use 3d pretentious so let's let's 00:13:14.360 --> 00:13:17.740 align:start position:0% will use 3d pretentious so let's let's see<00:13:14.709> let's<00:13:15.709> say<00:13:15.920> you<00:13:15.980> have<00:13:16.189> before<00:13:17.089> service' 00:13:17.740 --> 00:13:17.750 align:start position:0% see let's say you have before service' 00:13:17.750 --> 00:13:22.660 align:start position:0% see let's say you have before service' probably<00:13:18.139> the<00:13:18.230> protocol<00:13:21.040> then<00:13:22.040> it's<00:13:22.220> response 00:13:22.660 --> 00:13:22.670 align:start position:0% probably the protocol then it's response 00:13:22.670 --> 00:13:27.699 align:start position:0% probably the protocol then it's response on<00:13:23.509> an<00:13:23.750> invitation<00:13:25.240> the<00:13:26.240> process<00:13:26.660> they<00:13:27.110> like 00:13:27.699 --> 00:13:27.709 align:start position:0% on an invitation the process they like 00:13:27.709 --> 00:13:29.530 align:start position:0% on an invitation the process they like drag<00:13:27.980> apropos<00:13:28.579> very<00:13:28.939> much<00:13:29.120> sooner 00:13:29.530 --> 00:13:29.540 align:start position:0% drag apropos very much sooner 00:13:29.540 --> 00:13:33.189 align:start position:0% drag apropos very much sooner just<00:13:30.199> normal<00:13:30.500> zombie<00:13:31.009> design<00:13:31.459> being<00:13:32.300> tiger 00:13:33.189 --> 00:13:33.199 align:start position:0% just normal zombie design being tiger 00:13:33.199 --> 00:13:36.480 align:start position:0% just normal zombie design being tiger it's<00:13:33.470> very<00:13:33.800> messy<00:13:35.110> you<00:13:36.110> have<00:13:36.199> often 00:13:36.480 --> 00:13:36.490 align:start position:0% it's very messy you have often 00:13:36.490 --> 00:13:38.619 align:start position:0% it's very messy you have often inconsistencies<00:13:37.490> between<00:13:37.879> the<00:13:38.360> human 00:13:38.619 --> 00:13:38.629 align:start position:0% inconsistencies between the human 00:13:38.629 --> 00:13:41.079 align:start position:0% inconsistencies between the human tations<00:13:39.019> and<00:13:39.410> the<00:13:39.949> sweat<00:13:40.279> specification 00:13:41.079 --> 00:13:41.089 align:start position:0% tations and the sweat specification 00:13:41.089 --> 00:13:46.240 align:start position:0% tations and the sweat specification directing<00:13:43.300> and<00:13:44.300> it's<00:13:44.569> lots<00:13:44.930> of<00:13:45.079> parts<00:13:45.410> this<00:13:45.649> we 00:13:46.240 --> 00:13:46.250 align:start position:0% directing and it's lots of parts this we 00:13:46.250 --> 00:13:48.340 align:start position:0% directing and it's lots of parts this we thought<00:13:46.490> software<00:13:46.970> what<00:13:47.240> we<00:13:47.389> thought<00:13:48.079> after 00:13:48.340 --> 00:13:48.350 align:start position:0% thought software what we thought after 00:13:48.350 --> 00:13:50.439 align:start position:0% thought software what we thought after implementing<00:13:48.920> them<00:13:49.250> and<00:13:49.550> if<00:13:49.670> Sophia<00:13:50.089> dismiss 00:13:50.439 --> 00:13:50.449 align:start position:0% implementing them and if Sophia dismiss 00:13:50.449 --> 00:13:52.449 align:start position:0% implementing them and if Sophia dismiss okay<00:13:50.750> am<00:13:51.290> I<00:13:51.379> going<00:13:51.529> to<00:13:51.709> update<00:13:51.829> the<00:13:52.040> cover<00:13:52.279> of 00:13:52.449 --> 00:13:52.459 align:start position:0% okay am I going to update the cover of 00:13:52.459 --> 00:13:55.439 align:start position:0% okay am I going to update the cover of these<00:13:53.180> specifications 00:13:55.439 --> 00:13:55.449 align:start position:0% these specifications 00:13:55.449 --> 00:13:58.210 align:start position:0% these specifications especially<00:13:56.449> if<00:13:56.680> everything<00:13:57.680> like<00:13:57.800> the<00:13:57.920> seven 00:13:58.210 --> 00:13:58.220 align:start position:0% especially if everything like the seven 00:13:58.220 --> 00:14:00.280 align:start position:0% especially if everything like the seven sunyoga<00:13:58.550> resolution<00:13:59.389> already<00:13:59.779> the<00:13:59.899> starts 00:14:00.280 --> 00:14:00.290 align:start position:0% sunyoga resolution already the starts 00:14:00.290 --> 00:14:02.829 align:start position:0% sunyoga resolution already the starts like<00:14:01.040> a<00:14:01.069> shoe<00:14:01.220> these<00:14:01.759> things<00:14:02.060> and<00:14:02.329> more 00:14:02.829 --> 00:14:02.839 align:start position:0% like a shoe these things and more 00:14:02.839 --> 00:14:05.379 align:start position:0% like a shoe these things and more complicated<00:14:03.139> and<00:14:03.980> that's<00:14:04.339> often<00:14:04.910> quite<00:14:05.180> often 00:14:05.379 --> 00:14:05.389 align:start position:0% complicated and that's often quite often 00:14:05.389 --> 00:14:07.030 align:start position:0% complicated and that's often quite often protocols<00:14:05.990> end<00:14:06.199> up<00:14:06.350> being<00:14:06.709> used<00:14:06.860> in 00:14:07.030 --> 00:14:07.040 align:start position:0% protocols end up being used in 00:14:07.040 --> 00:14:08.499 align:start position:0% protocols end up being used in situations<00:14:07.220> that<00:14:07.699> were<00:14:07.879> never<00:14:08.059> designed<00:14:08.240> for 00:14:08.499 --> 00:14:08.509 align:start position:0% situations that were never designed for 00:14:08.509 --> 00:14:13.650 align:start position:0% situations that were never designed for which<00:14:09.500> makes<00:14:09.709> things<00:14:09.920> even<00:14:10.069> worse 00:14:13.650 --> 00:14:13.660 align:start position:0% 00:14:13.660 --> 00:14:17.679 align:start position:0% so<00:14:14.980> some<00:14:15.980> sort<00:14:16.189> of<00:14:16.220> late<00:14:16.399> because<00:14:17.029> guidelines 00:14:17.679 --> 00:14:17.689 align:start position:0% so some sort of late because guidelines 00:14:17.689 --> 00:14:20.740 align:start position:0% so some sort of late because guidelines for<00:14:18.649> just<00:14:19.069> this<00:14:19.339> design<00:14:19.819> of<00:14:20.059> the<00:14:20.149> model 00:14:20.740 --> 00:14:20.750 align:start position:0% for just this design of the model 00:14:20.750 --> 00:14:23.889 align:start position:0% for just this design of the model there's<00:14:21.230> always<00:14:21.670> simplicity<00:14:22.670> which<00:14:23.540> is<00:14:23.689> one 00:14:23.889 --> 00:14:23.899 align:start position:0% there's always simplicity which is one 00:14:23.899 --> 00:14:25.290 align:start position:0% there's always simplicity which is one way<00:14:24.319> to<00:14:24.350> do<00:14:24.559> something<00:14:24.769> that 00:14:25.290 --> 00:14:25.300 align:start position:0% way to do something that 00:14:25.300 --> 00:14:30.810 align:start position:0% way to do something that it's<00:14:25.540> most<00:14:25.750> likely<00:14:25.900> wrong<00:14:28.350> exceptions<00:14:29.820> make 00:14:30.810 --> 00:14:30.820 align:start position:0% it's most likely wrong exceptions make 00:14:30.820 --> 00:14:32.640 align:start position:0% it's most likely wrong exceptions make everything<00:14:31.060> worth<00:14:31.570> wrong<00:14:31.840> because<00:14:32.080> the<00:14:32.410> sort 00:14:32.640 --> 00:14:32.650 align:start position:0% everything worth wrong because the sort 00:14:32.650 --> 00:14:36.480 align:start position:0% everything worth wrong because the sort of<00:14:33.390> way<00:14:34.390> that<00:14:34.420> you<00:14:34.600> basically<00:14:35.530> forced<00:14:36.250> to<00:14:36.460> a 00:14:36.480 --> 00:14:36.490 align:start position:0% of way that you basically forced to a 00:14:36.490 --> 00:14:39.540 align:start position:0% of way that you basically forced to a mighty<00:14:36.760> lot<00:14:36.970> stay<00:14:37.270> near<00:14:37.600> a<00:14:37.720> lake<00:14:38.220> but<00:14:39.220> often 00:14:39.540 --> 00:14:39.550 align:start position:0% mighty lot stay near a lake but often 00:14:39.550 --> 00:14:44.390 align:start position:0% mighty lot stay near a lake but often undefined<00:14:40.420> States<00:14:40.690> which<00:14:40.990> is<00:14:41.140> a<00:14:41.500> mess<00:14:42.810> and 00:14:44.390 --> 00:14:44.400 align:start position:0% undefined States which is a mess and 00:14:44.400 --> 00:14:46.680 align:start position:0% undefined States which is a mess and easy<00:14:45.400> features<00:14:45.880> our<00:14:46.090> teachers<00:14:46.480> what 00:14:46.680 --> 00:14:46.690 align:start position:0% easy features our teachers what 00:14:46.690 --> 00:14:52.620 align:start position:0% easy features our teachers what employees<00:14:47.550> so<00:14:48.550> you<00:14:49.030> get<00:14:49.210> some<00:14:49.990> time<00:14:50.170> a<00:14:51.630> copy 00:14:52.620 --> 00:14:52.630 align:start position:0% employees so you get some time a copy 00:14:52.630 --> 00:14:55.020 align:start position:0% employees so you get some time a copy the<00:14:52.840> teachers<00:14:53.290> do<00:14:53.740> most<00:14:54.010> lacking<00:14:54.220> of<00:14:54.430> usable 00:14:55.020 --> 00:14:55.030 align:start position:0% the teachers do most lacking of usable 00:14:55.030 --> 00:14:57.270 align:start position:0% the teachers do most lacking of usable not<00:14:55.150> be<00:14:55.270> tested<00:14:55.720> properly<00:14:56.050> and<00:14:56.590> you<00:14:57.070> won't 00:14:57.270 --> 00:14:57.280 align:start position:0% not be tested properly and you won't 00:14:57.280 --> 00:15:00.810 align:start position:0% not be tested properly and you won't catch<00:14:57.910> us<00:14:58.360> very<00:14:59.050> very<00:14:59.260> late<00:14:59.470> in<00:15:00.160> life<00:15:00.220> segment 00:15:00.810 --> 00:15:00.820 align:start position:0% catch us very very late in life segment 00:15:00.820 --> 00:15:06.980 align:start position:0% catch us very very late in life segment was<00:15:00.910> portfolio<00:15:01.480> off<00:15:04.800> verses<00:15:05.800> and<00:15:06.010> maybe<00:15:06.370> see 00:15:06.980 --> 00:15:06.990 align:start position:0% was portfolio off verses and maybe see 00:15:06.990 --> 00:15:10.380 align:start position:0% was portfolio off verses and maybe see the<00:15:07.990> missus<00:15:08.500> resistances<00:15:09.220> in<00:15:09.490> general<00:15:09.880> like 00:15:10.380 --> 00:15:10.390 align:start position:0% the missus resistances in general like 00:15:10.390 --> 00:15:12.690 align:start position:0% the missus resistances in general like looking<00:15:10.720> for<00:15:11.020> a<00:15:11.050> crew<00:15:11.350> graphic<00:15:11.710> port<00:15:11.920> was<00:15:12.130> for 00:15:12.690 --> 00:15:12.700 align:start position:0% looking for a crew graphic port was for 00:15:12.700 --> 00:15:15.810 align:start position:0% looking for a crew graphic port was for example<00:15:13.390> if<00:15:13.480> you<00:15:13.720> like<00:15:13.900> national<00:15:14.350> should<00:15:15.310> but 00:15:15.810 --> 00:15:15.820 align:start position:0% example if you like national should but 00:15:15.820 --> 00:15:20.160 align:start position:0% example if you like national should but what<00:15:16.420> if<00:15:16.510> you<00:15:16.600> do<00:15:18.180> an<00:15:19.180> attack<00:15:19.600> box<00:15:19.840> where<00:15:20.050> the 00:15:20.160 --> 00:15:20.170 align:start position:0% what if you do an attack box where the 00:15:20.170 --> 00:15:23.550 align:start position:0% what if you do an attack box where the signature<00:15:20.910> really<00:15:21.990> dealing<00:15:22.990> with<00:15:23.050> all<00:15:23.320> sizes 00:15:23.550 --> 00:15:23.560 align:start position:0% signature really dealing with all sizes 00:15:23.560 --> 00:15:26.100 align:start position:0% signature really dealing with all sizes and<00:15:24.010> he<00:15:24.460> has<00:15:24.550> to<00:15:24.790> try<00:15:25.270> to<00:15:25.330> make<00:15:25.540> the<00:15:25.810> energy 00:15:26.100 --> 00:15:26.110 align:start position:0% and he has to try to make the energy 00:15:26.110 --> 00:15:29.550 align:start position:0% and he has to try to make the energy doing<00:15:27.100> mrs.<00:15:27.400> resistance<00:15:28.000> like<00:15:28.810> not<00:15:29.290> really 00:15:29.550 --> 00:15:29.560 align:start position:0% doing mrs. resistance like not really 00:15:29.560 --> 00:15:32.880 align:start position:0% doing mrs. resistance like not really faults<00:15:30.280> not<00:15:31.150> my<00:15:31.510> team<00:15:31.930> of<00:15:32.140> some<00:15:32.560> sort<00:15:32.800> like 00:15:32.880 --> 00:15:32.890 align:start position:0% faults not my team of some sort like 00:15:32.890 --> 00:15:35.180 align:start position:0% faults not my team of some sort like that 00:15:35.180 --> 00:15:35.190 align:start position:0% that 00:15:35.190 --> 00:15:39.110 align:start position:0% that make<00:15:36.190> everything<00:15:36.459> this<00:15:37.000> explicit<00:15:37.870> God 00:15:39.110 --> 00:15:39.120 align:start position:0% make everything this explicit God 00:15:39.120 --> 00:15:41.610 align:start position:0% make everything this explicit God because<00:15:40.120> people<00:15:40.600> would<00:15:40.720> not<00:15:40.930> read<00:15:41.230> the<00:15:41.440> four 00:15:41.610 --> 00:15:41.620 align:start position:0% because people would not read the four 00:15:41.620 --> 00:15:44.579 align:start position:0% because people would not read the four specifications<00:15:42.339> they<00:15:43.000> will<00:15:43.209> assume<00:15:43.589> things 00:15:44.579 --> 00:15:44.589 align:start position:0% specifications they will assume things 00:15:44.589 --> 00:15:48.870 align:start position:0% specifications they will assume things based<00:15:45.190> on<00:15:45.370> what<00:15:45.430> they've<00:15:45.700> read<00:15:45.910> and<00:15:47.670> which<00:15:48.670> was 00:15:48.870 --> 00:15:48.880 align:start position:0% based on what they've read and which was 00:15:48.880 --> 00:15:52.260 align:start position:0% based on what they've read and which was it's<00:15:49.390> all<00:15:49.630> word<00:15:50.110> problems<00:15:50.649> and<00:15:50.970> be<00:15:51.970> very 00:15:52.260 --> 00:15:52.270 align:start position:0% it's all word problems and be very 00:15:52.270 --> 00:15:55.889 align:start position:0% it's all word problems and be very transparent<00:15:52.839> about<00:15:53.170> the<00:15:53.920> facts<00:15:54.520> that<00:15:54.970> the 00:15:55.889 --> 00:15:55.899 align:start position:0% transparent about the facts that the 00:15:55.899 --> 00:15:58.370 align:start position:0% transparent about the facts that the things<00:15:56.170> that<00:15:56.440> he's<00:15:56.529> trying<00:15:56.800> to<00:15:56.890> say<00:15:57.220> had 00:15:58.370 --> 00:15:58.380 align:start position:0% things that he's trying to say had 00:15:58.380 --> 00:16:01.410 align:start position:0% things that he's trying to say had another<00:15:59.380> interesting<00:15:59.740> thing<00:15:59.980> which<00:16:00.279> is<00:16:00.459> not 00:16:01.410 --> 00:16:01.420 align:start position:0% another interesting thing which is not 00:16:01.420 --> 00:16:04.230 align:start position:0% another interesting thing which is not really<00:16:01.480> what<00:16:02.040> not<00:16:03.040> rethinking<00:16:03.610> else<00:16:03.850> in<00:16:04.060> the 00:16:04.230 --> 00:16:04.240 align:start position:0% really what not rethinking else in the 00:16:04.240 --> 00:16:06.600 align:start position:0% really what not rethinking else in the make<00:16:04.420> many<00:16:04.899> make<00:16:05.260> Russia<00:16:05.529> birth<00:16:05.890> workers<00:16:06.399> they 00:16:06.600 --> 00:16:06.610 align:start position:0% make many make Russia birth workers they 00:16:06.610 --> 00:16:09.870 align:start position:0% make many make Russia birth workers they think<00:16:06.940> about<00:16:07.029> depreciation<00:16:07.890> but<00:16:08.890> what<00:16:09.700> would 00:16:09.870 --> 00:16:09.880 align:start position:0% think about depreciation but what would 00:16:09.880 --> 00:16:11.820 align:start position:0% think about depreciation but what would look<00:16:10.060> like<00:16:10.330> if<00:16:10.750> one<00:16:10.930> of<00:16:11.080> the<00:16:11.140> sudden<00:16:11.560> everybody 00:16:11.820 --> 00:16:11.830 align:start position:0% look like if one of the sudden everybody 00:16:11.830 --> 00:16:13.410 align:start position:0% look like if one of the sudden everybody to<00:16:12.130> stop<00:16:12.310> okay 00:16:13.410 --> 00:16:13.420 align:start position:0% to stop okay 00:16:13.420 --> 00:16:16.019 align:start position:0% to stop okay this<00:16:13.839> washing<00:16:14.230> systems<00:16:14.620> now<00:16:15.310> on<00:16:15.490> David<00:16:15.850> let's 00:16:16.019 --> 00:16:16.029 align:start position:0% this washing systems now on David let's 00:16:16.029 --> 00:16:18.360 align:start position:0% this washing systems now on David let's do<00:16:16.420> two<00:16:16.600> new<00:16:16.750> one<00:16:16.959> which<00:16:17.320> was<00:16:17.589> sort<00:16:18.310> of 00:16:18.360 --> 00:16:18.370 align:start position:0% do two new one which was sort of 00:16:18.370 --> 00:16:21.060 align:start position:0% do two new one which was sort of happening<00:16:18.839> one<00:16:19.839> point<00:16:20.110> zero<00:16:20.170> two<00:16:20.560> twenty 00:16:21.060 --> 00:16:21.070 align:start position:0% happening one point zero two twenty 00:16:21.070 --> 00:16:25.350 align:start position:0% happening one point zero two twenty liver<00:16:21.310> but<00:16:23.190> there's<00:16:24.190> a<00:16:24.310> usually<00:16:24.670> a<00:16:24.730> variable 00:16:25.350 --> 00:16:25.360 align:start position:0% liver but there's a usually a variable 00:16:25.360 --> 00:16:27.829 align:start position:0% liver but there's a usually a variable program<00:16:25.779> progress<00:16:26.170> that<00:16:26.770> process<00:16:27.250> spends 00:16:27.829 --> 00:16:27.839 align:start position:0% program progress that process spends 00:16:27.839 --> 00:16:31.620 align:start position:0% program progress that process spends just<00:16:29.250> assuming<00:16:30.250> other<00:16:30.430> thing<00:16:30.700> people<00:16:30.730> think 00:16:31.620 --> 00:16:31.630 align:start position:0% just assuming other thing people think 00:16:31.630 --> 00:16:33.210 align:start position:0% just assuming other thing people think about<00:16:31.750> not<00:16:32.080> because<00:16:32.380> of<00:16:32.589> course<00:16:33.100> we're 00:16:33.210 --> 00:16:33.220 align:start position:0% about not because of course we're 00:16:33.220 --> 00:16:35.100 align:start position:0% about not because of course we're designing<00:16:33.580> for<00:16:33.700> God<00:16:34.120> he<00:16:34.420> wanted<00:16:34.750> to<00:16:34.839> be<00:16:34.930> used 00:16:35.100 --> 00:16:35.110 align:start position:0% designing for God he wanted to be used 00:16:35.110 --> 00:16:40.190 align:start position:0% designing for God he wanted to be used in<00:16:35.470> water<00:16:36.130> salinity<00:16:36.630> and<00:16:38.160> minimization 00:16:40.190 --> 00:16:40.200 align:start position:0% in water salinity and minimization 00:16:40.200 --> 00:16:44.030 align:start position:0% in water salinity and minimization routines<00:16:41.200> on<00:16:41.380> Shane<00:16:42.120> customers<00:16:43.120> money 00:16:44.030 --> 00:16:44.040 align:start position:0% routines on Shane customers money 00:16:44.040 --> 00:16:50.390 align:start position:0% routines on Shane customers money leaking<00:16:45.040> doctors<00:16:45.430> also<00:16:45.700> not<00:16:45.850> nice<00:16:48.480> yeah 00:16:50.390 --> 00:16:50.400 align:start position:0% leaking doctors also not nice yeah 00:16:50.400 --> 00:16:53.720 align:start position:0% leaking doctors also not nice yeah so<00:16:51.089> when<00:16:51.870> you<00:16:51.990> try<00:16:52.380> to<00:16:52.500> write<00:16:53.400> a<00:16:53.430> specification 00:16:53.720 --> 00:16:53.730 align:start position:0% so when you try to write a specification 00:16:53.730 --> 00:16:55.730 align:start position:0% so when you try to write a specification like<00:16:54.450> the<00:16:54.600> thing<00:16:54.810> that<00:16:54.990> people<00:16:55.110> supposed<00:16:55.620> to 00:16:55.730 --> 00:16:55.740 align:start position:0% like the thing that people supposed to 00:16:55.740 --> 00:17:00.160 align:start position:0% like the thing that people supposed to read<00:16:56.120> don't<00:16:57.120> try<00:16:57.300> too<00:16:57.360> clever<00:16:58.700> please<00:16:59.700> don't 00:17:00.160 --> 00:17:00.170 align:start position:0% read don't try too clever please don't 00:17:00.170 --> 00:17:04.760 align:start position:0% read don't try too clever please don't repeat<00:17:01.170> words<00:17:01.490> if<00:17:02.490> needed<00:17:03.350> because<00:17:04.350> otherwise 00:17:04.760 --> 00:17:04.770 align:start position:0% repeat words if needed because otherwise 00:17:04.770 --> 00:17:06.049 align:start position:0% repeat words if needed because otherwise people<00:17:04.890> might<00:17:05.220> think<00:17:05.550> there<00:17:05.699> are<00:17:05.760> different 00:17:06.049 --> 00:17:06.059 align:start position:0% people might think there are different 00:17:06.059 --> 00:17:11.360 align:start position:0% people might think there are different things<00:17:07.010> because<00:17:08.010> just<00:17:08.160> trying<00:17:08.430> to<00:17:08.520> be<00:17:10.370> good 00:17:11.360 --> 00:17:11.370 align:start position:0% things because just trying to be good 00:17:11.370 --> 00:17:13.699 align:start position:0% things because just trying to be good when<00:17:11.550> your<00:17:11.699> rights<00:17:11.910> state<00:17:12.809> diagrams<00:17:13.350> are 00:17:13.699 --> 00:17:13.709 align:start position:0% when your rights state diagrams are 00:17:13.709 --> 00:17:17.780 align:start position:0% when your rights state diagrams are amazing<00:17:15.410> if<00:17:16.410> something<00:17:16.860> that<00:17:17.010> is<00:17:17.100> complicated 00:17:17.780 --> 00:17:17.790 align:start position:0% amazing if something that is complicated 00:17:17.790 --> 00:17:19.490 align:start position:0% amazing if something that is complicated state<00:17:18.059> diagram<00:17:18.510> is<00:17:18.900> probably<00:17:19.319> too 00:17:19.490 --> 00:17:19.500 align:start position:0% state diagram is probably too 00:17:19.500 --> 00:17:22.870 align:start position:0% state diagram is probably too complicated<00:17:20.300> and<00:17:21.300> people<00:17:21.689> will<00:17:21.839> get<00:17:21.959> confused 00:17:22.870 --> 00:17:22.880 align:start position:0% complicated and people will get confused 00:17:22.880 --> 00:17:27.350 align:start position:0% complicated and people will get confused and<00:17:24.439> my<00:17:25.439> single<00:17:25.860> plates<00:17:26.069> of<00:17:26.459> the<00:17:26.730> state 00:17:27.350 --> 00:17:27.360 align:start position:0% and my single plates of the state 00:17:27.360 --> 00:17:30.830 align:start position:0% and my single plates of the state diagram<00:17:27.569> representation<00:17:28.260> of<00:17:28.679> us<00:17:28.800> words<00:17:29.840> it's 00:17:30.830 --> 00:17:30.840 align:start position:0% diagram representation of us words it's 00:17:30.840 --> 00:17:35.930 align:start position:0% diagram representation of us words it's so<00:17:31.500> easy<00:17:31.800> to<00:17:31.950> formalize<00:17:32.960> and<00:17:34.490> and<00:17:35.490> in<00:17:35.610> the<00:17:35.730> end 00:17:35.930 --> 00:17:35.940 align:start position:0% so easy to formalize and and in the end 00:17:35.940 --> 00:17:38.390 align:start position:0% so easy to formalize and and in the end is<00:17:36.150> sort<00:17:36.929> of<00:17:36.960> the<00:17:37.230> the<00:17:37.650> the<00:17:37.920> thing<00:17:38.130> that<00:17:38.160> you 00:17:38.390 --> 00:17:38.400 align:start position:0% is sort of the the the thing that you 00:17:38.400 --> 00:17:41.380 align:start position:0% is sort of the the the thing that you gave<00:17:38.880> us<00:17:39.090> like<00:17:39.900> good<00:17:40.740> balance<00:17:41.190> between 00:17:41.380 --> 00:17:41.390 align:start position:0% gave us like good balance between 00:17:41.390 --> 00:17:47.030 align:start position:0% gave us like good balance between formalism<00:17:42.590> abstraction<00:17:43.620> I<00:17:44.450> need<00:17:45.450> you<00:17:45.920> in<00:17:46.920> an 00:17:47.030 --> 00:17:47.040 align:start position:0% formalism abstraction I need you in an 00:17:47.040 --> 00:17:49.190 align:start position:0% formalism abstraction I need you in an idea<00:17:47.340> what<00:17:47.550> he<00:17:47.670> puts<00:17:47.940> or<00:17:48.630> like<00:17:48.870> a<00:17:48.900> formal 00:17:49.190 --> 00:17:49.200 align:start position:0% idea what he puts or like a formal 00:17:49.200 --> 00:17:50.870 align:start position:0% idea what he puts or like a formal specification<00:17:49.380> on<00:17:50.040> the<00:17:50.130> protocol<00:17:50.610> have 00:17:50.870 --> 00:17:50.880 align:start position:0% specification on the protocol have 00:17:50.880 --> 00:17:53.570 align:start position:0% specification on the protocol have implemented<00:17:51.300> automatically<00:17:52.290> put<00:17:53.100> into<00:17:53.220> codes 00:17:53.570 --> 00:17:53.580 align:start position:0% implemented automatically put into codes 00:17:53.580 --> 00:17:58.570 align:start position:0% implemented automatically put into codes that<00:17:54.210> will<00:17:54.300> be<00:17:54.510> amazing<00:17:55.400> but<00:17:56.400> unfortunately 00:17:58.570 --> 00:17:58.580 align:start position:0% that will be amazing but unfortunately 00:17:58.580 --> 00:18:01.070 align:start position:0% that will be amazing but unfortunately writing<00:17:59.580> on<00:17:59.760> specifications<00:18:00.510> really<00:18:00.870> really 00:18:01.070 --> 00:18:01.080 align:start position:0% writing on specifications really really 00:18:01.080 --> 00:18:03.830 align:start position:0% writing on specifications really really hard<00:18:01.350> to<00:18:02.160> sing<00:18:02.370> any<00:18:02.520> better<00:18:02.760> but<00:18:03.059> it's<00:18:03.570> the 00:18:03.830 --> 00:18:03.840 align:start position:0% hard to sing any better but it's the 00:18:03.840 --> 00:18:07.250 align:start position:0% hard to sing any better but it's the payment<00:18:04.830> like<00:18:05.700> try<00:18:06.270> to<00:18:06.330> actually<00:18:06.600> write<00:18:06.900> phone 00:18:07.250 --> 00:18:07.260 align:start position:0% payment like try to actually write phone 00:18:07.260 --> 00:18:09.770 align:start position:0% payment like try to actually write phone like<00:18:07.830> definition<00:18:08.490> of<00:18:08.610> all<00:18:09.120> the<00:18:09.360> things<00:18:09.600> that 00:18:09.770 --> 00:18:09.780 align:start position:0% like definition of all the things that 00:18:09.780 --> 00:18:13.610 align:start position:0% like definition of all the things that before<00:18:09.900> sample<00:18:10.410> watching<00:18:10.710> truly<00:18:11.130> a<00:18:12.620> consensus 00:18:13.610 --> 00:18:13.620 align:start position:0% before sample watching truly a consensus 00:18:13.620 --> 00:18:18.560 align:start position:0% before sample watching truly a consensus our<00:18:13.770> goodness<00:18:14.040> my<00:18:14.910> possible<00:18:16.309> so<00:18:17.309> too<00:18:18.210> much<00:18:18.360> for 00:18:18.560 --> 00:18:18.570 align:start position:0% our goodness my possible so too much for 00:18:18.570 --> 00:18:20.060 align:start position:0% our goodness my possible so too much for medicine<00:18:18.929> makes<00:18:19.170> it<00:18:19.320> much<00:18:19.470> harder<00:18:19.530> to<00:18:19.920> read 00:18:20.060 --> 00:18:20.070 align:start position:0% medicine makes it much harder to read 00:18:20.070 --> 00:18:23.390 align:start position:0% medicine makes it much harder to read from<00:18:20.760> people<00:18:21.230> so<00:18:22.230> that<00:18:22.380> you<00:18:22.650> have<00:18:23.010> to<00:18:23.190> assume 00:18:23.390 --> 00:18:23.400 align:start position:0% from people so that you have to assume 00:18:23.400 --> 00:18:25.780 align:start position:0% from people so that you have to assume so<00:18:23.640> let's<00:18:23.940> try<00:18:24.150> some 00:18:25.780 --> 00:18:25.790 align:start position:0% so let's try some 00:18:25.790 --> 00:18:28.810 align:start position:0% so let's try some start<00:18:26.210> and<00:18:26.980> probably<00:18:27.980> most<00:18:28.100> important<00:18:28.640> thing 00:18:28.810 --> 00:18:28.820 align:start position:0% start and probably most important thing 00:18:28.820 --> 00:18:31.690 align:start position:0% start and probably most important thing is<00:18:29.000> that<00:18:29.960> it's<00:18:30.800> easy<00:18:31.010> to<00:18:31.220> misunderstand 00:18:31.690 --> 00:18:31.700 align:start position:0% is that it's easy to misunderstand 00:18:31.700 --> 00:18:34.920 align:start position:0% is that it's easy to misunderstand something<00:18:32.390> this<00:18:33.110> is<00:18:33.230> about<00:18:33.470> respect 00:18:34.920 --> 00:18:34.930 align:start position:0% something this is about respect 00:18:34.930 --> 00:18:37.210 align:start position:0% something this is about respect otherwise<00:18:35.930> it's<00:18:36.140> just<00:18:36.260> what<00:18:36.710> were<00:18:36.890> to<00:18:37.070> be 00:18:37.210 --> 00:18:37.220 align:start position:0% otherwise it's just what were to be 00:18:37.220 --> 00:18:45.010 align:start position:0% otherwise it's just what were to be happy<00:18:39.460> people<00:18:40.460> will<00:18:40.670> misunderstand<00:18:41.660> me 00:18:45.010 --> 00:18:45.020 align:start position:0% 00:18:45.020 --> 00:18:48.280 align:start position:0% yeses<00:18:46.360> the<00:18:47.360> biggest<00:18:47.660> kind<00:18:47.810> of<00:18:47.930> works<00:18:48.140> like 00:18:48.280 --> 00:18:48.290 align:start position:0% yeses the biggest kind of works like 00:18:48.290 --> 00:18:50.470 align:start position:0% yeses the biggest kind of works like what<00:18:48.800> happens<00:18:49.160> most<00:18:49.370> people<00:18:49.640> use<00:18:49.790> this<00:18:49.940> thing 00:18:50.470 --> 00:18:50.480 align:start position:0% what happens most people use this thing 00:18:50.480 --> 00:18:53.110 align:start position:0% what happens most people use this thing what<00:18:51.110> happened<00:18:51.410> was<00:18:51.530> it's<00:18:51.740> applauds<00:18:52.190> what<00:18:53.000> are 00:18:53.110 --> 00:18:53.120 align:start position:0% what happened was it's applauds what are 00:18:53.120 --> 00:18:55.570 align:start position:0% what happened was it's applauds what are you<00:18:53.210> offering<00:18:53.720> things<00:18:54.590> that<00:18:54.980> people<00:18:55.340> will<00:18:55.460> not 00:18:55.570 --> 00:18:55.580 align:start position:0% you offering things that people will not 00:18:55.580 --> 00:18:57.310 align:start position:0% you offering things that people will not upgrade<00:18:55.970> only<00:18:56.360> you<00:18:56.600> would<00:18:56.840> like<00:18:57.020> better 00:18:57.310 --> 00:18:57.320 align:start position:0% upgrade only you would like better 00:18:57.320 --> 00:19:01.630 align:start position:0% upgrade only you would like better stability<00:18:59.470> this<00:19:00.470> is<00:19:00.710> really<00:19:01.250> new<00:19:01.430> art 00:19:01.630 --> 00:19:01.640 align:start position:0% stability this is really new art 00:19:01.640 --> 00:19:04.330 align:start position:0% stability this is really new art especially<00:19:02.500> developing<00:19:03.500> all<00:19:03.620> this<00:19:03.740> happens 00:19:04.330 --> 00:19:04.340 align:start position:0% especially developing all this happens 00:19:04.340 --> 00:19:07.270 align:start position:0% especially developing all this happens in<00:19:04.400> your<00:19:04.580> Britain<00:19:04.940> and<00:19:05.870> its<00:19:06.260> diversity<00:19:07.100> of 00:19:07.270 --> 00:19:07.280 align:start position:0% in your Britain and its diversity of 00:19:07.280 --> 00:19:09.820 align:start position:0% in your Britain and its diversity of people<00:19:07.640> just<00:19:08.270> assume<00:19:08.960> is<00:19:09.080> right<00:19:09.350> something<00:19:09.530> is 00:19:09.820 --> 00:19:09.830 align:start position:0% people just assume is right something is 00:19:09.830 --> 00:19:15.280 align:start position:0% people just assume is right something is excited<00:19:10.640> in<00:19:10.670> this<00:19:11.530> very<00:19:12.530> messy<00:19:12.890> and<00:19:14.290> yeah 00:19:15.280 --> 00:19:15.290 align:start position:0% excited in this very messy and yeah 00:19:15.290 --> 00:19:17.890 align:start position:0% excited in this very messy and yeah because<00:19:15.740> especially<00:19:16.700> like<00:19:16.880> these<00:19:17.330> addresses 00:19:17.890 --> 00:19:17.900 align:start position:0% because especially like these addresses 00:19:17.900 --> 00:19:19.299 align:start position:0% because especially like these addresses are<00:19:18.140> trying<00:19:18.500> to<00:19:18.560> be<00:19:18.890> centers 00:19:19.299 --> 00:19:19.309 align:start position:0% are trying to be centers 00:19:19.309 --> 00:19:21.999 align:start position:0% are trying to be centers since<00:19:19.580> biggest<00:19:20.570> movers<00:19:20.929> not<00:19:21.799> just 00:19:21.999 --> 00:19:22.009 align:start position:0% since biggest movers not just 00:19:22.009 --> 00:19:24.340 align:start position:0% since biggest movers not just technically<00:19:22.460> but<00:19:22.639> also<00:19:22.820> politically<00:19:23.570> which 00:19:24.340 --> 00:19:24.350 align:start position:0% technically but also politically which 00:19:24.350 --> 00:19:31.450 align:start position:0% technically but also politically which we've<00:19:25.190> seen<00:19:26.320> person<00:19:27.320> into<00:19:28.309> himself<00:19:30.100> so<00:19:31.100> to 00:19:31.450 --> 00:19:31.460 align:start position:0% we've seen person into himself so to 00:19:31.460 --> 00:19:34.899 align:start position:0% we've seen person into himself so to wrap<00:19:31.730> up<00:19:32.259> with<00:19:33.259> some<00:19:33.529> where<00:19:33.860> they<00:19:34.370> feel<00:19:34.700> loved 00:19:34.899 --> 00:19:34.909 align:start position:0% wrap up with some where they feel loved 00:19:34.909 --> 00:19:37.450 align:start position:0% wrap up with some where they feel loved most<00:19:35.240> and<00:19:35.799> liberal<00:19:36.799> searches<00:19:37.159> in<00:19:37.340> an 00:19:37.450 --> 00:19:37.460 align:start position:0% most and liberal searches in an 00:19:37.460 --> 00:19:38.649 align:start position:0% most and liberal searches in an important<00:19:37.820> consequence<00:19:38.210> for<00:19:38.450> distribution 00:19:38.649 --> 00:19:38.659 align:start position:0% important consequence for distribution 00:19:38.659 --> 00:19:41.830 align:start position:0% important consequence for distribution of<00:19:38.990> power<00:19:39.200> and<00:19:40.299> procedural<00:19:41.299> deliberate 00:19:41.830 --> 00:19:41.840 align:start position:0% of power and procedural deliberate 00:19:41.840 --> 00:19:44.739 align:start position:0% of power and procedural deliberate pranks<00:19:42.200> they're<00:19:42.559> not<00:19:42.799> Rebecca<00:19:43.399> fermented<00:19:44.029> one 00:19:44.739 --> 00:19:44.749 align:start position:0% pranks they're not Rebecca fermented one 00:19:44.749 --> 00:19:46.840 align:start position:0% pranks they're not Rebecca fermented one of<00:19:44.870> the<00:19:44.990> few<00:19:45.200> foundations<00:19:45.950> and<00:19:46.549> were<00:19:46.789> the 00:19:46.840 --> 00:19:46.850 align:start position:0% of the few foundations and were the 00:19:46.850 --> 00:19:49.419 align:start position:0% of the few foundations and were the corporation's<00:19:47.539> move<00:19:47.990> it<00:19:48.289> become<00:19:48.799> as<00:19:48.950> a<00:19:49.129> cement 00:19:49.419 --> 00:19:49.429 align:start position:0% corporation's move it become as a cement 00:19:49.429 --> 00:19:51.759 align:start position:0% corporation's move it become as a cement over<00:19:49.759> time<00:19:49.999> instead<00:19:50.480> the<00:19:51.139> result<00:19:51.289> in<00:19:51.590> specific 00:19:51.759 --> 00:19:51.769 align:start position:0% over time instead the result in specific 00:19:51.769 --> 00:19:53.680 align:start position:0% over time instead the result in specific tangible<00:19:52.279> and<00:19:52.789> enduring<00:19:53.119> corporation 00:19:53.680 --> 00:19:53.690 align:start position:0% tangible and enduring corporation 00:19:53.690 --> 00:20:00.180 align:start position:0% tangible and enduring corporation products<00:19:54.289> meaning<00:19:55.249> that<00:19:56.139> if<00:19:57.139> before<00:19:58.100> call 00:20:00.180 --> 00:20:00.190 align:start position:0% products meaning that if before call 00:20:00.190 --> 00:20:04.389 align:start position:0% products meaning that if before call ends<00:20:01.190> up<00:20:01.549> being<00:20:02.059> used<00:20:02.360> for<00:20:02.690> ends<00:20:03.230> up<00:20:03.379> trying<00:20:04.249> to 00:20:04.389 --> 00:20:04.399 align:start position:0% ends up being used for ends up trying to 00:20:04.399 --> 00:20:08.489 align:start position:0% ends up being used for ends up trying to sort<00:20:05.299> of<00:20:05.330> incentivize<00:20:05.929> people<00:20:06.169> for<00:20:06.590> and<00:20:07.129> serve 00:20:08.489 --> 00:20:08.499 align:start position:0% sort of incentivize people for and serve 00:20:08.499 --> 00:20:13.210 align:start position:0% sort of incentivize people for and serve like<00:20:09.499> the<00:20:10.190> Russian<00:20:10.519> behavior<00:20:11.379> you<00:20:12.379> so<00:20:12.980> need<00:20:13.190> to 00:20:13.210 --> 00:20:13.220 align:start position:0% like the Russian behavior you so need to 00:20:13.220 --> 00:20:16.930 align:start position:0% like the Russian behavior you so need to think<00:20:13.549> about<00:20:13.789> what's<00:20:14.029> the<00:20:14.360> long-term<00:20:15.940> weight 00:20:16.930 --> 00:20:16.940 align:start position:0% think about what's the long-term weight 00:20:16.940 --> 00:20:20.619 align:start position:0% think about what's the long-term weight layouts<00:20:17.869> behavior<00:20:18.820> things<00:20:19.820> are<00:20:20.059> very<00:20:20.269> sticky 00:20:20.619 --> 00:20:20.629 align:start position:0% layouts behavior things are very sticky 00:20:20.629 --> 00:20:24.279 align:start position:0% layouts behavior things are very sticky if<00:20:21.169> people<00:20:21.590> are<00:20:21.769> getting<00:20:22.669> extract<00:20:23.450> or 00:20:24.279 --> 00:20:24.289 align:start position:0% if people are getting extract or 00:20:24.289 --> 00:20:27.419 align:start position:0% if people are getting extract or information<00:20:24.830> somewhere<00:20:25.100> else<00:20:25.369> they<00:20:25.549> will<00:20:25.759> and 00:20:27.419 --> 00:20:27.429 align:start position:0% information somewhere else they will and 00:20:27.429 --> 00:20:30.580 align:start position:0% information somewhere else they will and you<00:20:28.429> might<00:20:28.669> not<00:20:28.879> know<00:20:29.090> even<00:20:30.019> if<00:20:30.230> you<00:20:30.320> have<00:20:30.409> good 00:20:30.580 --> 00:20:30.590 align:start position:0% you might not know even if you have good 00:20:30.590 --> 00:20:31.210 align:start position:0% you might not know even if you have good intentions 00:20:31.210 --> 00:20:31.220 align:start position:0% intentions 00:20:31.220 --> 00:20:33.039 align:start position:0% intentions you're<00:20:31.549> quite<00:20:31.789> often<00:20:31.940> Matt<00:20:32.240> Milan<00:20:32.659> I'm<00:20:32.869> just 00:20:33.039 --> 00:20:33.049 align:start position:0% you're quite often Matt Milan I'm just 00:20:33.049 --> 00:20:36.100 align:start position:0% you're quite often Matt Milan I'm just making<00:20:33.320> things<00:20:33.499> worse<00:20:33.649> and<00:20:34.360> or<00:20:35.360> just<00:20:35.840> try<00:20:36.080> to 00:20:36.100 --> 00:20:36.110 align:start position:0% making things worse and or just try to 00:20:36.110 --> 00:20:39.789 align:start position:0% making things worse and or just try to like<00:20:36.499> not<00:20:36.830> be<00:20:37.220> able<00:20:37.669> to<00:20:37.730> move<00:20:37.909> for<00:20:38.869> the<00:20:39.529> same 00:20:39.789 --> 00:20:39.799 align:start position:0% like not be able to move for the same 00:20:39.799 --> 00:20:42.369 align:start position:0% like not be able to move for the same people<00:20:40.249> have<00:20:40.490> actors<00:20:40.999> who<00:20:41.240> might<00:20:42.019> be<00:20:42.110> dissing 00:20:42.369 --> 00:20:42.379 align:start position:0% people have actors who might be dissing 00:20:42.379 --> 00:20:44.560 align:start position:0% people have actors who might be dissing fact<00:20:42.590> that<00:20:42.769> matters<00:20:43.100> already<00:20:43.509> just<00:20:44.509> like 00:20:44.560 --> 00:20:44.570 align:start position:0% fact that matters already just like 00:20:44.570 --> 00:20:53.200 align:start position:0% fact that matters already just like importance<00:20:45.080> advantage<00:20:47.409> and<00:20:48.409> I<00:20:48.559> see 00:20:53.200 --> 00:20:53.210 align:start position:0% 00:20:53.210 --> 00:21:02.710 align:start position:0% [Applause] 00:21:02.710 --> 00:21:02.720 align:start position:0% 00:21:02.720 --> 00:21:04.780 align:start position:0% you