WEBVTT Kind: captions Language: en 00:00:02.470 --> 00:00:11.450 align:start position:0% [Music] 00:00:11.450 --> 00:00:11.460 align:start position:0% 00:00:11.460 --> 00:00:13.670 align:start position:0% hello<00:00:12.180> everybody<00:00:12.480> i'm<00:00:12.750> alexi<00:00:13.200> Calabro<00:00:13.530> for 00:00:13.670 --> 00:00:13.680 align:start position:0% hello everybody i'm alexi Calabro for 00:00:13.680 --> 00:00:16.010 align:start position:0% hello everybody i'm alexi Calabro for the<00:00:13.740> organizer<00:00:14.160> of<00:00:14.340> SF<00:00:14.670> scholar<00:00:14.970> and<00:00:15.240> here<00:00:15.870> we 00:00:16.010 --> 00:00:16.020 align:start position:0% the organizer of SF scholar and here we 00:00:16.020 --> 00:00:18.890 align:start position:0% the organizer of SF scholar and here we are<00:00:16.049> back<00:00:16.350> on<00:00:16.380> location<00:00:16.980> at<00:00:17.100> trade<00:00:17.400> shift<00:00:17.900> it's 00:00:18.890 --> 00:00:18.900 align:start position:0% are back on location at trade shift it's 00:00:18.900 --> 00:00:21.710 align:start position:0% are back on location at trade shift it's a<00:00:18.960> great<00:00:19.200> startup<00:00:19.590> using<00:00:20.190> akka<00:00:20.880> and<00:00:21.150> Scala<00:00:21.480> and 00:00:21.710 --> 00:00:21.720 align:start position:0% a great startup using akka and Scala and 00:00:21.720 --> 00:00:26.300 align:start position:0% a great startup using akka and Scala and Java<00:00:22.610> and<00:00:23.610> we<00:00:24.300> have<00:00:24.480> a<00:00:24.510> great<00:00:24.960> talk<00:00:25.890> today<00:00:26.100> by 00:00:26.300 --> 00:00:26.310 align:start position:0% Java and we have a great talk today by 00:00:26.310 --> 00:00:28.520 align:start position:0% Java and we have a great talk today by Bill<00:00:26.520> winners<00:00:26.820> the<00:00:27.390> creator<00:00:27.720> of<00:00:27.900> Scala<00:00:28.170> tests 00:00:28.520 --> 00:00:28.530 align:start position:0% Bill winners the creator of Scala tests 00:00:28.530 --> 00:00:31.670 align:start position:0% Bill winners the creator of Scala tests and<00:00:29.340> last<00:00:30.150> time<00:00:30.450> we'll<00:00:30.810> give<00:00:31.020> a<00:00:31.050> talk<00:00:31.289> it<00:00:31.470> was 00:00:31.670 --> 00:00:31.680 align:start position:0% and last time we'll give a talk it was 00:00:31.680 --> 00:00:34.490 align:start position:0% and last time we'll give a talk it was about<00:00:31.950> scholastic<00:00:32.400> ah<00:00:32.820> all<00:00:33.629> right<00:00:33.809> so<00:00:34.110> I<00:00:34.410> think 00:00:34.490 --> 00:00:34.500 align:start position:0% about scholastic ah all right so I think 00:00:34.500 --> 00:00:35.720 align:start position:0% about scholastic ah all right so I think it's<00:00:34.830> been<00:00:35.040> a<00:00:35.070> while 00:00:35.720 --> 00:00:35.730 align:start position:0% it's been a while 00:00:35.730 --> 00:00:39.680 align:start position:0% it's been a while hmm<00:00:36.059> so<00:00:36.449> um<00:00:37.280> so<00:00:38.280> maybe<00:00:38.400> bill<00:00:38.760> will<00:00:39.030> welcome<00:00:39.480> you 00:00:39.680 --> 00:00:39.690 align:start position:0% hmm so um so maybe bill will welcome you 00:00:39.690 --> 00:00:42.350 align:start position:0% hmm so um so maybe bill will welcome you and<00:00:39.900> ask<00:00:40.320> you<00:00:40.530> for<00:00:41.430> an<00:00:41.520> update<00:00:41.820> what<00:00:42.000> happened 00:00:42.350 --> 00:00:42.360 align:start position:0% and ask you for an update what happened 00:00:42.360 --> 00:00:43.340 align:start position:0% and ask you for an update what happened since<00:00:42.989> then 00:00:43.340 --> 00:00:43.350 align:start position:0% since then 00:00:43.350 --> 00:00:44.479 align:start position:0% since then well<00:00:43.739> this<00:00:43.890> talk<00:00:44.070> I'll<00:00:44.220> have<00:00:44.310> a<00:00:44.340> little 00:00:44.479 --> 00:00:44.489 align:start position:0% well this talk I'll have a little 00:00:44.489 --> 00:00:47.120 align:start position:0% well this talk I'll have a little scholastic<00:00:45.030> in<00:00:45.149> there<00:00:45.300> too<00:00:45.450> but<00:00:45.890> this<00:00:46.890> talk 00:00:47.120 --> 00:00:47.130 align:start position:0% scholastic in there too but this talk 00:00:47.130 --> 00:00:48.979 align:start position:0% scholastic in there too but this talk will<00:00:47.310> be<00:00:47.340> about<00:00:47.640> property<00:00:48.060> based<00:00:48.239> testing<00:00:48.720> in 00:00:48.979 --> 00:00:48.989 align:start position:0% will be about property based testing in 00:00:48.989 --> 00:00:51.229 align:start position:0% will be about property based testing in general<00:00:49.440> but<00:00:49.680> we<00:00:50.070> are<00:00:50.190> adding<00:00:50.340> a<00:00:50.670> generator<00:00:51.149> to 00:00:51.229 --> 00:00:51.239 align:start position:0% general but we are adding a generator to 00:00:51.239 --> 00:00:52.850 align:start position:0% general but we are adding a generator to skullossus<00:00:51.780> through<00:00:52.050> that<00:00:52.200> one<00:00:52.350> so<00:00:52.559> I'm<00:00:52.710> gonna 00:00:52.850 --> 00:00:52.860 align:start position:0% skullossus through that one so I'm gonna 00:00:52.860 --> 00:00:55.670 align:start position:0% skullossus through that one so I'm gonna talk<00:00:53.160> about<00:00:53.280> Scala<00:00:53.579> check<00:00:53.790> and<00:00:54.059> our<00:00:54.680> generator 00:00:55.670 --> 00:00:55.680 align:start position:0% talk about Scala check and our generator 00:00:55.680 --> 00:00:57.200 align:start position:0% talk about Scala check and our generator that's<00:00:55.920> coming<00:00:56.309> and<00:00:56.460> how<00:00:56.700> they're<00:00:56.850> different 00:00:57.200 --> 00:00:57.210 align:start position:0% that's coming and how they're different 00:00:57.210 --> 00:01:00.110 align:start position:0% that's coming and how they're different mostly<00:00:58.020> oh<00:00:58.320> this<00:00:59.010> is<00:00:59.130> really<00:00:59.280> cool<00:00:59.460> yeah 00:01:00.110 --> 00:01:00.120 align:start position:0% mostly oh this is really cool yeah 00:01:00.120 --> 00:01:04.189 align:start position:0% mostly oh this is really cool yeah that's<00:01:00.630> really<00:01:00.780> cool<00:01:01.160> so<00:01:02.570> maybe<00:01:03.570> you<00:01:03.840> can<00:01:04.050> talk 00:01:04.189 --> 00:01:04.199 align:start position:0% that's really cool so maybe you can talk 00:01:04.199 --> 00:01:06.290 align:start position:0% that's really cool so maybe you can talk a<00:01:04.259> little<00:01:04.440> bit<00:01:04.680> what<00:01:05.369> you've<00:01:05.820> been<00:01:06.000> doing 00:01:06.290 --> 00:01:06.300 align:start position:0% a little bit what you've been doing 00:01:06.300 --> 00:01:10.100 align:start position:0% a little bit what you've been doing generally<00:01:07.080> since<00:01:07.440> then<00:01:07.680> all<00:01:08.040> right<00:01:08.250> so<00:01:09.110> well 00:01:10.100 --> 00:01:10.110 align:start position:0% generally since then all right so well 00:01:10.110 --> 00:01:13.130 align:start position:0% generally since then all right so well we<00:01:10.619> do<00:01:10.860> mostly<00:01:11.250> consulting<00:01:11.910> and<00:01:12.119> and<00:01:12.390> we<00:01:12.930> did 00:01:13.130 --> 00:01:13.140 align:start position:0% we do mostly consulting and and we did 00:01:13.140 --> 00:01:14.330 align:start position:0% we do mostly consulting and and we did this<00:01:13.320> g<00:01:13.560> i--<00:01:13.590> r<00:01:13.680> actually<00:01:14.039> wrote<00:01:14.190> the 00:01:14.330 --> 00:01:14.340 align:start position:0% this g i-- r actually wrote the 00:01:14.340 --> 00:01:17.840 align:start position:0% this g i-- r actually wrote the generator<00:01:14.970> over<00:01:15.420> two<00:01:15.659> years<00:01:15.960> ago<00:01:16.049> about<00:01:17.040> 95 00:01:17.840 --> 00:01:17.850 align:start position:0% generator over two years ago about 95 00:01:17.850 --> 00:01:19.940 align:start position:0% generator over two years ago about 95 percent<00:01:18.150> mm-hmm<00:01:18.900> but<00:01:19.229> it<00:01:19.409> was<00:01:19.530> not<00:01:19.619> documented 00:01:19.940 --> 00:01:19.950 align:start position:0% percent mm-hmm but it was not documented 00:01:19.950 --> 00:01:21.469 align:start position:0% percent mm-hmm but it was not documented yet<00:01:20.310> and<00:01:20.640> i<00:01:20.729> always<00:01:20.850> document<00:01:21.330> everything 00:01:21.469 --> 00:01:21.479 align:start position:0% yet and i always document everything 00:01:21.479 --> 00:01:24.380 align:start position:0% yet and i always document everything before<00:01:21.840> I<00:01:21.869> release<00:01:22.110> it<00:01:22.140> I<00:01:22.560> have<00:01:23.130> this<00:01:23.220> rule<00:01:23.520> I 00:01:24.380 --> 00:01:24.390 align:start position:0% before I release it I have this rule I 00:01:24.390 --> 00:01:29.240 align:start position:0% before I release it I have this rule I think<00:01:24.780> that<00:01:25.350> helps<00:01:25.799> me<00:01:26.900> find<00:01:28.100> places<00:01:29.100> that 00:01:29.240 --> 00:01:29.250 align:start position:0% think that helps me find places that 00:01:29.250 --> 00:01:30.859 align:start position:0% think that helps me find places that aren't<00:01:29.430> simple<00:01:29.790> enough<00:01:30.000> is<00:01:30.150> like<00:01:30.330> if<00:01:30.479> I<00:01:30.570> go<00:01:30.840> to 00:01:30.859 --> 00:01:30.869 align:start position:0% aren't simple enough is like if I go to 00:01:30.869 --> 00:01:32.359 align:start position:0% aren't simple enough is like if I go to document<00:01:31.380> and<00:01:31.650> I<00:01:31.710> can't<00:01:31.950> figure<00:01:32.070> out<00:01:32.159> how<00:01:32.310> to 00:01:32.359 --> 00:01:32.369 align:start position:0% document and I can't figure out how to 00:01:32.369 --> 00:01:33.590 align:start position:0% document and I can't figure out how to explain<00:01:32.580> it<00:01:32.670> that<00:01:32.880> I'm<00:01:32.970> like<00:01:33.090> okay<00:01:33.330> maybe 00:01:33.590 --> 00:01:33.600 align:start position:0% explain it that I'm like okay maybe 00:01:33.600 --> 00:01:35.330 align:start position:0% explain it that I'm like okay maybe that's<00:01:33.689> just<00:01:33.840> too<00:01:33.990> complicated<00:01:34.260> so<00:01:34.560> I<00:01:34.770> help 00:01:35.330 --> 00:01:35.340 align:start position:0% that's just too complicated so I help 00:01:35.340 --> 00:01:37.969 align:start position:0% that's just too complicated so I help Smee<00:01:35.580> actually<00:01:36.000> to<00:01:36.689> have<00:01:37.110> that<00:01:37.290> rule<00:01:37.439> to<00:01:37.650> keep 00:01:37.969 --> 00:01:37.979 align:start position:0% Smee actually to have that rule to keep 00:01:37.979 --> 00:01:40.399 align:start position:0% Smee actually to have that rule to keep things<00:01:38.220> simpler<00:01:39.090> just<00:01:39.600> because<00:01:39.780> I<00:01:39.900> forces<00:01:40.320> me 00:01:40.399 --> 00:01:40.409 align:start position:0% things simpler just because I forces me 00:01:40.409 --> 00:01:42.859 align:start position:0% things simpler just because I forces me to<00:01:40.530> explain<00:01:40.799> it<00:01:40.860> before<00:01:41.250> I<00:01:41.280> release<00:01:41.549> it<00:01:41.869> and 00:01:42.859 --> 00:01:42.869 align:start position:0% to explain it before I release it and 00:01:42.869 --> 00:01:44.510 align:start position:0% to explain it before I release it and there's<00:01:43.560> you<00:01:43.979> know<00:01:44.070> now<00:01:44.189> that<00:01:44.220> I'm<00:01:44.369> going 00:01:44.510 --> 00:01:44.520 align:start position:0% there's you know now that I'm going 00:01:44.520 --> 00:01:45.890 align:start position:0% there's you know now that I'm going through<00:01:44.640> and<00:01:44.880> even<00:01:45.000> prepping<00:01:45.450> for<00:01:45.540> this<00:01:45.659> talk 00:01:45.890 --> 00:01:45.900 align:start position:0% through and even prepping for this talk 00:01:45.900 --> 00:01:47.210 align:start position:0% through and even prepping for this talk I'm<00:01:46.140> like<00:01:46.290> oh<00:01:46.409> that<00:01:46.590> doesn't<00:01:46.740> work<00:01:46.890> yet<00:01:47.040> so<00:01:47.159> I 00:01:47.210 --> 00:01:47.220 align:start position:0% I'm like oh that doesn't work yet so I 00:01:47.220 --> 00:01:49.160 align:start position:0% I'm like oh that doesn't work yet so I actually<00:01:47.369> implemented<00:01:47.850> something<00:01:48.150> just<00:01:48.930> for 00:01:49.160 --> 00:01:49.170 align:start position:0% actually implemented something just for 00:01:49.170 --> 00:01:50.630 align:start position:0% actually implemented something just for the<00:01:49.200> demo<00:01:49.560> and<00:01:49.799> then<00:01:50.070> we'll<00:01:50.220> have<00:01:50.340> to<00:01:50.460> fill 00:01:50.630 --> 00:01:50.640 align:start position:0% the demo and then we'll have to fill 00:01:50.640 --> 00:01:53.450 align:start position:0% the demo and then we'll have to fill that<00:01:50.670> in<00:01:50.909> before<00:01:51.090> we<00:01:51.890> release<00:01:52.890> it<00:01:53.100> but<00:01:53.280> that's 00:01:53.450 --> 00:01:53.460 align:start position:0% that in before we release it but that's 00:01:53.460 --> 00:01:56.210 align:start position:0% that in before we release it but that's basically<00:01:54.350> two<00:01:55.350> years<00:01:55.560> ago<00:01:55.740> we<00:01:55.890> got<00:01:56.009> a 00:01:56.210 --> 00:01:56.220 align:start position:0% basically two years ago we got a 00:01:56.220 --> 00:01:58.160 align:start position:0% basically two years ago we got a contract<00:01:57.030> that<00:01:57.360> I<00:01:57.420> was<00:01:57.689> working<00:01:57.990> full-time 00:01:58.160 --> 00:01:58.170 align:start position:0% contract that I was working full-time 00:01:58.170 --> 00:02:00.380 align:start position:0% contract that I was working full-time and<00:01:58.680> that<00:01:58.770> just<00:01:58.950> took<00:01:59.040> all<00:01:59.220> the<00:01:59.430> time<00:01:59.640> away<00:02:00.060> and 00:02:00.380 --> 00:02:00.390 align:start position:0% and that just took all the time away and 00:02:00.390 --> 00:02:02.810 align:start position:0% and that just took all the time away and that<00:02:01.079> we<00:02:01.229> just<00:02:01.380> never<00:02:01.560> really<00:02:01.829> got<00:02:02.009> around<00:02:02.610> to 00:02:02.810 --> 00:02:02.820 align:start position:0% that we just never really got around to 00:02:02.820 --> 00:02:05.359 align:start position:0% that we just never really got around to it<00:02:02.880> again<00:02:03.090> until<00:02:03.240> now<00:02:03.570> mm-hmm<00:02:04.439> so<00:02:05.100> that's<00:02:05.250> we 00:02:05.359 --> 00:02:05.369 align:start position:0% it again until now mm-hmm so that's we 00:02:05.369 --> 00:02:06.950 align:start position:0% it again until now mm-hmm so that's we do<00:02:05.460> our<00:02:05.850> team<00:02:06.000> is<00:02:06.150> my<00:02:06.299> company<00:02:06.659> we<00:02:06.810> do<00:02:06.930> a 00:02:06.950 --> 00:02:06.960 align:start position:0% do our team is my company we do a 00:02:06.960 --> 00:02:09.499 align:start position:0% do our team is my company we do a consulting<00:02:07.710> and<00:02:07.890> training<00:02:08.070> and<00:02:08.729> you<00:02:09.420> know 00:02:09.499 --> 00:02:09.509 align:start position:0% consulting and training and you know 00:02:09.509 --> 00:02:14.360 align:start position:0% consulting and training and you know publish<00:02:10.259> a<00:02:10.350> few<00:02:10.500> scholar<00:02:10.769> books<00:02:11.009> and<00:02:13.370> open 00:02:14.360 --> 00:02:14.370 align:start position:0% publish a few scholar books and open 00:02:14.370 --> 00:02:15.500 align:start position:0% publish a few scholar books and open source<00:02:14.549> we<00:02:14.700> do<00:02:14.820> is<00:02:14.880> call<00:02:15.090> a<00:02:15.120> test 00:02:15.500 --> 00:02:15.510 align:start position:0% source we do is call a test 00:02:15.510 --> 00:02:20.060 align:start position:0% source we do is call a test yes<00:02:16.019> galactic<00:02:16.530> yeah<00:02:17.100> yes<00:02:17.489> and<00:02:17.820> I'm<00:02:19.070> wondering 00:02:20.060 --> 00:02:20.070 align:start position:0% yes galactic yeah yes and I'm wondering 00:02:20.070 --> 00:02:22.729 align:start position:0% yes galactic yeah yes and I'm wondering with<00:02:20.400> Scoville<00:02:20.700> 3<00:02:20.940> yes<00:02:21.600> he's<00:02:21.810> a<00:02:21.840> real 00:02:22.729 --> 00:02:22.739 align:start position:0% with Scoville 3 yes he's a real 00:02:22.739 --> 00:02:25.280 align:start position:0% with Scoville 3 yes he's a real or<00:02:23.159> new<00:02:23.549> addition<00:02:24.030> in<00:02:24.269> the<00:02:24.420> offing<00:02:24.750> of<00:02:25.049> spell 00:02:25.280 --> 00:02:25.290 align:start position:0% or new addition in the offing of spell 00:02:25.290 --> 00:02:27.679 align:start position:0% or new addition in the offing of spell test<00:02:25.530> of<00:02:25.739> Scala<00:02:26.099> book<00:02:26.310> that's<00:02:26.790> got<00:02:26.909> a<00:02:26.969> book<00:02:27.150> yes 00:02:27.679 --> 00:02:27.689 align:start position:0% test of Scala book that's got a book yes 00:02:27.689 --> 00:02:30.470 align:start position:0% test of Scala book that's got a book yes so<00:02:27.870> for<00:02:28.230> a<00:02:28.260> Scala<00:02:28.620> book<00:02:29.090> there's<00:02:30.090> this<00:02:30.269> fourth 00:02:30.470 --> 00:02:30.480 align:start position:0% so for a Scala book there's this fourth 00:02:30.480 --> 00:02:31.819 align:start position:0% so for a Scala book there's this fourth edition<00:02:30.810> coming<00:02:31.019> soon 00:02:31.819 --> 00:02:31.829 align:start position:0% edition coming soon 00:02:31.829 --> 00:02:33.110 align:start position:0% edition coming soon I<00:02:31.890> don't<00:02:32.250> wanna<00:02:32.370> do<00:02:32.459> another<00:02:32.549> printing<00:02:32.909> of<00:02:33.030> the 00:02:33.110 --> 00:02:33.120 align:start position:0% I don't wanna do another printing of the 00:02:33.120 --> 00:02:35.330 align:start position:0% I don't wanna do another printing of the third<00:02:33.420> so<00:02:34.170> that's<00:02:34.319> how<00:02:34.500> I<00:02:34.530> you<00:02:34.799> know<00:02:34.890> it<00:02:35.129> spins 00:02:35.330 --> 00:02:35.340 align:start position:0% third so that's how I you know it spins 00:02:35.340 --> 00:02:38.030 align:start position:0% third so that's how I you know it spins on<00:02:35.430> how<00:02:35.489> fast<00:02:35.730> those<00:02:35.879> so<00:02:36.620> why<00:02:37.620> shouldn't<00:02:37.829> said 00:02:38.030 --> 00:02:38.040 align:start position:0% on how fast those so why shouldn't said 00:02:38.040 --> 00:02:39.589 align:start position:0% on how fast those so why shouldn't said then<00:02:38.219> I<00:02:38.370> just<00:02:38.549> I<00:02:38.819> just 00:02:39.589 --> 00:02:39.599 align:start position:0% then I just I just 00:02:39.599 --> 00:02:41.690 align:start position:0% then I just I just what's<00:02:40.349> that<00:02:40.500> called<00:02:40.769> Osborne<00:02:41.370> to<00:02:41.519> myself 00:02:41.690 --> 00:02:41.700 align:start position:0% what's that called Osborne to myself 00:02:41.700 --> 00:02:44.929 align:start position:0% what's that called Osborne to myself yeah<00:02:42.650> yeah<00:02:43.709> fourth<00:02:43.950> edition<00:02:44.040> the<00:02:44.400> images<00:02:44.760> for 00:02:44.929 --> 00:02:44.939 align:start position:0% yeah yeah fourth edition the images for 00:02:44.939 --> 00:02:49.000 align:start position:0% yeah yeah fourth edition the images for two<00:02:45.060> thirteen<00:02:45.389> so<00:02:45.900> working<00:02:46.109> on<00:02:46.230> that<00:02:46.319> and 00:02:49.000 --> 00:02:49.010 align:start position:0% 00:02:49.010 --> 00:02:52.879 align:start position:0% someone<00:02:50.090> helped<00:02:51.090> us<00:02:51.209> with<00:02:51.420> basically<00:02:51.959> the<00:02:52.230> the 00:02:52.879 --> 00:02:52.889 align:start position:0% someone helped us with basically the the 00:02:52.889 --> 00:02:55.039 align:start position:0% someone helped us with basically the the collections<00:02:53.400> library<00:02:53.609> is<00:02:53.909> what's<00:02:54.120> the<00:02:54.870> big 00:02:55.039 --> 00:02:55.049 align:start position:0% collections library is what's the big 00:02:55.049 --> 00:02:58.250 align:start position:0% collections library is what's the big change<00:02:55.409> into<00:02:55.769> thirteen<00:02:56.310> mm-hmm<00:02:56.970> and<00:02:57.150> so<00:02:57.810> well 00:02:58.250 --> 00:02:58.260 align:start position:0% change into thirteen mm-hmm and so well 00:02:58.260 --> 00:03:00.440 align:start position:0% change into thirteen mm-hmm and so well we<00:02:58.409> had<00:02:58.530> like<00:02:58.829> four<00:02:59.370> collections<00:02:59.730> chapter<00:03:00.299> so 00:03:00.440 --> 00:03:00.450 align:start position:0% we had like four collections chapter so 00:03:00.450 --> 00:03:03.699 align:start position:0% we had like four collections chapter so that<00:03:00.569> was<00:03:00.659> like<00:03:00.870> a<00:03:01.079> major<00:03:01.319> surgery<00:03:01.950> well<00:03:02.489> and 00:03:03.699 --> 00:03:03.709 align:start position:0% that was like a major surgery well and 00:03:03.709 --> 00:03:09.949 align:start position:0% that was like a major surgery well and so<00:03:05.810> Dottie<00:03:06.810> is<00:03:07.760> Martin<00:03:08.760> or<00:03:08.939> dare<00:03:09.060> ski<00:03:09.329> his 00:03:09.949 --> 00:03:09.959 align:start position:0% so Dottie is Martin or dare ski his 00:03:09.959 --> 00:03:11.390 align:start position:0% so Dottie is Martin or dare ski his compiler<00:03:10.709> that<00:03:10.739> he's<00:03:10.919> been<00:03:11.040> working<00:03:11.159> on<00:03:11.340> for 00:03:11.390 --> 00:03:11.400 align:start position:0% compiler that he's been working on for 00:03:11.400 --> 00:03:13.610 align:start position:0% compiler that he's been working on for four<00:03:11.639> years<00:03:11.909> his<00:03:12.060> group<00:03:12.299> at<00:03:12.450> EPFL<00:03:12.719> and<00:03:13.319> it's 00:03:13.610 --> 00:03:13.620 align:start position:0% four years his group at EPFL and it's 00:03:13.620 --> 00:03:14.839 align:start position:0% four years his group at EPFL and it's open<00:03:13.859> source<00:03:13.980> so<00:03:14.129> the<00:03:14.250> community's<00:03:14.609> working 00:03:14.839 --> 00:03:14.849 align:start position:0% open source so the community's working 00:03:14.849 --> 00:03:17.149 align:start position:0% open source so the community's working on<00:03:14.939> it<00:03:15.120> with<00:03:15.569> him<00:03:15.750> that's<00:03:16.709> where<00:03:16.859> he's<00:03:16.950> tried<00:03:17.129> a 00:03:17.149 --> 00:03:17.159 align:start position:0% on it with him that's where he's tried a 00:03:17.159 --> 00:03:19.520 align:start position:0% on it with him that's where he's tried a lot<00:03:17.400> of<00:03:17.489> ideas<00:03:17.790> that<00:03:18.030> he<00:03:18.299> has<00:03:18.599> in<00:03:18.840> mind<00:03:19.079> for<00:03:19.319> a 00:03:19.520 --> 00:03:19.530 align:start position:0% lot of ideas that he has in mind for a 00:03:19.530 --> 00:03:21.020 align:start position:0% lot of ideas that he has in mind for a potential<00:03:20.099> future<00:03:20.250> scholar<00:03:20.669> which<00:03:20.879> they 00:03:21.020 --> 00:03:21.030 align:start position:0% potential future scholar which they 00:03:21.030 --> 00:03:23.659 align:start position:0% potential future scholar which they decided<00:03:21.510> is<00:03:21.629> Scala<00:03:21.900> three<00:03:22.319> yes 00:03:23.659 --> 00:03:23.669 align:start position:0% decided is Scala three yes 00:03:23.669 --> 00:03:25.399 align:start position:0% decided is Scala three yes not<00:03:24.090> everything<00:03:24.540> that's<00:03:24.719> getting<00:03:25.200> merged 00:03:25.399 --> 00:03:25.409 align:start position:0% not everything that's getting merged 00:03:25.409 --> 00:03:26.719 align:start position:0% not everything that's getting merged into<00:03:25.560> dotty<00:03:25.799> will<00:03:26.040> necessarily<00:03:26.219> get<00:03:26.699> into 00:03:26.719 --> 00:03:26.729 align:start position:0% into dotty will necessarily get into 00:03:26.729 --> 00:03:28.219 align:start position:0% into dotty will necessarily get into Scala<00:03:27.090> three<00:03:27.359> because<00:03:27.690> that<00:03:27.870> all<00:03:28.049> those 00:03:28.219 --> 00:03:28.229 align:start position:0% Scala three because that all those 00:03:28.229 --> 00:03:29.210 align:start position:0% Scala three because that all those things<00:03:28.440> have<00:03:28.620> to<00:03:28.709> go<00:03:28.799> through<00:03:28.979> the<00:03:29.069> SIP 00:03:29.210 --> 00:03:29.220 align:start position:0% things have to go through the SIP 00:03:29.220 --> 00:03:35.300 align:start position:0% things have to go through the SIP process<00:03:30.949> and<00:03:31.949> you<00:03:32.669> know<00:03:32.790> it's<00:03:33.560> but<00:03:34.560> like<00:03:34.919> the 00:03:35.300 --> 00:03:35.310 align:start position:0% process and you know it's but like the 00:03:35.310 --> 00:03:38.619 align:start position:0% process and you know it's but like the two<00:03:35.459> thirteen<00:03:36.109> collections<00:03:37.109> revamp<00:03:37.620> is 00:03:38.619 --> 00:03:38.629 align:start position:0% two thirteen collections revamp is 00:03:38.629 --> 00:03:41.059 align:start position:0% two thirteen collections revamp is Dottie's<00:03:39.629> collections<00:03:40.319> library<00:03:40.500> so<00:03:40.829> when 00:03:41.059 --> 00:03:41.069 align:start position:0% Dottie's collections library so when 00:03:41.069 --> 00:03:42.890 align:start position:0% Dottie's collections library so when they<00:03:41.220> when<00:03:41.489> you<00:03:41.549> go<00:03:41.669> from<00:03:41.819> skull<00:03:42.419> two<00:03:42.599> to<00:03:42.689> Scala 00:03:42.890 --> 00:03:42.900 align:start position:0% they when you go from skull two to Scala 00:03:42.900 --> 00:03:46.280 align:start position:0% they when you go from skull two to Scala three<00:03:43.109> if<00:03:43.349> you<00:03:43.470> so<00:03:43.680> choose<00:03:43.859> to<00:03:43.919> do<00:03:44.159> that<00:03:45.290> the 00:03:46.280 --> 00:03:46.290 align:start position:0% three if you so choose to do that the 00:03:46.290 --> 00:03:47.809 align:start position:0% three if you so choose to do that the collection<00:03:46.590> shouldn't<00:03:47.040> change<00:03:47.280> that<00:03:47.459> should 00:03:47.809 --> 00:03:47.819 align:start position:0% collection shouldn't change that should 00:03:47.819 --> 00:03:49.429 align:start position:0% collection shouldn't change that should be<00:03:48.000> the<00:03:48.120> same<00:03:48.329> right<00:03:48.629> so<00:03:48.930> you're<00:03:49.139> gonna<00:03:49.229> have 00:03:49.429 --> 00:03:49.439 align:start position:0% be the same right so you're gonna have 00:03:49.439 --> 00:03:51.499 align:start position:0% be the same right so you're gonna have to<00:03:49.560> go<00:03:49.709> through<00:03:49.739> that<00:03:50.159> pain<00:03:50.430> to<00:03:51.180> the<00:03:51.299> extent 00:03:51.499 --> 00:03:51.509 align:start position:0% to go through that pain to the extent 00:03:51.509 --> 00:03:56.089 align:start position:0% to go through that pain to the extent it's<00:03:51.629> pain<00:03:51.810> from<00:03:52.379> 212<00:03:52.799> to<00:03:52.919> 213<00:03:54.290> so<00:03:55.290> then<00:03:55.500> we 00:03:56.089 --> 00:03:56.099 align:start position:0% it's pain from 212 to 213 so then we 00:03:56.099 --> 00:03:58.219 align:start position:0% it's pain from 212 to 213 so then we want<00:03:56.310> to<00:03:56.400> do<00:03:56.459> a<00:03:56.489> whole<00:03:56.699> new<00:03:56.870> like<00:03:57.870> you<00:03:58.079> know 00:03:58.219 --> 00:03:58.229 align:start position:0% want to do a whole new like you know 00:03:58.229 --> 00:04:00.979 align:start position:0% want to do a whole new like you know like<00:03:58.439> all<00:03:58.650> these<00:03:59.359> additions<00:04:00.359> were<00:04:00.509> just<00:04:00.720> okay 00:04:00.979 --> 00:04:00.989 align:start position:0% like all these additions were just okay 00:04:00.989 --> 00:04:02.059 align:start position:0% like all these additions were just okay let's<00:04:01.019> tweak<00:04:01.349> it<00:04:01.470> for<00:04:01.500> the<00:04:01.650> next<00:04:01.799> release<00:04:02.009> of 00:04:02.059 --> 00:04:02.069 align:start position:0% let's tweak it for the next release of 00:04:02.069 --> 00:04:03.949 align:start position:0% let's tweak it for the next release of Scala<00:04:02.400> this<00:04:02.579> is<00:04:02.699> a<00:04:02.729> big<00:04:03.000> change<00:04:03.299> right<00:04:03.780> I<00:04:03.810> think 00:04:03.949 --> 00:04:03.959 align:start position:0% Scala this is a big change right I think 00:04:03.959 --> 00:04:05.780 align:start position:0% Scala this is a big change right I think it's<00:04:04.169> a<00:04:04.229> good<00:04:04.379> time<00:04:04.560> to<00:04:04.590> wait<00:04:04.919> you<00:04:05.340> know<00:04:05.370> change 00:04:05.780 --> 00:04:05.790 align:start position:0% it's a good time to wait you know change 00:04:05.790 --> 00:04:09.020 align:start position:0% it's a good time to wait you know change the<00:04:05.879> book<00:04:06.150> and<00:04:06.389> really<00:04:06.750> kind<00:04:07.439> of<00:04:07.879> its<00:04:08.879> a<00:04:09.000> whole 00:04:09.020 --> 00:04:09.030 align:start position:0% the book and really kind of its a whole 00:04:09.030 --> 00:04:11.059 align:start position:0% the book and really kind of its a whole rewrite<00:04:09.629> then<00:04:09.900> is<00:04:10.199> what<00:04:10.470> we<00:04:10.590> have<00:04:10.709> in<00:04:10.829> mind<00:04:10.979> for 00:04:11.059 --> 00:04:11.069 align:start position:0% rewrite then is what we have in mind for 00:04:11.069 --> 00:04:13.699 align:start position:0% rewrite then is what we have in mind for skull<00:04:11.819> a3<00:04:12.180> right<00:04:12.659> but<00:04:12.989> that's<00:04:13.199> we<00:04:13.500> haven't 00:04:13.699 --> 00:04:13.709 align:start position:0% skull a3 right but that's we haven't 00:04:13.709 --> 00:04:16.520 align:start position:0% skull a3 right but that's we haven't started<00:04:13.979> that<00:04:14.040> yet<00:04:14.280> other<00:04:14.489> than<00:04:14.689> like<00:04:15.689> having 00:04:16.520 --> 00:04:16.530 align:start position:0% started that yet other than like having 00:04:16.530 --> 00:04:18.890 align:start position:0% started that yet other than like having deciding<00:04:17.159> that's<00:04:17.250> what<00:04:17.400> we<00:04:17.459> want<00:04:17.639> to<00:04:17.729> do<00:04:17.900> the 00:04:18.890 --> 00:04:18.900 align:start position:0% deciding that's what we want to do the 00:04:18.900 --> 00:04:20.210 align:start position:0% deciding that's what we want to do the books<00:04:19.079> been<00:04:19.229> around<00:04:19.380> for<00:04:19.560> ten<00:04:19.709> years<00:04:20.009> it's 00:04:20.210 --> 00:04:20.220 align:start position:0% books been around for ten years it's 00:04:20.220 --> 00:04:25.520 align:start position:0% books been around for ten years it's it's<00:04:20.459> kind<00:04:21.299> of<00:04:21.329> a<00:04:24.020> you<00:04:25.020> know<00:04:25.139> it's<00:04:25.289> sort<00:04:25.470> of 00:04:25.520 --> 00:04:25.530 align:start position:0% it's kind of a you know it's sort of 00:04:25.530 --> 00:04:28.820 align:start position:0% it's kind of a you know it's sort of it's<00:04:25.740> it's<00:04:25.949> sort<00:04:26.610> of<00:04:26.729> established<00:04:27.770> so<00:04:28.770> you 00:04:28.820 --> 00:04:28.830 align:start position:0% it's it's sort of established so you 00:04:28.830 --> 00:04:30.680 align:start position:0% it's it's sort of established so you can't<00:04:29.520> change<00:04:29.699> it<00:04:29.880> too<00:04:30.060> much<00:04:30.090> it's<00:04:30.449> already 00:04:30.680 --> 00:04:30.690 align:start position:0% can't change it too much it's already 00:04:30.690 --> 00:04:34.279 align:start position:0% can't change it too much it's already kind<00:04:31.229> of<00:04:31.320> a<00:04:31.440> a<00:04:32.450> classic<00:04:33.450> I'm<00:04:33.750> sorry<00:04:33.990> some 00:04:34.279 --> 00:04:34.289 align:start position:0% kind of a a classic I'm sorry some 00:04:34.289 --> 00:04:35.839 align:start position:0% kind of a a classic I'm sorry some extent<00:04:34.650> so<00:04:34.830> so<00:04:35.250> but<00:04:35.460> but 00:04:35.839 --> 00:04:35.849 align:start position:0% extent so so but but 00:04:35.849 --> 00:04:38.119 align:start position:0% extent so so but but three<00:04:36.360> you<00:04:36.599> can<00:04:36.779> change<00:04:37.199> it<00:04:37.439> you<00:04:37.469> know<00:04:37.709> that's 00:04:38.119 --> 00:04:38.129 align:start position:0% three you can change it you know that's 00:04:38.129 --> 00:04:40.669 align:start position:0% three you can change it you know that's what<00:04:38.369> I<00:04:38.399> was<00:04:38.669> thinking<00:04:39.330> interesting<00:04:39.929> yeah<00:04:40.619> you 00:04:40.669 --> 00:04:40.679 align:start position:0% what I was thinking interesting yeah you 00:04:40.679 --> 00:04:42.679 align:start position:0% what I was thinking interesting yeah you know<00:04:40.800> I<00:04:40.860> just<00:04:41.309> realized<00:04:41.550> basically<00:04:42.449> that 00:04:42.679 --> 00:04:42.689 align:start position:0% know I just realized basically that 00:04:42.689 --> 00:04:45.829 align:start position:0% know I just realized basically that Scala<00:04:43.589> through<00:04:43.919> will<00:04:44.069> be<00:04:44.099> real<00:04:44.490> where<00:04:45.449> there 00:04:45.829 --> 00:04:45.839 align:start position:0% Scala through will be real where there 00:04:45.839 --> 00:04:48.679 align:start position:0% Scala through will be real where there is<00:04:45.959> a<00:04:45.990> bill<00:04:46.289> banners<00:04:46.529> book<00:04:46.830> on<00:04:47.399> it<00:04:47.610> because<00:04:48.449> we 00:04:48.679 --> 00:04:48.689 align:start position:0% is a bill banners book on it because we 00:04:48.689 --> 00:04:50.089 align:start position:0% is a bill banners book on it because we can't<00:04:48.869> know<00:04:48.959> for<00:04:49.020> like<00:04:49.289> you<00:04:49.439> know<00:04:49.469> Scala<00:04:49.889> for 00:04:50.089 --> 00:04:50.099 align:start position:0% can't know for like you know Scala for 00:04:50.099 --> 00:04:51.649 align:start position:0% can't know for like you know Scala for me<00:04:50.189> which<00:04:50.369> he<00:04:50.490> realized<00:04:50.819> through<00:04:51.449> the 00:04:51.649 --> 00:04:51.659 align:start position:0% me which he realized through the 00:04:51.659 --> 00:04:54.679 align:start position:0% me which he realized through the staircase<00:04:52.349> okay<00:04:53.159> right<00:04:53.459> so<00:04:53.699> I<00:04:53.759> guess<00:04:53.849> and<00:04:54.569> I 00:04:54.679 --> 00:04:54.689 align:start position:0% staircase okay right so I guess and I 00:04:54.689 --> 00:04:56.149 align:start position:0% staircase okay right so I guess and I think<00:04:55.020> like<00:04:55.169> there<00:04:55.349> is<00:04:55.439> a<00:04:55.469> pattern<00:04:55.830> that 00:04:56.149 --> 00:04:56.159 align:start position:0% think like there is a pattern that 00:04:56.159 --> 00:04:58.159 align:start position:0% think like there is a pattern that things<00:04:56.909> kind<00:04:57.149> of<00:04:57.209> exist<00:04:57.569> commonly<00:04:58.020> the 00:04:58.159 --> 00:04:58.169 align:start position:0% things kind of exist commonly the 00:04:58.169 --> 00:05:01.540 align:start position:0% things kind of exist commonly the community<00:04:58.589> when<00:04:58.740> they<00:04:58.889> get<00:04:59.099> into<00:04:59.399> Scala<00:04:59.789> test 00:05:01.540 --> 00:05:01.550 align:start position:0% community when they get into Scala test 00:05:01.550 --> 00:05:04.070 align:start position:0% community when they get into Scala test right<00:05:02.550> it's<00:05:02.999> kind<00:05:03.179> of<00:05:03.209> yes<00:05:03.449> right<00:05:03.899> it's<00:05:04.020> like 00:05:04.070 --> 00:05:04.080 align:start position:0% right it's kind of yes right it's like 00:05:04.080 --> 00:05:06.320 align:start position:0% right it's kind of yes right it's like you<00:05:04.229> kind<00:05:04.379> of<00:05:04.469> take<00:05:04.709> kind<00:05:05.129> of<00:05:05.249> the<00:05:05.490> the<00:05:05.909> for<00:05:06.179> all 00:05:06.320 --> 00:05:06.330 align:start position:0% you kind of take kind of the the for all 00:05:06.330 --> 00:05:08.659 align:start position:0% you kind of take kind of the the for all things<00:05:06.659> and<00:05:07.020> you<00:05:07.379> kind<00:05:07.559> of<00:05:07.649> ground<00:05:07.889> them<00:05:08.099> right 00:05:08.659 --> 00:05:08.669 align:start position:0% things and you kind of ground them right 00:05:08.669 --> 00:05:11.719 align:start position:0% things and you kind of ground them right and<00:05:09.029> then<00:05:09.569> right<00:05:10.379> and<00:05:10.649> I<00:05:10.769> think<00:05:10.979> that<00:05:11.159> can<00:05:11.309> be<00:05:11.339> a 00:05:11.719 --> 00:05:11.729 align:start position:0% and then right and I think that can be a 00:05:11.729 --> 00:05:15.049 align:start position:0% and then right and I think that can be a heuristic<00:05:11.999> I<00:05:12.769> believe<00:05:13.769> stories<00:05:14.490> mainstream 00:05:15.049 --> 00:05:15.059 align:start position:0% heuristic I believe stories mainstream 00:05:15.059 --> 00:05:17.989 align:start position:0% heuristic I believe stories mainstream when<00:05:15.269> there<00:05:15.419> is<00:05:15.509> a<00:05:15.749> scour<00:05:16.339> book<00:05:17.339> edition<00:05:17.580> yeah 00:05:17.989 --> 00:05:17.999 align:start position:0% when there is a scour book edition yeah 00:05:17.999 --> 00:05:20.389 align:start position:0% when there is a scour book edition yeah on<00:05:18.330> it<00:05:18.539> and<00:05:18.869> Scala<00:05:19.319> tests<00:05:19.619> were<00:05:19.740> porting<00:05:20.219> it<00:05:20.339> to 00:05:20.389 --> 00:05:20.399 align:start position:0% on it and Scala tests were porting it to 00:05:20.399 --> 00:05:23.239 align:start position:0% on it and Scala tests were porting it to Dottie<00:05:20.789> so<00:05:21.089> we<00:05:21.240> are<00:05:21.839> into<00:05:22.319> thirteen<00:05:22.709> three<00:05:23.069> one 00:05:23.239 --> 00:05:23.249 align:start position:0% Dottie so we are into thirteen three one 00:05:23.249 --> 00:05:25.070 align:start position:0% Dottie so we are into thirteen three one we're<00:05:23.879> gonna<00:05:23.999> drop<00:05:24.240> support<00:05:24.539> four<00:05:24.749> to<00:05:24.869> ten 00:05:25.070 --> 00:05:25.080 align:start position:0% we're gonna drop support four to ten 00:05:25.080 --> 00:05:27.439 align:start position:0% we're gonna drop support four to ten finally<00:05:25.619> and<00:05:26.429> we're<00:05:26.580> just<00:05:26.729> drop<00:05:27.059> support<00:05:27.269> for 00:05:27.439 --> 00:05:27.449 align:start position:0% finally and we're just drop support for 00:05:27.449 --> 00:05:29.570 align:start position:0% finally and we're just drop support for Java<00:05:27.629> six<00:05:27.929> in<00:05:28.080> 211<00:05:28.259> so<00:05:28.800> two<00:05:28.860> twelve<00:05:29.189> requires 00:05:29.570 --> 00:05:29.580 align:start position:0% Java six in 211 so two twelve requires 00:05:29.580 --> 00:05:31.489 align:start position:0% Java six in 211 so two twelve requires Java<00:05:29.939> 8<00:05:30.569> mm-hmm 00:05:31.489 --> 00:05:31.499 align:start position:0% Java 8 mm-hmm 00:05:31.499 --> 00:05:33.799 align:start position:0% Java 8 mm-hmm to<00:05:31.769> 11<00:05:32.069> does<00:05:32.189> not<00:05:32.219> but<00:05:32.759> we're<00:05:33.029> only<00:05:33.269> gonna<00:05:33.479> if 00:05:33.799 --> 00:05:33.809 align:start position:0% to 11 does not but we're only gonna if 00:05:33.809 --> 00:05:35.359 align:start position:0% to 11 does not but we're only gonna if you<00:05:33.929> really<00:05:34.229> want<00:05:34.409> to<00:05:34.469> use<00:05:34.559> two<00:05:34.830> eleven<00:05:35.069> on 00:05:35.359 --> 00:05:35.369 align:start position:0% you really want to use two eleven on 00:05:35.369 --> 00:05:38.109 align:start position:0% you really want to use two eleven on Java<00:05:36.330> six<00:05:36.599> you<00:05:36.689> can<00:05:36.809> still<00:05:36.929> use<00:05:37.080> the<00:05:37.319> 3.0 00:05:38.109 --> 00:05:38.119 align:start position:0% Java six you can still use the 3.0 00:05:38.119 --> 00:05:40.579 align:start position:0% Java six you can still use the 3.0 series<00:05:39.119> will<00:05:39.479> still<00:05:39.659> update<00:05:39.930> that<00:05:40.110> if<00:05:40.229> need<00:05:40.409> be 00:05:40.579 --> 00:05:40.589 align:start position:0% series will still update that if need be 00:05:40.589 --> 00:05:42.529 align:start position:0% series will still update that if need be mm-hmm<00:05:41.159> but<00:05:41.279> that's<00:05:42.059> where<00:05:42.269> we're<00:05:42.389> kind<00:05:42.509> of 00:05:42.529 --> 00:05:42.539 align:start position:0% mm-hmm but that's where we're kind of 00:05:42.539 --> 00:05:44.029 align:start position:0% mm-hmm but that's where we're kind of moving<00:05:42.629> on<00:05:42.869> so<00:05:43.050> we're<00:05:43.139> dropping<00:05:43.379> some<00:05:43.829> our 00:05:44.029 --> 00:05:44.039 align:start position:0% moving on so we're dropping some our 00:05:44.039 --> 00:05:45.350 align:start position:0% moving on so we're dropping some our test<00:05:44.309> makers<00:05:44.639> is<00:05:44.699> really<00:05:44.879> big<00:05:45.089> because<00:05:45.180> we 00:05:45.350 --> 00:05:45.360 align:start position:0% test makers is really big because we 00:05:45.360 --> 00:05:47.959 align:start position:0% test makers is really big because we have<00:05:45.479> JavaScript<00:05:46.050> and<00:05:46.229> some<00:05:46.680> native<00:05:47.069> and<00:05:47.309> and 00:05:47.959 --> 00:05:47.969 align:start position:0% have JavaScript and some native and and 00:05:47.969 --> 00:05:51.559 align:start position:0% have JavaScript and some native and and you<00:05:48.389> know<00:05:48.509> all<00:05:48.749> these<00:05:48.899> versions<00:05:50.029> 210<00:05:51.029> 211<00:05:51.209> 212 00:05:51.559 --> 00:05:51.569 align:start position:0% you know all these versions 210 211 212 00:05:51.569 --> 00:05:54.469 align:start position:0% you know all these versions 210 211 212 and<00:05:51.899> 213<00:05:52.050> miles<00:05:52.649> and<00:05:52.860> releases<00:05:53.360> so<00:05:54.360> we're 00:05:54.469 --> 00:05:54.479 align:start position:0% and 213 miles and releases so we're 00:05:54.479 --> 00:05:57.350 align:start position:0% and 213 miles and releases so we're gonna<00:05:54.599> drop<00:05:54.779> 210<00:05:55.709> Java<00:05:56.189> 6<00:05:56.430> to<00:05:56.610> 11<00:05:56.699> and<00:05:57.119> then 00:05:57.350 --> 00:05:57.360 align:start position:0% gonna drop 210 Java 6 to 11 and then 00:05:57.360 --> 00:05:59.689 align:start position:0% gonna drop 210 Java 6 to 11 and then we're<00:05:57.599> gonna<00:05:57.689> add<00:05:57.930> dot<00:05:58.529> e<00:05:58.559> so<00:05:59.490> we<00:05:59.579> love 00:05:59.689 --> 00:05:59.699 align:start position:0% we're gonna add dot e so we love 00:05:59.699 --> 00:06:03.139 align:start position:0% we're gonna add dot e so we love JavaScript<00:06:00.269> and<00:06:01.219> some<00:06:02.219> Scala<00:06:02.699> native<00:06:02.999> to<00:06:03.089> the 00:06:03.139 --> 00:06:03.149 align:start position:0% JavaScript and some Scala native to the 00:06:03.149 --> 00:06:05.989 align:start position:0% JavaScript and some Scala native to the extent<00:06:03.360> that<00:06:03.389> works<00:06:03.689> and<00:06:04.499> and<00:06:05.099> the<00:06:05.459> Dottie<00:06:05.669> so 00:06:05.989 --> 00:06:05.999 align:start position:0% extent that works and and the Dottie so 00:06:05.999 --> 00:06:07.689 align:start position:0% extent that works and and the Dottie so the<00:06:06.149> main<00:06:06.269> problem<00:06:06.659> with<00:06:06.689> Dottie<00:06:06.959> was<00:06:07.289> the 00:06:07.689 --> 00:06:07.699 align:start position:0% the main problem with Dottie was the 00:06:07.699 --> 00:06:09.889 align:start position:0% the main problem with Dottie was the macros<00:06:08.699> because<00:06:09.029> we<00:06:09.119> have<00:06:09.209> lots<00:06:09.419> of<00:06:09.539> macros 00:06:09.889 --> 00:06:09.899 align:start position:0% macros because we have lots of macros 00:06:09.899 --> 00:06:11.959 align:start position:0% macros because we have lots of macros and<00:06:10.469> those<00:06:10.649> are<00:06:10.800> completely<00:06:11.129> different<00:06:11.339> in<00:06:11.639> in 00:06:11.959 --> 00:06:11.969 align:start position:0% and those are completely different in in 00:06:11.969 --> 00:06:14.689 align:start position:0% and those are completely different in in Scala<00:06:12.839> three-year<00:06:13.199> and<00:06:13.289> Dottie<00:06:13.469> so<00:06:14.219> we're 00:06:14.689 --> 00:06:14.699 align:start position:0% Scala three-year and Dottie so we're 00:06:14.699 --> 00:06:18.619 align:start position:0% Scala three-year and Dottie so we're currently<00:06:14.789> working<00:06:15.029> on<00:06:15.329> that<00:06:16.639> so<00:06:17.639> let's<00:06:17.999> make 00:06:18.619 --> 00:06:18.629 align:start position:0% currently working on that so let's make 00:06:18.629 --> 00:06:21.199 align:start position:0% currently working on that so let's make a<00:06:18.659> wild<00:06:18.959> guess<00:06:19.169> when<00:06:20.159> do<00:06:20.309> you<00:06:20.399> think<00:06:20.639> the 00:06:21.199 --> 00:06:21.209 align:start position:0% a wild guess when do you think the 00:06:21.209 --> 00:06:24.619 align:start position:0% a wild guess when do you think the definition<00:06:21.659> will<00:06:22.529> muscala<00:06:23.249> test<00:06:23.519> scope<00:06:24.240> I<00:06:24.419> was 00:06:24.619 --> 00:06:24.629 align:start position:0% definition will muscala test scope I was 00:06:24.629 --> 00:06:26.540 align:start position:0% definition will muscala test scope I was color<00:06:24.869> book<00:06:25.229> oh<00:06:25.529> I<00:06:25.559> don't<00:06:25.800> know<00:06:26.039> but<00:06:26.399> what<00:06:26.519> I 00:06:26.540 --> 00:06:26.550 align:start position:0% color book oh I don't know but what I 00:06:26.550 --> 00:06:29.179 align:start position:0% color book oh I don't know but what I would<00:06:26.669> do<00:06:26.909> is<00:06:27.119> start<00:06:27.329> it<00:06:27.839> and<00:06:28.169> once<00:06:28.800> I<00:06:28.889> started 00:06:29.179 --> 00:06:29.189 align:start position:0% would do is start it and once I started 00:06:29.189 --> 00:06:33.259 align:start position:0% would do is start it and once I started is<00:06:29.339> make<00:06:29.550> a<00:06:29.579> preprint<00:06:30.149> early<00:06:30.509> on<00:06:31.309> probably<00:06:32.309> so 00:06:33.259 --> 00:06:33.269 align:start position:0% is make a preprint early on probably so 00:06:33.269 --> 00:06:34.939 align:start position:0% is make a preprint early on probably so the<00:06:33.389> people<00:06:33.509> can<00:06:33.779> kind<00:06:34.199> of<00:06:34.289> help<00:06:34.439> it<00:06:34.649> and<00:06:34.829> we 00:06:34.939 --> 00:06:34.949 align:start position:0% the people can kind of help it and we 00:06:34.949 --> 00:06:35.749 align:start position:0% the people can kind of help it and we can<00:06:35.039> all<00:06:35.129> kind<00:06:35.279> of<00:06:35.309> figure<00:06:35.490> it<00:06:35.550> out<00:06:35.639> together 00:06:35.749 --> 00:06:35.759 align:start position:0% can all kind of figure it out together 00:06:35.759 --> 00:06:37.669 align:start position:0% can all kind of figure it out together like<00:06:35.939> we<00:06:36.209> did<00:06:36.389> for<00:06:36.599> the<00:06:36.869> original<00:06:37.379> Scala 00:06:37.669 --> 00:06:37.679 align:start position:0% like we did for the original Scala 00:06:37.679 --> 00:06:40.879 align:start position:0% like we did for the original Scala mm-hmm<00:06:38.369> that<00:06:38.819> book<00:06:39.269> was<00:06:39.509> out<00:06:39.719> in<00:06:40.169> pre<00:06:40.559> print 00:06:40.879 --> 00:06:40.889 align:start position:0% mm-hmm that book was out in pre print 00:06:40.889 --> 00:06:42.649 align:start position:0% mm-hmm that book was out in pre print form<00:06:41.159> which<00:06:41.639> is<00:06:41.789> like<00:06:41.909> it's<00:06:42.059> not<00:06:42.149> finished<00:06:42.389> but 00:06:42.649 --> 00:06:42.659 align:start position:0% form which is like it's not finished but 00:06:42.659 --> 00:06:44.299 align:start position:0% form which is like it's not finished but you<00:06:42.779> can<00:06:42.929> you<00:06:43.289> can<00:06:43.319> buy<00:06:43.589> the<00:06:43.649> e-book<00:06:43.889> and<00:06:44.159> you 00:06:44.299 --> 00:06:44.309 align:start position:0% you can you can buy the e-book and you 00:06:44.309 --> 00:06:46.969 align:start position:0% you can you can buy the e-book and you can<00:06:44.430> actually<00:06:44.550> you<00:06:45.089> know<00:06:45.120> maybe<00:06:45.569> some<00:06:45.809> app<00:06:46.709> you 00:06:46.969 --> 00:06:46.979 align:start position:0% can actually you know maybe some app you 00:06:46.979 --> 00:06:48.640 align:start position:0% can actually you know maybe some app you know<00:06:47.099> yeah<00:06:47.789> and<00:06:47.939> these<00:06:48.029> little<00:06:48.269> happy 00:06:48.640 --> 00:06:48.650 align:start position:0% know yeah and these little happy 00:06:48.650 --> 00:06:50.110 align:start position:0% know yeah and these little happy make<00:06:48.830> a<00:06:48.860> comment<00:06:49.370> it<00:06:49.460> was<00:06:49.580> all<00:06:49.699> kinds<00:06:49.940> of<00:06:49.970> great 00:06:50.110 --> 00:06:50.120 align:start position:0% make a comment it was all kinds of great 00:06:50.120 --> 00:06:51.520 align:start position:0% make a comment it was all kinds of great suggestions<00:06:50.570> for<00:06:50.720> people<00:06:51.020> so<00:06:51.169> that's<00:06:51.320> what 00:06:51.520 --> 00:06:51.530 align:start position:0% suggestions for people so that's what 00:06:51.530 --> 00:06:53.439 align:start position:0% suggestions for people so that's what I'd<00:06:51.770> liked<00:06:52.009> it<00:06:52.160> that<00:06:52.550> really<00:06:52.970> helped<00:06:53.180> us<00:06:53.270> make 00:06:53.439 --> 00:06:53.449 align:start position:0% I'd liked it that really helped us make 00:06:53.449 --> 00:06:55.270 align:start position:0% I'd liked it that really helped us make it<00:06:53.570> good<00:06:53.720> and<00:06:54.080> it's<00:06:54.259> a<00:06:54.350> different<00:06:54.770> book<00:06:55.009> than 00:06:55.270 --> 00:06:55.280 align:start position:0% it good and it's a different book than 00:06:55.280 --> 00:07:00.159 align:start position:0% it good and it's a different book than the<00:06:56.110> Scala<00:06:57.110> to<00:06:57.289> a<00:06:57.320> book<00:06:57.560> essentially<00:06:58.190> so<00:06:59.139> so<00:07:00.139> I 00:07:00.159 --> 00:07:00.169 align:start position:0% the Scala to a book essentially so so I 00:07:00.169 --> 00:07:03.129 align:start position:0% the Scala to a book essentially so so I don't<00:07:00.350> I<00:07:00.530> don't<00:07:00.590> know<00:07:00.970> I've<00:07:01.970> finished<00:07:02.210> the<00:07:02.509> the 00:07:03.129 --> 00:07:03.139 align:start position:0% don't I don't know I've finished the the 00:07:03.139 --> 00:07:05.680 align:start position:0% don't I don't know I've finished the the fourth<00:07:03.350> edition<00:07:03.470> any<00:07:03.830> yeah<00:07:04.789> first<00:07:05.270> and<00:07:05.570> then 00:07:05.680 --> 00:07:05.690 align:start position:0% fourth edition any yeah first and then 00:07:05.690 --> 00:07:08.170 align:start position:0% fourth edition any yeah first and then I've<00:07:05.810> been<00:07:06.020> I<00:07:06.139> want<00:07:06.320> to<00:07:06.440> start<00:07:06.650> on<00:07:06.830> the<00:07:07.180> the 00:07:08.170 --> 00:07:08.180 align:start position:0% I've been I want to start on the the 00:07:08.180 --> 00:07:09.340 align:start position:0% I've been I want to start on the the Datuk<00:07:08.479> book<00:07:08.630> cuz<00:07:08.750> that's<00:07:08.900> gonna<00:07:08.990> take<00:07:09.229> a<00:07:09.259> few 00:07:09.340 --> 00:07:09.350 align:start position:0% Datuk book cuz that's gonna take a few 00:07:09.350 --> 00:07:12.999 align:start position:0% Datuk book cuz that's gonna take a few years<00:07:09.770> and<00:07:10.759> it'll<00:07:10.970> take<00:07:11.120> a<00:07:11.150> few<00:07:11.740> no<00:07:12.740> no<00:07:12.860> I<00:07:12.889> think 00:07:12.999 --> 00:07:13.009 align:start position:0% years and it'll take a few no no I think 00:07:13.009 --> 00:07:14.890 align:start position:0% years and it'll take a few no no I think it'd<00:07:13.520> be<00:07:13.550> nice<00:07:13.729> that<00:07:14.090> it<00:07:14.180> comes<00:07:14.360> out<00:07:14.479> like<00:07:14.720> I'd 00:07:14.890 --> 00:07:14.900 align:start position:0% it'd be nice that it comes out like I'd 00:07:14.900 --> 00:07:17.010 align:start position:0% it'd be nice that it comes out like I'd like<00:07:15.020> the<00:07:15.229> fourth<00:07:16.039> edition<00:07:16.160> to<00:07:16.430> come<00:07:16.580> out<00:07:16.759> when 00:07:17.010 --> 00:07:17.020 align:start position:0% like the fourth edition to come out when 00:07:17.020 --> 00:07:19.300 align:start position:0% like the fourth edition to come out when 213<00:07:18.020> comes<00:07:18.289> out<00:07:18.440> a<00:07:18.470> fifth<00:07:18.800> edition<00:07:19.100> to<00:07:19.160> come 00:07:19.300 --> 00:07:19.310 align:start position:0% 213 comes out a fifth edition to come 00:07:19.310 --> 00:07:22.270 align:start position:0% 213 comes out a fifth edition to come out<00:07:19.430> when<00:07:19.550> 214<00:07:20.120> comes<00:07:20.330> out<00:07:20.509> hmm<00:07:21.070> maybe<00:07:22.070> there's 00:07:22.270 --> 00:07:22.280 align:start position:0% out when 214 comes out hmm maybe there's 00:07:22.280 --> 00:07:24.310 align:start position:0% out when 214 comes out hmm maybe there's not<00:07:22.520> gonna<00:07:22.639> be<00:07:22.729> a<00:07:22.850> 215<00:07:23.300> maybe<00:07:23.479> I'll<00:07:23.690> be<00:07:23.780> Scala<00:07:24.050> 3 00:07:24.310 --> 00:07:24.320 align:start position:0% not gonna be a 215 maybe I'll be Scala 3 00:07:24.320 --> 00:07:25.930 align:start position:0% not gonna be a 215 maybe I'll be Scala 3 that's<00:07:24.530> when<00:07:24.710> I'd<00:07:24.860> like<00:07:24.979> the<00:07:25.220> the<00:07:25.639> other<00:07:25.760> one 00:07:25.930 --> 00:07:25.940 align:start position:0% that's when I'd like the the other one 00:07:25.940 --> 00:07:27.520 align:start position:0% that's when I'd like the the other one to<00:07:26.060> come<00:07:26.210> out<00:07:26.330> okay<00:07:26.660> which<00:07:27.080> would<00:07:27.260> be<00:07:27.380> nice 00:07:27.520 --> 00:07:27.530 align:start position:0% to come out okay which would be nice 00:07:27.530 --> 00:07:32.650 align:start position:0% to come out okay which would be nice just<00:07:27.850> so<00:07:28.850> it's<00:07:29.000> not<00:07:29.120> it<00:07:29.660> keeps<00:07:29.900> up<00:07:30.050> to<00:07:30.080> date<00:07:31.660> we 00:07:32.650 --> 00:07:32.660 align:start position:0% just so it's not it keeps up to date we 00:07:32.660 --> 00:07:36.250 align:start position:0% just so it's not it keeps up to date we actually<00:07:32.990> did<00:07:33.110> get<00:07:33.260> the<00:07:34.810> third<00:07:35.810> edition<00:07:36.020> out 00:07:36.250 --> 00:07:36.260 align:start position:0% actually did get the third edition out 00:07:36.260 --> 00:07:38.500 align:start position:0% actually did get the third edition out one<00:07:36.530> to<00:07:36.680> twelve<00:07:36.919> slightly<00:07:37.490> before<00:07:37.639> 2/12 00:07:38.500 --> 00:07:38.510 align:start position:0% one to twelve slightly before 2/12 00:07:38.510 --> 00:07:41.230 align:start position:0% one to twelve slightly before 2/12 release<00:07:38.870> mm-hmm<00:07:39.770> well<00:07:40.639> that's<00:07:40.789> great<00:07:40.970> yeah<00:07:41.210> I 00:07:41.230 --> 00:07:41.240 align:start position:0% release mm-hmm well that's great yeah I 00:07:41.240 --> 00:07:42.790 align:start position:0% release mm-hmm well that's great yeah I mean<00:07:41.419> like<00:07:41.599> it's<00:07:41.900> still<00:07:42.110> my<00:07:42.229> recommendation 00:07:42.790 --> 00:07:42.800 align:start position:0% mean like it's still my recommendation 00:07:42.800 --> 00:07:45.420 align:start position:0% mean like it's still my recommendation to<00:07:42.830> everybody<00:07:43.340> learn<00:07:43.580> Scala<00:07:43.849> know<00:07:44.210> I<00:07:44.240> get<00:07:45.110> this 00:07:45.420 --> 00:07:45.430 align:start position:0% to everybody learn Scala know I get this 00:07:45.430 --> 00:07:49.060 align:start position:0% to everybody learn Scala know I get this and<00:07:46.430> I<00:07:46.729> like<00:07:47.210> to<00:07:47.330> read<00:07:47.599> it<00:07:47.780> and<00:07:48.229> I<00:07:48.620> have<00:07:48.800> the<00:07:48.919> PDF 00:07:49.060 --> 00:07:49.070 align:start position:0% and I like to read it and I have the PDF 00:07:49.070 --> 00:07:51.610 align:start position:0% and I like to read it and I have the PDF as<00:07:49.340> well<00:07:49.370> right<00:07:49.699> the<00:07:49.849> PDF<00:07:50.210> is<00:07:50.620> beautifully 00:07:51.610 --> 00:07:51.620 align:start position:0% as well right the PDF is beautifully 00:07:51.620 --> 00:07:58.180 align:start position:0% as well right the PDF is beautifully cross-linked<00:07:52.220> yeah<00:07:52.669> so<00:07:55.539> cool<00:07:56.539> so<00:07:57.080> and<00:07:57.710> kind<00:07:58.099> of 00:07:58.180 --> 00:07:58.190 align:start position:0% cross-linked yeah so cool so and kind of 00:07:58.190 --> 00:07:59.950 align:start position:0% cross-linked yeah so cool so and kind of so<00:07:58.699> I'm<00:07:58.820> in<00:07:58.970> schooltas<00:07:59.180> is<00:07:59.449> a<00:07:59.479> major<00:07:59.690> project 00:07:59.950 --> 00:07:59.960 align:start position:0% so I'm in schooltas is a major project 00:07:59.960 --> 00:08:02.800 align:start position:0% so I'm in schooltas is a major project like<00:08:00.260> what<00:08:00.500> else<00:08:00.820> is<00:08:01.820> kind<00:08:02.270> of<00:08:02.300> tickling<00:08:02.690> your 00:08:02.800 --> 00:08:02.810 align:start position:0% like what else is kind of tickling your 00:08:02.810 --> 00:08:03.820 align:start position:0% like what else is kind of tickling your interest<00:08:03.139> I<00:08:03.199> remember<00:08:03.470> you<00:08:03.560> were<00:08:03.620> doing 00:08:03.820 --> 00:08:03.830 align:start position:0% interest I remember you were doing 00:08:03.830 --> 00:08:06.640 align:start position:0% interest I remember you were doing genomics<00:08:04.610> at<00:08:04.849> some<00:08:05.000> point<00:08:05.330> before<00:08:05.690> right 00:08:06.640 --> 00:08:06.650 align:start position:0% genomics at some point before right 00:08:06.650 --> 00:08:07.149 align:start position:0% genomics at some point before right right 00:08:07.149 --> 00:08:07.159 align:start position:0% right 00:08:07.159 --> 00:08:08.680 align:start position:0% right yeah<00:08:07.310> well<00:08:07.550> ago<00:08:07.729> also<00:08:08.030> like<00:08:08.180> is<00:08:08.330> there<00:08:08.479> any 00:08:08.680 --> 00:08:08.690 align:start position:0% yeah well ago also like is there any 00:08:08.690 --> 00:08:10.870 align:start position:0% yeah well ago also like is there any kind<00:08:08.990> of<00:08:09.080> interesting<00:08:09.530> application<00:08:10.099> you<00:08:10.190> seen 00:08:10.870 --> 00:08:10.880 align:start position:0% kind of interesting application you seen 00:08:10.880 --> 00:08:11.879 align:start position:0% kind of interesting application you seen in<00:08:11.120> the<00:08:11.150> wild 00:08:11.879 --> 00:08:11.889 align:start position:0% in the wild 00:08:11.889 --> 00:08:14.680 align:start position:0% in the wild scholar<00:08:12.889> like<00:08:13.430> you're<00:08:13.550> working<00:08:13.699> on<00:08:13.909> well 00:08:14.680 --> 00:08:14.690 align:start position:0% scholar like you're working on well 00:08:14.690 --> 00:08:16.300 align:start position:0% scholar like you're working on well actually<00:08:14.930> you<00:08:15.169> know<00:08:15.289> what<00:08:15.470> I<00:08:15.620> what<00:08:16.039> comes<00:08:16.220> to 00:08:16.300 --> 00:08:16.310 align:start position:0% actually you know what I what comes to 00:08:16.310 --> 00:08:18.339 align:start position:0% actually you know what I what comes to mind<00:08:16.490> is<00:08:16.669> I'm<00:08:16.789> also<00:08:17.000> the<00:08:17.449> community<00:08:17.960> rep<00:08:18.110> one 00:08:18.339 --> 00:08:18.349 align:start position:0% mind is I'm also the community rep one 00:08:18.349 --> 00:08:19.960 align:start position:0% mind is I'm also the community rep one of<00:08:18.440> them<00:08:18.590> on<00:08:18.800> the<00:08:19.010> advisory<00:08:19.490> board<00:08:19.520> of<00:08:19.909> the 00:08:19.960 --> 00:08:19.970 align:start position:0% of them on the advisory board of the 00:08:19.970 --> 00:08:22.779 align:start position:0% of them on the advisory board of the Scala<00:08:20.240> Center<00:08:20.599> people<00:08:21.169> don't<00:08:21.349> complain<00:08:21.760> so<00:08:22.760> I 00:08:22.779 --> 00:08:22.789 align:start position:0% Scala Center people don't complain so I 00:08:22.789 --> 00:08:28.060 align:start position:0% Scala Center people don't complain so I started<00:08:23.240> doing<00:08:24.280> what<00:08:25.280> did<00:08:25.370> I<00:08:25.460> call<00:08:25.669> them<00:08:27.039> no<00:08:28.039> I 00:08:28.060 --> 00:08:28.070 align:start position:0% started doing what did I call them no I 00:08:28.070 --> 00:08:29.430 align:start position:0% started doing what did I call them no I forget<00:08:28.370> what<00:08:28.490> I<00:08:28.520> call<00:08:28.699> the<00:08:28.820> thing<00:08:29.000> but 00:08:29.430 --> 00:08:29.440 align:start position:0% forget what I call the thing but 00:08:29.440 --> 00:08:33.390 align:start position:0% forget what I call the thing but basically<00:08:30.440> going<00:08:30.620> in<00:08:30.860> to<00:08:31.849> companies<00:08:32.270> and<00:08:32.479> just 00:08:33.390 --> 00:08:33.400 align:start position:0% basically going in to companies and just 00:08:33.400 --> 00:08:35.440 align:start position:0% basically going in to companies and just kind<00:08:34.400> of<00:08:34.430> talking<00:08:34.610> about<00:08:34.820> what's<00:08:35.000> coming<00:08:35.360> in 00:08:35.440 --> 00:08:35.450 align:start position:0% kind of talking about what's coming in 00:08:35.450 --> 00:08:36.519 align:start position:0% kind of talking about what's coming in Dottie<00:08:35.659> and<00:08:35.870> then<00:08:35.959> asking<00:08:36.260> for<00:08:36.320> their 00:08:36.519 --> 00:08:36.529 align:start position:0% Dottie and then asking for their 00:08:36.529 --> 00:08:37.930 align:start position:0% Dottie and then asking for their feedback<00:08:36.740> so<00:08:37.070> basically<00:08:37.370> I<00:08:37.610> want<00:08:37.789> to<00:08:37.849> hear 00:08:37.930 --> 00:08:37.940 align:start position:0% feedback so basically I want to hear 00:08:37.940 --> 00:08:39.610 align:start position:0% feedback so basically I want to hear them<00:08:38.209> complain<00:08:38.690> what<00:08:38.900> are<00:08:38.990> your<00:08:39.080> pain<00:08:39.260> points 00:08:39.610 --> 00:08:39.620 align:start position:0% them complain what are your pain points 00:08:39.620 --> 00:08:41.019 align:start position:0% them complain what are your pain points right<00:08:39.890> so<00:08:40.039> it's<00:08:40.159> like<00:08:40.250> a<00:08:40.279> brown<00:08:40.490> bag<00:08:40.760> lunch 00:08:41.019 --> 00:08:41.029 align:start position:0% right so it's like a brown bag lunch 00:08:41.029 --> 00:08:43.870 align:start position:0% right so it's like a brown bag lunch right<00:08:41.510> and<00:08:42.020> that<00:08:43.010> actually<00:08:43.310> works<00:08:43.459> and<00:08:43.610> I<00:08:43.700> feel 00:08:43.870 --> 00:08:43.880 align:start position:0% right and that actually works and I feel 00:08:43.880 --> 00:08:45.550 align:start position:0% right and that actually works and I feel a<00:08:43.909> little<00:08:44.060> bit<00:08:44.180> like<00:08:44.300> a<00:08:44.330> scholar<00:08:44.720> psychologist 00:08:45.550 --> 00:08:45.560 align:start position:0% a little bit like a scholar psychologist 00:08:45.560 --> 00:08:46.990 align:start position:0% a little bit like a scholar psychologist right<00:08:45.770> or<00:08:45.920> psychiatrist<00:08:46.490> you<00:08:46.580> get<00:08:46.820> on<00:08:46.910> the 00:08:46.990 --> 00:08:47.000 align:start position:0% right or psychiatrist you get on the 00:08:47.000 --> 00:08:48.550 align:start position:0% right or psychiatrist you get on the couch<00:08:47.180> and<00:08:47.480> I<00:08:47.540> say<00:08:47.690> so<00:08:47.750> what<00:08:47.870> what<00:08:48.320> is<00:08:48.470> your 00:08:48.550 --> 00:08:48.560 align:start position:0% couch and I say so what what is your 00:08:48.560 --> 00:08:50.410 align:start position:0% couch and I say so what what is your pain<00:08:48.740> point<00:08:49.070> so<00:08:49.339> what<00:08:49.580> how<00:08:49.910> do<00:08:49.970> you<00:08:50.000> how<00:08:50.360> does 00:08:50.410 --> 00:08:50.420 align:start position:0% pain point so what how do you how does 00:08:50.420 --> 00:08:52.449 align:start position:0% pain point so what how do you how does that<00:08:50.690> syntax<00:08:51.110> make<00:08:51.380> you<00:08:51.500> feel<00:08:51.680> and<00:08:51.890> you<00:08:52.190> can<00:08:52.339> go 00:08:52.449 --> 00:08:52.459 align:start position:0% that syntax make you feel and you can go 00:08:52.459 --> 00:08:53.800 align:start position:0% that syntax make you feel and you can go it's<00:08:52.790> kind<00:08:52.880> of<00:08:52.970> useful<00:08:53.180> because<00:08:53.390> they<00:08:53.540> can<00:08:53.660> see 00:08:53.800 --> 00:08:53.810 align:start position:0% it's kind of useful because they can see 00:08:53.810 --> 00:08:55.470 align:start position:0% it's kind of useful because they can see what's<00:08:53.990> coming<00:08:54.230> and<00:08:54.470> they<00:08:54.589> can<00:08:54.740> give<00:08:54.950> input 00:08:55.470 --> 00:08:55.480 align:start position:0% what's coming and they can give input 00:08:55.480 --> 00:08:58.210 align:start position:0% what's coming and they can give input this<00:08:56.480> is<00:08:56.660> interesting<00:08:57.079> that's<00:08:57.230> that<00:08:57.560> they 00:08:58.210 --> 00:08:58.220 align:start position:0% this is interesting that's that they 00:08:58.220 --> 00:08:59.470 align:start position:0% this is interesting that's that they don't<00:08:58.400> like<00:08:58.520> that<00:08:58.550> or<00:08:58.940> that's<00:08:59.029> not<00:08:59.209> worth<00:08:59.329> the 00:08:59.470 --> 00:08:59.480 align:start position:0% don't like that or that's not worth the 00:08:59.480 --> 00:09:01.660 align:start position:0% don't like that or that's not worth the trouble<00:08:59.660> or<00:08:59.959> whatever 00:09:01.660 --> 00:09:01.670 align:start position:0% trouble or whatever 00:09:01.670 --> 00:09:03.730 align:start position:0% trouble or whatever I<00:09:01.700> think<00:09:02.690> that<00:09:02.840> was<00:09:03.020> that's<00:09:03.230> working<00:09:03.620> really 00:09:03.730 --> 00:09:03.740 align:start position:0% I think that was that's working really 00:09:03.740 --> 00:09:07.000 align:start position:0% I think that was that's working really nicely<00:09:04.900> getting<00:09:05.900> input<00:09:06.140> now<00:09:06.500> accept<00:09:06.920> new 00:09:07.000 --> 00:09:07.010 align:start position:0% nicely getting input now accept new 00:09:07.010 --> 00:09:10.300 align:start position:0% nicely getting input now accept new patients<00:09:07.180> yeah<00:09:08.530> that's<00:09:09.530> something<00:09:09.860> I<00:09:10.130> mean<00:09:10.250> I 00:09:10.300 --> 00:09:10.310 align:start position:0% patients yeah that's something I mean I 00:09:10.310 --> 00:09:11.110 align:start position:0% patients yeah that's something I mean I just<00:09:10.430> do<00:09:10.550> that<00:09:10.700> for 00:09:11.110 --> 00:09:11.120 align:start position:0% just do that for 00:09:11.120 --> 00:09:12.940 align:start position:0% just do that for it's<00:09:11.390> like<00:09:11.540> volunteer<00:09:12.230> well<00:09:12.410> all<00:09:12.530> this<00:09:12.650> open 00:09:12.940 --> 00:09:12.950 align:start position:0% it's like volunteer well all this open 00:09:12.950 --> 00:09:14.290 align:start position:0% it's like volunteer well all this open source<00:09:13.160> is<00:09:13.310> kind<00:09:13.460> of<00:09:13.490> like<00:09:13.610> volunteer<00:09:14.060> work 00:09:14.290 --> 00:09:14.300 align:start position:0% source is kind of like volunteer work 00:09:14.300 --> 00:09:16.090 align:start position:0% source is kind of like volunteer work can<00:09:14.660> the<00:09:14.720> company<00:09:14.900> invite<00:09:15.260> you 00:09:16.090 --> 00:09:16.100 align:start position:0% can the company invite you 00:09:16.100 --> 00:09:19.390 align:start position:0% can the company invite you yeah<00:09:16.250> Bromberg<00:09:16.670> on<00:09:16.790> yeah<00:09:17.060> take<00:09:17.840> the<00:09:18.080> boss<00:09:18.650> yep 00:09:19.390 --> 00:09:19.400 align:start position:0% yeah Bromberg on yeah take the boss yep 00:09:19.400 --> 00:09:21.370 align:start position:0% yeah Bromberg on yeah take the boss yep well<00:09:19.880> I<00:09:19.910> would<00:09:20.270> take<00:09:20.420> so<00:09:20.720> the<00:09:20.900> thing<00:09:21.050> I<00:09:21.140> try<00:09:21.320> to 00:09:21.370 --> 00:09:21.380 align:start position:0% well I would take so the thing I try to 00:09:21.380 --> 00:09:23.920 align:start position:0% well I would take so the thing I try to do<00:09:21.560> to<00:09:21.650> make<00:09:21.770> it<00:09:21.860> worth<00:09:21.980> their<00:09:22.730> while<00:09:23.030> is<00:09:23.390> talk 00:09:23.920 --> 00:09:23.930 align:start position:0% do to make it worth their while is talk 00:09:23.930 --> 00:09:25.120 align:start position:0% do to make it worth their while is talk about<00:09:24.170> what's<00:09:24.350> coming<00:09:24.500> and<00:09:24.830> then<00:09:24.920> they<00:09:25.010> can 00:09:25.120 --> 00:09:25.130 align:start position:0% about what's coming and then they can 00:09:25.130 --> 00:09:26.290 align:start position:0% about what's coming and then they can kind<00:09:25.310> of<00:09:25.340> see<00:09:25.490> all<00:09:25.640> the<00:09:25.790> features<00:09:26.120> that<00:09:26.150> are 00:09:26.290 --> 00:09:26.300 align:start position:0% kind of see all the features that are 00:09:26.300 --> 00:09:28.270 align:start position:0% kind of see all the features that are coming<00:09:26.690> in<00:09:26.810> yeah<00:09:27.110> that's<00:09:27.650> interesting<00:09:27.890> for<00:09:28.130> a 00:09:28.270 --> 00:09:28.280 align:start position:0% coming in yeah that's interesting for a 00:09:28.280 --> 00:09:29.650 align:start position:0% coming in yeah that's interesting for a brown-bag<00:09:28.610> lunch<00:09:28.850> right<00:09:29.060> because<00:09:29.450> you<00:09:29.510> don't 00:09:29.650 --> 00:09:29.660 align:start position:0% brown-bag lunch right because you don't 00:09:29.660 --> 00:09:31.210 align:start position:0% brown-bag lunch right because you don't have<00:09:29.750> to<00:09:29.840> have<00:09:29.930> lunch<00:09:30.110> anyway<00:09:30.530> that's<00:09:31.070> right 00:09:31.210 --> 00:09:31.220 align:start position:0% have to have lunch anyway that's right 00:09:31.220 --> 00:09:32.860 align:start position:0% have to have lunch anyway that's right but<00:09:31.520> what<00:09:31.640> I<00:09:31.670> try<00:09:31.790> to<00:09:32.060> do<00:09:32.240> is<00:09:32.330> like<00:09:32.510> and 00:09:32.860 --> 00:09:32.870 align:start position:0% but what I try to do is like and 00:09:32.870 --> 00:09:34.570 align:start position:0% but what I try to do is like and sometimes<00:09:33.320> like<00:09:33.470> extracting<00:09:33.980> teeth<00:09:34.250> you<00:09:34.490> know 00:09:34.570 --> 00:09:34.580 align:start position:0% sometimes like extracting teeth you know 00:09:34.580 --> 00:09:38.560 align:start position:0% sometimes like extracting teeth you know it's<00:09:34.700> like<00:09:34.820> well<00:09:36.520> do<00:09:37.520> you<00:09:37.640> care<00:09:38.000> I<00:09:38.270> mean<00:09:38.420> for 00:09:38.560 --> 00:09:38.570 align:start position:0% it's like well do you care I mean for 00:09:38.570 --> 00:09:40.960 align:start position:0% it's like well do you care I mean for what<00:09:38.690> you<00:09:38.780> do<00:09:38.900> here<00:09:39.440> right<00:09:39.890> is<00:09:40.340> that<00:09:40.640> feature 00:09:40.960 --> 00:09:40.970 align:start position:0% what you do here right is that feature 00:09:40.970 --> 00:09:42.250 align:start position:0% what you do here right is that feature added<00:09:41.300> to<00:09:41.450> a<00:09:41.510> programming<00:09:41.930> language<00:09:41.960> that 00:09:42.250 --> 00:09:42.260 align:start position:0% added to a programming language that 00:09:42.260 --> 00:09:43.660 align:start position:0% added to a programming language that you're<00:09:42.530> using<00:09:42.560> for<00:09:42.800> whatever<00:09:43.100> using<00:09:43.460> for<00:09:43.610> it 00:09:43.660 --> 00:09:43.670 align:start position:0% you're using for whatever using for it 00:09:43.670 --> 00:09:44.320 align:start position:0% you're using for whatever using for it does<00:09:43.790> it<00:09:43.910> matter 00:09:44.320 --> 00:09:44.330 align:start position:0% does it matter 00:09:44.330 --> 00:09:46.900 align:start position:0% does it matter right<00:09:44.810> I<00:09:44.960> mean<00:09:45.110> really<00:09:45.290> that's<00:09:45.680> what<00:09:45.980> I<00:09:46.220> asked 00:09:46.900 --> 00:09:46.910 align:start position:0% right I mean really that's what I asked 00:09:46.910 --> 00:09:48.640 align:start position:0% right I mean really that's what I asked and<00:09:47.300> then<00:09:47.600> they<00:09:47.870> keep<00:09:48.020> an<00:09:48.200> eye<00:09:48.230> interesting 00:09:48.640 --> 00:09:48.650 align:start position:0% and then they keep an eye interesting 00:09:48.650 --> 00:09:52.330 align:start position:0% and then they keep an eye interesting what<00:09:49.300> comes<00:09:50.300> back<00:09:50.740> for<00:09:51.740> me<00:09:51.890> that<00:09:52.100> I<00:09:52.190> couldn't 00:09:52.330 --> 00:09:52.340 align:start position:0% what comes back for me that I couldn't 00:09:52.340 --> 00:09:54.730 align:start position:0% what comes back for me that I couldn't bring<00:09:52.580> that<00:09:52.760> back<00:09:53.000> to<00:09:53.030> the<00:09:53.410> Scala<00:09:54.410> Center<00:09:54.590> well 00:09:54.730 --> 00:09:54.740 align:start position:0% bring that back to the Scala Center well 00:09:54.740 --> 00:10:01.150 align:start position:0% bring that back to the Scala Center well I<00:09:55.130> am<00:09:55.790> mm-hmm<00:09:56.600> I<00:09:56.660> am<00:09:56.930> because<00:09:57.410> I<00:09:58.210> I<00:09:59.210> don't<00:10:00.160> you 00:10:01.150 --> 00:10:01.160 align:start position:0% I am mm-hmm I am because I I don't you 00:10:01.160 --> 00:10:03.600 align:start position:0% I am mm-hmm I am because I I don't you know<00:10:01.190> I<00:10:01.310> saw<00:10:01.700> what<00:10:01.850> happened<00:10:02.090> with<00:10:02.180> Python<00:10:02.750> I 00:10:03.600 --> 00:10:03.610 align:start position:0% know I saw what happened with Python I 00:10:03.610 --> 00:10:06.610 align:start position:0% know I saw what happened with Python I used<00:10:04.610> to<00:10:04.730> have<00:10:04.820> people<00:10:05.360> in<00:10:06.080> the<00:10:06.290> software 00:10:06.610 --> 00:10:06.620 align:start position:0% used to have people in the software 00:10:06.620 --> 00:10:08.470 align:start position:0% used to have people in the software community<00:10:06.920> have<00:10:07.130> blogs<00:10:07.490> on<00:10:07.760> our<00:10:08.180> team<00:10:08.450> uh 00:10:08.470 --> 00:10:08.480 align:start position:0% community have blogs on our team uh 00:10:08.480 --> 00:10:10.330 align:start position:0% community have blogs on our team uh they're<00:10:08.720> still<00:10:08.780> sitting<00:10:09.140> there<00:10:09.170> yes<00:10:09.680> so<00:10:10.100> guido 00:10:10.330 --> 00:10:10.340 align:start position:0% they're still sitting there yes so guido 00:10:10.340 --> 00:10:12.220 align:start position:0% they're still sitting there yes so guido van<00:10:10.550> rossum<00:10:10.760> was<00:10:11.390> talking<00:10:11.690> about<00:10:11.840> he's<00:10:12.200> like 00:10:12.220 --> 00:10:12.230 align:start position:0% van rossum was talking about he's like 00:10:12.230 --> 00:10:13.990 align:start position:0% van rossum was talking about he's like you<00:10:12.710> know<00:10:12.800> gonna<00:10:13.010> just<00:10:13.280> not<00:10:13.700> worry<00:10:13.940> about 00:10:13.990 --> 00:10:14.000 align:start position:0% you know gonna just not worry about 00:10:14.000 --> 00:10:16.540 align:start position:0% you know gonna just not worry about breaking<00:10:14.300> things<00:10:14.660> in<00:10:14.840> Python<00:10:15.470> 3<00:10:15.830> in<00:10:16.040> his<00:10:16.250> blog 00:10:16.540 --> 00:10:16.550 align:start position:0% breaking things in Python 3 in his blog 00:10:16.550 --> 00:10:18.790 align:start position:0% breaking things in Python 3 in his blog and<00:10:16.580> then<00:10:17.060> he<00:10:17.780> came<00:10:17.900> out<00:10:18.080> it<00:10:18.170> was<00:10:18.230> nicer<00:10:18.590> but 00:10:18.790 --> 00:10:18.800 align:start position:0% and then he came out it was nicer but 00:10:18.800 --> 00:10:21.370 align:start position:0% and then he came out it was nicer but yeah<00:10:18.950> but<00:10:19.280> I<00:10:19.310> think<00:10:19.610> he<00:10:19.700> you<00:10:20.150> know<00:10:20.270> it<00:10:21.050> was<00:10:21.200> hard 00:10:21.370 --> 00:10:21.380 align:start position:0% yeah but I think he you know it was hard 00:10:21.380 --> 00:10:23.260 align:start position:0% yeah but I think he you know it was hard for<00:10:21.500> people<00:10:21.530> to<00:10:21.770> upgrade<00:10:22.220> for<00:10:22.430> many<00:10:22.610> many<00:10:22.790> for 00:10:23.260 --> 00:10:23.270 align:start position:0% for people to upgrade for many many for 00:10:23.270 --> 00:10:25.480 align:start position:0% for people to upgrade for many many for like<00:10:23.360> a<00:10:23.390> decade<00:10:23.690> if<00:10:24.080> you're<00:10:24.200> like<00:10:24.350> difficult<00:10:25.040> I 00:10:25.480 --> 00:10:25.490 align:start position:0% like a decade if you're like difficult I 00:10:25.490 --> 00:10:27.580 align:start position:0% like a decade if you're like difficult I think<00:10:25.700> Scala<00:10:26.630> has<00:10:26.810> an<00:10:26.960> advantage<00:10:27.320> because<00:10:27.410> we 00:10:27.580 --> 00:10:27.590 align:start position:0% think Scala has an advantage because we 00:10:27.590 --> 00:10:30.310 align:start position:0% think Scala has an advantage because we have<00:10:27.740> types<00:10:28.040> yes<00:10:28.580> so<00:10:28.850> that's<00:10:29.060> like<00:10:29.330> you'll<00:10:30.110> get 00:10:30.310 --> 00:10:30.320 align:start position:0% have types yes so that's like you'll get 00:10:30.320 --> 00:10:32.320 align:start position:0% have types yes so that's like you'll get a<00:10:30.350> type<00:10:30.620> here<00:10:30.830> at<00:10:30.890> compile<00:10:31.190> time<00:10:31.220> right<00:10:31.790> but 00:10:32.320 --> 00:10:32.330 align:start position:0% a type here at compile time right but 00:10:32.330 --> 00:10:34.990 align:start position:0% a type here at compile time right but man<00:10:32.740> if<00:10:33.740> you<00:10:33.920> don't<00:10:34.160> get<00:10:34.310> a<00:10:34.370> type<00:10:34.580> here<00:10:34.790> that's 00:10:34.990 --> 00:10:35.000 align:start position:0% man if you don't get a type here that's 00:10:35.000 --> 00:10:38.050 align:start position:0% man if you don't get a type here that's just<00:10:35.420> if<00:10:35.690> it's<00:10:35.990> not<00:10:36.230> you<00:10:37.220> know<00:10:37.340> if<00:10:37.610> it's<00:10:37.850> not 00:10:38.050 --> 00:10:38.060 align:start position:0% just if it's not you know if it's not 00:10:38.060 --> 00:10:40.360 align:start position:0% just if it's not you know if it's not safe<00:10:38.780> to<00:10:39.080> upgrade<00:10:39.560> or<00:10:39.680> like<00:10:39.800> worried<00:10:40.070> oh<00:10:40.190> they 00:10:40.360 --> 00:10:40.370 align:start position:0% safe to upgrade or like worried oh they 00:10:40.370 --> 00:10:42.010 align:start position:0% safe to upgrade or like worried oh they put<00:10:40.520> set<00:10:40.730> resolution<00:10:41.240> change<00:10:41.450> so<00:10:41.570> what<00:10:41.720> does 00:10:42.010 --> 00:10:42.020 align:start position:0% put set resolution change so what does 00:10:42.020 --> 00:10:43.300 align:start position:0% put set resolution change so what does that<00:10:42.050> mean<00:10:42.230> my<00:10:42.410> production<00:10:42.740> code<00:10:42.890> is<00:10:43.010> gonna<00:10:43.160> be 00:10:43.300 --> 00:10:43.310 align:start position:0% that mean my production code is gonna be 00:10:43.310 --> 00:10:44.530 align:start position:0% that mean my production code is gonna be something<00:10:43.640> different<00:10:44.030> right<00:10:44.210> there<00:10:44.420> love 00:10:44.530 --> 00:10:44.540 align:start position:0% something different right there love 00:10:44.540 --> 00:10:46.990 align:start position:0% something different right there love address<00:10:44.840> very<00:10:45.410> scary<00:10:45.920> right<00:10:46.220> now<00:10:46.610> so<00:10:46.820> I'm 00:10:46.990 --> 00:10:47.000 align:start position:0% address very scary right now so I'm 00:10:47.000 --> 00:10:48.190 align:start position:0% address very scary right now so I'm really<00:10:47.210> worried<00:10:47.480> about<00:10:47.600> that<00:10:47.750> so<00:10:47.930> I<00:10:47.960> always 00:10:48.190 --> 00:10:48.200 align:start position:0% really worried about that so I always 00:10:48.200 --> 00:10:50.980 align:start position:0% really worried about that so I always that's<00:10:48.470> might<00:10:48.620> been<00:10:48.830> my<00:10:48.950> main<00:10:49.420> I'm<00:10:50.420> I'm<00:10:50.750> like<00:10:50.930> a 00:10:50.980 --> 00:10:50.990 align:start position:0% that's might been my main I'm I'm like a 00:10:50.990 --> 00:10:53.140 align:start position:0% that's might been my main I'm I'm like a broken<00:10:51.620> record<00:10:51.800> if<00:10:52.160> the<00:10:52.190> five<00:10:52.700> straight<00:10:52.940> board 00:10:53.140 --> 00:10:53.150 align:start position:0% broken record if the five straight board 00:10:53.150 --> 00:10:54.160 align:start position:0% broken record if the five straight board meeting<00:10:53.420> is<00:10:53.480> it's<00:10:53.600> like<00:10:53.720> but<00:10:53.840> that's<00:10:53.990> the 00:10:54.160 --> 00:10:54.170 align:start position:0% meeting is it's like but that's the 00:10:54.170 --> 00:10:55.840 align:start position:0% meeting is it's like but that's the thing<00:10:54.290> I<00:10:54.470> usually<00:10:54.950> talk<00:10:55.190> about<00:10:55.520> is<00:10:55.640> I<00:10:55.700> gotta 00:10:55.840 --> 00:10:55.850 align:start position:0% thing I usually talk about is I gotta 00:10:55.850 --> 00:10:57.790 align:start position:0% thing I usually talk about is I gotta hear<00:10:56.060> about<00:10:56.090> how<00:10:56.330> you<00:10:56.390> migrate<00:10:56.840> in<00:10:56.990> them<00:10:57.170> right 00:10:57.790 --> 00:10:57.800 align:start position:0% hear about how you migrate in them right 00:10:57.800 --> 00:11:01.300 align:start position:0% hear about how you migrate in them right you<00:10:58.040> know<00:10:58.160> but<00:10:59.260> it<00:11:00.260> was<00:11:00.410> a<00:11:00.500> member<00:11:00.740> or<00:11:01.130> that 00:11:01.300 --> 00:11:01.310 align:start position:0% you know but it was a member or that 00:11:01.310 --> 00:11:04.750 align:start position:0% you know but it was a member or that from<00:11:01.790> Nitro<00:11:02.210> that's<00:11:02.480> right<00:11:03.610> that's<00:11:04.610> right 00:11:04.750 --> 00:11:04.760 align:start position:0% from Nitro that's right that's right 00:11:04.760 --> 00:11:06.910 align:start position:0% from Nitro that's right that's right well<00:11:05.030> in<00:11:05.210> the<00:11:05.330> phony<00:11:05.540> group<00:11:05.870> and<00:11:06.110> I<00:11:06.290> remember 00:11:06.910 --> 00:11:06.920 align:start position:0% well in the phony group and I remember 00:11:06.920 --> 00:11:09.040 align:start position:0% well in the phony group and I remember the<00:11:07.040> temperate<00:11:07.550> yeah<00:11:08.090> to<00:11:08.270> ever<00:11:08.450> improvement 00:11:09.040 --> 00:11:09.050 align:start position:0% the temperate yeah to ever improvement 00:11:09.050 --> 00:11:11.410 align:start position:0% the temperate yeah to ever improvement proposal<00:11:09.590> he<00:11:10.010> was<00:11:10.190> kind<00:11:10.610> of<00:11:10.730> don't<00:11:10.940> yeah<00:11:11.090> and 00:11:11.410 --> 00:11:11.420 align:start position:0% proposal he was kind of don't yeah and 00:11:11.420 --> 00:11:13.420 align:start position:0% proposal he was kind of don't yeah and say<00:11:11.570> let's<00:11:11.840> make<00:11:12.020> sure<00:11:12.080> the<00:11:12.350> migration<00:11:12.950> that<00:11:13.130> I 00:11:13.420 --> 00:11:13.430 align:start position:0% say let's make sure the migration that I 00:11:13.430 --> 00:11:14.690 align:start position:0% say let's make sure the migration that I go<00:11:13.700> smooth 00:11:14.690 --> 00:11:14.700 align:start position:0% go smooth 00:11:14.700 --> 00:11:16.820 align:start position:0% go smooth the<00:11:14.850> if<00:11:15.270> changing<00:11:15.900> the<00:11:15.990> way<00:11:16.110> if<00:11:16.290> work<00:11:16.590> looks 00:11:16.820 --> 00:11:16.830 align:start position:0% the if changing the way if work looks 00:11:16.830 --> 00:11:21.200 align:start position:0% the if changing the way if work looks you<00:11:17.490> know<00:11:17.580> like<00:11:17.610> if<00:11:17.970> open<00:11:18.810> prints<00:11:20.210> expression 00:11:21.200 --> 00:11:21.210 align:start position:0% you know like if open prints expression 00:11:21.210 --> 00:11:24.020 align:start position:0% you know like if open prints expression else<00:11:21.480> expression<00:11:22.190> there<00:11:23.190> was<00:11:23.340> a<00:11:23.370> proposal<00:11:23.790> as 00:11:24.020 --> 00:11:24.030 align:start position:0% else expression there was a proposal as 00:11:24.030 --> 00:11:26.720 align:start position:0% else expression there was a proposal as if<00:11:24.210> to<00:11:24.360> say<00:11:24.480> if<00:11:24.690> don't<00:11:25.590> need<00:11:25.740> prints<00:11:26.040> mm-hmm 00:11:26.720 --> 00:11:26.730 align:start position:0% if to say if don't need prints mm-hmm 00:11:26.730 --> 00:11:29.780 align:start position:0% if to say if don't need prints mm-hmm then<00:11:27.240> mm-hmm<00:11:28.130> expression<00:11:29.130> else<00:11:29.280> expression 00:11:29.780 --> 00:11:29.790 align:start position:0% then mm-hmm expression else expression 00:11:29.790 --> 00:11:31.940 align:start position:0% then mm-hmm expression else expression it's<00:11:30.360> just<00:11:30.510> cosmetic<00:11:30.660> yes<00:11:31.380> but<00:11:31.770> it<00:11:31.860> I<00:11:31.920> think 00:11:31.940 --> 00:11:31.950 align:start position:0% it's just cosmetic yes but it I think 00:11:31.950 --> 00:11:33.590 align:start position:0% it's just cosmetic yes but it I think it's<00:11:32.190> a<00:11:32.280> it<00:11:32.640> makes<00:11:32.970> the<00:11:33.090> language<00:11:33.240> more 00:11:33.590 --> 00:11:33.600 align:start position:0% it's a it makes the language more 00:11:33.600 --> 00:11:35.660 align:start position:0% it's a it makes the language more regular<00:11:34.080> as<00:11:34.230> Martin<00:11:34.500> would<00:11:34.620> say<00:11:34.800> and<00:11:35.070> I<00:11:35.130> like 00:11:35.660 --> 00:11:35.670 align:start position:0% regular as Martin would say and I like 00:11:35.670 --> 00:11:38.390 align:start position:0% regular as Martin would say and I like it<00:11:35.880> but<00:11:36.060> it's<00:11:36.600> like<00:11:36.690> is<00:11:37.560> that<00:11:37.800> worth<00:11:37.980> it 00:11:38.390 --> 00:11:38.400 align:start position:0% it but it's like is that worth it 00:11:38.400 --> 00:11:40.190 align:start position:0% it but it's like is that worth it he<00:11:38.850> was<00:11:39.000> quite<00:11:39.210> down<00:11:39.450> on<00:11:39.630> that<00:11:39.810> he<00:11:39.870> didn't<00:11:40.080> like 00:11:40.190 --> 00:11:40.200 align:start position:0% he was quite down on that he didn't like 00:11:40.200 --> 00:11:43.250 align:start position:0% he was quite down on that he didn't like that<00:11:40.230> one<00:11:40.560> and<00:11:41.240> and<00:11:42.240> then<00:11:42.450> you<00:11:42.810> got<00:11:43.020> did 00:11:43.250 --> 00:11:43.260 align:start position:0% that one and and then you got did 00:11:43.260 --> 00:11:46.100 align:start position:0% that one and and then you got did rejected<00:11:43.830> by<00:11:44.010> the<00:11:44.070> SIP<00:11:44.460> I<00:11:44.610> mean<00:11:44.760> I<00:11:45.030> wasn't<00:11:45.780> I 00:11:46.100 --> 00:11:46.110 align:start position:0% rejected by the SIP I mean I wasn't I 00:11:46.110 --> 00:11:48.110 align:start position:0% rejected by the SIP I mean I wasn't I don't<00:11:46.980> remember<00:11:47.130> that<00:11:47.370> happening<00:11:47.610> but<00:11:47.880> I<00:11:47.910> saw 00:11:48.110 --> 00:11:48.120 align:start position:0% don't remember that happening but I saw 00:11:48.120 --> 00:11:50.290 align:start position:0% don't remember that happening but I saw it's<00:11:48.300> like<00:11:48.390> rejected<00:11:48.900> mmm-hmm<00:11:49.320> so<00:11:49.620> then 00:11:50.290 --> 00:11:50.300 align:start position:0% it's like rejected mmm-hmm so then 00:11:50.300 --> 00:11:52.940 align:start position:0% it's like rejected mmm-hmm so then somehow<00:11:51.300> it<00:11:51.810> was<00:11:51.960> in<00:11:52.110> doggy<00:11:52.350> so<00:11:52.620> it<00:11:52.710> actually 00:11:52.940 --> 00:11:52.950 align:start position:0% somehow it was in doggy so it actually 00:11:52.950 --> 00:11:54.110 align:start position:0% somehow it was in doggy so it actually isn't<00:11:53.100> doggy<00:11:53.370> so<00:11:53.550> again<00:11:53.760> it's<00:11:53.850> one<00:11:53.970> of<00:11:54.030> the 00:11:54.110 --> 00:11:54.120 align:start position:0% isn't doggy so again it's one of the 00:11:54.120 --> 00:11:55.250 align:start position:0% isn't doggy so again it's one of the things<00:11:54.240> that<00:11:54.360> may<00:11:54.420> not<00:11:54.450> get<00:11:54.660> into<00:11:54.870> Scala<00:11:55.110> that 00:11:55.250 --> 00:11:55.260 align:start position:0% things that may not get into Scala that 00:11:55.260 --> 00:11:57.740 align:start position:0% things that may not get into Scala that was<00:11:55.350> already<00:11:55.590> rejected<00:11:56.160> um<00:11:56.490> but<00:11:57.300> Dottie<00:11:57.510> has 00:11:57.740 --> 00:11:57.750 align:start position:0% was already rejected um but Dottie has 00:11:57.750 --> 00:11:59.930 align:start position:0% was already rejected um but Dottie has the<00:11:58.020> that<00:11:58.500> form<00:11:58.740> of<00:11:58.860> then<00:11:59.070> you<00:11:59.250> can<00:11:59.400> if<00:11:59.580> then 00:11:59.930 --> 00:11:59.940 align:start position:0% the that form of then you can if then 00:11:59.940 --> 00:12:04.340 align:start position:0% the that form of then you can if then yeah<00:12:00.360> but<00:12:00.570> I<00:12:00.620> think<00:12:01.620> the<00:12:01.740> major<00:12:01.950> kind<00:12:02.400> of<00:12:03.350> focus 00:12:04.340 --> 00:12:04.350 align:start position:0% yeah but I think the major kind of focus 00:12:04.350 --> 00:12:06.920 align:start position:0% yeah but I think the major kind of focus then<00:12:05.220> in<00:12:05.640> terms<00:12:05.880> of<00:12:06.090> pragmatic<00:12:06.540> effort<00:12:06.750> was 00:12:06.920 --> 00:12:06.930 align:start position:0% then in terms of pragmatic effort was 00:12:06.930 --> 00:12:09.650 align:start position:0% then in terms of pragmatic effort was like<00:12:07.110> let's<00:12:07.350> instead<00:12:07.830> of<00:12:08.270> beautifying<00:12:09.270> skull 00:12:09.650 --> 00:12:09.660 align:start position:0% like let's instead of beautifying skull 00:12:09.660 --> 00:12:11.180 align:start position:0% like let's instead of beautifying skull of<00:12:09.780> a<00:12:09.870> spark<00:12:10.200> which<00:12:10.470> was<00:12:10.650> out<00:12:10.800> of<00:12:10.980> like 00:12:11.180 --> 00:12:11.190 align:start position:0% of a spark which was out of like 00:12:11.190 --> 00:12:12.530 align:start position:0% of a spark which was out of like requests<00:12:11.550> let's<00:12:11.850> make<00:12:12.120> it<00:12:12.150> better 00:12:12.530 --> 00:12:12.540 align:start position:0% requests let's make it better 00:12:12.540 --> 00:12:15.080 align:start position:0% requests let's make it better right<00:12:13.200> like<00:12:13.410> let's<00:12:13.590> focus<00:12:13.860> on<00:12:14.370> the<00:12:14.670> fact<00:12:14.880> that 00:12:15.080 --> 00:12:15.090 align:start position:0% right like let's focus on the fact that 00:12:15.090 --> 00:12:17.000 align:start position:0% right like let's focus on the fact that there<00:12:15.420> is<00:12:15.510> so<00:12:15.630> much<00:12:15.690> investment<00:12:16.260> in<00:12:16.380> Scala<00:12:16.680> - 00:12:17.000 --> 00:12:17.010 align:start position:0% there is so much investment in Scala - 00:12:17.010 --> 00:12:18.350 align:start position:0% there is so much investment in Scala - yeah<00:12:17.340> right<00:12:17.760> now<00:12:17.910> there<00:12:18.090> are<00:12:18.150> all<00:12:18.240> these 00:12:18.350 --> 00:12:18.360 align:start position:0% yeah right now there are all these 00:12:18.360 --> 00:12:20.720 align:start position:0% yeah right now there are all these companies<00:12:18.660> like<00:12:18.750> Verizon<00:12:18.990> we<00:12:19.500> have<00:12:19.770> enormous 00:12:20.720 --> 00:12:20.730 align:start position:0% companies like Verizon we have enormous 00:12:20.730 --> 00:12:23.120 align:start position:0% companies like Verizon we have enormous called<00:12:21.090> bases<00:12:21.510> yeah<00:12:21.930> right<00:12:22.500> then<00:12:22.650> people<00:12:22.830> kind 00:12:23.120 --> 00:12:23.130 align:start position:0% called bases yeah right then people kind 00:12:23.130 --> 00:12:24.920 align:start position:0% called bases yeah right then people kind of<00:12:23.310> run<00:12:23.580> production<00:12:23.760> goals<00:12:24.150> so<00:12:24.450> I<00:12:24.480> think<00:12:24.570> the 00:12:24.920 --> 00:12:24.930 align:start position:0% of run production goals so I think the 00:12:24.930 --> 00:12:26.930 align:start position:0% of run production goals so I think the idea<00:12:25.530> was<00:12:25.560> like<00:12:25.860> let's<00:12:26.130> make<00:12:26.310> sure<00:12:26.370> that 00:12:26.930 --> 00:12:26.940 align:start position:0% idea was like let's make sure that 00:12:26.940 --> 00:12:28.850 align:start position:0% idea was like let's make sure that that's<00:12:27.600> not<00:12:27.720> being<00:12:27.990> disrupted<00:12:28.440> and<00:12:28.590> all<00:12:28.710> these 00:12:28.850 --> 00:12:28.860 align:start position:0% that's not being disrupted and all these 00:12:28.860 --> 00:12:30.650 align:start position:0% that's not being disrupted and all these companies<00:12:29.250> are<00:12:29.490> represented<00:12:29.970> on<00:12:30.210> Scala 00:12:30.650 --> 00:12:30.660 align:start position:0% companies are represented on Scala 00:12:30.660 --> 00:12:33.350 align:start position:0% companies are represented on Scala center<00:12:31.050> they<00:12:31.950> have<00:12:32.340> this<00:12:32.490> investment<00:12:33.060> so<00:12:33.210> do 00:12:33.350 --> 00:12:33.360 align:start position:0% center they have this investment so do 00:12:33.360 --> 00:12:35.540 align:start position:0% center they have this investment so do you<00:12:33.450> think<00:12:33.720> they<00:12:33.960> will<00:12:34.230> kind<00:12:34.410> of<00:12:34.620> put<00:12:35.430> the 00:12:35.540 --> 00:12:35.550 align:start position:0% you think they will kind of put the 00:12:35.550 --> 00:12:37.340 align:start position:0% you think they will kind of put the brakes<00:12:35.580> and<00:12:36.240> make<00:12:36.420> sure<00:12:36.600> like<00:12:36.810> in<00:12:36.990> my<00:12:37.200> mind 00:12:37.340 --> 00:12:37.350 align:start position:0% brakes and make sure like in my mind 00:12:37.350 --> 00:12:39.170 align:start position:0% brakes and make sure like in my mind that's<00:12:37.650> kind<00:12:37.890> of<00:12:37.950> sufficient<00:12:38.820> group<00:12:39.000> of 00:12:39.170 --> 00:12:39.180 align:start position:0% that's kind of sufficient group of 00:12:39.180 --> 00:12:40.760 align:start position:0% that's kind of sufficient group of people<00:12:39.510> who<00:12:39.750> have<00:12:39.870> enough<00:12:40.080> investment<00:12:40.620> and 00:12:40.760 --> 00:12:40.770 align:start position:0% people who have enough investment and 00:12:40.770 --> 00:12:43.040 align:start position:0% people who have enough investment and the<00:12:40.860> whole<00:12:41.070> basis<00:12:41.430> like<00:12:42.180> millions<00:12:42.810> of<00:12:42.900> lines 00:12:43.040 --> 00:12:43.050 align:start position:0% the whole basis like millions of lines 00:12:43.050 --> 00:12:44.600 align:start position:0% the whole basis like millions of lines of<00:12:43.140> skull<00:12:43.350> probably<00:12:43.500> among<00:12:44.100> all<00:12:44.310> of<00:12:44.430> that<00:12:44.580> I 00:12:44.600 --> 00:12:44.610 align:start position:0% of skull probably among all of that I 00:12:44.610 --> 00:12:46.610 align:start position:0% of skull probably among all of that I think<00:12:44.760> it's<00:12:45.180> inevitable<00:12:45.780> there<00:12:45.990> I<00:12:46.320> mean 00:12:46.610 --> 00:12:46.620 align:start position:0% think it's inevitable there I mean 00:12:46.620 --> 00:12:48.500 align:start position:0% think it's inevitable there I mean Martin<00:12:46.800> cares<00:12:47.040> about<00:12:47.220> -<00:12:47.430> yeah<00:12:47.970> everybody 00:12:48.500 --> 00:12:48.510 align:start position:0% Martin cares about - yeah everybody 00:12:48.510 --> 00:12:50.780 align:start position:0% Martin cares about - yeah everybody cares<00:12:48.720> about<00:12:48.780> it<00:12:49.080> it's<00:12:49.230> not<00:12:49.380> just<00:12:49.440> a<00:12:49.710> I<00:12:49.980> mean 00:12:50.780 --> 00:12:50.790 align:start position:0% cares about it it's not just a I mean 00:12:50.790 --> 00:12:52.010 align:start position:0% cares about it it's not just a I mean there's<00:12:50.940> a<00:12:51.030> lot<00:12:51.180> of<00:12:51.270> people<00:12:51.390> using<00:12:51.630> this<00:12:51.840> stuff 00:12:52.010 --> 00:12:52.020 align:start position:0% there's a lot of people using this stuff 00:12:52.020 --> 00:12:54.230 align:start position:0% there's a lot of people using this stuff so<00:12:52.200> you<00:12:52.290> can't<00:12:52.580> you<00:12:53.580> know<00:12:53.670> you<00:12:53.760> have<00:12:53.850> to<00:12:53.970> you 00:12:54.230 --> 00:12:54.240 align:start position:0% so you can't you know you have to you 00:12:54.240 --> 00:12:56.870 align:start position:0% so you can't you know you have to you just<00:12:54.270> have<00:12:54.570> to<00:12:55.130> you<00:12:56.130> know<00:12:56.190> like<00:12:56.310> Ascot<00:12:56.640> for 00:12:56.870 --> 00:12:56.880 align:start position:0% just have to you know like Ascot for 00:12:56.880 --> 00:12:58.700 align:start position:0% just have to you know like Ascot for example<00:12:57.240> Scala<00:12:57.450> tests<00:12:57.840> the<00:12:58.080> way<00:12:58.230> I<00:12:58.260> feel<00:12:58.650> now 00:12:58.700 --> 00:12:58.710 align:start position:0% example Scala tests the way I feel now 00:12:58.710 --> 00:13:01.580 align:start position:0% example Scala tests the way I feel now is<00:12:58.920> I<00:12:59.220> just<00:12:59.280> I<00:12:59.760> got<00:13:00.300> to<00:13:00.450> keep<00:13:00.570> it<00:13:00.720> stable<00:13:01.260> I<00:13:01.410> want 00:13:01.580 --> 00:13:01.590 align:start position:0% is I just I got to keep it stable I want 00:13:01.590 --> 00:13:03.860 align:start position:0% is I just I got to keep it stable I want to<00:13:01.650> fix<00:13:01.860> you<00:13:02.160> know<00:13:02.370> add<00:13:03.030> a<00:13:03.090> few<00:13:03.420> things<00:13:03.660> but 00:13:03.860 --> 00:13:03.870 align:start position:0% to fix you know add a few things but 00:13:03.870 --> 00:13:06.680 align:start position:0% to fix you know add a few things but it's<00:13:03.990> already<00:13:04.110> big<00:13:04.380> enough<00:13:04.410> mm-hmm<00:13:05.450> too<00:13:06.450> big 00:13:06.680 --> 00:13:06.690 align:start position:0% it's already big enough mm-hmm too big 00:13:06.690 --> 00:13:08.870 align:start position:0% it's already big enough mm-hmm too big maybe<00:13:07.080> but<00:13:07.440> it's<00:13:07.770> it<00:13:08.100> maybe<00:13:08.280> it's<00:13:08.460> just<00:13:08.580> right 00:13:08.870 --> 00:13:08.880 align:start position:0% maybe but it's it maybe it's just right 00:13:08.880 --> 00:13:10.880 align:start position:0% maybe but it's it maybe it's just right if<00:13:09.360> I<00:13:09.510> add<00:13:09.660> too<00:13:10.020> much<00:13:10.200> more<00:13:10.470> than<00:13:10.650> it'll<00:13:10.830> be 00:13:10.880 --> 00:13:10.890 align:start position:0% if I add too much more than it'll be 00:13:10.890 --> 00:13:13.070 align:start position:0% if I add too much more than it'll be like<00:13:11.070> oh<00:13:11.250> now<00:13:11.490> it's<00:13:11.640> way<00:13:11.760> too<00:13:11.820> much<00:13:12.060> and<00:13:12.330> it 00:13:13.070 --> 00:13:13.080 align:start position:0% like oh now it's way too much and it 00:13:13.080 --> 00:13:14.780 align:start position:0% like oh now it's way too much and it just<00:13:13.320> needs<00:13:13.440> to<00:13:13.710> you<00:13:14.220> know<00:13:14.310> there's<00:13:14.490> ways<00:13:14.640> I 00:13:14.780 --> 00:13:14.790 align:start position:0% just needs to you know there's ways I 00:13:14.790 --> 00:13:17.600 align:start position:0% just needs to you know there's ways I can<00:13:14.940> if<00:13:15.240> it's<00:13:15.600> like<00:13:15.750> a<00:13:15.980> modest<00:13:16.980> improvement<00:13:17.100> it 00:13:17.600 --> 00:13:17.610 align:start position:0% can if it's like a modest improvement it 00:13:17.610 --> 00:13:19.070 align:start position:0% can if it's like a modest improvement it takes<00:13:17.760> a<00:13:17.850> lot<00:13:18.000> of<00:13:18.090> user<00:13:18.270> changes<00:13:18.810> then<00:13:18.960> it's 00:13:19.070 --> 00:13:19.080 align:start position:0% takes a lot of user changes then it's 00:13:19.080 --> 00:13:20.720 align:start position:0% takes a lot of user changes then it's just<00:13:19.140> not<00:13:19.260> worth<00:13:19.500> it<00:13:19.770> just<00:13:19.800> keep<00:13:20.100> it<00:13:20.250> stable 00:13:20.720 --> 00:13:20.730 align:start position:0% just not worth it just keep it stable 00:13:20.730 --> 00:13:23.750 align:start position:0% just not worth it just keep it stable it's<00:13:21.330> like<00:13:21.450> a<00:13:21.480> like<00:13:21.990> a<00:13:22.020> utility<00:13:22.530> right<00:13:23.190> and<00:13:23.640> it 00:13:23.750 --> 00:13:23.760 align:start position:0% it's like a like a utility right and it 00:13:23.760 --> 00:13:25.040 align:start position:0% it's like a like a utility right and it just<00:13:23.880> happened<00:13:24.120> that's<00:13:24.360> what<00:13:24.600> I'm<00:13:24.720> gonna<00:13:24.900> try 00:13:25.040 --> 00:13:25.050 align:start position:0% just happened that's what I'm gonna try 00:13:25.050 --> 00:13:26.330 align:start position:0% just happened that's what I'm gonna try to<00:13:25.080> with<00:13:25.260> Scala<00:13:25.470> testing<00:13:25.740> I<00:13:25.800> think<00:13:25.830> skull<00:13:26.190> is 00:13:26.330 --> 00:13:26.340 align:start position:0% to with Scala testing I think skull is 00:13:26.340 --> 00:13:27.800 align:start position:0% to with Scala testing I think skull is becoming<00:13:26.640> utility<00:13:27.210> and<00:13:27.390> you<00:13:27.450> can't 00:13:27.800 --> 00:13:27.810 align:start position:0% becoming utility and you can't 00:13:27.810 --> 00:13:30.070 align:start position:0% becoming utility and you can't just<00:13:27.990> like<00:13:28.140> change<00:13:28.529> it<00:13:28.740> right<00:13:29.070> so<00:13:29.550> you<00:13:29.640> have<00:13:29.940> to 00:13:30.070 --> 00:13:30.080 align:start position:0% just like change it right so you have to 00:13:30.080 --> 00:13:32.300 align:start position:0% just like change it right so you have to what<00:13:31.080> I<00:13:31.110> like<00:13:31.320> about<00:13:31.500> what<00:13:31.770> the<00:13:31.860> communities 00:13:32.300 --> 00:13:32.310 align:start position:0% what I like about what the communities 00:13:32.310 --> 00:13:33.680 align:start position:0% what I like about what the communities that<00:13:32.580> does<00:13:32.790> is<00:13:32.910> we<00:13:33.120> care<00:13:33.300> about<00:13:33.360> making<00:13:33.630> things 00:13:33.680 --> 00:13:33.690 align:start position:0% that does is we care about making things 00:13:33.690 --> 00:13:34.190 align:start position:0% that does is we care about making things better 00:13:34.190 --> 00:13:34.200 align:start position:0% better 00:13:34.200 --> 00:13:37.070 align:start position:0% better mm-hmm<00:13:34.620> but<00:13:34.980> we<00:13:35.130> also<00:13:35.310> have<00:13:35.610> to<00:13:35.790> make<00:13:36.750> sure<00:13:36.930> we 00:13:37.070 --> 00:13:37.080 align:start position:0% mm-hmm but we also have to make sure we 00:13:37.080 --> 00:13:38.990 align:start position:0% mm-hmm but we also have to make sure we care<00:13:37.320> about<00:13:37.410> how<00:13:37.710> you<00:13:37.770> get<00:13:37.980> people<00:13:38.400> you<00:13:38.910> know 00:13:38.990 --> 00:13:39.000 align:start position:0% care about how you get people you know 00:13:39.000 --> 00:13:43.190 align:start position:0% care about how you get people you know in<00:13:39.180> in<00:13:39.450> to<00:13:40.080> that<00:13:40.230> new<00:13:40.410> better<00:13:41.130> place<00:13:42.200> carefully 00:13:43.190 --> 00:13:43.200 align:start position:0% in in to that new better place carefully 00:13:43.200 --> 00:13:46.610 align:start position:0% in in to that new better place carefully yes<00:13:43.740> so<00:13:44.310> that's<00:13:44.610> I<00:13:45.000> hope<00:13:45.960> the<00:13:46.230> cops<00:13:46.410> you<00:13:46.589> know 00:13:46.610 --> 00:13:46.620 align:start position:0% yes so that's I hope the cops you know 00:13:46.620 --> 00:13:47.870 align:start position:0% yes so that's I hope the cops you know like<00:13:46.800> I<00:13:46.890> like<00:13:47.070> their<00:13:47.279> way<00:13:47.400> it's<00:13:47.550> called<00:13:47.670> hard 00:13:47.870 --> 00:13:47.880 align:start position:0% like I like their way it's called hard 00:13:47.880 --> 00:13:50.300 align:start position:0% like I like their way it's called hard work<00:13:48.060> so<00:13:48.240> I<00:13:48.300> look<00:13:48.990> so<00:13:49.110> very<00:13:49.350> glad<00:13:49.440> you<00:13:49.650> are<00:13:49.740> like 00:13:50.300 --> 00:13:50.310 align:start position:0% work so I look so very glad you are like 00:13:50.310 --> 00:13:51.710 align:start position:0% work so I look so very glad you are like a<00:13:50.400> major<00:13:50.580> representative<00:13:51.060> so<00:13:51.270> please<00:13:51.480> hold 00:13:51.710 --> 00:13:51.720 align:start position:0% a major representative so please hold 00:13:51.720 --> 00:13:52.460 align:start position:0% a major representative so please hold office<00:13:51.990> hours 00:13:52.460 --> 00:13:52.470 align:start position:0% office hours 00:13:52.470 --> 00:13:54.890 align:start position:0% office hours okay<00:13:53.040> we'd<00:13:53.220> like<00:13:53.370> to<00:13:53.520> feel<00:13:54.330> we<00:13:54.540> can<00:13:54.660> do<00:13:54.779> it 00:13:54.890 --> 00:13:54.900 align:start position:0% okay we'd like to feel we can do it 00:13:54.900 --> 00:13:58.190 align:start position:0% okay we'd like to feel we can do it officer<00:13:55.760> sure<00:13:56.760> we<00:13:57.060> can<00:13:57.210> lost<00:13:57.420> them<00:13:57.660> you<00:13:57.990> can 00:13:58.190 --> 00:13:58.200 align:start position:0% officer sure we can lost them you can 00:13:58.200 --> 00:14:01.010 align:start position:0% officer sure we can lost them you can receive<00:13:58.800> visitors<00:13:59.550> and<00:13:59.910> check<00:14:00.450> the<00:14:00.630> scallop 00:14:01.010 --> 00:14:01.020 align:start position:0% receive visitors and check the scallop 00:14:01.020 --> 00:14:02.200 align:start position:0% receive visitors and check the scallop all<00:14:01.170> something<00:14:01.589> happen 00:14:02.200 --> 00:14:02.210 align:start position:0% all something happen 00:14:02.210 --> 00:14:05.150 align:start position:0% all something happen actually<00:14:03.210> I<00:14:03.540> you<00:14:03.690> said<00:14:04.140> that<00:14:04.320> you<00:14:04.470> do<00:14:04.680> you 00:14:05.150 --> 00:14:05.160 align:start position:0% actually I you said that you do you 00:14:05.160 --> 00:14:06.290 align:start position:0% actually I you said that you do you maintain<00:14:05.430> this<00:14:05.520> matrix<00:14:05.880> and<00:14:06.060> you<00:14:06.120> have 00:14:06.290 --> 00:14:06.300 align:start position:0% maintain this matrix and you have 00:14:06.300 --> 00:14:07.790 align:start position:0% maintain this matrix and you have scholarship<00:14:06.990> support<00:14:07.200> yeah 00:14:07.790 --> 00:14:07.800 align:start position:0% scholarship support yeah 00:14:07.800 --> 00:14:09.620 align:start position:0% scholarship support yeah and<00:14:07.920> you<00:14:08.220> can<00:14:08.370> score<00:14:08.490> native<00:14:08.850> support<00:14:08.970> yeah<00:14:09.420> so 00:14:09.620 --> 00:14:09.630 align:start position:0% and you can score native support yeah so 00:14:09.630 --> 00:14:11.690 align:start position:0% and you can score native support yeah so I'm<00:14:09.720> curious<00:14:09.990> but<00:14:10.529> if<00:14:10.770> is<00:14:11.040> it<00:14:11.220> indicative 00:14:11.690 --> 00:14:11.700 align:start position:0% I'm curious but if is it indicative 00:14:11.700 --> 00:14:13.430 align:start position:0% I'm curious but if is it indicative scale<00:14:12.089> lessons<00:14:12.390> in<00:14:12.600> the<00:14:12.720> way<00:14:12.870> then<00:14:13.110> can<00:14:13.290> be 00:14:13.430 --> 00:14:13.440 align:start position:0% scale lessons in the way then can be 00:14:13.440 --> 00:14:15.829 align:start position:0% scale lessons in the way then can be married<00:14:13.710> like<00:14:13.950> a<00:14:13.980> measure<00:14:14.310> how<00:14:14.700> much<00:14:15.330> adoption 00:14:15.829 --> 00:14:15.839 align:start position:0% married like a measure how much adoption 00:14:15.839 --> 00:14:17.540 align:start position:0% married like a measure how much adoption of<00:14:15.900> these<00:14:16.020> things<00:14:16.290> is<00:14:16.470> happening<00:14:16.589> yeah<00:14:17.279> how<00:14:17.490> do 00:14:17.540 --> 00:14:17.550 align:start position:0% of these things is happening yeah how do 00:14:17.550 --> 00:14:19.519 align:start position:0% of these things is happening yeah how do you<00:14:17.730> see<00:14:18.089> how<00:14:18.540> much<00:14:18.660> traction<00:14:19.020> do<00:14:19.290> you<00:14:19.350> have 00:14:19.519 --> 00:14:19.529 align:start position:0% you see how much traction do you have 00:14:19.529 --> 00:14:21.650 align:start position:0% you see how much traction do you have ecology<00:14:20.010> essence<00:14:20.310> color<00:14:20.550> native<00:14:20.940> from<00:14:21.510> the 00:14:21.650 --> 00:14:21.660 align:start position:0% ecology essence color native from the 00:14:21.660 --> 00:14:25.730 align:start position:0% ecology essence color native from the skull<00:14:21.810> of<00:14:21.900> this<00:14:21.990> side<00:14:23.690> so<00:14:24.690> skull<00:14:25.020> test<00:14:25.350> wasn't 00:14:25.730 --> 00:14:25.740 align:start position:0% skull of this side so skull test wasn't 00:14:25.740 --> 00:14:28.519 align:start position:0% skull of this side so skull test wasn't the<00:14:25.980> first<00:14:26.130> framework<00:14:26.760> on<00:14:27.110> scholar<00:14:28.110> J<00:14:28.350> yeah 00:14:28.519 --> 00:14:28.529 align:start position:0% the first framework on scholar J yeah 00:14:28.529 --> 00:14:29.900 align:start position:0% the first framework on scholar J yeah right<00:14:28.800> and<00:14:29.040> so<00:14:29.250> that<00:14:29.460> for<00:14:29.640> there's<00:14:29.820> always 00:14:29.900 --> 00:14:29.910 align:start position:0% right and so that for there's always 00:14:29.910 --> 00:14:31.460 align:start position:0% right and so that for there's always first<00:14:30.180> mover<00:14:30.480> advantage<00:14:30.510> right<00:14:31.110> so<00:14:31.350> I<00:14:31.380> think 00:14:31.460 --> 00:14:31.470 align:start position:0% first mover advantage right so I think 00:14:31.470 --> 00:14:33.560 align:start position:0% first mover advantage right so I think that<00:14:31.920> it<00:14:32.100> probably<00:14:32.220> has<00:14:32.580> less<00:14:32.880> market<00:14:33.360> share 00:14:33.560 --> 00:14:33.570 align:start position:0% that it probably has less market share 00:14:33.570 --> 00:14:35.780 align:start position:0% that it probably has less market share in<00:14:33.839> Scala<00:14:34.230> Jo<00:14:34.440> there's<00:14:34.710> a<00:14:34.800> small<00:14:35.310> test<00:14:35.580> from 00:14:35.780 --> 00:14:35.790 align:start position:0% in Scala Jo there's a small test from 00:14:35.790 --> 00:14:39.020 align:start position:0% in Scala Jo there's a small test from work<00:14:36.000> from<00:14:36.780> yeah<00:14:37.530> you<00:14:37.980> you<00:14:38.310> yeah<00:14:38.640> the<00:14:38.760> micro 00:14:39.020 --> 00:14:39.030 align:start position:0% work from yeah you you yeah the micro 00:14:39.030 --> 00:14:40.760 align:start position:0% work from yeah you you yeah the micro test<00:14:39.300> yeah<00:14:39.480> but<00:14:39.720> he<00:14:39.780> sees<00:14:39.990> its<00:14:40.260> he<00:14:40.410> spells<00:14:40.680> it 00:14:40.760 --> 00:14:40.770 align:start position:0% test yeah but he sees its he spells it 00:14:40.770 --> 00:14:42.320 align:start position:0% test yeah but he sees its he spells it with<00:14:40.800> a<00:14:40.890> you<00:14:41.070> but<00:14:41.280> he<00:14:41.370> was<00:14:41.460> just<00:14:41.520> like<00:14:42.000> I'm<00:14:42.150> Mike 00:14:42.320 --> 00:14:42.330 align:start position:0% with a you but he was just like I'm Mike 00:14:42.330 --> 00:14:47.000 align:start position:0% with a you but he was just like I'm Mike moon<00:14:42.630> yeah<00:14:42.870> any<00:14:43.110> crew<00:14:43.320> yeah<00:14:43.830> alright<00:14:44.250> so<00:14:45.980> so<00:14:46.980> I 00:14:47.000 --> 00:14:47.010 align:start position:0% moon yeah any crew yeah alright so so I 00:14:47.010 --> 00:14:49.180 align:start position:0% moon yeah any crew yeah alright so so I don't<00:14:47.070> know<00:14:47.310> I<00:14:47.339> mean<00:14:47.580> what<00:14:47.730> what<00:14:47.880> I<00:14:47.910> think<00:14:48.180> is 00:14:49.180 --> 00:14:49.190 align:start position:0% don't know I mean what what I think is 00:14:49.190 --> 00:14:55.460 align:start position:0% don't know I mean what what I think is one<00:14:50.190> of<00:14:50.220> the<00:14:50.960> main<00:14:51.960> ways<00:14:52.200> people<00:14:52.440> use<00:14:54.470> Scala 00:14:55.460 --> 00:14:55.470 align:start position:0% one of the main ways people use Scala 00:14:55.470 --> 00:14:57.560 align:start position:0% one of the main ways people use Scala Jay<00:14:55.650> yes<00:14:55.830> is<00:14:56.160> they<00:14:56.310> can<00:14:56.520> share<00:14:57.180> code<00:14:57.540> between 00:14:57.560 --> 00:14:57.570 align:start position:0% Jay yes is they can share code between 00:14:57.570 --> 00:15:01.250 align:start position:0% Jay yes is they can share code between the<00:14:58.230> server<00:14:58.530> side<00:14:58.800> and<00:14:58.830> the<00:14:59.130> client<00:14:59.690> side<00:15:00.690> in<00:15:01.080> a 00:15:01.250 --> 00:15:01.260 align:start position:0% the server side and the client side in a 00:15:01.260 --> 00:15:03.350 align:start position:0% the server side and the client side in a browser<00:15:01.530> and<00:15:01.980> that's<00:15:02.280> sort<00:15:02.550> of<00:15:02.640> I<00:15:02.820> can<00:15:03.089> do<00:15:03.180> that 00:15:03.350 --> 00:15:03.360 align:start position:0% browser and that's sort of I can do that 00:15:03.360 --> 00:15:06.829 align:start position:0% browser and that's sort of I can do that that's<00:15:03.570> sort<00:15:03.780> of<00:15:03.810> a<00:15:03.900> claim<00:15:04.230> to<00:15:05.240> know<00:15:06.240> jsy<00:15:06.780> you 00:15:06.829 --> 00:15:06.839 align:start position:0% that's sort of a claim to know jsy you 00:15:06.839 --> 00:15:08.270 align:start position:0% that's sort of a claim to know jsy you can<00:15:06.990> have<00:15:07.080> JavaScript<00:15:07.530> on<00:15:07.620> both<00:15:07.770> sides<00:15:08.010> so 00:15:08.270 --> 00:15:08.280 align:start position:0% can have JavaScript on both sides so 00:15:08.280 --> 00:15:09.699 align:start position:0% can have JavaScript on both sides so here<00:15:08.460> you<00:15:08.580> have<00:15:08.670> skull<00:15:08.880> on<00:15:09.000> both<00:15:09.150> sides<00:15:09.390> and 00:15:09.699 --> 00:15:09.709 align:start position:0% here you have skull on both sides and 00:15:09.709 --> 00:15:12.400 align:start position:0% here you have skull on both sides and then<00:15:10.709> if<00:15:10.890> you<00:15:11.040> have<00:15:11.220> shared<00:15:11.640> code<00:15:11.880> like 00:15:12.400 --> 00:15:12.410 align:start position:0% then if you have shared code like 00:15:12.410 --> 00:15:14.510 align:start position:0% then if you have shared code like classes<00:15:13.410> you<00:15:13.500> serialize<00:15:13.890> back<00:15:14.100> and<00:15:14.250> forth<00:15:14.430> or 00:15:14.510 --> 00:15:14.520 align:start position:0% classes you serialize back and forth or 00:15:14.520 --> 00:15:16.280 align:start position:0% classes you serialize back and forth or something<00:15:14.910> if<00:15:15.510> you<00:15:15.630> have<00:15:15.720> test<00:15:15.930> for<00:15:16.080> though<00:15:16.170> is 00:15:16.280 --> 00:15:16.290 align:start position:0% something if you have test for though is 00:15:16.290 --> 00:15:17.449 align:start position:0% something if you have test for though is this<00:15:16.350> nice<00:15:16.500> if<00:15:16.650> you<00:15:16.740> share<00:15:16.950> those<00:15:17.130> on<00:15:17.339> both 00:15:17.449 --> 00:15:17.459 align:start position:0% this nice if you share those on both 00:15:17.459 --> 00:15:18.770 align:start position:0% this nice if you share those on both sides<00:15:17.700> so<00:15:17.880> I<00:15:17.910> think<00:15:18.060> it's<00:15:18.420> just<00:15:18.510> kind<00:15:18.660> of 00:15:18.770 --> 00:15:18.780 align:start position:0% sides so I think it's just kind of 00:15:18.780 --> 00:15:24.620 align:start position:0% sides so I think it's just kind of depends<00:15:19.709> on<00:15:20.010> what<00:15:20.610> you're<00:15:20.760> using<00:15:22.160> but<00:15:23.510> it's<00:15:24.510> a 00:15:24.620 --> 00:15:24.630 align:start position:0% depends on what you're using but it's a 00:15:24.630 --> 00:15:26.480 align:start position:0% depends on what you're using but it's a small<00:15:24.900> I<00:15:24.930> mean<00:15:25.140> the<00:15:25.200> main<00:15:25.380> way<00:15:25.589> Scala<00:15:25.950> is<00:15:26.160> used 00:15:26.480 --> 00:15:26.490 align:start position:0% small I mean the main way Scala is used 00:15:26.490 --> 00:15:29.750 align:start position:0% small I mean the main way Scala is used as<00:15:26.700> the<00:15:26.850> JVM<00:15:27.270> still<00:15:27.630> yes<00:15:28.130> jas<00:15:29.130> makes<00:15:29.370> sense<00:15:29.610> for 00:15:29.750 --> 00:15:29.760 align:start position:0% as the JVM still yes jas makes sense for 00:15:29.760 --> 00:15:32.000 align:start position:0% as the JVM still yes jas makes sense for people<00:15:30.000> using<00:15:30.240> the<00:15:30.450> JVM<00:15:30.810> who<00:15:30.959> also<00:15:31.140> have<00:15:31.410> a<00:15:31.440> you 00:15:32.000 --> 00:15:32.010 align:start position:0% people using the JVM who also have a you 00:15:32.010 --> 00:15:33.440 align:start position:0% people using the JVM who also have a you know<00:15:32.130> they're<00:15:32.490> using<00:15:32.730> skull<00:15:32.910> in<00:15:33.000> the<00:15:33.060> JVM<00:15:33.390> they 00:15:33.440 --> 00:15:33.450 align:start position:0% know they're using skull in the JVM they 00:15:33.450 --> 00:15:36.230 align:start position:0% know they're using skull in the JVM they also<00:15:33.570> have<00:15:33.750> a<00:15:33.810> web<00:15:34.080> claim<00:15:34.290> mostly<00:15:34.740> and<00:15:35.550> a 00:15:36.230 --> 00:15:36.240 align:start position:0% also have a web claim mostly and a 00:15:36.240 --> 00:15:38.710 align:start position:0% also have a web claim mostly and a native<00:15:36.600> isn't<00:15:36.900> really<00:15:37.140> ready<00:15:37.380> yet 00:15:38.710 --> 00:15:38.720 align:start position:0% native isn't really ready yet 00:15:38.720 --> 00:15:41.650 align:start position:0% native isn't really ready yet and<00:15:39.440> neither<00:15:39.560> is<00:15:39.680> dotty<00:15:39.949> I<00:15:40.220> mean<00:15:40.519> like<00:15:41.120> every 00:15:41.650 --> 00:15:41.660 align:start position:0% and neither is dotty I mean like every 00:15:41.660 --> 00:15:43.300 align:start position:0% and neither is dotty I mean like every night<00:15:41.810> it's<00:15:42.050> something<00:15:42.740> else<00:15:42.889> doesn't<00:15:43.100> work 00:15:43.300 --> 00:15:43.310 align:start position:0% night it's something else doesn't work 00:15:43.310 --> 00:15:44.800 align:start position:0% night it's something else doesn't work and<00:15:43.519> so<00:15:43.790> we<00:15:43.819> have<00:15:44.029> to<00:15:44.120> get<00:15:44.209> that<00:15:44.329> fixed<00:15:44.720> in 00:15:44.800 --> 00:15:44.810 align:start position:0% and so we have to get that fixed in 00:15:44.810 --> 00:15:46.960 align:start position:0% and so we have to get that fixed in mm-hmm<00:15:45.470> so<00:15:45.800> it's<00:15:45.980> not<00:15:46.160> you<00:15:46.399> know<00:15:46.490> it's<00:15:46.639> it's 00:15:46.960 --> 00:15:46.970 align:start position:0% mm-hmm so it's not you know it's it's 00:15:46.970 --> 00:15:50.350 align:start position:0% mm-hmm so it's not you know it's it's still<00:15:47.180> under<00:15:47.899> development<00:15:48.110> for<00:15:48.769> sure<00:15:49.360> and 00:15:50.350 --> 00:15:50.360 align:start position:0% still under development for sure and 00:15:50.360 --> 00:15:51.730 align:start position:0% still under development for sure and they're<00:15:50.720> even<00:15:50.990> figuring<00:15:51.290> things<00:15:51.470> out<00:15:51.680> you 00:15:51.730 --> 00:15:51.740 align:start position:0% they're even figuring things out you 00:15:51.740 --> 00:15:53.079 align:start position:0% they're even figuring things out you know<00:15:51.980> they're<00:15:52.190> still<00:15:52.370> deciding<00:15:52.819> how<00:15:52.910> to<00:15:52.940> do 00:15:53.079 --> 00:15:53.089 align:start position:0% know they're still deciding how to do 00:15:53.089 --> 00:15:55.629 align:start position:0% know they're still deciding how to do things<00:15:53.769> the<00:15:54.769> other<00:15:54.920> thing<00:15:55.100> I<00:15:55.220> mean<00:15:55.370> you<00:15:55.459> asked 00:15:55.629 --> 00:15:55.639 align:start position:0% things the other thing I mean you asked 00:15:55.639 --> 00:15:57.160 align:start position:0% things the other thing I mean you asked me<00:15:55.759> of<00:15:55.879> the<00:15:56.000> things<00:15:56.389> I'm<00:15:56.509> interested<00:15:56.689> in<00:15:56.930> I'm 00:15:57.160 --> 00:15:57.170 align:start position:0% me of the things I'm interested in I'm 00:15:57.170 --> 00:16:01.509 align:start position:0% me of the things I'm interested in I'm doing<00:15:58.129> a<00:15:58.220> lot<00:15:58.399> of<00:15:58.430> reading<00:15:58.699> about<00:16:00.519> types 00:16:01.509 --> 00:16:01.519 align:start position:0% doing a lot of reading about types 00:16:01.519 --> 00:16:04.960 align:start position:0% doing a lot of reading about types system<00:16:02.269> theory<00:16:02.480> type<00:16:02.779> theory<00:16:03.079> and<00:16:03.939> you<00:16:04.939> know 00:16:04.960 --> 00:16:04.970 align:start position:0% system theory type theory and you know 00:16:04.970 --> 00:16:06.429 align:start position:0% system theory type theory and you know trying<00:16:05.269> to<00:16:05.300> understand<00:16:05.629> independent<00:16:06.019> types 00:16:06.429 --> 00:16:06.439 align:start position:0% trying to understand independent types 00:16:06.439 --> 00:16:08.319 align:start position:0% trying to understand independent types and<00:16:06.800> how<00:16:07.040> people<00:16:07.370> do<00:16:07.490> proofs<00:16:07.790> and<00:16:08.000> those 00:16:08.319 --> 00:16:08.329 align:start position:0% and how people do proofs and those 00:16:08.329 --> 00:16:11.230 align:start position:0% and how people do proofs and those languages<00:16:09.019> like<00:16:09.199> that<00:16:09.439> because<00:16:10.399> I<00:16:10.790> like<00:16:11.089> what 00:16:11.230 --> 00:16:11.240 align:start position:0% languages like that because I like what 00:16:11.240 --> 00:16:15.579 align:start position:0% languages like that because I like what I'll<00:16:11.300> show<00:16:11.480> tonight<00:16:13.509> the<00:16:14.509> property<00:16:15.470> the<00:16:15.560> way 00:16:15.579 --> 00:16:15.589 align:start position:0% I'll show tonight the property the way 00:16:15.589 --> 00:16:17.079 align:start position:0% I'll show tonight the property the way you<00:16:15.709> express<00:16:16.040> a<00:16:16.160> property<00:16:16.519> based<00:16:16.699> test<00:16:16.939> is 00:16:17.079 --> 00:16:17.089 align:start position:0% you express a property based test is 00:16:17.089 --> 00:16:18.850 align:start position:0% you express a property based test is with<00:16:17.240> a<00:16:17.269> statement<00:16:17.509> of<00:16:17.750> logic<00:16:18.319> mm-hmm 00:16:18.850 --> 00:16:18.860 align:start position:0% with a statement of logic mm-hmm 00:16:18.860 --> 00:16:20.769 align:start position:0% with a statement of logic mm-hmm predicate<00:16:19.430> logic<00:16:19.459> and<00:16:19.970> that's<00:16:20.149> also<00:16:20.360> the<00:16:20.540> same 00:16:20.769 --> 00:16:20.779 align:start position:0% predicate logic and that's also the same 00:16:20.779 --> 00:16:22.960 align:start position:0% predicate logic and that's also the same way<00:16:21.170> you<00:16:21.230> would<00:16:21.620> make<00:16:22.220> a<00:16:22.250> claim<00:16:22.639> about 00:16:22.960 --> 00:16:22.970 align:start position:0% way you would make a claim about 00:16:22.970 --> 00:16:26.949 align:start position:0% way you would make a claim about something<00:16:23.660> that<00:16:24.259> you<00:16:24.470> would<00:16:25.339> then<00:16:25.639> prove<00:16:26.480> like 00:16:26.949 --> 00:16:26.959 align:start position:0% something that you would then prove like 00:16:26.959 --> 00:16:28.689 align:start position:0% something that you would then prove like the<00:16:27.230> mathematical<00:16:27.800> way<00:16:27.920> with<00:16:28.129> mathematical 00:16:28.689 --> 00:16:28.699 align:start position:0% the mathematical way with mathematical 00:16:28.699 --> 00:16:29.889 align:start position:0% the mathematical way with mathematical proof<00:16:28.879> so<00:16:29.269> they're<00:16:29.389> really<00:16:29.600> that<00:16:29.689> it's<00:16:29.839> the 00:16:29.889 --> 00:16:29.899 align:start position:0% proof so they're really that it's the 00:16:29.899 --> 00:16:32.230 align:start position:0% proof so they're really that it's the same<00:16:30.079> input<00:16:30.529> from<00:16:31.100> a<00:16:31.220> property<00:16:31.579> based<00:16:31.759> test<00:16:32.029> to 00:16:32.230 --> 00:16:32.240 align:start position:0% same input from a property based test to 00:16:32.240 --> 00:16:34.240 align:start position:0% same input from a property based test to prove<00:16:33.199> so<00:16:33.379> that's<00:16:33.529> that's<00:16:33.920> the<00:16:34.069> other<00:16:34.160> thing 00:16:34.240 --> 00:16:34.250 align:start position:0% prove so that's that's the other thing 00:16:34.250 --> 00:16:37.030 align:start position:0% prove so that's that's the other thing I'm<00:16:34.490> kind<00:16:35.120> of<00:16:35.209> trying<00:16:35.509> to<00:16:35.860> understand<00:16:36.860> better 00:16:37.030 --> 00:16:37.040 align:start position:0% I'm kind of trying to understand better 00:16:37.040 --> 00:16:39.009 align:start position:0% I'm kind of trying to understand better you're<00:16:37.730> saying<00:16:38.060> lately<00:16:38.329> when<00:16:38.959> they 00:16:39.009 --> 00:16:39.019 align:start position:0% you're saying lately when they 00:16:39.019 --> 00:16:40.329 align:start position:0% you're saying lately when they understand<00:16:39.410> that<00:16:39.529> give<00:16:39.860> a<00:16:39.949> talk<00:16:40.100> about<00:16:40.220> it 00:16:40.329 --> 00:16:40.339 align:start position:0% understand that give a talk about it 00:16:40.339 --> 00:16:45.490 align:start position:0% understand that give a talk about it okay<00:16:42.970> and<00:16:43.970> I<00:16:44.180> noticed<00:16:44.660> that<00:16:44.899> you<00:16:45.170> know<00:16:45.290> I<00:16:45.319> very 00:16:45.490 --> 00:16:45.500 align:start position:0% okay and I noticed that you know I very 00:16:45.500 --> 00:16:47.769 align:start position:0% okay and I noticed that you know I very happy<00:16:45.620> are<00:16:45.980> back<00:16:46.220> with<00:16:46.610> training<00:16:47.060> so<00:16:47.420> you<00:16:47.480> know 00:16:47.769 --> 00:16:47.779 align:start position:0% happy are back with training so you know 00:16:47.779 --> 00:16:50.170 align:start position:0% happy are back with training so you know doing<00:16:48.079> and<00:16:48.290> it<00:16:48.740> sounds<00:16:49.069> very<00:16:49.279> exciting<00:16:50.060> it 00:16:50.170 --> 00:16:50.180 align:start position:0% doing and it sounds very exciting it 00:16:50.180 --> 00:16:54.100 align:start position:0% doing and it sounds very exciting it sounds<00:16:50.389> like<00:16:50.480> a<00:16:50.509> scholar<00:16:51.230> retreat<00:16:51.709> yeah<00:16:52.069> so<00:16:53.110> I 00:16:54.100 --> 00:16:54.110 align:start position:0% sounds like a scholar retreat yeah so I 00:16:54.110 --> 00:16:56.050 align:start position:0% sounds like a scholar retreat yeah so I hadn't<00:16:54.589> done<00:16:54.709> public<00:16:55.040> workshops<00:16:55.670> in<00:16:55.880> a<00:16:55.910> long 00:16:56.050 --> 00:16:56.060 align:start position:0% hadn't done public workshops in a long 00:16:56.060 --> 00:16:57.999 align:start position:0% hadn't done public workshops in a long time<00:16:56.300> and<00:16:56.689> many<00:16:56.899> years<00:16:57.199> I<00:16:57.290> decided<00:16:57.740> to<00:16:57.829> try<00:16:57.949> it 00:16:57.999 --> 00:16:58.009 align:start position:0% time and many years I decided to try it 00:16:58.009 --> 00:17:00.879 align:start position:0% time and many years I decided to try it again<00:16:58.130> we<00:16:58.399> decided<00:16:58.759> to<00:16:59.089> make<00:16:59.209> it<00:16:59.389> more<00:16:59.569> fun<00:17:00.199> and 00:17:00.879 --> 00:17:00.889 align:start position:0% again we decided to make it more fun and 00:17:00.889 --> 00:17:03.639 align:start position:0% again we decided to make it more fun and more<00:17:00.920> effective<00:17:01.910> maybe<00:17:02.120> because<00:17:02.630> just<00:17:03.439> just 00:17:03.639 --> 00:17:03.649 align:start position:0% more effective maybe because just just 00:17:03.649 --> 00:17:05.590 align:start position:0% more effective maybe because just just do<00:17:03.769> it<00:17:03.860> in<00:17:03.980> a<00:17:04.069> beautiful<00:17:04.189> place<00:17:04.600> essentially 00:17:05.590 --> 00:17:05.600 align:start position:0% do it in a beautiful place essentially 00:17:05.600 --> 00:17:07.649 align:start position:0% do it in a beautiful place essentially it's<00:17:05.689> just<00:17:05.720> a<00:17:05.929> scholar<00:17:06.199> workshop<00:17:06.829> it's<00:17:07.100> some 00:17:07.649 --> 00:17:07.659 align:start position:0% it's just a scholar workshop it's some 00:17:07.659 --> 00:17:09.760 align:start position:0% it's just a scholar workshop it's some fundamentals<00:17:08.659> you<00:17:08.809> learn<00:17:09.020> Scala<00:17:09.260> without 00:17:09.760 --> 00:17:09.770 align:start position:0% fundamentals you learn Scala without 00:17:09.770 --> 00:17:11.710 align:start position:0% fundamentals you learn Scala without knowing<00:17:10.039> it<00:17:10.130> before<00:17:10.459> or<00:17:10.970> advance<00:17:11.299> you've<00:17:11.569> been 00:17:11.710 --> 00:17:11.720 align:start position:0% knowing it before or advance you've been 00:17:11.720 --> 00:17:13.029 align:start position:0% knowing it before or advance you've been using<00:17:11.870> Scala<00:17:12.199> for<00:17:12.350> a<00:17:12.380> while<00:17:12.500> and<00:17:12.679> you<00:17:12.770> want<00:17:12.919> to 00:17:13.029 --> 00:17:13.039 align:start position:0% using Scala for a while and you want to 00:17:13.039 --> 00:17:15.270 align:start position:0% using Scala for a while and you want to polish<00:17:13.459> you<00:17:13.789> know<00:17:13.909> and<00:17:14.059> learn<00:17:14.179> more<00:17:14.419> not<00:17:14.959> the 00:17:15.270 --> 00:17:15.280 align:start position:0% polish you know and learn more not the 00:17:15.280 --> 00:17:17.890 align:start position:0% polish you know and learn more not the advanced<00:17:16.280> stuff<00:17:16.640> and<00:17:17.539> then<00:17:17.630> we<00:17:17.720> have<00:17:17.839> an 00:17:17.890 --> 00:17:17.900 align:start position:0% advanced stuff and then we have an 00:17:17.900 --> 00:17:19.779 align:start position:0% advanced stuff and then we have an effective<00:17:18.230> Scala<00:17:18.409> course<00:17:19.010> also<00:17:19.400> so<00:17:19.610> there's 00:17:19.779 --> 00:17:19.789 align:start position:0% effective Scala course also so there's 00:17:19.789 --> 00:17:21.340 align:start position:0% effective Scala course also so there's just<00:17:19.819> our<00:17:20.030> main<00:17:20.179> you<00:17:20.569> know<00:17:20.600> our<00:17:20.780> usual<00:17:20.959> Scala 00:17:21.340 --> 00:17:21.350 align:start position:0% just our main you know our usual Scala 00:17:21.350 --> 00:17:23.439 align:start position:0% just our main you know our usual Scala course<00:17:21.559> that<00:17:21.650> we<00:17:21.709> do<00:17:21.829> in-house<00:17:22.100> but<00:17:22.449> public 00:17:23.439 --> 00:17:23.449 align:start position:0% course that we do in-house but public 00:17:23.449 --> 00:17:26.140 align:start position:0% course that we do in-house but public instead<00:17:23.689> of<00:17:23.780> just<00:17:23.870> like<00:17:24.100> finding<00:17:25.100> a<00:17:25.220> you<00:17:26.030> know 00:17:26.140 --> 00:17:26.150 align:start position:0% instead of just like finding a you know 00:17:26.150 --> 00:17:29.470 align:start position:0% instead of just like finding a you know these<00:17:26.449> training<00:17:26.839> centers<00:17:27.140> that<00:17:27.230> are<00:17:27.620> fine<00:17:28.480> we 00:17:29.470 --> 00:17:29.480 align:start position:0% these training centers that are fine we 00:17:29.480 --> 00:17:31.899 align:start position:0% these training centers that are fine we go<00:17:29.870> where<00:17:30.200> we<00:17:30.470> can<00:17:30.590> go<00:17:30.679> hiking<00:17:30.890> and<00:17:31.490> then<00:17:31.610> have 00:17:31.899 --> 00:17:31.909 align:start position:0% go where we can go hiking and then have 00:17:31.909 --> 00:17:34.450 align:start position:0% go where we can go hiking and then have conversations<00:17:32.570> on<00:17:32.690> the<00:17:32.780> hikes<00:17:32.990> and<00:17:33.350> so<00:17:34.220> if<00:17:34.400> I 00:17:34.450 --> 00:17:34.460 align:start position:0% conversations on the hikes and so if I 00:17:34.460 --> 00:17:36.520 align:start position:0% conversations on the hikes and so if I haven't<00:17:34.640> haven't<00:17:35.450> gone<00:17:35.570> venture<00:17:35.990> too<00:17:36.200> far<00:17:36.230> out 00:17:36.520 --> 00:17:36.530 align:start position:0% haven't haven't gone venture too far out 00:17:36.530 --> 00:17:39.010 align:start position:0% haven't haven't gone venture too far out we<00:17:36.770> have<00:17:36.950> two<00:17:37.190> over<00:17:37.480> coming<00:17:38.480> in<00:17:38.539> March<00:17:38.750> in<00:17:38.929> the 00:17:39.010 --> 00:17:39.020 align:start position:0% we have two over coming in March in the 00:17:39.020 --> 00:17:41.409 align:start position:0% we have two over coming in March in the south<00:17:39.200> in<00:17:39.559> East<00:17:39.860> Bay<00:17:40.039> and<00:17:40.250> one<00:17:40.730> in<00:17:40.940> Southern 00:17:41.409 --> 00:17:41.419 align:start position:0% south in East Bay and one in Southern 00:17:41.419 --> 00:17:43.510 align:start position:0% south in East Bay and one in Southern California<00:17:41.539> mm-hmm<00:17:42.470> but<00:17:43.190> you<00:17:43.309> know<00:17:43.370> there's 00:17:43.510 --> 00:17:43.520 align:start position:0% California mm-hmm but you know there's 00:17:43.520 --> 00:17:44.620 align:start position:0% California mm-hmm but you know there's some<00:17:43.610> other<00:17:43.700> parts<00:17:44.059> of<00:17:44.090> the<00:17:44.179> world<00:17:44.330> that<00:17:44.510> are 00:17:44.620 --> 00:17:44.630 align:start position:0% some other parts of the world that are 00:17:44.630 --> 00:17:47.500 align:start position:0% some other parts of the world that are actually<00:17:44.960> quite<00:17:45.080> quite<00:17:45.620> nice<00:17:45.830> yeah<00:17:46.520> we'll<00:17:47.360> see 00:17:47.500 --> 00:17:47.510 align:start position:0% actually quite quite nice yeah we'll see 00:17:47.510 --> 00:17:49.539 align:start position:0% actually quite quite nice yeah we'll see but<00:17:47.870> that's<00:17:48.140> kind<00:17:48.470> of<00:17:48.530> there<00:17:48.980> was<00:17:49.070> a<00:17:49.100> guy<00:17:49.340> that 00:17:49.539 --> 00:17:49.549 align:start position:0% but that's kind of there was a guy that 00:17:49.549 --> 00:17:51.880 align:start position:0% but that's kind of there was a guy that did<00:17:49.760> cruises<00:17:50.539> like<00:17:50.960> conferences<00:17:51.470> on<00:17:51.590> cruises 00:17:51.880 --> 00:17:51.890 align:start position:0% did cruises like conferences on cruises 00:17:51.890 --> 00:17:52.330 align:start position:0% did cruises like conferences on cruises you<00:17:51.950> ever<00:17:52.070> hear 00:17:52.330 --> 00:17:52.340 align:start position:0% you ever hear 00:17:52.340 --> 00:17:55.510 align:start position:0% you ever hear those<00:17:53.650> that<00:17:54.650> worked<00:17:54.890> for<00:17:55.070> him<00:17:55.190> for<00:17:55.250> a<00:17:55.429> while 00:17:55.510 --> 00:17:55.520 align:start position:0% those that worked for him for a while 00:17:55.520 --> 00:17:57.100 align:start position:0% those that worked for him for a while until<00:17:55.760> he<00:17:55.940> I<00:17:56.029> don't<00:17:56.150> know<00:17:56.330> either<00:17:56.600> it<00:17:56.870> didn't 00:17:57.100 --> 00:17:57.110 align:start position:0% until he I don't know either it didn't 00:17:57.110 --> 00:17:58.360 align:start position:0% until he I don't know either it didn't work<00:17:57.200> or<00:17:57.380> he<00:17:57.470> showed<00:17:57.860> or<00:17:57.980> something<00:17:58.220> I<00:17:58.250> haven't 00:17:58.360 --> 00:17:58.370 align:start position:0% work or he showed or something I haven't 00:17:58.370 --> 00:18:01.810 align:start position:0% work or he showed or something I haven't heard<00:17:58.580> in<00:17:58.730> a<00:17:58.789> long<00:17:58.820> time<00:17:59.320> yeah<00:18:00.460> you<00:18:01.460> got<00:18:01.610> thrown 00:18:01.810 --> 00:18:01.820 align:start position:0% heard in a long time yeah you got thrown 00:18:01.820 --> 00:18:03.010 align:start position:0% heard in a long time yeah you got thrown overboard<00:18:02.059> I<00:18:02.270> don't<00:18:02.419> know<00:18:02.480> what<00:18:02.570> happened<00:18:02.840> I 00:18:03.010 --> 00:18:03.020 align:start position:0% overboard I don't know what happened I 00:18:03.020 --> 00:18:04.450 align:start position:0% overboard I don't know what happened I just<00:18:03.049> so<00:18:03.320> I<00:18:03.350> just<00:18:03.620> thought<00:18:03.740> well<00:18:03.980> why<00:18:04.100> not<00:18:04.130> you 00:18:04.450 --> 00:18:04.460 align:start position:0% just so I just thought well why not you 00:18:04.460 --> 00:18:06.789 align:start position:0% just so I just thought well why not you know<00:18:04.580> it's<00:18:05.150> it's<00:18:05.480> education<00:18:06.080> it's<00:18:06.260> our<00:18:06.380> normal 00:18:06.789 --> 00:18:06.799 align:start position:0% know it's it's education it's our normal 00:18:06.799 --> 00:18:09.669 align:start position:0% know it's it's education it's our normal course<00:18:07.010> but<00:18:07.309> it's<00:18:07.460> in<00:18:07.610> a<00:18:07.700> nice<00:18:07.880> place<00:18:08.590> let<00:18:09.590> me 00:18:09.669 --> 00:18:09.679 align:start position:0% course but it's in a nice place let me 00:18:09.679 --> 00:18:12.070 align:start position:0% course but it's in a nice place let me on<00:18:09.799> the<00:18:09.950> what<00:18:10.130> what<00:18:10.400> is<00:18:10.610> it<00:18:10.640> like<00:18:10.940> there<00:18:11.720> I<00:18:11.750> love 00:18:12.070 --> 00:18:12.080 align:start position:0% on the what what is it like there I love 00:18:12.080 --> 00:18:13.720 align:start position:0% on the what what is it like there I love you<00:18:12.260> there<00:18:12.440> you<00:18:12.559> say<00:18:12.710> so<00:18:12.770> it's<00:18:13.159> something<00:18:13.640> me 00:18:13.720 --> 00:18:13.730 align:start position:0% you there you say so it's something me 00:18:13.730 --> 00:18:15.970 align:start position:0% you there you say so it's something me although<00:18:13.880> yes<00:18:14.419> anyway<00:18:14.750> ah<00:18:14.779> no<00:18:14.900> is<00:18:15.049> a<00:18:15.080> retreat 00:18:15.970 --> 00:18:15.980 align:start position:0% although yes anyway ah no is a retreat 00:18:15.980 --> 00:18:18.570 align:start position:0% although yes anyway ah no is a retreat center<00:18:16.039> it's<00:18:16.490> called<00:18:16.700> and<00:18:16.970> it's<00:18:17.120> it's<00:18:17.390> a 00:18:18.570 --> 00:18:18.580 align:start position:0% center it's called and it's it's a 00:18:18.580 --> 00:18:21.600 align:start position:0% center it's called and it's it's a Franciscan<00:18:19.580> I<00:18:19.640> mean<00:18:19.789> it's<00:18:19.909> a<00:18:20.000> like<00:18:20.720> a<00:18:20.750> Catholic 00:18:21.600 --> 00:18:21.610 align:start position:0% Franciscan I mean it's a like a Catholic 00:18:21.610 --> 00:18:24.789 align:start position:0% Franciscan I mean it's a like a Catholic it's<00:18:22.610> like<00:18:22.820> a<00:18:23.169> part<00:18:24.169> of<00:18:24.260> the<00:18:24.320> Catholic<00:18:24.440> Church 00:18:24.789 --> 00:18:24.799 align:start position:0% it's like a part of the Catholic Church 00:18:24.799 --> 00:18:26.139 align:start position:0% it's like a part of the Catholic Church or<00:18:24.919> something<00:18:25.220> yes<00:18:25.460> I'm<00:18:25.700> not<00:18:25.789> sure<00:18:25.880> what<00:18:26.029> it<00:18:26.120> is 00:18:26.139 --> 00:18:26.149 align:start position:0% or something yes I'm not sure what it is 00:18:26.149 --> 00:18:28.299 align:start position:0% or something yes I'm not sure what it is but<00:18:26.419> there's<00:18:26.870> a<00:18:26.929> monks<00:18:27.200> there<00:18:27.409> okay<00:18:27.860> and<00:18:28.070> so 00:18:28.299 --> 00:18:28.309 align:start position:0% but there's a monks there okay and so 00:18:28.309 --> 00:18:29.080 align:start position:0% but there's a monks there okay and so it's<00:18:28.429> very<00:18:28.460> peaceful 00:18:29.080 --> 00:18:29.090 align:start position:0% it's very peaceful 00:18:29.090 --> 00:18:32.470 align:start position:0% it's very peaceful I'm<00:18:29.179> just<00:18:29.390> saying<00:18:29.570> and<00:18:30.970> it's<00:18:31.970> just<00:18:32.240> you<00:18:32.450> know 00:18:32.470 --> 00:18:32.480 align:start position:0% I'm just saying and it's just you know 00:18:32.480 --> 00:18:36.669 align:start position:0% I'm just saying and it's just you know like<00:18:34.450> it's<00:18:35.450> in<00:18:35.630> the<00:18:35.720> hills<00:18:35.960> up<00:18:36.320> there<00:18:36.559> it's 00:18:36.669 --> 00:18:36.679 align:start position:0% like it's in the hills up there it's 00:18:36.679 --> 00:18:39.100 align:start position:0% like it's in the hills up there it's required<00:18:37.100> and<00:18:37.640> beautiful<00:18:38.149> and<00:18:38.419> you<00:18:38.750> go<00:18:38.899> hiking 00:18:39.100 --> 00:18:39.110 align:start position:0% required and beautiful and you go hiking 00:18:39.110 --> 00:18:40.840 align:start position:0% required and beautiful and you go hiking it's<00:18:39.409> right<00:18:39.590> right<00:18:39.860> you<00:18:40.190> can<00:18:40.309> go<00:18:40.399> up<00:18:40.490> the<00:18:40.669> hill 00:18:40.840 --> 00:18:40.850 align:start position:0% it's right right you can go up the hill 00:18:40.850 --> 00:18:44.919 align:start position:0% it's right right you can go up the hill -<00:18:42.789> what's<00:18:43.789> the<00:18:43.880> name<00:18:44.000> of<00:18:44.029> it<00:18:44.149> I'm<00:18:44.270> blanking<00:18:44.630> um 00:18:44.919 --> 00:18:44.929 align:start position:0% - what's the name of it I'm blanking um 00:18:44.929 --> 00:18:46.810 align:start position:0% - what's the name of it I'm blanking um last<00:18:45.590> romp<00:18:45.799> less<00:18:45.950> open<00:18:46.190> space<00:18:46.370> preserve<00:18:46.669> and 00:18:46.810 --> 00:18:46.820 align:start position:0% last romp less open space preserve and 00:18:46.820 --> 00:18:49.630 align:start position:0% last romp less open space preserve and hike<00:18:46.940> up<00:18:47.090> there<00:18:47.240> so<00:18:48.020> that's<00:18:48.140> what<00:18:48.289> we<00:18:48.520> we<00:18:49.520> do 00:18:49.630 --> 00:18:49.640 align:start position:0% hike up there so that's what we we do 00:18:49.640 --> 00:18:51.669 align:start position:0% hike up there so that's what we we do when<00:18:49.760> we<00:18:49.850> were<00:18:49.909> there<00:18:50.059> so<00:18:50.240> how<00:18:50.659> are<00:18:51.590> you 00:18:51.669 --> 00:18:51.679 align:start position:0% when we were there so how are you 00:18:51.679 --> 00:18:56.529 align:start position:0% when we were there so how are you starting<00:18:52.340> out<00:18:52.429> the<00:18:52.789> board<00:18:53.330> do<00:18:53.720> you<00:18:53.980> like<00:18:54.980> oh<00:18:55.539> we 00:18:56.529 --> 00:18:56.539 align:start position:0% starting out the board do you like oh we 00:18:56.539 --> 00:18:58.810 align:start position:0% starting out the board do you like oh we walk<00:18:56.809> after<00:18:57.230> after<00:18:57.799> lunch<00:18:57.980> we'll<00:18:58.279> take<00:18:58.429> a<00:18:58.460> hike 00:18:58.810 --> 00:18:58.820 align:start position:0% walk after after lunch we'll take a hike 00:18:58.820 --> 00:18:59.380 align:start position:0% walk after after lunch we'll take a hike after<00:18:58.970> lunch 00:18:59.380 --> 00:18:59.390 align:start position:0% after lunch 00:18:59.390 --> 00:19:01.690 align:start position:0% after lunch okay<00:18:59.630> if<00:19:00.049> it's<00:19:00.230> like<00:19:00.470> the<00:19:00.799> one<00:19:01.070> time<00:19:01.100> we<00:19:01.520> did 00:19:01.690 --> 00:19:01.700 align:start position:0% okay if it's like the one time we did 00:19:01.700 --> 00:19:03.220 align:start position:0% okay if it's like the one time we did one<00:19:01.730> there<00:19:02.090> was<00:19:02.270> during<00:19:02.480> the<00:19:02.570> smoke<00:19:02.899> remember 00:19:03.220 --> 00:19:03.230 align:start position:0% one there was during the smoke remember 00:19:03.230 --> 00:19:05.440 align:start position:0% one there was during the smoke remember that<00:19:03.350> campfire<00:19:03.649> yeah<00:19:03.980> yeah<00:19:04.250> yeah<00:19:05.029> so<00:19:05.210> they<00:19:05.360> it 00:19:05.440 --> 00:19:05.450 align:start position:0% that campfire yeah yeah yeah so they it 00:19:05.450 --> 00:19:07.029 align:start position:0% that campfire yeah yeah yeah so they it was<00:19:05.539> dangerous<00:19:05.960> to<00:19:05.990> be<00:19:06.169> outside<00:19:06.289> so<00:19:06.620> we<00:19:06.710> do<00:19:06.890> it 00:19:07.029 --> 00:19:07.039 align:start position:0% was dangerous to be outside so we do it 00:19:07.039 --> 00:19:11.080 align:start position:0% was dangerous to be outside so we do it too<00:19:07.730> much<00:19:07.880> hiking<00:19:08.240> now<00:19:08.450> that<00:19:08.600> one<00:19:09.970> skill<00:19:10.970> by 00:19:11.080 --> 00:19:11.090 align:start position:0% too much hiking now that one skill by 00:19:11.090 --> 00:19:15.070 align:start position:0% too much hiking now that one skill by the<00:19:11.149> bay<00:19:11.419> yeah<00:19:12.940> yeah<00:19:13.940> so<00:19:14.480> yeah<00:19:14.690> that<00:19:14.840> was<00:19:14.990> a 00:19:15.070 --> 00:19:15.080 align:start position:0% the bay yeah yeah so yeah that was a 00:19:15.080 --> 00:19:17.320 align:start position:0% the bay yeah yeah so yeah that was a tough<00:19:15.260> time<00:19:15.409> yeah<00:19:15.649> that<00:19:16.640> was<00:19:16.820> tough 00:19:17.320 --> 00:19:17.330 align:start position:0% tough time yeah that was tough 00:19:17.330 --> 00:19:20.710 align:start position:0% tough time yeah that was tough yeah<00:19:17.570> but<00:19:18.230> it's<00:19:18.890> nice<00:19:19.010> now<00:19:19.250> and<00:19:20.000> I<00:19:20.539> think 00:19:20.710 --> 00:19:20.720 align:start position:0% yeah but it's nice now and I think 00:19:20.720 --> 00:19:23.950 align:start position:0% yeah but it's nice now and I think inducing<00:19:21.110> Marsh<00:19:21.320> we're<00:19:22.190> ready<00:19:22.309> to<00:19:22.460> March<00:19:22.960> and 00:19:23.950 --> 00:19:23.960 align:start position:0% inducing Marsh we're ready to March and 00:19:23.960 --> 00:19:25.210 align:start position:0% inducing Marsh we're ready to March and it<00:19:24.049> shouldn't<00:19:24.320> be<00:19:24.409> raining<00:19:24.799> him<00:19:24.890> but<00:19:25.039> it<00:19:25.100> might 00:19:25.210 --> 00:19:25.220 align:start position:0% it shouldn't be raining him but it might 00:19:25.220 --> 00:19:29.409 align:start position:0% it shouldn't be raining him but it might be<00:19:26.409> like<00:19:27.409> so<00:19:27.679> so<00:19:27.919> you<00:19:27.980> are<00:19:28.429> you<00:19:28.940> in<00:19:29.120> the<00:19:29.179> front 00:19:29.409 --> 00:19:29.419 align:start position:0% be like so so you are you in the front 00:19:29.419 --> 00:19:31.230 align:start position:0% be like so so you are you in the front of<00:19:29.570> the<00:19:29.630> group<00:19:29.840> and<00:19:30.110> you're<00:19:30.230> solid<00:19:30.529> you<00:19:30.590> know 00:19:31.230 --> 00:19:31.240 align:start position:0% of the group and you're solid you know 00:19:31.240 --> 00:19:33.730 align:start position:0% of the group and you're solid you know we<00:19:32.240> do<00:19:32.450> usually<00:19:32.929> classroom<00:19:33.380> style<00:19:33.559> where 00:19:33.730 --> 00:19:33.740 align:start position:0% we do usually classroom style where 00:19:33.740 --> 00:19:35.200 align:start position:0% we do usually classroom style where people<00:19:33.980> sitting<00:19:34.220> there<00:19:34.250> and<00:19:34.610> and<00:19:34.940> for 00:19:35.200 --> 00:19:35.210 align:start position:0% people sitting there and and for 00:19:35.210 --> 00:19:36.310 align:start position:0% people sitting there and and for fundamentals 00:19:36.310 --> 00:19:36.320 align:start position:0% fundamentals 00:19:36.320 --> 00:19:39.340 align:start position:0% fundamentals um<00:19:36.649> it's<00:19:37.250> not<00:19:37.399> really<00:19:37.610> more<00:19:38.169> projects<00:19:39.169> people 00:19:39.340 --> 00:19:39.350 align:start position:0% um it's not really more projects people 00:19:39.350 --> 00:19:41.769 align:start position:0% um it's not really more projects people work<00:19:39.649> on<00:19:39.740> their<00:19:39.890> own<00:19:40.039> but<00:19:40.490> like<00:19:41.360> if<00:19:41.600> you<00:19:41.750> only 00:19:41.769 --> 00:19:41.779 align:start position:0% work on their own but like if you only 00:19:41.779 --> 00:19:45.010 align:start position:0% work on their own but like if you only walk<00:19:42.380> you<00:19:42.980> just<00:19:43.220> randomly<00:19:43.730> walk<00:19:44.240> yeah<00:19:44.419> so<00:19:44.929> you 00:19:45.010 --> 00:19:45.020 align:start position:0% walk you just randomly walk yeah so you 00:19:45.020 --> 00:19:47.169 align:start position:0% walk you just randomly walk yeah so you talk<00:19:45.409> to<00:19:45.529> each<00:19:45.590> other<00:19:45.799> basically<00:19:46.130> no<00:19:46.789> not<00:19:47.059> on 00:19:47.169 --> 00:19:47.179 align:start position:0% talk to each other basically no not on 00:19:47.179 --> 00:19:48.760 align:start position:0% talk to each other basically no not on the<00:19:47.270> talk<00:19:47.450> a<00:19:47.600> rock<00:19:47.809> people<00:19:48.380> talk<00:19:48.620> to<00:19:48.740> each 00:19:48.760 --> 00:19:48.770 align:start position:0% the talk a rock people talk to each 00:19:48.770 --> 00:19:50.049 align:start position:0% the talk a rock people talk to each other<00:19:48.950> and<00:19:49.070> they<00:19:49.159> learn<00:19:49.340> from<00:19:49.370> each<00:19:49.610> other<00:19:49.820> and 00:19:50.049 --> 00:19:50.059 align:start position:0% other and they learn from each other and 00:19:50.059 --> 00:19:51.460 align:start position:0% other and they learn from each other and come<00:19:50.210> from<00:19:50.360> different<00:19:50.419> companies<00:19:50.750> that's<00:19:51.380> the 00:19:51.460 --> 00:19:51.470 align:start position:0% come from different companies that's the 00:19:51.470 --> 00:19:52.899 align:start position:0% come from different companies that's the other<00:19:51.559> thing<00:19:51.770> is<00:19:51.919> like<00:19:52.039> that's<00:19:52.549> different 00:19:52.899 --> 00:19:52.909 align:start position:0% other thing is like that's different 00:19:52.909 --> 00:19:55.000 align:start position:0% other thing is like that's different between<00:19:53.059> an<00:19:53.390> in-house<00:19:53.720> training<00:19:54.380> you<00:19:54.649> get<00:19:54.799> and 00:19:55.000 --> 00:19:55.010 align:start position:0% between an in-house training you get and 00:19:55.010 --> 00:19:56.560 align:start position:0% between an in-house training you get and your<00:19:55.130> company<00:19:55.460> mm-hmm<00:19:55.909> and<00:19:56.000> going<00:19:56.270> to<00:19:56.360> a 00:19:56.560 --> 00:19:56.570 align:start position:0% your company mm-hmm and going to a 00:19:56.570 --> 00:19:58.240 align:start position:0% your company mm-hmm and going to a public<00:19:57.080> event<00:19:57.230> is<00:19:57.559> you'll<00:19:57.770> you'll<00:19:58.070> meet 00:19:58.240 --> 00:19:58.250 align:start position:0% public event is you'll you'll meet 00:19:58.250 --> 00:19:59.799 align:start position:0% public event is you'll you'll meet people<00:19:58.279> for<00:19:58.700> other<00:19:58.820> places<00:19:59.330> and<00:19:59.659> get 00:19:59.799 --> 00:19:59.809 align:start position:0% people for other places and get 00:19:59.809 --> 00:20:03.340 align:start position:0% people for other places and get different<00:20:00.169> inputs<00:20:00.770> you<00:20:00.919> know<00:20:01.010> this<00:20:02.350> electrode 00:20:03.340 --> 00:20:03.350 align:start position:0% different inputs you know this electrode 00:20:03.350 --> 00:20:04.600 align:start position:0% different inputs you know this electrode rental<00:20:03.590> all<00:20:03.649> of<00:20:03.770> those<00:20:03.830> folks<00:20:04.010> because<00:20:04.159> you 00:20:04.600 --> 00:20:04.610 align:start position:0% rental all of those folks because you 00:20:04.610 --> 00:20:06.100 align:start position:0% rental all of those folks because you know<00:20:04.730> I<00:20:04.760> read<00:20:05.690> history 00:20:06.100 --> 00:20:06.110 align:start position:0% know I read history 00:20:06.110 --> 00:20:07.810 align:start position:0% know I read history yeah<00:20:06.440> and<00:20:06.650> so<00:20:06.799> there<00:20:07.070> was<00:20:07.160> this<00:20:07.309> Greek<00:20:07.580> school 00:20:07.810 --> 00:20:07.820 align:start position:0% yeah and so there was this Greek school 00:20:07.820 --> 00:20:10.060 align:start position:0% yeah and so there was this Greek school of<00:20:07.910> peripatetic<00:20:08.480> s'<00:20:08.510> so<00:20:09.500> peripatetic 00:20:10.060 --> 00:20:10.070 align:start position:0% of peripatetic s' so peripatetic 00:20:10.070 --> 00:20:12.760 align:start position:0% of peripatetic s' so peripatetic sexually<00:20:10.580> believed<00:20:11.059> in<00:20:11.330> learning<00:20:11.929> on<00:20:12.320> wild 00:20:12.760 --> 00:20:12.770 align:start position:0% sexually believed in learning on wild 00:20:12.770 --> 00:20:16.000 align:start position:0% sexually believed in learning on wild walk<00:20:12.890> while<00:20:13.100> walking<00:20:13.370> and<00:20:13.549> so<00:20:13.850> thank<00:20:14.179> you<00:20:15.010> so 00:20:16.000 --> 00:20:16.010 align:start position:0% walk while walking and so thank you so 00:20:16.010 --> 00:20:17.710 align:start position:0% walk while walking and so thank you so the<00:20:16.130> philosophers<00:20:16.790> actually<00:20:17.420> I<00:20:17.540> would 00:20:17.710 --> 00:20:17.720 align:start position:0% the philosophers actually I would 00:20:17.720 --> 00:20:27.190 align:start position:0% the philosophers actually I would actually<00:20:17.900> lecture<00:20:18.500> yeah<00:20:19.090> during<00:20:25.299> so<00:20:26.299> it<00:20:26.390> was 00:20:27.190 --> 00:20:27.200 align:start position:0% actually lecture yeah during so it was 00:20:27.200 --> 00:20:29.250 align:start position:0% actually lecture yeah during so it was about<00:20:27.410> philosophical<00:20:27.799> concepts<00:20:28.520> right<00:20:28.820> so 00:20:29.250 --> 00:20:29.260 align:start position:0% about philosophical concepts right so 00:20:29.260 --> 00:20:31.510 align:start position:0% about philosophical concepts right so there's<00:20:30.260> a<00:20:30.290> lot<00:20:30.380> of<00:20:30.470> philosophical<00:20:30.740> concept 00:20:31.510 --> 00:20:31.520 align:start position:0% there's a lot of philosophical concept 00:20:31.520 --> 00:20:33.100 align:start position:0% there's a lot of philosophical concept is<00:20:31.580> about<00:20:31.760> software<00:20:32.240> right<00:20:32.420> so<00:20:32.600> right<00:20:32.780> it 00:20:33.100 --> 00:20:33.110 align:start position:0% is about software right so right it 00:20:33.110 --> 00:20:33.880 align:start position:0% is about software right so right it there's<00:20:33.410> a<00:20:33.500> lot<00:20:33.620> of<00:20:33.710> interesting 00:20:33.880 --> 00:20:33.890 align:start position:0% there's a lot of interesting 00:20:33.890 --> 00:20:35.980 align:start position:0% there's a lot of interesting conversations<00:20:34.160> that<00:20:34.730> happen<00:20:35.120> on<00:20:35.299> the<00:20:35.330> hikes 00:20:35.980 --> 00:20:35.990 align:start position:0% conversations that happen on the hikes 00:20:35.990 --> 00:20:37.750 align:start position:0% conversations that happen on the hikes and<00:20:36.200> I<00:20:36.230> think<00:20:36.440> the<00:20:36.559> exercise<00:20:36.920> and<00:20:37.429> the<00:20:37.520> views 00:20:37.750 --> 00:20:37.760 align:start position:0% and I think the exercise and the views 00:20:37.760 --> 00:20:40.360 align:start position:0% and I think the exercise and the views that<00:20:37.790> stimulate<00:20:38.540> that<00:20:38.750> was<00:20:39.440> part<00:20:39.740> of<00:20:39.830> what<00:20:39.950> I<00:20:39.980> I 00:20:40.360 --> 00:20:40.370 align:start position:0% that stimulate that was part of what I I 00:20:40.370 --> 00:20:43.600 align:start position:0% that stimulate that was part of what I I wanted<00:20:40.970> to<00:20:41.150> you<00:20:41.390> know<00:20:41.980> mix<00:20:42.980> into<00:20:43.460> the 00:20:43.600 --> 00:20:43.610 align:start position:0% wanted to you know mix into the 00:20:43.610 --> 00:20:46.600 align:start position:0% wanted to you know mix into the education<00:20:44.540> so<00:20:45.530> like<00:20:45.650> you<00:20:45.740> know<00:20:45.890> I<00:20:45.919> hope<00:20:46.490> to 00:20:46.600 --> 00:20:46.610 align:start position:0% education so like you know I hope to 00:20:46.610 --> 00:20:47.890 align:start position:0% education so like you know I hope to check<00:20:46.760> it<00:20:46.850> out<00:20:47.000> oh<00:20:47.270> yeah<00:20:47.510> you<00:20:47.570> should<00:20:47.660> come<00:20:47.840> on 00:20:47.890 --> 00:20:47.900 align:start position:0% check it out oh yeah you should come on 00:20:47.900 --> 00:20:49.630 align:start position:0% check it out oh yeah you should come on a<00:20:48.020> hike<00:20:48.200> at<00:20:48.410> least<00:20:48.559> yes<00:20:49.100> you're<00:20:49.340> welcome<00:20:49.370> to 00:20:49.630 --> 00:20:49.640 align:start position:0% a hike at least yes you're welcome to 00:20:49.640 --> 00:20:50.799 align:start position:0% a hike at least yes you're welcome to come<00:20:49.760> good<00:20:49.880> yeah 00:20:50.799 --> 00:20:50.809 align:start position:0% come good yeah 00:20:50.809 --> 00:20:52.000 align:start position:0% come good yeah so<00:20:51.020> you<00:20:51.080> look<00:20:51.260> up<00:20:51.350> the<00:20:51.470> information<00:20:51.559> of<00:20:51.919> the 00:20:52.000 --> 00:20:52.010 align:start position:0% so you look up the information of the 00:20:52.010 --> 00:20:53.620 align:start position:0% so you look up the information of the myth<00:20:52.160> up<00:20:52.280> yeah<00:20:52.700> right<00:20:52.730> so<00:20:53.120> you<00:20:53.179> know<00:20:53.450> if<00:20:53.570> you 00:20:53.620 --> 00:20:53.630 align:start position:0% myth up yeah right so you know if you 00:20:53.630 --> 00:20:55.600 align:start position:0% myth up yeah right so you know if you guys<00:20:53.780> are<00:20:54.049> interested<00:20:54.559> in<00:20:54.770> joining<00:20:54.950> we<00:20:55.429> have 00:20:55.600 --> 00:20:55.610 align:start position:0% guys are interested in joining we have 00:20:55.610 --> 00:20:58.560 align:start position:0% guys are interested in joining we have it<00:20:55.790> all<00:20:55.940> in<00:20:56.210> Bill's<00:20:56.740> talk<00:20:57.740> announcement<00:20:58.280> and 00:20:58.560 --> 00:20:58.570 align:start position:0% it all in Bill's talk announcement and 00:20:58.570 --> 00:21:03.190 align:start position:0% it all in Bill's talk announcement and checkouts<00:21:00.100> Arthur<00:21:01.100> mouths<00:21:01.250> calm<00:21:01.429> yep<00:21:02.200> cool 00:21:03.190 --> 00:21:03.200 align:start position:0% checkouts Arthur mouths calm yep cool 00:21:03.200 --> 00:21:05.230 align:start position:0% checkouts Arthur mouths calm yep cool well<00:21:03.530> there<00:21:03.830> feel<00:21:04.250> very<00:21:04.610> grateful<00:21:04.820> for<00:21:05.059> you<00:21:05.120> to 00:21:05.230 --> 00:21:05.240 align:start position:0% well there feel very grateful for you to 00:21:05.240 --> 00:21:07.390 align:start position:0% well there feel very grateful for you to coming<00:21:05.540> down<00:21:05.660> and<00:21:06.020> giving<00:21:06.500> us<00:21:06.740> the<00:21:06.860> news<00:21:07.040> and 00:21:07.390 --> 00:21:07.400 align:start position:0% coming down and giving us the news and 00:21:07.400 --> 00:21:09.100 align:start position:0% coming down and giving us the news and looking<00:21:07.910> forward<00:21:08.120> to<00:21:08.179> your<00:21:08.240> talk<00:21:08.390> all<00:21:08.690> right 00:21:09.100 --> 00:21:09.110 align:start position:0% looking forward to your talk all right 00:21:09.110 --> 00:21:12.920 align:start position:0% looking forward to your talk all right thanks<00:21:09.410> Lexi 00:21:12.920 --> 00:21:12.930 align:start position:0% 00:21:12.930 --> 00:21:14.990 align:start position:0% you