WEBVTT
Kind: captions
Language: en

00:00:00.000 --> 00:00:12.980 align:start position:0%
 
you

00:00:12.980 --> 00:00:12.990 align:start position:0%
 
 

00:00:12.990 --> 00:00:16.019 align:start position:0%
 
my<00:00:13.990><c> name</c><00:00:14.140><c> is</c><00:00:14.230><c> Greg</c><00:00:14.410><c> file</c><00:00:14.650><c> I</c><00:00:14.890><c> work</c><00:00:15.190><c> for</c><00:00:15.220><c> a</c><00:00:15.490><c> slam</c>

00:00:16.019 --> 00:00:16.029 align:start position:0%
my name is Greg file I work for a slam
 

00:00:16.029 --> 00:00:18.540 align:start position:0%
my name is Greg file I work for a slam
data<00:00:16.299><c> in</c><00:00:16.540><c> boulder</c><00:00:16.840><c> colorado</c><00:00:16.930><c> and</c><00:00:17.460><c> i'm</c><00:00:18.460><c> a</c>

00:00:18.540 --> 00:00:18.550 align:start position:0%
data in boulder colorado and i'm a
 

00:00:18.550 --> 00:00:25.000 align:start position:0%
data in boulder colorado and i'm a
software<00:00:19.210><c> engineer</c><00:00:19.300><c> working</c><00:00:19.750><c> on</c><00:00:19.810><c> compilers</c>

00:00:25.000 --> 00:00:25.010 align:start position:0%
 
 

00:00:25.010 --> 00:00:27.650 align:start position:0%
 
[Music]

00:00:27.650 --> 00:00:27.660 align:start position:0%
[Music]
 

00:00:27.660 --> 00:00:30.120 align:start position:0%
[Music]
so<00:00:28.660><c> about</c><00:00:29.020><c> probably</c><00:00:29.470><c> two</c><00:00:29.619><c> and</c><00:00:29.650><c> a</c><00:00:29.770><c> half</c><00:00:29.890><c> years</c>

00:00:30.120 --> 00:00:30.130 align:start position:0%
so about probably two and a half years
 

00:00:30.130 --> 00:00:33.570 align:start position:0%
so about probably two and a half years
ago<00:00:30.189><c> I</c><00:00:30.400><c> I</c><00:00:31.210><c> talked</c><00:00:31.720><c> to</c><00:00:31.810><c> my</c><00:00:31.869><c> current</c><00:00:32.320><c> employer</c><00:00:32.680><c> at</c>

00:00:33.570 --> 00:00:33.580 align:start position:0%
ago I I talked to my current employer at
 

00:00:33.580 --> 00:00:35.310 align:start position:0%
ago I I talked to my current employer at
the<00:00:33.699><c> time</c><00:00:33.850><c> I</c><00:00:33.910><c> was</c><00:00:34.120><c> doing</c><00:00:34.420><c> a</c><00:00:34.449><c> doing</c><00:00:34.930><c> haskell</c>

00:00:35.310 --> 00:00:35.320 align:start position:0%
the time I was doing a doing haskell
 

00:00:35.320 --> 00:00:38.360 align:start position:0%
the time I was doing a doing haskell
work<00:00:35.470><c> and</c><00:00:36.059><c> and</c><00:00:37.059><c> so</c><00:00:37.570><c> he</c><00:00:37.720><c> had</c><00:00:37.809><c> an</c><00:00:37.930><c> interesting</c>

00:00:38.360 --> 00:00:38.370 align:start position:0%
work and and so he had an interesting
 

00:00:38.370 --> 00:00:41.160 align:start position:0%
work and and so he had an interesting
compiler<00:00:39.370><c> job</c><00:00:39.790><c> that</c><00:00:40.180><c> sounded</c><00:00:40.809><c> cool</c><00:00:40.960><c> and</c><00:00:41.110><c> I'd</c>

00:00:41.160 --> 00:00:41.170 align:start position:0%
compiler job that sounded cool and I'd
 

00:00:41.170 --> 00:00:43.260 align:start position:0%
compiler job that sounded cool and I'd
never<00:00:41.290><c> done</c><00:00:41.470><c> Scala</c><00:00:41.770><c> before</c><00:00:42.130><c> but</c><00:00:42.399><c> he</c><00:00:43.000><c> got</c><00:00:43.149><c> me</c>

00:00:43.260 --> 00:00:43.270 align:start position:0%
never done Scala before but he got me
 

00:00:43.270 --> 00:00:46.100 align:start position:0%
never done Scala before but he got me
into<00:00:43.390><c> it</c><00:00:43.680><c> feel</c><00:00:44.680><c> like</c><00:00:44.800><c> it</c><00:00:44.860><c> was</c><00:00:44.950><c> kind</c><00:00:45.130><c> of</c><00:00:45.280><c> a</c>

00:00:46.100 --> 00:00:46.110 align:start position:0%
into it feel like it was kind of a
 

00:00:46.110 --> 00:00:49.740 align:start position:0%
into it feel like it was kind of a
different<00:00:47.110><c> than</c><00:00:47.550><c> the</c><00:00:48.550><c> usual</c><00:00:48.760><c> way</c><00:00:49.329><c> to</c><00:00:49.390><c> come</c><00:00:49.629><c> in</c>

00:00:49.740 --> 00:00:49.750 align:start position:0%
different than the usual way to come in
 

00:00:49.750 --> 00:00:51.930 align:start position:0%
different than the usual way to come in
because<00:00:49.899><c> I</c><00:00:50.110><c> learned</c><00:00:50.980><c> scholars</c><00:00:51.579><c> II</c><00:00:51.700><c> and</c><00:00:51.910><c> the</c>

00:00:51.930 --> 00:00:51.940 align:start position:0%
because I learned scholars II and the
 

00:00:51.940 --> 00:00:54.420 align:start position:0%
because I learned scholars II and the
functional<00:00:52.620><c> sort</c><00:00:53.620><c> of</c><00:00:53.710><c> parts</c><00:00:53.980><c> of</c><00:00:54.100><c> the</c><00:00:54.190><c> Scala</c>

00:00:54.420 --> 00:00:54.430 align:start position:0%
functional sort of parts of the Scala
 

00:00:54.430 --> 00:00:57.090 align:start position:0%
functional sort of parts of the Scala
ecosystem<00:00:55.120><c> immediately</c><00:00:56.050><c> and</c><00:00:56.350><c> I'm</c><00:00:56.620><c> still</c><00:00:56.890><c> very</c>

00:00:57.090 --> 00:00:57.100 align:start position:0%
ecosystem immediately and I'm still very
 

00:00:57.100 --> 00:00:59.490 align:start position:0%
ecosystem immediately and I'm still very
unfamiliar<00:00:57.550><c> with</c><00:00:57.760><c> with</c><00:00:58.390><c> large</c><00:00:58.780><c> swathes</c><00:00:59.200><c> of</c>

00:00:59.490 --> 00:00:59.500 align:start position:0%
unfamiliar with with large swathes of
 

00:00:59.500 --> 00:01:02.189 align:start position:0%
unfamiliar with with large swathes of
you<00:01:00.280><c> know</c><00:01:00.399><c> a</c><00:01:00.879><c> lot</c><00:01:01.450><c> of</c><00:01:01.510><c> libraries</c><00:01:01.690><c> that</c><00:01:01.930><c> people</c>

00:01:02.189 --> 00:01:02.199 align:start position:0%
you know a lot of libraries that people
 

00:01:02.199 --> 00:01:05.580 align:start position:0%
you know a lot of libraries that people
commonly<00:01:02.530><c> use</c><00:01:03.960><c> but</c><00:01:04.960><c> but</c><00:01:05.259><c> yeah</c><00:01:05.440><c> it's</c><00:01:05.530><c> been</c>

00:01:05.580 --> 00:01:05.590 align:start position:0%
commonly use but but yeah it's been
 

00:01:05.590 --> 00:01:06.600 align:start position:0%
commonly use but but yeah it's been
really<00:01:05.740><c> interesting</c><00:01:05.830><c> there's</c><00:01:06.310><c> been</c><00:01:06.399><c> a</c><00:01:06.460><c> lot</c><00:01:06.580><c> of</c>

00:01:06.600 --> 00:01:06.610 align:start position:0%
really interesting there's been a lot of
 

00:01:06.610 --> 00:01:08.820 align:start position:0%
really interesting there's been a lot of
cool<00:01:06.850><c> people</c><00:01:06.970><c> in</c><00:01:07.149><c> the</c><00:01:07.630><c> space</c><00:01:07.840><c> and</c><00:01:08.140><c> been</c><00:01:08.649><c> a</c><00:01:08.709><c> lot</c>

00:01:08.820 --> 00:01:08.830 align:start position:0%
cool people in the space and been a lot
 

