My goal with Hypothesis is to undermine this whole approach, by making “use PBT” the max-productivity path and setting as difficult a baseline as possible. So far it’s going pretty well!
Agree that PBT is the control group! Agree that PBT is the 80⁄20 for most people most of the time.
And if you combine Hypothesis with fractional proofs, you can 80⁄20 the difference between just Hypothesis, and proofs!
My goal with Hypothesis is to undermine this whole approach, by making “use PBT” the max-productivity path and setting as difficult a baseline as possible. So far it’s going pretty well!
Agree that PBT is the control group! Agree that PBT is the 80⁄20 for most people most of the time.
And if you combine Hypothesis with fractional proofs, you can 80⁄20 the difference between just Hypothesis, and proofs!