Rike-Benjamin Schuppner

No Python 3.11 yet :(

We could also just emulate this with the existing quit button and make the tournament smart enough to interpret the result correctly. (With an additional confirmation on the CLI.)

It will be decided by public vote. (I agree it won’t happen often, but it could also be used to test-run the tournament more quickly.) > Am 16.09.2022 um 11:23...

Running into an error with pgloader pretty early (`ERROR mysql: 76 fell through ECASE expression.`).

Actually, I could just reproduce the same problem on my Linux at work. It is related to #778. The issue happens when the network players are slow to start. (See...

The possibilities are endless 

I got the idea from a tequila bottle. I’m innocent here :)

Maybe worth noting that current versions of Kubernetes (I think >= 1.25) will have problems running the ZTJH images for JupyterHub versions

The API promise was so far that all attributes on `Bot` are reset at each step (not quite true for the cached attributes like homezone but there is no good...

But freezing means that the weights can still change, I think this isn’t sufficient. And people reading the docs is also sci-fi. :)