00:01:08.830 --> 00:01:17.880 align:start position:0%
cool people in the space and been a lot
of<00:01:08.860><c> fun</c><00:01:15.179><c> yeah</c><00:01:16.179><c> so</c><00:01:16.450><c> as</c><00:01:17.319><c> far</c><00:01:17.470><c> as</c><00:01:17.530><c> skull</c><00:01:17.770><c> is</c>

00:01:17.880 --> 00:01:17.890 align:start position:0%
of fun yeah so as far as skull is
 

00:01:17.890 --> 00:01:20.010 align:start position:0%
of fun yeah so as far as skull is
concerned<00:01:18.250><c> I</c><00:01:18.490><c> feel</c><00:01:19.000><c> like</c><00:01:19.119><c> I</c><00:01:19.360><c> get</c><00:01:19.690><c> to</c><00:01:19.720><c> work</c><00:01:19.899><c> in</c>

00:01:20.010 --> 00:01:20.020 align:start position:0%
concerned I feel like I get to work in
 

00:01:20.020 --> 00:01:23.460 align:start position:0%
concerned I feel like I get to work in
my<00:01:20.110><c> ideal</c><00:01:20.380><c> stack</c><00:01:20.649><c> we</c><00:01:20.890><c> use</c><00:01:21.160><c> basically</c><00:01:22.090><c> any</c><00:01:22.750><c> type</c>

00:01:23.460 --> 00:01:23.470 align:start position:0%
my ideal stack we use basically any type
 

00:01:23.470 --> 00:01:26.580 align:start position:0%
my ideal stack we use basically any type
level<00:01:24.479><c> you</c><00:01:25.479><c> know</c><00:01:25.569><c> branded</c><00:01:26.050><c> library</c><00:01:26.410><c> we</c><00:01:26.500><c> can</c>

00:01:26.580 --> 00:01:26.590 align:start position:0%
level you know branded library we can
 

00:01:26.590 --> 00:01:29.669 align:start position:0%
level you know branded library we can
get<00:01:26.679><c> our</c><00:01:26.800><c> hands</c><00:01:26.979><c> on</c><00:01:27.190><c> which</c><00:01:28.000><c> is</c><00:01:28.209><c> I</c><00:01:29.020><c> mean</c><00:01:29.500><c> there's</c>

00:01:29.669 --> 00:01:29.679 align:start position:0%
get our hands on which is I mean there's
 

00:01:29.679 --> 00:01:31.380 align:start position:0%
get our hands on which is I mean there's
apparently<00:01:30.220><c> 50</c><00:01:30.729><c> of</c><00:01:30.819><c> them</c><00:01:30.910><c> now</c><00:01:31.030><c> according</c><00:01:31.209><c> to</c>

00:01:31.380 --> 00:01:31.390 align:start position:0%
apparently 50 of them now according to
 

00:01:31.390 --> 00:01:34.230 align:start position:0%
apparently 50 of them now according to
Myles<00:01:31.599><c> talked</c><00:01:31.840><c> yesterday</c><00:01:32.050><c> and</c><00:01:32.550><c> and</c><00:01:33.550><c> it's</c><00:01:34.090><c> just</c>

00:01:34.230 --> 00:01:34.240 align:start position:0%
Myles talked yesterday and and it's just
 

00:01:34.240 --> 00:01:36.600 align:start position:0%
Myles talked yesterday and and it's just
a<00:01:34.330><c> great</c><00:01:34.569><c> there's</c><00:01:34.990><c> a</c><00:01:35.080><c> lot</c><00:01:35.259><c> of</c><00:01:35.289><c> good</c><00:01:35.410><c> code</c><00:01:35.770><c> that</c>

00:01:36.600 --> 00:01:36.610 align:start position:0%
a great there's a lot of good code that
 

00:01:36.610 --> 00:01:39.240 align:start position:0%
a great there's a lot of good code that
people<00:01:37.149><c> are</c><00:01:37.270><c> happy</c><00:01:37.539><c> to</c><00:01:37.720><c> you</c><00:01:38.470><c> know</c><00:01:38.590><c> work</c><00:01:38.890><c> on</c><00:01:39.069><c> and</c>

00:01:39.240 --> 00:01:39.250 align:start position:0%
people are happy to you know work on and
 

