WEBVTT
Kind: captions
Language: en

00:00:01.070 --> 00:00:10.450 align:start position:0%
 
[Applause]

00:00:10.450 --> 00:00:10.460 align:start position:0%
 
 

00:00:10.460 --> 00:00:14.060 align:start position:0%
 
hey<00:00:11.460><c> guys</c><00:00:11.639><c> undercard</c><00:00:12.230><c> one</c><00:00:13.230><c> of</c><00:00:13.379><c> my</c><00:00:13.530><c> key</c><00:00:13.710><c> lesson</c>

00:00:14.060 --> 00:00:14.070 align:start position:0%
hey guys undercard one of my key lesson
 

00:00:14.070 --> 00:00:16.160 align:start position:0%
hey guys undercard one of my key lesson
I<00:00:14.280><c> want</c><00:00:14.760><c> to</c><00:00:14.849><c> talk</c><00:00:14.969><c> about</c><00:00:15.120><c> the</c><00:00:15.599><c> challenges</c><00:00:16.139><c> that</c>

00:00:16.160 --> 00:00:16.170 align:start position:0%
I want to talk about the challenges that
 

00:00:16.170 --> 00:00:17.720 align:start position:0%
I want to talk about the challenges that
we<00:00:16.320><c> face</c><00:00:16.590><c> from</c><00:00:16.800><c> building</c><00:00:17.250><c> a</c><00:00:17.279><c> virtual</c><00:00:17.610><c> machine</c>

00:00:17.720 --> 00:00:17.730 align:start position:0%
we face from building a virtual machine
 

00:00:17.730 --> 00:00:22.010 align:start position:0%
we face from building a virtual machine
for<00:00:19.310><c> watch</c><00:00:20.310><c> hands</c><00:00:20.610><c> we</c><00:00:21.119><c> want</c><00:00:21.509><c> to</c><00:00:21.630><c> run</c><00:00:21.750><c> smart</c>

00:00:22.010 --> 00:00:22.020 align:start position:0%
for watch hands we want to run smart
 

00:00:22.020 --> 00:00:24.499 align:start position:0%
for watch hands we want to run smart
contracts<00:00:22.529><c> a</c><00:00:22.830><c> lot</c><00:00:23.520><c> you</c><00:00:23.669><c> know</c><00:00:23.730><c> we</c><00:00:24.119><c> want</c><00:00:24.300><c> to</c><00:00:24.330><c> have</c>

00:00:24.499 --> 00:00:24.509 align:start position:0%
contracts a lot you know we want to have
 

00:00:24.509 --> 00:00:26.000 align:start position:0%
contracts a lot you know we want to have
a<00:00:24.810><c> bunch</c><00:00:24.990><c> of</c><00:00:25.050><c> conference</c><00:00:25.410><c> security</c><00:00:25.860><c> tools</c>

00:00:26.000 --> 00:00:26.010 align:start position:0%
a bunch of conference security tools
 

00:00:26.010 --> 00:00:27.650 align:start position:0%
a bunch of conference security tools
want<00:00:26.340><c> to</c><00:00:26.400><c> be</c><00:00:26.460><c> able</c><00:00:26.519><c> to</c><00:00:26.670><c> audit</c><00:00:27.060><c> them</c><00:00:27.210><c> one</c><00:00:27.480><c> who's</c>

00:00:27.650 --> 00:00:27.660 align:start position:0%
want to be able to audit them one who's
 

00:00:27.660 --> 00:00:29.929 align:start position:0%
want to be able to audit them one who's
that<00:00:27.990><c> champion</c><00:00:28.560><c> all</c><00:00:28.680><c> checking</c><00:00:28.980><c> for</c>

00:00:29.929 --> 00:00:29.939 align:start position:0%
that champion all checking for
 

00:00:29.939 --> 00:00:31.749 align:start position:0%
that champion all checking for
verification<00:00:30.330><c> and</c><00:00:30.720><c> testing</c><00:00:31.230><c> and</c><00:00:31.349><c> so</c><00:00:31.500><c> on</c>

00:00:31.749 --> 00:00:31.759 align:start position:0%
verification and testing and so on
 

00:00:31.759 --> 00:00:35.450 align:start position:0%
verification and testing and so on
usually<00:00:32.759><c> these</c><00:00:32.970><c> are</c><00:00:33.030><c> the</c><00:00:33.269><c> December</c><00:00:33.750><c> tools</c><00:00:34.460><c> and</c>

00:00:35.450 --> 00:00:35.460 align:start position:0%
usually these are the December tools and
 

00:00:35.460 --> 00:00:38.390 align:start position:0%
usually these are the December tools and
we<00:00:36.330><c> also</c><00:00:36.449><c> want</c><00:00:36.660><c> to</c><00:00:36.720><c> have</c><00:00:36.870><c> like</c><00:00:37.140><c> consensus</c><00:00:38.100><c> what</c>

00:00:38.390 --> 00:00:38.400 align:start position:0%
we also want to have like consensus what
 

00:00:38.400 --> 00:00:39.619 align:start position:0%
we also want to have like consensus what
we're<00:00:38.580><c> building</c><00:00:38.879><c> what</c><00:00:39.030><c> is</c><00:00:39.059><c> the</c><00:00:39.330><c> exact</c>

