Crabbers never have to worry about crabs escaping when they are caught and thrown into a bucket. This is because if one crab starts climbing the walls of the bucket, the other crabs will pull the escaping crab back down.
~ Brad Pilon from, Crabs in a Bucket – Weight Training Over 50
slip:4ubawe6.
ɕ
The aspiration to create formally verified software has existed nearly as long as the field of computer science. For a long time it seemed hopelessly out of reach, but advances over the past decade in so-called “formal methods” have inched the approach closer to mainstream practice. Today formal software verification is being explored in well-funded academic collaborations, the U.S. military and technology companies such as Microsoft and Amazon.
~ Kevin Hartnett from, Hacker-Proof Code Confirmed | Quanta Magazine
slip:4uqufo1.
ɕ
$11. warming up w ur friends, PRICELESS
ɕ
*respect* your body. Only one you have!
ɕ
2 kilometers of QM. ~2.5 hours.
ɕ
Second tower…
ɕ
Halfway through the challenge…
ɕ
At the first tower… ɕ
and out over river…
ɕ
manhattan in about three hours…
ɕ