00:01:39.250 --> 00:01:40.949 align:start position:0%
people are happy to you know work on and
improve<00:01:39.280><c> and</c><00:01:39.849><c> it's</c><00:01:39.940><c> been</c><00:01:40.179><c> it's</c><00:01:40.720><c> been</c><00:01:40.840><c> a</c>

00:01:40.949 --> 00:01:40.959 align:start position:0%
improve and it's been it's been a
 

00:01:40.959 --> 00:01:42.809 align:start position:0%
improve and it's been it's been a
pleasure<00:01:41.289><c> to</c><00:01:41.560><c> work</c><00:01:41.890><c> with</c><00:01:41.950><c> all</c><00:01:42.190><c> that</c><00:01:42.340><c> stuff</c><00:01:42.580><c> so</c>

00:01:42.809 --> 00:01:42.819 align:start position:0%
pleasure to work with all that stuff so
 

00:01:42.819 --> 00:01:45.150 align:start position:0%
pleasure to work with all that stuff so
I<00:01:42.970><c> feel</c><00:01:43.450><c> like</c><00:01:43.569><c> it's</c><00:01:43.750><c> my</c><00:01:44.289><c> ideal</c><00:01:44.590><c> stack</c><00:01:44.890><c> is</c>

00:01:45.150 --> 00:01:45.160 align:start position:0%
I feel like it's my ideal stack is
 

00:01:45.160 --> 00:01:47.309 align:start position:0%
I feel like it's my ideal stack is
pretty<00:01:45.940><c> close</c><00:01:46.149><c> to</c><00:01:46.390><c> what</c><00:01:46.840><c> I</c><00:01:46.869><c> use</c><00:01:47.080><c> every</c><00:01:47.200><c> day</c>

00:01:47.309 --> 00:01:47.319 align:start position:0%
pretty close to what I use every day
 

00:01:47.319 --> 00:01:53.730 align:start position:0%
pretty close to what I use every day
it's<00:01:47.649><c> pretty</c><00:01:47.830><c> great</c>

00:01:53.730 --> 00:01:53.740 align:start position:0%
 
 

00:01:53.740 --> 00:01:56.249 align:start position:0%
 
there<00:01:54.740><c> are</c><00:01:54.799><c> two</c><00:01:54.950><c> talks</c><00:01:55.189><c> that</c><00:01:55.340><c> I</c><00:01:55.460><c> thought</c><00:01:55.819><c> were</c>

00:01:56.249 --> 00:01:56.259 align:start position:0%
there are two talks that I thought were
 

00:01:56.259 --> 00:01:58.419 align:start position:0%
there are two talks that I thought were
particularly<00:01:57.259><c> great</c><00:01:57.799><c> from</c><00:01:58.100><c> my</c><00:01:58.219><c> perspective</c>

00:01:58.419 --> 00:01:58.429 align:start position:0%
particularly great from my perspective
 

00:01:58.429 --> 00:02:01.209 align:start position:0%
particularly great from my perspective
one<00:01:59.149><c> was</c><00:01:59.270><c> adelbert</c><00:01:59.630><c> Chang's</c><00:01:59.899><c> talk</c><00:02:00.740><c> on</c><00:02:00.979><c> higher</c>

00:02:01.209 --> 00:02:01.219 align:start position:0%
one was adelbert Chang's talk on higher
 

00:02:01.219 --> 00:02:03.789 align:start position:0%
one was adelbert Chang's talk on higher
kind<00:02:01.520><c> of</c><00:02:01.640><c> types</c><00:02:01.850><c> which</c><00:02:02.780><c> is</c><00:02:02.810><c> something</c><00:02:03.409><c> I</c><00:02:03.560><c> use</c><00:02:03.590><c> a</c>

00:02:03.789 --> 00:02:03.799 align:start position:0%
kind of types which is something I use a
 

00:02:03.799 --> 00:02:06.699 align:start position:0%
kind of types which is something I use a
lot<00:02:04.039><c> but</c><00:02:04.420><c> he</c><00:02:05.420><c> just</c><00:02:05.569><c> you</c><00:02:05.869><c> know</c><00:02:05.899><c> explain</c><00:02:06.500><c> things</c>

00:02:06.699 --> 00:02:06.709 align:start position:0%
lot but he just you know explain things
 

00:02:06.709 --> 00:02:09.130 align:start position:0%
lot but he just you know explain things
in<00:02:06.890><c> this</c><00:02:07.039><c> I</c><00:02:07.340><c> felt</c><00:02:08.209><c> very</c><00:02:08.390><c> clear</c><00:02:08.660><c> way</c><00:02:08.810><c> and</c><00:02:08.989><c> his</c>