00:00:39.619 --> 00:00:39.629 align:start position:0%
we're building what is the exact
 

00:00:39.629 --> 00:00:41.509 align:start position:0%
we're building what is the exact
behavior<00:00:39.809><c> of</c><00:00:40.170><c> this</c><00:00:40.290><c> virtual</c><00:00:40.620><c> machine</c><00:00:40.680><c> someone</c>

00:00:41.509 --> 00:00:41.519 align:start position:0%
behavior of this virtual machine someone
 

00:00:41.519 --> 00:00:43.250 align:start position:0%
behavior of this virtual machine someone
held<00:00:41.670><c> like</c><00:00:41.760><c> a</c><00:00:41.790><c> trusted</c><00:00:42.180><c> runtime</c><00:00:42.299><c> when</c><00:00:43.110><c> deaf</c>

00:00:43.250 --> 00:00:43.260 align:start position:0%
held like a trusted runtime when deaf
 

00:00:43.260 --> 00:00:44.960 align:start position:0%
held like a trusted runtime when deaf
adults<00:00:43.650><c> mutations</c><00:00:44.159><c> or</c><00:00:44.280><c> implementers</c><00:00:44.820><c> know</c>

00:00:44.960 --> 00:00:44.970 align:start position:0%
adults mutations or implementers know
 

00:00:44.970 --> 00:00:46.520 align:start position:0%
adults mutations or implementers know
what<00:00:45.150><c> you're</c><00:00:45.299><c> building</c><00:00:45.390><c> you</c><00:00:46.080><c> wanted</c><00:00:46.320><c> to</c><00:00:46.440><c> be</c>

00:00:46.520 --> 00:00:46.530 align:start position:0%
what you're building you wanted to be
 

00:00:46.530 --> 00:00:49.039 align:start position:0%
what you're building you wanted to be
perfectly<00:00:47.070><c> on</c><00:00:47.190><c> a</c><00:00:47.220><c> big</c><00:00:47.489><c> ewis</c><00:00:47.760><c> we</c><00:00:48.690><c> just</c><00:00:48.839><c> want</c><00:00:48.989><c> to</c>

00:00:49.039 --> 00:00:49.049 align:start position:0%
perfectly on a big ewis we just want to
 

00:00:49.049 --> 00:00:50.840 align:start position:0%
perfectly on a big ewis we just want to
make<00:00:49.530><c> sure</c><00:00:49.559><c> we</c><00:00:49.799><c> can</c><00:00:49.949><c> avoid</c><00:00:50.280><c> a</c><00:00:50.400><c> consensus</c>

00:00:50.840 --> 00:00:50.850 align:start position:0%
make sure we can avoid a consensus
 

00:00:50.850 --> 00:00:52.340 align:start position:0%
make sure we can avoid a consensus
buttons<00:00:51.150><c> and</c><00:00:51.299><c> again</c><00:00:51.510><c> these</c><00:00:51.659><c> are</c><00:00:51.839><c> all</c><00:00:51.869><c> things</c>

00:00:52.340 --> 00:00:52.350 align:start position:0%
buttons and again these are all things
 

00:00:52.350 --> 00:00:54.140 align:start position:0%
buttons and again these are all things
that<00:00:52.500><c> people</c><00:00:52.710><c> tend</c><00:00:53.220><c> to</c><00:00:53.309><c> work</c><00:00:53.549><c> on</c><00:00:53.729><c> separately</c>

00:00:54.140 --> 00:00:54.150 align:start position:0%
that people tend to work on separately
 

00:00:54.150 --> 00:00:55.430 align:start position:0%
that people tend to work on separately
someone's<00:00:54.629><c> writing</c><00:00:54.809><c> the</c><00:00:54.960><c> documentation</c>

00:00:55.430 --> 00:00:55.440 align:start position:0%
someone's writing the documentation
 

00:00:55.440 --> 00:00:58.880 align:start position:0%
someone's writing the documentation
someone<00:00:56.369><c> is</c><00:00:56.489><c> formalizing</c><00:00:57.210><c> maybe</c><00:00:57.839><c> my</c><00:00:58.080><c> elevator</c>

00:00:58.880 --> 00:00:58.890 align:start position:0%
someone is formalizing maybe my elevator
 

00:00:58.890 --> 00:01:02.270 align:start position:0%
someone is formalizing maybe my elevator
as<00:00:59.070><c> well</c><00:00:59.600><c> so</c><00:01:00.600><c> I</c><00:01:00.949><c> want</c><00:01:01.949><c> to</c><00:01:02.010><c> pitch</c><00:01:02.129><c> another</c>

00:01:02.270 --> 00:01:02.280 align:start position:0%
as well so I want to pitch another
 

00:01:02.280 --> 00:01:04.460 align:start position:0%
as well so I want to pitch another
approach<00:01:02.729><c> which</c><00:01:03.510><c> is</c><00:01:03.659><c> would</c><00:01:03.809><c> be</c><00:01:03.839><c> applied</c><00:01:04.199><c> in</c>

00:01:04.460 --> 00:01:04.470 align:start position:0%
approach which is would be applied in
 

00:01:04.470 --> 00:01:06.200 align:start position:0%
approach which is would be applied in
the<00:01:04.559><c> cane</c><00:01:04.799><c> framework</c><00:01:05.189><c> which</c><00:01:05.610><c> is</c><00:01:05.880><c> this</c><00:01:06.030><c> idea</c>

