This presentation by Thierry Laronde addresses common misunderstandings about TeX within the Plan 9 ecosystem, specifically highlighting his KEK distribution. Laronde asserts that KEK-TeX is a fully up-to-date and highly portable typographic system, designed to operate identically across various POSIX-compliant operating systems, including Plan 9, Linux, BSD, and Android. He explains that TeX is a powerful, low-level interpreter that produces Device Independent (DVI) output, contrasting it with troff. Laronde argues that TeX, being more general and robust (passing Knuth's "torture test"), can eventually replace troff as the universal page formatter, even capable of processing troff's macro sets. The talk emphasizes the concept of a single, small, libc-only underlying engine (specifically, his pro extension) driving all TeX-based functionalities like LaTeX, ensuring long-term consistency and reproducibility of documents.
Summary:
0:24 KEK Distribution & TeX on Plan 9: Thierry Laronde introduces his KEK distribution, clarifying that TeX on Plan 9 is not a "second-rate citizen" and is fully up-to-date with current TeX standards.
1:45 Wide OS Compatibility: KEK is designed to be available and function identically across all POSIX-compliant operating systems, including Android, Linux, BSD, Plan 9, and potentially Windows (via WSL), using only a small subset of POSIX utilities for compilation.
3:06 Portable Core: The TeX engine itself uses only the libc and adheres to standard C89/C90, making it extremely portable.
3:56 TeX as an Interpreter: TeX is described as a low-level interpreter that processes bits and lines, ultimately producing a Device Independent (DVI) format for page layouts.
6:10 The "TeX" Standard: An engine can only be legitimately called "TeX" if it passes Donald Knuth's specific "torture test" for typographic accuracy.
6:55 TeX vs. tex/LaTeX: The speaker clarifies that "tex" (lowercase) and "LaTeX" are not separate engines but instances or large sets of macros that are "byte-compiled" (digested) by the core TeX interpreter (initex/vortex) for faster processing.
10:54 TeX vs. troff: Laronde contrasts TeX with troff, another interpreter. While troff is UTF-8 compatible, it lacks byte compiling and must constantly reread files. Unlike TeX, troff has no formal "torture test" for compliance.
13:33 TeX's Generality & Future: TeX is argued to be more general than troff and capable of replacing it as a page creator. The future vision for KEK and TeX is to interpret existing troff macro sets (e.g., for manual pages), making TeX the universal typography system.
16:44 Consistency & Portability: A core goal of KEK is to ensure the exact same TeX experience and output regardless of the underlying operating system, promoting consistency for users.
19:36 The "Pro" Extension: The TeX engine has evolved through extensions like epsilon tech. KEK now utilizes pro (a small, libc-only extension of TeX and epsilon TeX) to ensure full compatibility with modern LaTeX requirements.
24:50 Knuth's Motivation: The speaker explains Donald Knuth's original motivation for creating TeX and Metafont: to ensure his books could be reproduced exactly even centuries later, providing a complete solution from text to fonts to rasterized images.
26:06 Complete Solution: TeX, combined with Metafont, offers a complete, independent solution for computing page layouts, drawing pages, and obtaining digital images, aiming to eliminate reliance on external, problematic tools like Ghostscript.
30:51 DVI as Universal Output: The DVI format is central, from which various outputs can be generated, including plain text for TTYs, or images for graphical display.
37:20 KEK's Audience: KEK is designed for everyone—academia, personal, and commercial use—and is not licensed under GPL, allowing for commercial versions.