re OpenAI: reaching out internally to confirm this is the right file or get you a better one.
Thanks! -stan On Sat, Apr 11, 2020 at 6:14 PM David A. Wheeler <[email protected]> wrote: > 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 > . > -- 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/CACZd_0w%3DGaQ8GnTLD0AF4SQhvU451QvDoXGhgEdRtpm1ogrRRQ%40mail.gmail.com.