00:01:06.200 --> 00:01:06.210 align:start position:0%
the cane framework which is this idea
 

00:01:06.210 --> 00:01:08.210 align:start position:0%
the cane framework which is this idea
that<00:01:06.659><c> you</c><00:01:06.869><c> can</c><00:01:07.020><c> kill</c><00:01:07.260><c> efforts</c><00:01:07.680><c> with</c><00:01:07.890><c> case</c>

00:01:08.210 --> 00:01:08.220 align:start position:0%
that you can kill efforts with case
 

00:01:08.220 --> 00:01:12.289 align:start position:0%
that you can kill efforts with case
notes<00:01:08.630><c> basically</c><00:01:10.490><c> the</c><00:01:11.490><c> idea</c><00:01:11.729><c> is</c><00:01:11.820><c> that</c><00:01:11.850><c> you</c>

00:01:12.289 --> 00:01:12.299 align:start position:0%
notes basically the idea is that you
 

00:01:12.299 --> 00:01:15.319 align:start position:0%
notes basically the idea is that you
specify<00:01:12.840><c> your</c><00:01:12.990><c> language</c><00:01:13.439><c> once</c><00:01:13.950><c> and</c><00:01:14.399><c> you</c><00:01:15.060><c> drive</c>

00:01:15.319 --> 00:01:15.329 align:start position:0%
specify your language once and you drive
 

00:01:15.329 --> 00:01:17.419 align:start position:0%
specify your language once and you drive
the<00:01:15.479><c> tools</c><00:01:15.689><c> that</c><00:01:15.960><c> might</c><00:01:16.530><c> sound</c><00:01:16.829><c> like</c><00:01:16.950><c> magic</c>

00:01:17.419 --> 00:01:17.429 align:start position:0%
the tools that might sound like magic
 

00:01:17.429 --> 00:01:18.709 align:start position:0%
the tools that might sound like magic
but<00:01:17.549><c> it's</c><00:01:17.729><c> only</c><00:01:17.850><c> what</c><00:01:18.030><c> you're</c><00:01:18.179><c> doing</c><00:01:18.509><c> with</c><00:01:18.659><c> the</c>

00:01:18.709 --> 00:01:18.719 align:start position:0%
but it's only what you're doing with the
 

00:01:18.719 --> 00:01:19.969 align:start position:0%
but it's only what you're doing with the
parser<00:01:19.140><c> you're</c><00:01:19.289><c> not</c><00:01:19.380><c> saying</c><00:01:19.619><c> that</c><00:01:19.710><c> the</c><00:01:19.859><c> write</c>

00:01:19.969 --> 00:01:19.979 align:start position:0%
parser you're not saying that the write
 

00:01:19.979 --> 00:01:21.859 align:start position:0%
parser you're not saying that the write
a<00:01:20.009><c> parser</c><00:01:20.310><c> it</c><00:01:20.579><c> seemed</c><00:01:20.820><c> at</c><00:01:21.030><c> the</c><00:01:21.060><c> time</c><00:01:21.210><c> you're</c>

00:01:21.859 --> 00:01:21.869 align:start position:0%
a parser it seemed at the time you're
 

00:01:21.869 --> 00:01:24.560 align:start position:0%
a parser it seemed at the time you're
probably<00:01:22.429><c> writing</c><00:01:23.429><c> a</c><00:01:23.549><c> grammar</c><00:01:23.789><c> and</c><00:01:24.149><c> the</c><00:01:24.359><c> tool</c>

00:01:24.560 --> 00:01:24.570 align:start position:0%
probably writing a grammar and the tool
 

00:01:24.570 --> 00:01:26.539 align:start position:0%
probably writing a grammar and the tool
is<00:01:24.600><c> going</c><00:01:24.719><c> to</c><00:01:24.929><c> generate</c><00:01:25.079><c> of</c><00:01:25.320><c> horses</c><00:01:25.649><c> we</c><00:01:25.829><c> we</c>

00:01:26.539 --> 00:01:26.549 align:start position:0%
is going to generate of horses we we
 

00:01:26.549 --> 00:01:28.310 align:start position:0%
is going to generate of horses we we
take<00:01:26.729><c> that</c><00:01:26.850><c> same</c><00:01:27.030><c> approach</c><00:01:27.299><c> with</c><00:01:27.719><c> languages</c>

00:01:28.310 --> 00:01:28.320 align:start position:0%
take that same approach with languages
 

00:01:28.320 --> 00:01:30.950 align:start position:0%
take that same approach with languages
to<00:01:28.950><c> the</c><00:01:28.979><c> next</c><00:01:29.280><c> level</c><00:01:29.609><c> where</c><00:01:30.359><c> you</c><00:01:30.420><c> specify</c><00:01:30.689><c> your</c>

00:01:30.950 --> 00:01:30.960 align:start position:0%
to the next level where you specify your
 

00:01:30.960 --> 00:01:32.529 align:start position:0%
to the next level where you specify your
language<00:01:31.469><c> in</c><00:01:31.740><c> a</c><00:01:31.799><c> formal</c><00:01:32.100><c> assume</c>

00:01:32.529 --> 00:01:32.539 align:start position:0%
language in a formal assume
 