00:02:09.130 --> 00:02:09.140 align:start position:0%
in this I felt very clear way and his
 

00:02:09.140 --> 00:02:10.960 align:start position:0%
in this I felt very clear way and his
his<00:02:09.500><c> live</c><00:02:09.769><c> coding</c><00:02:10.099><c> which</c><00:02:10.399><c> is</c><00:02:10.549><c> something</c><00:02:10.789><c> I</c>

00:02:10.960 --> 00:02:10.970 align:start position:0%
his live coding which is something I
 

00:02:10.970 --> 00:02:13.210 align:start position:0%
his live coding which is something I
feel<00:02:11.239><c> often</c><00:02:11.840><c> falls</c><00:02:12.049><c> flat</c><00:02:12.230><c> his</c><00:02:12.530><c> live</c><00:02:12.739><c> coding</c><00:02:13.010><c> it</c>

00:02:13.210 --> 00:02:13.220 align:start position:0%
feel often falls flat his live coding it
 

00:02:13.220 --> 00:02:15.490 align:start position:0%
feel often falls flat his live coding it
was<00:02:13.459><c> very</c><00:02:13.670><c> smooth</c><00:02:14.000><c> and</c><00:02:14.209><c> I</c><00:02:14.330><c> just</c><00:02:14.750><c> thought</c><00:02:15.019><c> he</c>

00:02:15.490 --> 00:02:15.500 align:start position:0%
was very smooth and I just thought he
 

00:02:15.500 --> 00:02:18.820 align:start position:0%
was very smooth and I just thought he
had<00:02:15.620><c> a</c><00:02:15.650><c> very</c><00:02:15.920><c> good</c><00:02:16.780><c> approach</c><00:02:17.780><c> there</c><00:02:18.019><c> and</c>

00:02:18.820 --> 00:02:18.830 align:start position:0%
had a very good approach there and
 

00:02:18.830 --> 00:02:21.130 align:start position:0%
had a very good approach there and
another<00:02:19.129><c> talk</c><00:02:19.430><c> was</c><00:02:19.730><c> on</c><00:02:20.209><c> the</c><00:02:20.420><c> join</c><00:02:20.629><c> calculus</c>

00:02:21.130 --> 00:02:21.140 align:start position:0%
another talk was on the join calculus
 

00:02:21.140 --> 00:02:23.470 align:start position:0%
another talk was on the join calculus
which<00:02:21.319><c> is</c><00:02:21.610><c> something</c><00:02:22.610><c> I'd</c><00:02:22.849><c> use</c><00:02:23.060><c> in</c><00:02:23.180><c> the</c><00:02:23.269><c> past</c>

00:02:23.470 --> 00:02:23.480 align:start position:0%
which is something I'd use in the past
 

00:02:23.480 --> 00:02:25.990 align:start position:0%
which is something I'd use in the past
although<00:02:24.110><c> not</c><00:02:24.319><c> for</c><00:02:24.349><c> years</c><00:02:25.010><c> and</c><00:02:25.430><c> it</c><00:02:25.640><c> was</c><00:02:25.760><c> nice</c>

00:02:25.990 --> 00:02:26.000 align:start position:0%
although not for years and it was nice
 

00:02:26.000 --> 00:02:28.240 align:start position:0%
although not for years and it was nice
to<00:02:26.269><c> see</c><00:02:26.480><c> this</c><00:02:26.810><c> very</c><00:02:27.049><c> nice</c><00:02:27.260><c> thing</c><00:02:27.590><c> kind</c><00:02:27.890><c> of</c><00:02:28.010><c> come</c>

00:02:28.240 --> 00:02:28.250 align:start position:0%
to see this very nice thing kind of come
 

00:02:28.250 --> 00:02:36.580 align:start position:0%
to see this very nice thing kind of come
up<00:02:28.400><c> in</c><00:02:28.519><c> an</c><00:02:28.640><c> unexpected</c><00:02:29.000><c> place</c><00:02:29.209><c> like</c><00:02:30.079><c> this</c>

00:02:36.580 --> 00:02:36.590 align:start position:0%
 
 

00:02:36.590 --> 00:02:42.450 align:start position:0%
 
[Music]

00:02:42.450 --> 00:02:42.460 align:start position:0%
 
 

00:02:42.460 --> 00:02:44.520 align:start position:0%
 
you