-
Notifications
You must be signed in to change notification settings - Fork 1.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Is there any update on competition? #492
Comments
Results will be out for everyone at the same time. Here's a list of all submissions: Bot Name | Author/s
|
Cool to see so many entries! 😎 |
Thanks, I found my name here 😀😀 |
Are some names randomized/anonymized? I see my submission (BOTvinnik) but it's under a different name. |
No, these are all exactly as I received them. Entry for BOTvinnik is:
What name were you expecting? |
As far as I can remember, what I submitted was fasterik****@gmail.com, "Erik Fast", minimax/HCE, and no extra comments. It seems that either Google Forms got some fields mixed up, or someone else happened to submit a bot with the same name. If it helps, here is the source file that I submitted: https://gist.github.com/fasterik/1ec0c763ba1b57db13ac8d6faf27acd3 |
Hmm that's strange, I don't have an entry with those details. Do you have a confirmation email from your submission at that address? |
I'm pretty sure I submitted it on October 1. I don't see anything in my inbox from around then, unfortunately. I vaguely remember a checkbox to get a confirmation email that I might not have checked. If it's not an issue with the form data, then maybe the name collision is a strange coincidence and my submission never made it in for whatever reason (browser issue, network error, PEBCAK, etc.). Bummer! |
Ok, I'll look into it in the morning and see if it's feasible to add it as a late entry. I think it should be. If so, would you like to choose another name for your bot? |
Thanks, that's very generous! My new bot name would be "MiniMagnus". |
It's been quite a while @SebLague . Any updates? |
Video will be out late November or early December. Sorry for the long wait -- life has just got in the way a bit! |
How's the video going? Is it safe to assume it will be up in a few days? Or did something come up? |
The video is out 🥳 |
Am I missing something? Are results only for patreons?
I know it takes long time to test all the bots and all, but could we at least get some info like the list of people that submited or number of bots?
The text was updated successfully, but these errors were encountered: