🏅 Top traders

Sorry that I suck everyone. I was gonna read the details and make a nuanced decision, but I keep procrastinating, so I'm just gonna go with the more obvious answer of YES.

@Quinn I think this can resolve

@Quinn also bump resolve please 🙏

@Quinn Can you please resolve this?

@Quinn bumpity bump

Can this resolve yet, or are there still disagreements about how it should be resolved?

sorry, this is a duplicate https://www.lesswrong.com/posts/KTEciTeFwL2tTujZk/lw-petrov-day-2022-monday-9-26

@Quinn meant to link to this https://manifold.markets/Multicore/will-less-wrongs-big-red-button-be

@Quinn I think the resolution conditions are actually somewhat different here - "button is pushed" is different from "button is used to take down the site". Per https://www.lesswrong.com/posts/KTEciTeFwL2tTujZk/lw-petrov-day-2022-monday-9-26?commentId=HwrsGiZXKoLwG8M6z#comments , this market should already resolve YES, while it's unclear if the other one should.