Google Research: NSan: a floating-point numerical sanitizer

Corresponding tweet for this thread:

Share link for this tweet.