There have been multiple accounts created with the sole purpose of posting advertisement posts or replies containing unsolicited advertising.

Accounts which solely post advertisements, or persistently post them may be terminated.

How TeX.web is versioned since the early 90's (literal text inside)

This is the literate source for TeX, what LaTeX is based on: tug.ctan.org/systems/knuth/dist/tex/tex.web

These are just comments for the WEB literate file. Here’s the first ‘funny’ thing you’ll see in the source file:


<span style="font-style:italic;color:#969896;">% Version 3.0 fixed unusual displays; was more output robust (March 1990).
</span><span style="font-style:italic;color:#969896;">% Version 3.1 fixed nullfont, disabled write{theprevgraf} (September 1990).
</span><span style="font-style:italic;color:#969896;">% Version 3.14 fixed unprintable font names and corrected typos (March 1991).
</span><span style="font-style:italic;color:#969896;">% Version 3.141 more of same; reconstituted ligatures better (March 1992).
</span><span style="font-style:italic;color:#969896;">% Version 3.1415 preserved nonexplicit kerns, tidied up (February 1993).
</span><span style="font-style:italic;color:#969896;">% Version 3.14159 allowed fontmemsize to change; bulletproofing (March 1995).
</span><span style="font-style:italic;color:#969896;">% Version 3.141592 fixed xleaders, glueset, weird alignments (December 2002).
</span><span style="font-style:italic;color:#969896;">% Version 3.1415926 was a general cleanup with minor fixes (February 2008).
</span><span style="font-style:italic;color:#969896;">% Version 3.14159265 was similar (January 2014).
</span><span style="font-style:italic;color:#969896;">% Version 3.141592653 was similar but more extensive (January 2021).
</span>

And it’s not even that! The source code quotes the Good Book! Wanna see? Here’s the literate source, as weave’d to PDF by me:

drive.google.com/file/d/…/view?usp=sharing

So how does this work?

  • You weave the literate source into a TeX file, then use many of the TeX engines to compile it to PDF, PS, DVI, etc
  • You tangle the literate soure into a .p file, a Pascal-H file which sadly no compiler exists for! A whole host of tools exist to turn this Pascal-H code into compilable code, for example, web2c, which is the basis of TeXLive. Now, there are rewrites of TeX, such as LuaTeX and MikTeX.

So what is LaTeX? It’s a ‘format’ for TeX. You might have used it in high school to write a paper if you were a super-nerd like me, or you may still use it to write scholarly papers. I’m currently using LaTeX to write several papers, write is doing heavy lifting here, these are just ideas (one of them is a review of LISP; the other, a shell with contracts similar to SHILL).

Enjoy.

Carighan ,
@Carighan@lemmy.world avatar

This is smart. As pi is a non-repeating, you can even at some point start showing just the “current” digits if it ever gets too much, and will always be able to find a finite length of digits that does not match a previously user version number.

vithigar ,

Not necessarily. Non-repeating doesn’t mean the are no repeated sections. For example, in the first hundred million digits “1412” is found three times.

edinbruh ,

You forgot the part where TeX was created by a CS professor because he didn’t like how his editor printed the formulas in his book

SamiDena OP ,

Yeah tom7 did a video on ‘badness’ in TeX: www.youtube.com/watch?v=Y65FRxE7uMcI am learning ins-and-outs of TeX because I am implementing it in OCaml. btw, tom7 is a really stand-up fella. His thesis on “Modal types for Mobile Code” seems very interesting. He mentions it in the video. This is the thesis: www.cs.cmu.edu/…/modal-types-for-mobile-code.pdf

(mobile code is ‘network’ code, basically JavaScript – Tom’s work, I believe, is concerned with formal verification of web code – if you are a webdev, read it!)

guemax ,

And each version of Metafont gets an additional digit of e (currently at 2.71828182).

SamiDena OP ,

I have not looked at METAFONT. I really wanna design a font with it one day. It was the first font creation software I hear.

Endmaker ,

Since we are on the topic of funny stuff in code, here’s one encounter I had earlier:

do not use or you will be fired

SamiDena OP ,

Truly, truly literate text! :D

  • All
  • Subscribed
  • Moderated
  • Favorites
  • [email protected]
  • random
  • lifeLocal
  • goranko
  • All magazines