WEBVTT

cue-001
00:00:00.240 --> 00:00:02.237
Different jobs need different views.

cue-002
00:00:03.200 --> 00:00:05.336
Source is the executable record.

cue-003
00:00:05.900 --> 00:00:08.686
Author makes that record comfortable to edit.

cue-004
00:00:09.450 --> 00:00:12.144
Debug exposes compiled execution without making a

cue-005
00:00:12.144 --> 00:00:13.258
copy.

cue-006
00:00:14.500 --> 00:00:16.776
LaTeX typesets the same formulas.

cue-007
00:00:18.150 --> 00:00:20.379
Change the lens. Keep the truth.