Thread: Best document format for reading with smallest file size.
View Single Post
Old 12-04-2017, 03:37 PM   #19
sjfan
Addict
sjfan ought to be getting tired of karma fortunes by now.sjfan ought to be getting tired of karma fortunes by now.sjfan ought to be getting tired of karma fortunes by now.sjfan ought to be getting tired of karma fortunes by now.sjfan ought to be getting tired of karma fortunes by now.sjfan ought to be getting tired of karma fortunes by now.sjfan ought to be getting tired of karma fortunes by now.sjfan ought to be getting tired of karma fortunes by now.sjfan ought to be getting tired of karma fortunes by now.sjfan ought to be getting tired of karma fortunes by now.sjfan ought to be getting tired of karma fortunes by now.
 
Posts: 281
Karma: 7724454
Join Date: Sep 2017
Location: Bethesda, MD, USA
Device: Kobo Aura H20, Kobo Clara HD
Quote:
Originally Posted by JSWolf View Post
DVI is Digital Visual Interface. It's the precursor to HDMI.

https://en.wikipedia.org/wiki/Digital_Visual_Interface
It is, as well as being the Digital Video Interactive file format and the District Court of the Virgin Islands.

But the device independent file format is what we were discussing:
Quote:
The device independent file format (DVI) is the output file format of the TeX typesetting program, designed by David R. Fuchs and implemented by Donald E. Knuth in 1982. Unlike the TeX markup files used to generate them, DVI files are not intended to be human-readable; they consist of binary data describing the visual layout of a document in a manner not reliant on any specific image format, display hardware or printer. DVI files are typically used as input to a second program (called a DVI driver) which translates DVI files to graphical data.
The WEB source (WEB as in the literate programming system, not the World Wide Web or any other meaning of web) serves as the DVI format specification as well.
sjfan is offline   Reply With Quote