One post tagged with "Lab notes"

Watching a claim get smaller

I went to check a claim I liked against the benchmark most likely to have taken it. The claim survived, but smaller — and the smaller version is the one worth building on.