WEBVTT NOTE PGD011 – automatic transcript (Whisper large-v3, wav2vec2 alignment, Sortformer + speaker embeddings). Generated by tools/transcribe/pi3tx.py, may contain errors. 00:00:00.580 --> 00:00:03.167 Hallo zusammen und willkommen zu Pi ist genau 3, 00:00:03.167 --> 00:00:08.300 Folge Nummer 11 mit mir, Thomas Kahle, und am anderen Ende der Leitung ist … 00:00:08.300 --> 00:00:09.404 Petra Schwer. Hallo. Hallo Petra. 00:00:09.590 --> 00:00:09.860 Hallo Thomas. 00:00:09.860 --> 00:00:12.150 Was wollen wir denn heute besprechen? 00:00:12.182 --> 00:00:13.284 Du hattest eigentlich vorhin, 00:00:13.284 --> 00:00:14.307 das hätten wir aufzeichnen müssen, 00:00:14.307 --> 00:00:16.953 den perfekten Aufhänger gebracht für unser Gespräch heute. 00:00:16.953 --> 00:00:19.519 Du hast erzählt, dass du Word benutzt hast heute Morgen. 00:00:19.519 --> 00:00:20.019 Mhm. 00:00:22.022 --> 00:00:24.142 Und es war schmerzhaft, wenn ich das mal sagen darf. 00:00:24.234 --> 00:00:24.921 Soll ich dir diesen Bug erzählen? 00:00:24.921 --> 00:00:25.444 Ja, 00:00:25.444 --> 00:00:27.870 erzähl mal den Bug und dann erzähl ich, worum es geht. 00:00:28.143 --> 00:00:31.864 Ich weiß nicht, es ist ja jetzt 2020 und es war so ein Windows-95-Moment. 00:00:32.035 --> 00:00:37.551 Word hat eine Autokorrektur. Und wenn man da sich vertippt und W-E-R-D eingibt, 00:00:37.551 --> 00:00:41.523 also das Wort Wert, was es nicht gibt, dann korrigiert er das zu Wird. 00:00:41.523 --> 00:00:45.260 Okay? So weit, so gut. Aber wenn man das Wort Wer denn eingibt … 00:00:45.260 --> 00:00:47.547 … dann korrigiert er das zu Wir denn, 00:00:47.547 --> 00:00:50.174 weil er irgendwie das schon korrigiert, bevor ich EN getippt habe, 00:00:50.174 --> 00:00:52.610 obwohl ich eigentlich, glaube ich, relativ schnell tippe. 00:00:52.700 --> 00:00:55.030 Und ich konnte das nicht beheben. 00:00:55.030 --> 00:00:57.830 Ich musste die ganze Autokorrektur erstmal abschalten und … 00:00:57.901 --> 00:01:00.703 Das hat mich schon verwirrt. Das hat mich verwört. 00:01:00.703 --> 00:01:01.844 Verwirrt. Ja, 00:01:01.844 --> 00:01:03.983 okay. Fünf Mark in die schlechte 00:01:04.256 --> 00:01:05.370 Wortspielkasse. 00:01:05.922 --> 00:01:07.546 Ja, es gibt ja diese Aussage, 00:01:07.546 --> 00:01:09.671 dass Mathematiker eigentlich nur Stiftung Papier 00:01:09.671 --> 00:01:11.516 und einen Papierkorb brauchen, um zu arbeiten. 00:01:11.516 --> 00:01:12.640 Wir brauchen aber noch ein Tool. 00:01:12.640 --> 00:01:14.830 Wozu brauchst du denn den Papierkorb? 00:01:14.944 --> 00:01:17.597 Der Witz geht eigentlich anders, aber den erzählen wir jetzt nicht. 00:01:17.597 --> 00:01:20.628 Kein … Kein Bashing von anderen Fachrichtungen. 00:01:20.628 --> 00:01:21.570 Niemals. 00:01:22.540 --> 00:01:24.463 Genau. Also ich brauch meinen Papierkorb. 00:01:24.463 --> 00:01:28.508 Na egal. Das andere Tool ist das, worüber ich mit dir heute reden will, 00:01:28.508 --> 00:01:31.702 nämlich LaTeX, weil unsere schöne Mathematik soll ja nicht 00:01:32.073 --> 00:01:33.795 in unseren Bücherregalen versauern 00:01:33.795 --> 00:01:35.317 und auch nicht in unseren Gehirnen bleiben, 00:01:35.317 --> 00:01:37.670 sondern wir wollen die ja irgendwie veröffentlichen. 00:01:37.821 --> 00:01:41.540 Und um die möglichst schön zu veröffentlichen, brauchen wir TeX bzw. LaTeX. 00:01:41.540 --> 00:01:45.668 Ja. Dann würde ich gerne mal damit anfangen, für alle da draußen, 00:01:45.668 --> 00:01:48.775 die noch nicht wissen, was LaTeX eigentlich ist, mal kurz zu erklären, 00:01:48.775 --> 00:01:51.226 was das macht. Willst du das machen oder soll ich das machen? 00:01:51.226 --> 00:01:52.060 Ich kann ja mal sagen, wie ich das wahrnehme. 00:01:52.060 --> 00:01:54.382 Okay. Oder wenn ich das kennengelernt habe. 00:01:54.382 --> 00:01:54.502 Ja, 00:01:54.502 --> 00:01:56.288 das habe ich als nächstes, die Frage. 00:01:56.288 --> 00:01:58.253 Aber ich kann sie auch zuerst beantworten. 00:01:58.253 --> 00:02:00.222 Kannst du dich an deine erste getippte LaTeX-Seite erinnern? 00:02:00.222 --> 00:02:04.010 Ja, das war im Physikpraktikum im Grundstudium. 00:02:04.321 --> 00:02:06.214 Da macht man so ein Praktikum, so ein Experiment. 00:02:06.525 --> 00:02:11.384 Und dann muss man so einen Praktikumsbericht schreiben, wo 00:02:12.497 --> 00:02:13.639 … Ich habe Physik studiert, 00:02:13.639 --> 00:02:14.150 genau. 00:02:13.639 --> 00:02:14.998 Dann fasst du zusammen, was du so machst in dem Praktikum. 00:02:14.998 --> 00:02:16.704 Und da fasst du dann dein Experiment zusammen. 00:02:16.704 --> 00:02:19.138 Du musst deine Messwerte darstellen oder … 00:02:19.309 --> 00:02:23.126 und dann halt irgendwelche Kurven, wo immer die Kurve durch die Punkte finden. 00:02:23.136 --> 00:02:25.570 Und es war schon nicht ganz ohne. 00:02:26.342 --> 00:02:28.489 Weil man dann auch so Tabellen hatte und so. 00:02:28.489 --> 00:02:31.769 Also es war jetzt nicht nur, nicht nur Text. 00:02:32.182 --> 00:02:35.018 Und ja, das sah dann richtig gut aus. 00:02:35.018 --> 00:02:35.562 Es sieht richtig schön aus. 00:02:35.562 --> 00:02:38.764 Also man kann den größten Quatsch schreiben und das sieht richtig, richtig gut aus. 00:02:38.764 --> 00:02:40.483 Wie lange hast du gebraucht für die erste Seite? 00:02:40.483 --> 00:02:44.620 Das weiß ich nicht mehr. Aber ich war dann schon so ein bisschen … 00:02:44.620 --> 00:02:45.882 Perfektionistisch, glaube ich. 00:02:45.882 --> 00:02:47.288 Das hat lang gedauert wahrscheinlich, ne? 00:02:47.288 --> 00:02:50.180 So die allererste Seite, TeX getippt, dauert … 00:02:50.180 --> 00:02:50.725 Naja, jetzt kann ich … 00:02:50.725 --> 00:02:51.889 Ich weiß nicht, ob es zu persönlich ist, 00:02:51.889 --> 00:02:55.069 aber in unserer Familie gibt es noch andere … 00:02:55.069 --> 00:02:55.853 TeX-Nutzer. … TeX-Nutzer. Also … 00:02:55.853 --> 00:02:57.436 Ah, du hast gemogelt. Du hattest die zu Hause. 00:02:57.436 --> 00:02:59.690 Ich habe TeX von meiner Mutter gelernt sozusagen. 00:02:59.690 --> 00:03:01.922 Und dann hatte ich da Starthilfe. 00:03:01.922 --> 00:03:03.005 Ja, okay. Ich nicht. 00:03:03.005 --> 00:03:04.611 Ich musste das mit dem Template lernen, 00:03:04.611 --> 00:03:07.423 das wir im zweiten Semester fürs Pro-Seminar gekriegt haben. 00:03:07.423 --> 00:03:09.372 Und damals war Googeln noch ein bisschen … 00:03:09.372 --> 00:03:11.141 Googeln ging noch nicht, ne? Also es … 00:03:11.141 --> 00:03:12.012 gab kein Google. 00:03:12.504 --> 00:03:16.373 Und man konnte dann mit irgendwelchen anderen Yahoo-Anfragen 00:03:16.373 --> 00:03:19.299 oder so da mühselig versuchen rauszufinden, wie es geht. 00:03:19.299 --> 00:03:19.964 Es gab halt Lehrbücher. 00:03:19.964 --> 00:03:22.018 Ja, genau. Oder in die Bibliothek laufen und da gucken. 00:03:22.018 --> 00:03:24.248 Der Kopka, genau. Oder ein dreibändiges Lehrbuch. 00:03:24.484 --> 00:03:27.420 Ja, oder die dünne, kleine Handbuchzusammenfassung. 00:03:27.420 --> 00:03:28.532 Die LaTeX-Bücher. Genau. 00:03:29.505 --> 00:03:32.794 Okay, wie dem auch sei, also LaTeX ist ein … 00:03:32.794 --> 00:03:34.860 Machen wir es mal einmal ganz kurz technisch. 00:03:34.860 --> 00:03:36.572 Textsatzsystem, 00:03:37.883 --> 00:03:41.516 was 1978 von Donald Knuth entwickelt wurde, 00:03:41.707 --> 00:03:45.050 der, du hast es schon angedeutet, wollte, 00:03:45.050 --> 00:03:48.764 dass die zweite Auflage seines Buches, The Art of Computer Programming, 00:03:48.834 --> 00:03:51.146 schön aussieht und sich geweigert hat, 00:03:51.557 --> 00:03:55.210 den Fotosatz zu benutzen, den der Verlag ihm vorgeschlagen hat. 00:03:55.340 --> 00:03:57.442 Und sich daraufhin hingesetzt hat 00:03:57.442 --> 00:04:00.595 und eben LaTeX entwickelt hat als Textsatzsystem, 00:04:01.065 --> 00:04:05.559 das insbesondere Mathematik schön darstellen kann. 00:04:06.670 --> 00:04:08.692 Er schreibt auf seiner Website, er hatte irgendwie zwei Ziele. 00:04:08.692 --> 00:04:10.273 Er wollte jedem die Möglichkeit geben, 00:04:10.273 --> 00:04:13.376 Bücher von hoher Qualität zu drucken und ein System schaffen, 00:04:13.376 --> 00:04:14.297 dass das Resultat, 00:04:14.297 --> 00:04:18.030 dasselbe Resultat liefert zu jedem Zeitpunkt auf egal welchem Computer. 00:04:18.501 --> 00:04:20.369 Stimmt, diese Plattform-Abhängigkeit, das war glaube ich, 00:04:20.369 --> 00:04:21.674 das kann man sich heute auch nicht mehr so vorstellen, 00:04:21.674 --> 00:04:23.350 das war glaube ich ein großes Problem. 00:04:23.421 --> 00:04:23.561 Ja, 00:04:23.561 --> 00:04:25.343 aber auch Versionsabhängigkeit, ne? 00:04:25.343 --> 00:04:26.604 Also wenn du, selbst heute, 00:04:26.604 --> 00:04:30.589 wenn du ein Word-Dokument als .doc oder .docx-Datei verschickst 00:04:30.589 --> 00:04:33.492 und jemand anders die mit einer anderen Word-Version aufmacht 00:04:33.492 --> 00:04:39.318 oder noch schlimmer mit so Open-Office-Programmen aufmacht, 00:04:39.318 --> 00:04:40.570 das sieht immer anders aus, ne? 00:04:41.062 --> 00:04:43.797 Obwohl du gerade Open sagst und Knuth hat das halt völlig offen entwickelt, ja? 00:04:43.797 --> 00:04:45.303 Genau. Also ist ja Quell offen. 00:04:45.303 --> 00:04:48.222 Das war von Anfang an offen und frei verfügbar. 00:04:48.222 --> 00:04:50.671 Jeder kann mitmachen und Bugs finden. 00:04:50.671 --> 00:04:52.601 Natürlich gab es keine Bugs, weil Donald Knuth hat es programmiert. 00:04:52.601 --> 00:04:52.742 Doch, 00:04:52.742 --> 00:04:53.564 es gab ein paar Bugs. 00:04:53.564 --> 00:04:57.453 Irgendwie bis 86 hatte er selber noch die beseitigt und danach gab es noch ein paar. 00:04:57.453 --> 00:04:59.762 Seit 1990 ist es aber stabil, habe ich noch gelesen. 00:04:59.762 --> 00:05:01.126 Aber da gibt es auch so Geschichten. 00:05:01.126 --> 00:05:04.177 Hat er nicht irgendwie so exponentielle Geldbeträge für irgendwie Bugs? 00:05:04.177 --> 00:05:04.961 1 Cent für den ersten … … 00:05:04.961 --> 00:05:06.626 Bugs, 2 Cent und dann verdoppelt sich das immer und 00:05:06.626 --> 00:05:10.482 das hat irgendwie bei 1,40 Dollar aufgehört, 1,60 Dollar aufgehört oder so? 00:05:10.482 --> 00:05:14.470 Ja, ne, so ähnlich. Also der hat Geld ausgesetzt für Fehler in seinen Büchern. 00:05:14.652 --> 00:05:14.882 Ach so. 00:05:14.882 --> 00:05:15.825 Da gibt es diese Geschichte, 00:05:15.825 --> 00:05:20.710 dass er, wer einen Fehler in seinen Büchern findet, kriegt einen Hexadezimal-Dollar. 00:05:21.043 --> 00:05:24.183 Also 2,65 Dollar, also 2,65 Dollar. 00:05:25.160 --> 00:05:25.660 Aha. 00:05:26.761 --> 00:05:29.022 100 Hexadezimal entspricht 256 Dezimal. 00:05:29.620 --> 00:05:31.273 Ja. Steht alles auf seiner Website. 00:05:31.273 --> 00:05:34.109 Ah, okay. Und früher hat er wirklich Schecks verschickt, ja, 00:05:34.109 --> 00:05:37.048 also von seinem Privatkonto, einen Scheck mit 2,65 Dollar. 00:05:38.307 --> 00:05:39.156 Und er schreibt auch, dass … 00:05:39.156 --> 00:05:40.875 Die wird er nie einlösen, dann muss er den weggeben. 00:05:40.875 --> 00:05:42.010 Genau. Das ist ja so 00:05:42.010 --> 00:05:44.002 eine Art of … Von den ersten 300 wurden nur 9 eingelöst. 00:05:44.002 --> 00:05:44.673 Ja, 00:05:44.673 --> 00:05:45.173 genau. 00:05:46.549 --> 00:05:48.420 Das ist auch ein sehr guter Trick, also … 00:05:48.420 --> 00:05:49.462 Also der Scheck von Knuth hat … 00:05:50.040 --> 00:05:52.869 … irgendwie einen höheren ideellen Wert offensichtlich. 00:05:52.869 --> 00:05:54.182 Als 2.156 auf jeden Fall. 00:05:54.213 --> 00:05:56.742 Genau. Würde ich auch behalten, auf jeden Fall. 00:05:56.742 --> 00:06:00.231 Na, irgendwann ging das nicht mehr aufgrund von so Sicherheitsproblemen, 00:06:00.231 --> 00:06:03.709 weil auf den Checks stehen ja diese Nummern drauf, die dein Konto identifizieren. 00:06:04.002 --> 00:06:05.507 Und dann kannst du irgendwie das Konto … 00:06:05.507 --> 00:06:06.510 also gibt es irgendwie einen Bug, 00:06:06.510 --> 00:06:08.295 dass du das Konto unter Umständen leer räumen kannst, 00:06:08.295 --> 00:06:10.090 wenn du zu viele von diesen Nummern hast. 00:06:10.385 --> 00:06:11.005 Ach du Gott. 00:06:11.005 --> 00:06:12.376 Und jetzt verteilt er die nicht mehr. 00:06:12.376 --> 00:06:14.461 Das Banksystem in den USA, das ist ja unglaublich. 00:06:14.461 --> 00:06:17.608 Das ist furchtbar, ne? Jetzt verteilt er virtuelle Schecks. 00:06:17.608 --> 00:06:21.015 Das ist ganz lustig. Er hat nämlich die Bank of San Serife gegründet, 00:06:21.015 --> 00:06:23.510 wo er immer noch virtuelle Schecks ausstellt. 00:06:24.703 --> 00:06:26.109 Niemand will ja das Geld haben. 00:06:26.109 --> 00:06:28.948 Er braucht ja nicht nur Autogrammkarten verschicken, oder? 00:06:28.948 --> 00:06:29.313 Ja, 00:06:29.313 --> 00:06:31.323 also … Das ist doch der Witz. Der Scheck ist ja eigentlich nur der Autogrammkarten. 00:06:31.323 --> 00:06:31.823 Ja, 00:06:31.403 --> 00:06:34.321 du kriegst jetzt halt einen Eintrag und ein virtuelles Konto bei dieser … 00:06:34.321 --> 00:06:37.818 Bank of Zanzarife, die wird gehostet auf seiner Website, kannst du mal nachgucken. 00:06:38.591 --> 00:06:42.522 Genau, also die Ehre sozusagen anerkannt zu sein, einen Fehler gefunden zu haben. 00:06:42.522 --> 00:06:45.755 Oh, das wäre cool. Aber muss man jetzt noch einen Fehler …? 00:06:45.755 --> 00:06:46.538 Ja, das fange ich jetzt nicht an. 00:06:46.538 --> 00:06:47.260 Nee, kannst du mal gucken. 00:06:47.260 --> 00:06:51.990 Das wäre cool. Ja, es ist auch der einzige Punkt für das er E-Mail benutzt übrigens. 00:06:52.690 --> 00:06:54.587 Ach so. Ja, wusstest du es nicht? 00:06:54.587 --> 00:06:58.030 Knuth hat irgendwie 1990 aufgehört E-Mail zu benutzen. 00:06:58.962 --> 00:07:02.881 Weil er gesagt hat, 15 Jahre E-Mail reicht für ein Menschenleben. 00:07:03.793 --> 00:07:06.770 Und kannst du ausrechnen, wann er angefangen hat E-Mail zu benutzen. 00:07:07.942 --> 00:07:13.355 Und er will nur noch E-Mail, die einen Fehler in seinen Büchern enthalten sozusagen. 00:07:13.355 --> 00:07:15.344 Das ist der einzige Grund, wieso man E-Mail schreiben darf. 00:07:15.344 --> 00:07:17.048 Ja, wahrscheinlich die Sekretärin oder so. 00:07:17.560 --> 00:07:20.809 Genau. Zurück zu TeX. Also der war da ziemlich perfektionistisch veranlagt. 00:07:20.809 --> 00:07:25.424 Da hat er gleich auch noch so ein Schriftsystem dazu entwickelt. 00:07:25.424 --> 00:07:28.326 Ja. Computer Modern heißt die Schriftart. 00:07:28.326 --> 00:07:29.436 Genau, es gibt diese Computer Modern. 00:07:29.436 --> 00:07:31.210 Und die hat ein ganz furchtbares SZ. 00:07:32.592 --> 00:07:33.092 Echt? 00:07:34.384 --> 00:07:39.550 Also das ist meine populärste Frage auf dem TeX Stack Exchange. 00:07:40.062 --> 00:07:43.108 Warum das SZ von Computer Modern so hässlich aussieht. 00:07:43.108 --> 00:07:44.330 Und was ist die Antwort? 00:07:44.401 --> 00:07:48.567 Naja, das ist eine Likatur aus den beiden S-Symbolen. 00:07:48.567 --> 00:07:53.984 Also das SZ, wenn man es so vorsichtig hat, das sieht ja aus wie so ein F, 00:07:54.055 --> 00:07:56.548 an dem noch so ein kleines S dranhängt. 00:07:57.202 --> 00:08:00.830 Und es hat wirklich eine Likatur, also zusammengesetzt aus diesen zwei Symbolen. 00:08:01.421 --> 00:08:06.990 Auf eine irgendwie nicht so schöne Art. 00:08:07.323 --> 00:08:10.532 Und ich habe mal gefragt, also da auf diesem Stack Exchange, 00:08:10.532 --> 00:08:13.290 was da die History von diesem Buchstaben ist. 00:08:13.500 --> 00:08:16.546 Und also hat jetzt nicht Knuth selber geantwortet, 00:08:16.546 --> 00:08:20.502 aber da waren dann so, kann man ja verlinken, also so. 00:08:20.572 --> 00:08:21.935 Das hat dann eine Diskussion ausgelöst, 00:08:21.935 --> 00:08:25.470 wo sich dann Leute gemeldet haben, ja, als ich mit Knuth da Kaffee getrunken habe. 00:08:25.782 --> 00:08:25.963 Das ist, 00:08:25.963 --> 00:08:27.919 glaube ich, überhaupt nochmal eine ganz eigene Frage, 00:08:28.010 --> 00:08:30.950 wie man gute Mathe-Schriftarten entwickelt, weil … 00:08:31.980 --> 00:08:33.783 das gibt ja noch ganz andere Anforderungen, ne? 00:08:33.783 --> 00:08:37.808 Also das muss dann inklusiv auch echt anders aussehen und in Fett, 00:08:37.808 --> 00:08:41.012 weil manchmal benutzen wir ja sowas wie Kursivschreiben oder Fettschreiben, 00:08:41.012 --> 00:08:44.627 um mathematische Objekte voneinander zu unterscheiden. 00:08:44.877 --> 00:08:47.050 Und dann will man vielleicht noch eine … 00:08:47.241 --> 00:08:51.807 … einen altdeutschen Buchstaben dazu und noch einen griechischen. 00:08:51.807 --> 00:08:52.388 Und dann soll aber 00:08:52.388 --> 00:08:55.693 das Alpha möglichst unterschiedlich aussehen zu dem eigentlichen A, 00:08:55.693 --> 00:08:58.978 aber auch zu dem kursivgeschriebenen A. Und ich glaube, 00:08:58.978 --> 00:09:00.042 das ist ein ganz eigenes Problem. 00:09:00.042 --> 00:09:03.216 Also die Standardschrift an diese Computer Modern, die ist schon ganz nett. 00:09:03.216 --> 00:09:05.622 Das SZ … … mal ausgenommen, aber das nutzt man ja selten. 00:09:05.622 --> 00:09:08.066 Gerade wenn man jetzt auf Englisch schreibt. 00:09:08.066 --> 00:09:10.579 Aber ich habe jetzt für mein lineare Algebra-Skript, 00:09:10.770 --> 00:09:11.511 was ich gerade schreibe, 00:09:11.511 --> 00:09:13.854 zum ersten Mal wirklich systematisch nur die Schriftart geändert. 00:09:13.854 --> 00:09:17.279 Da habe ich, wenn nicht eine Schriftart, die Palatino heißt. 00:09:17.279 --> 00:09:20.679 Die auch … Ach, manchmal muss ich einfach … 00:09:20.679 --> 00:09:21.062 Das ist einfach anders. 00:09:21.062 --> 00:09:23.535 Ein bisschen anders und das ist ja auch auf Deutsch und dann kommt ab 00:09:23.535 --> 00:09:24.770 und zu ein SZ vor. 00:09:25.881 --> 00:09:28.825 Was wohl irgendwie einzigartig ist für dieses Metafont, 00:09:28.825 --> 00:09:32.009 das ist dieses Schriftart-Beschreibungssystem, 00:09:32.009 --> 00:09:33.611 was Knuth eben da auch mitentwickelt hat. 00:09:33.611 --> 00:09:36.335 Also, der hat da so eine ganze Einheit geschaffen, ne? 00:09:36.335 --> 00:09:39.463 Also einmal das TeX und dann dieses Schriftart-Beschreibungssystem. 00:09:39.463 --> 00:09:40.642 Geht das immer weiter runter eigentlich? 00:09:40.642 --> 00:09:42.309 Ja, der baut jetzt wohl gerade einen Assembler, 00:09:42.309 --> 00:09:45.020 habe ich bei der Recherche irgendwie … 00:09:45.020 --> 00:09:46.804 Oh mein Gott. … festgestellt, 00:09:46.804 --> 00:09:48.028 sodass es wirklich so eine perfekte Einheit ist. 00:09:48.028 --> 00:09:49.935 Ich wünschte Donald Knuth würde 1000 Jahre leben. 00:09:49.935 --> 00:09:50.778 Es ist einfach nur cool, oder? 00:09:50.778 --> 00:09:51.480 Es ist 82. 00:09:51.921 --> 00:09:53.284 Ich will ein Buch schreiben, 00:09:53.284 --> 00:09:56.791 ich brauche ein Textsystem, ich brauche vernünftige Schriftarten, 00:09:56.791 --> 00:09:58.795 ich brauche ein vernünftiges System, um Schriftarten zu entwickeln, 00:09:58.795 --> 00:10:01.269 ich brauche einen vernünftigen Compiler, Moment mal, es gibt keine vernünftigen … 00:10:01.565 --> 00:10:02.750 Der würde eine Hardware entwickeln. 00:10:02.750 --> 00:10:04.525 Der würde den ersten vernünftigen Computer entwickeln. 00:10:04.525 --> 00:10:05.884 Wahrscheinlich, ja. Der nicht abstürzt. 00:10:05.884 --> 00:10:08.151 Aber erst, wenn sein Assembler fertig ist, ne? 00:10:08.151 --> 00:10:09.800 Ja. Ja. Der stellt dann fest, ich … 00:10:09.800 --> 00:10:11.301 Auf diesen Schrottcomputern kann ich keinen … 00:10:11.301 --> 00:10:13.263 Wollte es nicht. … kann ich keinen vernünftigen Assembler programmieren. 00:10:13.263 --> 00:10:14.654 Also brauche ich erst mal die Hardware. 00:10:14.664 --> 00:10:15.124 Ja. 00:10:15.124 --> 00:10:16.385 Oh mein Gott, das wäre … Ach, Mensch. 00:10:16.385 --> 00:10:17.946 Also irgendwie ist ihm diese Ästhetik, glaube ich, 00:10:17.946 --> 00:10:19.067 so ein bisschen mit in die Wiege gelegt. 00:10:19.067 --> 00:10:21.869 Sein Vater hatte eine Druckerei, habe ich irgendwo gelesen. 00:10:21.869 --> 00:10:22.610 Ah ja, okay. Das ergibt Sinn. 00:10:22.610 --> 00:10:25.642 Also so ein bisschen ergibt es Sinn, ne? 00:10:26.053 --> 00:10:26.703 Genau. 00:10:28.775 --> 00:10:32.958 Okay, so viel zu der Einordnung von dem LaTeX. 00:10:32.958 --> 00:10:35.950 Das war das erste große Open-Source-Projekt, hast du vorhin auch gesagt. 00:10:37.583 --> 00:10:40.452 Was ich mir vorstelle ist, wie hat sich das damals verbreitet? 00:10:40.452 --> 00:10:41.585 Ich meine, das war 1978, ne? 00:10:42.888 --> 00:10:43.882 Auf Disketten. 00:10:43.882 --> 00:10:45.175 Keine Ahnung, wie haben die das … 00:10:45.326 --> 00:10:47.252 Also das muss wohl unglaublich schnell abgehoben haben, 00:10:47.252 --> 00:10:49.779 weil der da auch einen Vortrag bei der AMS irgendwo drüber gehalten hat. 00:10:49.779 --> 00:10:52.237 Ja, und dann hat einer gesagt, kannst du mir das mal schicken? 00:10:52.237 --> 00:10:52.652 Per Post, mal Disketten geschickt. 00:10:52.652 --> 00:10:53.784 Dann hat der ein Magnetband, 00:10:53.784 --> 00:10:57.423 so ein Tape irgendwie geschickt und dann haben die das auf ihrem 00:10:57.553 --> 00:11:00.060 Mainframe-Computer im Keller in Berkeley … 00:11:00.060 --> 00:11:00.560 Ja. 00:11:00.941 --> 00:11:03.301 … installiert, wenn ich jetzt mal so … 00:11:03.433 --> 00:11:04.598 weiß nicht, ob man das so sagen kann. 00:11:04.598 --> 00:11:06.207 Keine Ahnung, gerade kopiert. 00:11:08.906 --> 00:11:11.420 Ähm, ja, keine Ahnung, also Computerhistorie … 00:11:11.420 --> 00:11:14.113 Ja, ist verrückt, ne? Ja. Wenn man sich das vorstellt. 00:11:14.625 --> 00:11:19.397 Ähm, ja. Weißt du, was der strukturelle Unterschied ist zwischen LaTeX und Word? 00:11:19.397 --> 00:11:20.882 Kann man das, soll man das erklären einmal? 00:11:20.882 --> 00:11:22.306 Ja, doch, das ist vielleicht wichtig für Leute, 00:11:22.306 --> 00:11:23.410 die es jetzt gar nicht gesehen haben. 00:11:23.410 --> 00:11:24.904 Also, man beschreibt halt, 00:11:25.998 --> 00:11:31.639 wie … Es ist wie eine Unterhaltung mit dem Drucker oder dem Setzer 00:11:32.872 --> 00:11:34.074 darüber, wie das aussehen soll. 00:11:34.074 --> 00:11:37.170 Also, anstatt zu sagen … 00:11:39.497 --> 00:11:41.936 Hm. Wie, was ist ein gutes Beispiel dafür? 00:11:42.028 --> 00:11:44.720 Anstatt zu sagen, ja, man sagt schon, ich will dieses Fett haben. 00:11:44.720 --> 00:11:48.785 So ein bisschen wie HTML, ne? Es ist eine Beschreibung. 00:11:48.785 --> 00:11:51.070 Man hat den Text und dann beschreibt man. 00:11:51.070 --> 00:11:55.630 Und dann sagt man halt eben, an dieser Stelle fängt ein Kommentar an. 00:11:56.740 --> 00:11:59.274 Dieser Kommentar oder an dieser Stelle fängt wörtliche Rede an. 00:11:59.465 --> 00:12:01.938 Und dann kann sozusagen eine zweite Ebene entscheiden, 00:12:01.948 --> 00:12:03.360 was soll denn damit passieren? 00:12:03.691 --> 00:12:06.124 Wenn das jetzt ein Kommentar ist, soll das kursiv sein? 00:12:06.255 --> 00:12:07.197 Ja, also es gibt zum Beispiel, 00:12:07.197 --> 00:12:08.679 also ein gutes Beispiel, es gibt diesen Befehl «Emph». 00:12:08.679 --> 00:12:09.086 Ja, 00:12:09.086 --> 00:12:09.898 wollte ich auch gerade sagen, 00:12:09.898 --> 00:12:11.460 genau. Der steht für «Emphasize», also «Hervorheben». 00:12:11.460 --> 00:12:15.250 Ja. Und das hängt dann eben von so einer allgemeinen … 00:12:15.321 --> 00:12:16.452 Einstellung ab, 00:12:16.463 --> 00:12:19.257 ob «Hervorheben» eben Fettdruck bedeutet 00:12:19.428 --> 00:12:21.591 oder Kursivdruck oder man kann es auch ändern. 00:12:21.591 --> 00:12:25.700 Also man hat den Text plus zusätzliche Deklarationen. 00:12:25.700 --> 00:12:28.416 Ja. Was da mit dem Text passieren soll. 00:12:28.416 --> 00:12:28.916 Genau, 00:12:28.941 --> 00:12:31.864 also man kann zum Beispiel eine Zeile als Überschrift deklarieren 00:12:31.864 --> 00:12:34.067 oder als Suppeüberschrift oder sowas, ja. 00:12:34.067 --> 00:12:37.131 Und dann, aber wie das dann konkret aussieht, hängt davon ab, 00:12:37.131 --> 00:12:39.674 welchen Dateistil man auch einbindet, ja. 00:12:39.674 --> 00:12:41.576 Ob das jetzt ein Fachartikel ist oder ein Buch, 00:12:41.576 --> 00:12:44.429 das erklärt man einmal sozusagen oben am Dokumentbeginn. 00:12:44.780 --> 00:12:48.859 Und dieser Befehl-Section oder so, ja, also Kapitel, 00:12:49.190 --> 00:12:51.295 der macht dann halt was anderes, je nachdem, 00:12:51.295 --> 00:12:52.620 ob das jetzt ein Buch ist oder ein Fachartikel. 00:12:52.620 --> 00:12:54.930 Dann sieht es optisch anders aus. 00:12:55.181 --> 00:12:56.923 Ja, und heutzutage kann Word das auch, 00:12:56.923 --> 00:12:59.487 aber das war damals, okay, da gab es noch kein Word, 00:12:59.487 --> 00:13:00.689 aber das kann Word noch nicht so lange, 00:13:00.689 --> 00:13:04.665 dass zum Beispiel die Silbentrennung automatisch passiert oder, 00:13:04.936 --> 00:13:07.229 also du machst Blocksatz und dann … 00:13:07.682 --> 00:13:11.032 Der Blocksatz ist auch viel besser in LaTeX, ne, als in Word. 00:13:11.032 --> 00:13:13.566 Also das sieht man optisch schon, wenn man drauf guckt. 00:13:13.566 --> 00:13:14.445 Ja, das ist … 00:13:14.901 --> 00:13:15.623 Also ich behaupte ja immer, 00:13:15.623 --> 00:13:18.553 ich kann anhand von Abgaben von Studierenden erkennen, 00:13:18.553 --> 00:13:20.569 ob die das in Word oder in TeX geschrieben haben. 00:13:20.583 --> 00:13:22.371 Das ist einfach. Kannst du in einer Schriftart erkennen. 00:13:22.371 --> 00:13:24.464 Computer Modern gibt es komisch in Word nicht. 00:13:24.464 --> 00:13:26.677 Comic Sans auch nicht in TeX. Ja, okay. 00:13:26.677 --> 00:13:29.750 Hast du schon mal was in Comic Sans abgegeben gekriegt? 00:13:29.762 --> 00:13:32.330 Äh … weiß ich nicht. 00:13:32.541 --> 00:13:34.950 Da gibt es tatsächlich eine Studie dazu, bin ich drüber gestolpert, 00:13:34.950 --> 00:13:37.846 dass Schriftart einen Effekt darauf hat, wie ernst man was nimmt. 00:13:37.846 --> 00:13:39.302 Ja, Comic Sans kann man nicht ernst nehmen. 00:13:39.302 --> 00:13:41.673 Ja, genau. Das kam da auch raus bei der Studie, 00:13:41.673 --> 00:13:43.320 jetzt nicht wirklich überraschend, aber … 00:13:43.320 --> 00:13:44.241 Ja. 00:13:44.293 --> 00:13:45.510 Obvious Research. 00:13:45.645 --> 00:13:47.367 Obvious Research ist auch wichtig. 00:13:47.367 --> 00:13:48.300 Forschung mit dem … 00:13:48.300 --> 00:13:50.018 Das ist, das ist Vermutungen nachweisen, oder? 00:13:50.018 --> 00:13:51.164 Das ist offensichtlich ein Ergebnis, ja. 00:13:51.760 --> 00:13:57.967 Genau. Es gibt tatsächlich einen extra Zeilenumbruch-Algorithmus nur für LaTeX, 00:13:57.967 --> 00:14:00.250 den auch Knuth zusammen mit einem, warte mal, 00:14:00.250 --> 00:14:02.542 wie heißt der, Michael Plass entwickelt hat. 00:14:03.073 --> 00:14:04.094 Von dem konnte man auch zeigen, 00:14:04.094 --> 00:14:07.277 dass das Problem des optimalen Zeilenumbruchs NP-vollständig ist, 00:14:07.277 --> 00:14:09.970 wenn man Tabellen und Abbildungen in Betracht zieht. 00:14:10.120 --> 00:14:12.005 Das ist aber, das macht noch mehr. 00:14:12.005 --> 00:14:15.233 Das ist unglaublich, was das macht heutzutage, glaube ich. 00:14:15.233 --> 00:14:18.080 Wenn du so eine Zeile … 00:14:18.080 --> 00:14:21.154 Also du willst halt bestimmen, hast einen Absatz und willst halt bestimmen, 00:14:21.154 --> 00:14:22.498 wann der Zeilenumbruch ist. Ja. 00:14:22.963 --> 00:14:27.060 Und jetzt kannst du nicht nur die Abstände zwischen den Wörtern … 00:14:27.060 --> 00:14:27.707 Okay, also was kannst du machen? 00:14:27.707 --> 00:14:29.844 Du kannst die Abstände zwischen den Wörtern kleiner oder größer machen. 00:14:29.844 --> 00:14:31.562 Genau. Du kannst Wörter trennen. 00:14:31.562 --> 00:14:32.595 Du kannst Wörter trennen, 00:14:32.626 --> 00:14:34.553 aber du kannst auch innerhalb der Wörter 00:14:34.553 --> 00:14:35.900 die Abstände zwischen den Buchstaben verändern. 00:14:35.900 --> 00:14:39.331 Ja, genau. Und dann hat er sozusagen so Optimierung, 00:14:39.331 --> 00:14:42.050 dass wenn zum Beispiel ein kleiner Buchstabe nach einem großen T … 00:14:43.428 --> 00:14:43.975 Kannst du den Abstand … 00:14:43.975 --> 00:14:48.222 Kannst du den Abstand kleiner machen und es wird trotzdem sozusagen okay aussehen. 00:14:48.373 --> 00:14:50.843 So was, was ein Buchdrucker früher per Hand gemacht hat. 00:14:50.843 --> 00:14:52.193 Die haben tatsächlich was abgefeilt, 00:14:52.193 --> 00:14:52.475 ne? 00:14:52.475 --> 00:14:54.907 Also an den … Kerning und so, ja. 00:14:54.907 --> 00:14:58.305 Dieser Begriff sozusagen, wenn die Buchstabenabstände nicht korrekt sind, 00:14:58.917 --> 00:15:00.350 dann sieht das … 00:15:01.021 --> 00:15:06.393 schlecht aus und das ist alles in Software und sieht dann einfach gut aus. 00:15:06.393 --> 00:15:09.641 Es passiert eine Menge Magie hinter den Kulissen. 00:15:09.641 --> 00:15:12.455 Also was halt in TeX auch super funktioniert, ist sowas wie, 00:15:12.766 --> 00:15:15.470 einfach weil es nicht während der Laufzeit schon festgelegt werden muss, 00:15:15.470 --> 00:15:20.358 sowas wie Fußnoten, Inhaltsverzeichnisse, Bibliografien und so, ja? 00:15:20.358 --> 00:15:21.329 Also das wird halt … 00:15:22.080 --> 00:15:23.461 erst wenn du auf Kompilieren drückst, 00:15:23.461 --> 00:15:26.004 wird das sozusagen angelegt und wenn du halt weiter tippst 00:15:26.004 --> 00:15:28.956 und später nochmal auf Kompilieren drückst, dann 00:15:30.307 --> 00:15:31.889 wird das halt neu berechnet, 00:15:31.889 --> 00:15:35.612 wo diese Fußnote positioniert wird und wie die Bibliografie hinten aussieht, 00:15:35.612 --> 00:15:39.105 während wenn man in das Word das tippt, das wird ja alles live angepasst. 00:15:39.495 --> 00:15:40.596 Kann es halt manchmal passieren, dass ich sehe, 00:15:40.596 --> 00:15:43.779 das ist völlig zerhagelt, während du tippst, weil das halt nicht mitkommt, 00:15:43.779 --> 00:15:46.941 das sozusagen live … … irgendwie schön umzurechnen. 00:15:46.941 --> 00:15:48.424 Ja, mittlerweile kann Word auch sowas 00:15:48.424 --> 00:15:51.250 wie automatisch Inhaltsverzeichnisse erstellen, wenn man es richtig macht, 00:15:51.250 --> 00:15:53.916 wenn man nicht anfängt mit erstens Punkt Einleitung, 00:15:53.916 --> 00:15:56.009 sondern das sozusagen so deklariert, aber in … 00:15:56.600 --> 00:15:58.992 deklariert man es halt die ganze Zeit. 00:15:59.002 --> 00:16:01.144 Was ich übrigens neulich auch mal zum ersten Mal ausprobiert habe, 00:16:01.144 --> 00:16:02.776 ist eine Fußnote an der Fußnote. 00:16:03.287 --> 00:16:06.690 Ich mag ja den David Foster Wallace ziemlich gern, der auch extensiv Fußnoten … 00:16:06.690 --> 00:16:08.652 Er hat manchmal mehr Fußnote auf der Seite als … 00:16:08.652 --> 00:16:12.625 Fußnoten an den Fußnoten und dann gehen die Fußnoten manchmal seitenlang. 00:16:13.116 --> 00:16:15.218 Aber habe ich es auch mal probiert. 00:16:15.218 --> 00:16:17.763 Und Fußnote an der Fußnote muss man so ein bisschen tricksen. 00:16:17.763 --> 00:16:18.188