Comments by "Lawrence D’Oliveiro" (@lawrencedoliveiro9104) on "Types of PDF - Computerphile" video.

  1. DJVU format deals with this by storing searchable text objects which are not rendered, separate from the actual page rendering. I think PDF allows this also.
    1
  2. By the way, the “F” in “PDF” stands for “Format”. There’s no point in my sending you a “Portable Document Format”, but there is in my sending you a file in Portable Document Format. In other words, I don’t send you a PDF, I send you a PDF file.
    1
  3. I use KDE Konsole, which lets you have tabbed windows. And I also like to use different themes for them. Notice he has a root session permanently open (upper left), for performing installations and other admin tasks? I put a distinctive yellow background on mine, just to remind myself to be careful what I type there.
    1
  4. 12:03 It looks like a scan that has been quantized into a bilevel (black and white only, no greys) bitmap. Those little hairy extensions on the edges are characteristic of that.
    1
  5. The irony is that using vector graphics and actual text objects make it easier to edit the PDF file. The hardest type to edit is the one where every page is a bitmap.
    1