00:01:32.539 --> 00:01:35.149 align:start position:0%
language in a formal assume
mathematically<00:01:33.740><c> we</c><00:01:34.740><c> could</c><00:01:34.859><c> think</c><00:01:34.950><c> of</c><00:01:35.039><c> it</c><00:01:35.100><c> as</c>

00:01:35.149 --> 00:01:35.159 align:start position:0%
mathematically we could think of it as
 

00:01:35.159 --> 00:01:38.239 align:start position:0%
mathematically we could think of it as
Matthew<00:01:35.640><c> to</c><00:01:35.729><c> get</c><00:01:35.850><c> its</c><00:01:35.969><c> programming</c><00:01:36.479><c> and</c><00:01:37.249><c> from</c>

00:01:38.239 --> 00:01:38.249 align:start position:0%
Matthew to get its programming and from
 

00:01:38.249 --> 00:01:39.940 align:start position:0%
Matthew to get its programming and from
there<00:01:38.369><c> we</c><00:01:38.579><c> generate</c><00:01:38.909><c> parses</c><00:01:39.299><c> interpreters</c>

00:01:39.940 --> 00:01:39.950 align:start position:0%
there we generate parses interpreters
 

00:01:39.950 --> 00:01:43.370 align:start position:0%
there we generate parses interpreters
program<00:01:40.950><c> verifiers</c><00:01:41.600><c> we're</c><00:01:42.600><c> working</c><00:01:42.899><c> on</c><00:01:42.990><c> a</c>

00:01:43.370 --> 00:01:43.380 align:start position:0%
program verifiers we're working on a
 

00:01:43.380 --> 00:01:44.989 align:start position:0%
program verifiers we're working on a
bunch<00:01:43.829><c> of</c><00:01:43.950><c> tools</c><00:01:44.130><c> like</c><00:01:44.219><c> knowledge</c><00:01:44.549><c> areas</c><00:01:44.819><c> it's</c>

00:01:44.989 --> 00:01:44.999 align:start position:0%
bunch of tools like knowledge areas it's
 

00:01:44.999 --> 00:01:46.669 align:start position:0%
bunch of tools like knowledge areas it's
on<00:01:45.119><c> but</c><00:01:45.390><c> the</c><00:01:45.479><c> idea</c><00:01:45.509><c> is</c><00:01:45.780><c> like</c><00:01:45.869><c> you</c><00:01:46.200><c> specify</c><00:01:46.619><c> your</c>

00:01:46.669 --> 00:01:46.679 align:start position:0%
on but the idea is like you specify your
 

00:01:46.679 --> 00:01:50.169 align:start position:0%
on but the idea is like you specify your
line<00:01:46.920><c> is</c><00:01:47.069><c> once</c><00:01:47.310><c> and</c><00:01:47.640><c> then</c><00:01:47.789><c> you</c><00:01:47.880><c> get</c><00:01:47.969><c> a</c><00:01:48.030><c> little</c>

00:01:50.169 --> 00:01:50.179 align:start position:0%
line is once and then you get a little
 

00:01:50.179 --> 00:01:53.059 align:start position:0%
line is once and then you get a little
I'd<00:01:51.179><c> argue</c><00:01:51.359><c> that</c><00:01:51.509><c> its</c><00:01:51.929><c> ambitious</c><00:01:52.530><c> let's</c>

00:01:53.059 --> 00:01:53.069 align:start position:0%
I'd argue that its ambitious let's
 

00:01:53.069 --> 00:01:54.200 align:start position:0%
I'd argue that its ambitious let's
derive<00:01:53.280><c> all</c><00:01:53.549><c> the</c><00:01:53.670><c> tools</c><00:01:53.880><c> from</c><00:01:53.999><c> one</c>

00:01:54.200 --> 00:01:54.210 align:start position:0%
derive all the tools from one
 

00:01:54.210 --> 00:01:55.760 align:start position:0%
derive all the tools from one
specification<00:01:54.539><c> but</c><00:01:55.139><c> it's</c><00:01:55.289><c> also</c><00:01:55.409><c> realistic</c>

00:01:55.760 --> 00:01:55.770 align:start position:0%
specification but it's also realistic
 

00:01:55.770 --> 00:01:57.149 align:start position:0%
specification but it's also realistic
right<00:01:56.159><c> never</c><00:01:56.340><c> education</c>

00:01:57.149 --> 00:01:57.159 align:start position:0%
right never education
 

00:01:57.159 --> 00:01:59.190 align:start position:0%
right never education
this<00:01:57.460><c> and</c><00:01:57.820><c> we're</c><00:01:58.420><c> doing</c><00:01:58.749><c> for</c><00:01:58.899><c> quite</c><00:01:58.960><c> a</c><00:01:59.049><c> few</c>

00:01:59.190 --> 00:01:59.200 align:start position:0%
this and we're doing for quite a few
 

00:01:59.200 --> 00:02:01.469 align:start position:0%
this and we're doing for quite a few
years<00:01:59.369><c> I'd</c><00:02:00.369><c> say</c><00:02:00.579><c> he's</c><00:02:00.729><c> pretty</c><00:02:00.939><c> successful</c>

00:02:01.469 --> 00:02:01.479 align:start position:0%
years I'd say he's pretty successful
 

