In the final example where he switches to int32 for Go (after "Let's make it use int32 consistently and try again"), he runs gopherjs twice instead of running go and gopherjs. I hope that's a typo.
The reasoning seems correct, but it'd be nice to have the benchmarks corrected to verify.