Terry Tao's blog has entries on nonstandard analysis, which he uses in various ways as a working mathematician.

https://terrytao.wordpress.com/tag/nonstandard-analysis/

https://terrytao.wordpress.com/2010/11/27/nonstandard-analys...