00:02:01.479 --> 00:02:02.999 align:start position:0%
years I'd say he's pretty successful
with<00:02:01.600><c> this</c><00:02:01.719><c> so</c><00:02:01.899><c> it's</c><00:02:02.020><c> not</c><00:02:02.140><c> it's</c><00:02:02.259><c> not</c><00:02:02.289><c> paperwork</c>

00:02:02.999 --> 00:02:03.009 align:start position:0%
with this so it's not it's not paperwork
 

00:02:03.009 --> 00:02:06.719 align:start position:0%
with this so it's not it's not paperwork
it's<00:02:03.759><c> ambitious</c><00:02:04.149><c> but</c><00:02:04.299><c> it's</c><00:02:04.659><c> realistic</c><00:02:05.579><c> so</c><00:02:06.579><c> one</c>

00:02:06.719 --> 00:02:06.729 align:start position:0%
it's ambitious but it's realistic so one
 

00:02:06.729 --> 00:02:09.080 align:start position:0%
it's ambitious but it's realistic so one
example<00:02:06.880><c> you</c><00:02:07.149><c> might</c><00:02:07.270><c> have</c><00:02:07.390><c> heard</c><00:02:07.569><c> of</c><00:02:07.689><c> this</c><00:02:07.929><c> KTM</c>

00:02:09.080 --> 00:02:09.090 align:start position:0%
example you might have heard of this KTM
 

00:02:09.090 --> 00:02:12.240 align:start position:0%
example you might have heard of this KTM
it's<00:02:10.090><c> a</c><00:02:10.420><c> formal</c><00:02:10.869><c> specification</c><00:02:11.470><c> of</c><00:02:11.709><c> the</c><00:02:11.890><c> EBM</c>

00:02:12.240 --> 00:02:12.250 align:start position:0%
it's a formal specification of the EBM
 

00:02:12.250 --> 00:02:15.180 align:start position:0%
it's a formal specification of the EBM
in<00:02:12.670><c> the</c><00:02:12.819><c> K</c><00:02:12.940><c> framework</c><00:02:13.860><c> it's</c><00:02:14.860><c> one</c><00:02:14.980><c> more</c><00:02:15.069><c> like</c>

00:02:15.180 --> 00:02:15.190 align:start position:0%
in the K framework it's one more like
 

00:02:15.190 --> 00:02:17.580 align:start position:0%
in the K framework it's one more like
the<00:02:15.310><c> yellow</c><00:02:15.430><c> paper</c><00:02:15.670><c> it's</c><00:02:16.269><c> not</c><00:02:16.510><c> the</c><00:02:17.200><c> exact</c><00:02:17.440><c> same</c>

00:02:17.580 --> 00:02:17.590 align:start position:0%
the yellow paper it's not the exact same
 

00:02:17.590 --> 00:02:20.880 align:start position:0%
the yellow paper it's not the exact same
for<00:02:17.830><c> Melissa</c><00:02:17.890><c> but</c><00:02:18.160><c> still</c><00:02:19.019><c> it's</c><00:02:20.019><c> executable</c><00:02:20.709><c> so</c>

00:02:20.880 --> 00:02:20.890 align:start position:0%
for Melissa but still it's executable so
 

00:02:20.890 --> 00:02:22.410 align:start position:0%
for Melissa but still it's executable so
if<00:02:21.160><c> you</c><00:02:21.250><c> could</c><00:02:21.400><c> actually</c><00:02:21.610><c> execute</c><00:02:22.030><c> the</c>

00:02:22.410 --> 00:02:22.420 align:start position:0%
if you could actually execute the
 

00:02:22.420 --> 00:02:24.630 align:start position:0%
if you could actually execute the
elevator<00:02:22.750><c> so</c><00:02:23.319><c> you</c><00:02:23.379><c> can</c><00:02:23.470><c> run</c><00:02:23.650><c> it</c><00:02:23.769><c> as</c><00:02:24.250><c> I</c><00:02:24.310><c> know</c><00:02:24.489><c> it</c>

00:02:24.630 --> 00:02:24.640 align:start position:0%
elevator so you can run it as I know it
 

00:02:24.640 --> 00:02:27.000 align:start position:0%
elevator so you can run it as I know it
basically<00:02:24.760><c> and</c><00:02:25.569><c> it</c><00:02:26.049><c> reads</c><00:02:26.260><c> like</c><00:02:26.379><c> code</c><00:02:26.680><c> with</c><00:02:26.980><c> a</c>

00:02:27.000 --> 00:02:27.010 align:start position:0%
basically and it reads like code with a
 

00:02:27.010 --> 00:02:29.430 align:start position:0%
basically and it reads like code with a
lot<00:02:27.160><c> of</c><00:02:27.190><c> documentation</c><00:02:27.730><c> because</c><00:02:28.150><c> we've</c><00:02:29.110><c> opted</c>

00:02:29.430 --> 00:02:29.440 align:start position:0%
lot of documentation because we've opted
 

00:02:29.440 --> 00:02:32.069 align:start position:0%
lot of documentation because we've opted
for<00:02:29.650><c> a</c><00:02:30.280><c> literate</c><00:02:30.940><c> programming</c><00:02:31.390><c> style</c><00:02:31.750><c> where</c>

00:02:32.069 --> 00:02:32.079 align:start position:0%
for a literate programming style where
 

