I have a new significantly-updated Gource visualization of set.mm's progress over time: https://www.youtube.com/watch?v=y_eqBLFlXOs
This video is currently "unlisted" - I'd like to hear if this is okay before making it public. Please take a look & if you see an issue, let me know! The key changes are: * Any contribution or modification counts as a "flash" from the user to the assertion (this shows more of the actual activity than the previous visualization showed). * A number of set.mm attributions were fixed. The older visualization made some unintentional errors obvious, so we went back to fix them & we now use that fixed data set. * The major section labels are further away from the center, so they are much more readable than before. * Many more avatars - thanks to everyone who helped! The avatars are smaller than desired, unfortunately; the latest version of Gource doesn't let me control that. But they *are* there. * Captions note some events. I gave up trying to include all Metamath 100 proofs; once we hit ~2014 that becomes far too busy. No doubt people can disagree about which events are worth noting, the point is to provide *some* context of what is going on. * The Metamath logo is on the top right. Enjoy! --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1iGlk3-0000es-ND%40rmmprod07.runbox.
