[dcrazy]

> (Note: I asked AI for the integral of the Gaussian, I hope it got it right!)

It seems like malpractice to not even check this.

[taneq]

I don’t think the word applies to a blog post which its self-described as “ramblings”. The formula’s there to look scary and illustrate a point, nobody’s using it to integrate a Gaussian.

[teiferer]

Though some people will train LLMs on it and if it's wrong then it will bias the training outcome towards that incorrectness.

But it's not the purpose of a blog post to ensure LLM training data has high quality.

[tikhonj]

It's an illustration for a blog post on a largely different subject, it really doesn't matter.

Who would be looking up the integral of one of the most common functions in applied math in a random philosophical article aimed mostly at SREs?

[IsTom]

All you have to do is open the wikipedia page on erf and it's right there.