00:02:32.079 --> 00:02:33.720 align:start position:0%
for a literate programming style where
you<00:02:32.110><c> have</c><00:02:32.319><c> bunch</c><00:02:32.799><c> of</c><00:02:32.890><c> documentation</c><00:02:33.310><c> and</c><00:02:33.519><c> then</c>

00:02:33.720 --> 00:02:33.730 align:start position:0%
you have bunch of documentation and then
 

00:02:33.730 --> 00:02:37.619 align:start position:0%
you have bunch of documentation and then
the<00:02:33.940><c> floor</c><00:02:34.150><c> was</c><00:02:35.250><c> all</c><00:02:36.250><c> nice</c><00:02:36.940><c> tools</c><00:02:37.209><c> we</c><00:02:37.329><c> generate</c>

00:02:37.619 --> 00:02:37.629 align:start position:0%
the floor was all nice tools we generate
 

00:02:37.629 --> 00:02:39.600 align:start position:0%
the floor was all nice tools we generate
through<00:02:37.750><c> this</c><00:02:37.900><c> this</c><00:02:38.190><c> pituitary</c><00:02:39.190><c> console</c>

00:02:39.600 --> 00:02:39.610 align:start position:0%
through this this pituitary console
 

00:02:39.610 --> 00:02:41.100 align:start position:0%
through this this pituitary console
Firefly<00:02:40.090><c> which</c><00:02:40.360><c> is</c><00:02:40.480><c> sort</c><00:02:40.660><c> of</c><00:02:40.690><c> a</c><00:02:40.810><c> travel</c>

00:02:41.100 --> 00:02:41.110 align:start position:0%
Firefly which is sort of a travel
 

00:02:41.110 --> 00:02:42.809 align:start position:0%
Firefly which is sort of a travel
education<00:02:41.620><c> to</c><00:02:41.799><c> build</c><00:02:41.980><c> a</c><00:02:42.099><c> lot</c><00:02:42.190><c> a</c><00:02:42.220><c> bunch</c><00:02:42.400><c> of</c><00:02:42.489><c> dev</c>

00:02:42.809 --> 00:02:42.819 align:start position:0%
education to build a lot a bunch of dev
 

00:02:42.819 --> 00:02:46.229 align:start position:0%
education to build a lot a bunch of dev
tools<00:02:43.060><c> quite</c><00:02:43.450><c> a</c><00:02:43.480><c> truffle</c><00:02:44.760><c> we</c><00:02:45.760><c> generate</c><00:02:46.030><c> dog</c>

00:02:46.229 --> 00:02:46.239 align:start position:0%
tools quite a truffle we generate dog
 

00:02:46.239 --> 00:02:50.240 align:start position:0%
tools quite a truffle we generate dog
that<00:02:46.450><c> the</c><00:02:46.540><c> jello</c><00:02:46.780><c> paper</c><00:02:47.049><c> is</c><00:02:47.440><c> some</c><00:02:47.709><c> argue</c><00:02:48.700><c> of</c>

00:02:50.240 --> 00:02:50.250 align:start position:0%
that the jello paper is some argue of
 

00:02:50.250 --> 00:02:52.800 align:start position:0%
that the jello paper is some argue of
easier<00:02:51.250><c> formal</c><00:02:51.910><c> specification</c><00:02:52.390><c> to</c><00:02:52.480><c> read</c><00:02:52.660><c> than</c>

00:02:52.800 --> 00:02:52.810 align:start position:0%
easier formal specification to read than
 

00:02:52.810 --> 00:02:55.650 align:start position:0%
easier formal specification to read than
the<00:02:52.840><c> yellow</c><00:02:53.019><c> paper</c><00:02:53.489><c> we</c><00:02:54.489><c> do</c><00:02:54.609><c> verifications</c><00:02:55.359><c> a</c>

00:02:55.650 --> 00:02:55.660 align:start position:0%
the yellow paper we do verifications a
 

00:02:55.660 --> 00:02:57.630 align:start position:0%
the yellow paper we do verifications a
bunch<00:02:56.410><c> of</c><00:02:56.470><c> every</c><00:02:56.739><c> smart</c><00:02:56.980><c> contracts</c><00:02:57.430><c> ever</c>

00:02:57.630 --> 00:02:57.640 align:start position:0%
bunch of every smart contracts ever
 

00:02:57.640 --> 00:03:01.319 align:start position:0%
bunch of every smart contracts ever
build<00:02:57.940><c> immortal</c><00:02:58.299><c> self</c><00:02:58.690><c> a</c><00:02:58.780><c> fault</c><00:02:59.049><c> line</c><00:02:59.200><c> and</c><00:03:00.329><c> I'm</c>

00:03:01.319 --> 00:03:01.329 align:start position:0%
build immortal self a fault line and I'm
 

00:03:01.329 --> 00:03:03.750 align:start position:0%
build immortal self a fault line and I'm
working<00:03:01.510><c> on</c><00:03:01.630><c> K</c><00:03:01.810><c> wasn't</c><00:03:02.170><c> which</c><00:03:02.950><c> is</c><00:03:03.250><c> just</c><00:03:03.670><c> a</c>

00:03:03.750 --> 00:03:03.760 align:start position:0%
working on K wasn't which is just a
 

