quality:correction, structural:summarization
Lenses

Together with his brother Constantijn, Huygens began grinding his own lenses in 1655 in an effort to improve telescopes. He designed in 1662 what is now called the Huygenian eyepiece, a set of two planoconvex lenses used as a telescope ocular. Huygens's lenses were known to be of superb quality and polished consistently according to his specifications; however, his telescopes did not produce very sharp images, leading some to speculate that he might have suffered from near-sightedness.

Lenses were also a common interest through which Huygens could meet socially in the 1660s with Spinoza, who ground them professionally. They had rather different outlooks on science, Spinoza being the more committed Cartesian, and some of their discussion survives in correspondence. He encountered the work of Antoni van Leeuwenhoek, another lens grinder, in the field of microscopy which interested his father. Huygens also investigated the use of lenses in projectors. He is credited as the inventor of the magic lantern, described in correspondence of 1659. There are others to whom such a lantern device has been attributed, such as Giambattista della Porta and Cornelis Drebbel, though Huygens's design used lens for better projection (Athanasius Kircher has also been credited for that).