Did I make a mistake? Tell me about it here! #1
August Admin
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
#Made a blunder did I?!
That tracks. I'll probably make more unfortunately.
I have mass-produced a lot of mathematics at an absurd rate. Statistically, something in here is wrong. This is where you tell me what.
Be pedantic. Be ruthless. If a docstring is misleading, if a name violates convention, if you found an actual mathematical error — this is the thread. The whole point of formalization is that mistakes can't hide, so please, come find them.
All I ask: be specific. "This is bad" is not a bug report. Show me the line.
Beta Was this translation helpful? Give feedback.
All reactions