00:03:03.760 --> 00:03:06.120 align:start position:0%
working on K wasn't which is just a
formalization<00:03:04.090><c> of</c><00:03:04.480><c> pipe</c><00:03:05.260><c> assembly</c><00:03:05.349><c> in</c><00:03:06.010><c> the</c>

00:03:06.120 --> 00:03:06.130 align:start position:0%
formalization of pipe assembly in the
 

00:03:06.130 --> 00:03:10.379 align:start position:0%
formalization of pipe assembly in the
case<00:03:06.280><c> remote</c><00:03:08.190><c> right</c><00:03:09.190><c> now</c><00:03:09.370><c> it's</c><00:03:09.549><c> most</c><00:03:10.000><c> respect</c>

00:03:10.379 --> 00:03:10.389 align:start position:0%
case remote right now it's most respect
 

00:03:10.389 --> 00:03:13.170 align:start position:0%
case remote right now it's most respect
of<00:03:10.630><c> cura</c><00:03:10.989><c> webassembly</c><00:03:11.579><c> very</c><00:03:12.579><c> similar</c><00:03:12.940><c> to</c><00:03:13.060><c> the</c>

00:03:13.170 --> 00:03:13.180 align:start position:0%
of cura webassembly very similar to the
 

00:03:13.180 --> 00:03:14.370 align:start position:0%
of cura webassembly very similar to the
officials<00:03:13.540><c> back</c><00:03:13.690><c> which</c><00:03:13.900><c> is</c><00:03:14.019><c> nice</c><00:03:14.200><c> because</c>

00:03:14.370 --> 00:03:14.380 align:start position:0%
officials back which is nice because
 

00:03:14.380 --> 00:03:15.780 align:start position:0%
officials back which is nice because
they<00:03:14.650><c> work</c><00:03:14.829><c> Joe</c><00:03:15.069><c> they</c><00:03:15.250><c> chose</c><00:03:15.459><c> the</c><00:03:15.639><c> same</c>

00:03:15.780 --> 00:03:15.790 align:start position:0%
they work Joe they chose the same
 

00:03:15.790 --> 00:03:17.789 align:start position:0%
they work Joe they chose the same
formalism<00:03:16.419><c> as</c><00:03:16.660><c> we've</c><00:03:17.019><c> been</c><00:03:17.169><c> using</c><00:03:17.319><c> parallel</c>

00:03:17.789 --> 00:03:17.799 align:start position:0%
formalism as we've been using parallel
 

00:03:17.799 --> 00:03:19.920 align:start position:0%
formalism as we've been using parallel
so<00:03:18.010><c> it's</c><00:03:18.609><c> a</c><00:03:18.700><c> testament</c><00:03:19.060><c> it's</c><00:03:19.450><c> a</c><00:03:19.510><c> new</c><00:03:19.599><c> form</c><00:03:19.840><c> of</c>

00:03:19.920 --> 00:03:19.930 align:start position:0%
so it's a testament it's a new form of
 

00:03:19.930 --> 00:03:23.250 align:start position:0%
so it's a testament it's a new form of
civil<00:03:20.200><c> as</c><00:03:20.410><c> Kolbe</c><00:03:20.769><c> writing</c><00:03:21.630><c> rewriting</c><00:03:22.630><c> logic</c>

00:03:23.250 --> 00:03:23.260 align:start position:0%
civil as Kolbe writing rewriting logic
 

00:03:23.260 --> 00:03:25.920 align:start position:0%
civil as Kolbe writing rewriting logic
or<00:03:23.380><c> rewriting</c><00:03:23.739><c> this</c><00:03:24.599><c> it's</c><00:03:25.599><c> these</c><00:03:25.690><c> tiny</c>

00:03:25.920 --> 00:03:25.930 align:start position:0%
or rewriting this it's these tiny
 

00:03:25.930 --> 00:03:27.449 align:start position:0%
or rewriting this it's these tiny
betting's<00:03:26.380><c> we</c><00:03:26.470><c> have</c><00:03:26.560><c> a</c><00:03:26.620><c> prototype</c><00:03:26.919><c> embedding</c>

00:03:27.449 --> 00:03:27.459 align:start position:0%
betting's we have a prototype embedding
 

00:03:27.459 --> 00:03:29.330 align:start position:0%
betting's we have a prototype embedding
for<00:03:27.730><c> you</c><00:03:28.209><c> awesome</c><00:03:28.660><c> even</c><00:03:28.959><c> though</c>

00:03:29.330 --> 00:03:29.340 align:start position:0%
for you awesome even though
 

00:03:29.340 --> 00:03:32.270 align:start position:0%
for you awesome even though
by<00:03:29.640><c> the</c><00:03:29.700><c> state</c><00:03:30.030><c> with</c><00:03:31.069><c> building</c><00:03:32.069><c> prototypes</c>

00:03:32.270 --> 00:03:32.280 align:start position:0%
by the state with building prototypes
 

00:03:32.280 --> 00:03:34.520 align:start position:0%
by the state with building prototypes
we're<00:03:32.760><c> working</c><00:03:33.030><c> with</c><00:03:33.180><c> the</c><00:03:33.420><c> polka</c><00:03:34.200><c> dot</c><00:03:34.349><c> and</c>

00:03:34.520 --> 00:03:34.530 align:start position:0%
we're working with the polka dot and
 

