The exercise described here is one application of Focusing, for finding bugs. At CFAR workshops we do something like this in the class on Hamming problems.
The CFAR class on Focusing is more similar to Conor’s post and puts a lot more emphasis on searching for a handle that fits.
Good noticing.
The exercise described here is one application of Focusing, for finding bugs. At CFAR workshops we do something like this in the class on Hamming problems.
The CFAR class on Focusing is more similar to Conor’s post and puts a lot more emphasis on searching for a handle that fits.