A request: If you've contributed to set.mm, but don't have a representational image in the "people/" directory, please add it or tell me where to go to get it.
Below I list the contributor images we have. If your name isn't listed, I'd like to add it! It can be your face, but it can also be any other (safe-for-work) image that you'd like to represent you (such as what you use on GitHub). OpenAI folks: I intend to use the symbol from the OpenAI logo. I couldn't find a file with just the symbol, so I plan to edit this: https://commons.wikimedia.org/wiki/File:OpenAI_Logo.svg If you have a symbol/image you want me to use instead, or want me to do nothing, please let me know. My understanding is that it's okay under trademark law to use the OpenAI symbol to represent OpenAI work, as long as I don't claim it's *my* work (and it certainly is not, I'm trying to give OpenAI credit for its fine work!). But... I'm not a lawyer. Also: the directory was named "people" before we had machines making proofs. Maybe we should rename the directory to "contributors" or something like that! I plan to eventually create an updated Gource visualization contributions to set.mm, probably this summer. I'd like to have more images to represent our contributors when it's generated. If you haven't seen the current one, you can enjoy it here: https://www.youtube.com/watch?v=XC1g8FmFcUU I may also create a visualization of iset.mm, which continues to grow. What's odd about iset.mm is that many of the proofs predate the presence of the iset.mm file. But if I do iset.mm, I don't see what else I would do. Suggestions welcome. --- David A. Wheeler === Contributor images we have (are you missing?) === Alan Sare Alexander van der Vekens David A. Wheeler Drahflow Jim Kingdon Mario Carneiro Norman Megill Paul Chapman Raph Levien Scott Fenton Stefan O'Rear Wolf Lammen -- 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/E1jNIlv-0006He-FW%40rmmprod07.runbox.
