@AsafKaragila I thought somebody's candidacy disappeared from the election page (I thought it was yours but wasn't sure). When I came back you were still there, so I wasn't sure what had happened.
@RobertFrost Von Neumann. After having declared to have withdrawn in the comments of the nomination, a few days had passed, they declared that again, and finally either themselves or by "external help" the nomination was removed.
Ok thanks. I was on smartphone at the time, it was the middle of the night and I saw some comment bout it being a shame somebody had been driven from the race, so I decided to come back later when I could see properly and it was gone
@AsafKaragila Any indication what it was about? Part of my concern is that I was active in the room before it happened, challenging candidates re attitudes towards psq's and new users, so I was hoping my actions hadn't reasonably contributed to his leaving.
@JyrkiLahtonen for all I know there was nothing overly specific. IIRC, there was a string of hostile comments on the nomination, though. Yet, I cannot see it anymore either.
Well, if he has kids, it is acceptable to make "dad jokes"
and one might argue that one's students are like one's children, so maybe all teachers / instructors / professors / whatever can be permitted to make "dad jokes"
@XanderHenderson and @amWhy: Law of Excluded Middle. Specifically, double negations. It's not constructively valid, in almost all the contexts of constructive mathematics.
@amWhy I hope not! There are still some days until the end of the election (which is challenging my perception of time. I could swear I read "election ends in 5 days" 3 days ago, yet the system insists in telling me that the election ends in 4 days).
I think when it is 5 days, it doesn't become 4 days until it drops a minute less than 5 days... so 5 days = x really means $5 \leq x \lt 6$, and 4 days means $4\leq x \lt 5.$ And it changes after UTC 20:00.
@AloizioMacedo All I know is that the election (voting) will end at 20:00 UTC Wednesday, August 8th. Right now that means that it will end 4 days + roughly 22 hours and 10 minutes from the time of this comment.
Based on the answers above, no.
