Last-minute comments on updated Gource visualization?

[David A. Wheeler]

I have an updated Gource visualization of set.mm progress, and
I plan to make it publicly visible tomorrow afternoon. You can see it here:
https://www.youtube.com/watch?v=JnXTuq6sos4&feature=youtu.be

If there are last-minute issues, please let me know soon before I publish it!

--- David A. Wheeler

[David A. Wheeler]

On Wed, 29 Apr 2020 20:59:26 -0400 (EDT), "David A. Wheeler" <dwhe...@dwheeler.com> wrote:
> I have an updated Gource visualization of set.mm progress, and
> I plan to make it publicly visible tomorrow afternoon. You can see it here:
> https://www.youtube.com/watch?v=JnXTuq6sos4&feature=youtu.be

I've received a few comments, thanks for them!

REQUEST: There are still some contributors I don't have a representative image for.
They don't need to be your face; Mario uses a symbol.
If you can help me fill in any gaps that'd be great.

I intend to respond to those comments & regenerate the video late this weekend,
and then post the "real" updated version.

--- David A. Wheeler

[Benoit]

I'm wondering how to enhance the readability of the captions.  Ideas:

- Write the dates on the left of each line

- Have scrolling, consecutive lines, the newer immediately above or below the previous one (currently, the way they appear on different lines and fade away is not very intuitive).

- Have a more uniform formatting.  For instance:

1993-05-21|Axiom: Axiom of Extensionality (ax-ext)
1993-05-26|Definition: Class builder abstraction (df-clab)
1994-08-07|Proof: Cantor's Theorem (canth2, Norman Megill), Metamath 100 #63

I.e.:

- most lines begin with either "Axiom:" or "Definition:",  "Proof:", "Article:", "Book:"

- "added" is implied, so not worth writing it out

- is it even necessary to write down the labels, which are often cryptic ?

Benoît

[David A. Wheeler]

On Fri, 1 May 2020 05:09:07 -0700 (PDT), Benoit <benoit...@gmail.com> wrote:
> I'm wondering how to enhance the readability of the captions. Ideas:
> - Write the dates on the left of each line

I could do that! That will make them a little longer on the display, but not much more.

> - Have scrolling, consecutive lines, the newer immediately above or below
> the previous one (currently, the way they appear on different lines and
> fade away is not very intuitive).

That's a cool idea, but that would require significant
modifications of the Gource program. Gource is open source software,
so it's possible, but that's more than I plan to do.

If you feel like contributing the Gource project to add that, I suspect
they'd love it. Repo is here: https://github.com/acaudwell/Gource

Adding the dates will hopefully partially compensate for the lack of that.

> - Have a more uniform formatting. For instance:
> 1993-05-21|Axiom: Axiom of Extensionality (ax-ext)
> 1993-05-26|Definition: Class builder abstraction (df-clab)
> 1994-08-07|Proof: Cantor's Theorem (canth2, Norman Megill), Metamath 100 #63
> I.e.:
> - most lines begin with either "Axiom:" or "Definition:", "Proof:",
> "Article:", "Book:"
> - "added" is implied, so not worth writing it out

Good idea.

> - is it even necessary to write down the labels, which are often cryptic ?

None of this is *necessary*. But I thought including the labels
would make it easier for people to see or verify the information,
in case they were interested. Labels are short, so it doesn't take much space.

--- David A. Wheeler