Synthesis is harder than analysis

8 points | by azhenley an hour ago

1 comments

  • dcrazy 14 minutes ago

    > (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.