00:03:34.530 --> 00:03:36.680 align:start position:0%
we're working with the polka dot and
substrate<00:03:34.950><c> to</c><00:03:35.849><c> wrap</c><00:03:36.060><c> up</c><00:03:36.239><c> our</c><00:03:36.420><c> verification</c>

00:03:36.680 --> 00:03:36.690 align:start position:0%
substrate to wrap up our verification
 

00:03:36.690 --> 00:03:38.720 align:start position:0%
substrate to wrap up our verification
abilities<00:03:37.440><c> to</c><00:03:37.739><c> do</c><00:03:37.860><c> for</c><00:03:38.040><c> more</c><00:03:38.130><c> education</c><00:03:38.670><c> on</c>

00:03:38.720 --> 00:03:38.730 align:start position:0%
abilities to do for more education on
 

00:03:38.730 --> 00:03:42.589 align:start position:0%
abilities to do for more education on
web<00:03:39.030><c> accessibility</c><00:03:40.520><c> and</c><00:03:41.520><c> because</c><00:03:42.239><c> k</c><00:03:42.420><c> so</c>

00:03:42.589 --> 00:03:42.599 align:start position:0%
web accessibility and because k so
 

00:03:42.599 --> 00:03:44.020 align:start position:0%
web accessibility and because k so
awesome

00:03:44.020 --> 00:03:44.030 align:start position:0%
awesome
 

00:03:44.030 --> 00:03:47.600 align:start position:0%
awesome
most<00:03:45.030><c> EDM</c><00:03:45.450><c> tools</c><00:03:45.769><c> KTM</c><00:03:46.769><c> tools</c><00:03:47.010><c> will</c><00:03:47.250><c> come</c><00:03:47.489><c> you</c>

00:03:47.600 --> 00:03:47.610 align:start position:0%
most EDM tools KTM tools will come you
 

00:03:47.610 --> 00:03:51.199 align:start position:0%
most EDM tools KTM tools will come you
awesome<00:03:47.910><c> tools</c><00:03:48.090><c> okay</c><00:03:49.080><c> some</c><00:03:49.500><c> massaging</c><00:03:50.209><c> but</c>

00:03:51.199 --> 00:03:51.209 align:start position:0%
awesome tools okay some massaging but
 

00:03:51.209 --> 00:03:53.059 align:start position:0%
awesome tools okay some massaging but
the<00:03:51.510><c> idea</c><00:03:51.750><c> is</c><00:03:51.780><c> like</c><00:03:51.930><c> we're</c><00:03:52.349><c> doing</c><00:03:52.530><c> blossom</c><00:03:52.920><c> now</c>

00:03:53.059 --> 00:03:53.069 align:start position:0%
the idea is like we're doing blossom now
 

00:03:53.069 --> 00:03:54.620 align:start position:0%
the idea is like we're doing blossom now
and<00:03:53.310><c> when</c><00:03:53.459><c> you</c><00:03:53.489><c> want</c><00:03:53.760><c> some</c><00:03:53.880><c> kicks</c><00:03:54.090><c> in</c><00:03:54.269><c> or</c>

00:03:54.620 --> 00:03:54.630 align:start position:0%
and when you want some kicks in or
 

00:03:54.630 --> 00:03:56.120 align:start position:0%
and when you want some kicks in or
everything<00:03:54.959><c> to</c><00:03:55.019><c> go</c><00:03:55.170><c> and</c><00:03:55.470><c> if</c><00:03:55.680><c> it</c><00:03:55.769><c> doesn't</c><00:03:55.920><c> kick</c>

00:03:56.120 --> 00:03:56.130 align:start position:0%
everything to go and if it doesn't kick
 

00:03:56.130 --> 00:03:59.120 align:start position:0%
everything to go and if it doesn't kick
in<00:03:56.310><c> where</c><00:03:56.519><c> we</c><00:03:56.610><c> just</c><00:03:56.760><c> do</c><00:03:56.880><c> any</c><00:03:57.030><c> other</c><00:03:57.830><c> -</c><00:03:58.830><c> I</c><00:03:58.950><c> mean</c>

00:03:59.120 --> 00:03:59.130 align:start position:0%
in where we just do any other - I mean
 

00:03:59.130 --> 00:04:01.190 align:start position:0%
in where we just do any other - I mean
work<00:04:00.030><c> and</c><00:04:00.360><c> that's</c><00:04:00.510><c> what</c><00:04:00.569><c> we're</c><00:04:00.750><c> doing</c><00:04:00.930><c> some</c>

00:04:01.190 --> 00:04:01.200 align:start position:0%
work and that's what we're doing some
 

00:04:01.200 --> 00:04:06.640 align:start position:0%
work and that's what we're doing some
sweet<00:04:02.600><c> there's</c><00:04:03.600><c> this</c><00:04:03.690><c> photographic</c><00:04:04.470><c> you</c><00:04:04.709><c> want</c>

00:04:06.640 --> 00:04:06.650 align:start position:0%
sweet there's this photographic you want
 

00:04:06.650 --> 00:04:12.060 align:start position:0%
sweet there's this photographic you want
token<00:04:07.650><c> after</c>

00:04:12.060 --> 00:04:12.070 align:start position:0%
 
 

00:04:12.070 --> 00:04:18.839 align:start position:0%
 
[Applause]