Enhancing the progress visualization

Stream: Equational

[Shreyas Srinivas]

One small task: We should probably have an explainer on the website about how to read the progress visualisation image

[Terence Tao]

I actually don't remember who contributed that image, perhaps if they see this message they can comment on explaining it? I also found it a bit mysterious to interpret without explanation. EDIT: opened equational#1179 for this.

[Zoltan A. Kocsis (Z.A.K.)]

I did not add the image. However, the task reminded me that I actually started to make the progress visualization interactive back in October, and never got back to finishing it after my hiatus.

So I finished it today.

A small JavaScript widget which replaces the old progress indicator with an interactive, magnifiable map of the graph. When clicked once, the widget creates a magnifier that the user can move around. Above the widget, a status bar explains the selected implication. When the user clicks a particular pixel, the widget opens the Equation Explorer at the relevant proof.

You can try it out by clicking here. It does take a few seconds to load. A picture is worth a thousand words:

interactive-progress-viz.png

I'll create a PR shortly to replace the image with the widget, but I can't test on the website itself, so one of the maintainers (@Pietro Monticone or @Shreyas Srinivas) would probably have to step in if you think this is good and want to integrate it.

[Shreyas Srinivas]

When you make a PR I will test and merge it

[Shreyas Srinivas]

One important thing : please include an alt text and a caption which explains what the colours are, what the grid depicts, and how to use it

[Mario Carneiro]

the mouse capture is a bit jarring, maybe clicking a second time should release control and ctrl-clicking should go to the derivation

[Mario Carneiro]

or alternatively, the derivation should just be shown live on the side

[Zoltan A. Kocsis (Z.A.K.)]

@Mario Carneiro: Good idea, it now disengages on second click, and displays a link to the derivation.

[Zoltan A. Kocsis (Z.A.K.)]

PR 1181 is up.

[Zoltan A. Kocsis (Z.A.K.)]

Everything from here onward should probably move to a different channel instead of remaining here in Thoughts and impressions. Alas, I don't have the permission to move them.

[Notification Bot]

10 messages were moved here from #Equational > Thoughts and impressions thread by Terence Tao.

[Shreyas Srinivas]

I’ll check it in the evening (German time)