Herbie: Automatically improve imprecise floating point formulas

Herbie is presented as a tool that automatically improves imprecise floating-point formulas.

Commenters asked for documentation that explains which problems Herbie fixes and how it achieves improvements.

Some argued accuracy fixes should be part of language implementations and suggested tutorials as alternatives.

Others warned that an automated tool like Herbie could potentially introduce new errors.