Shriram KrishnamurthiNeeded to write some API-intensive code. GPT did a great job of a Python prototype. But I need code in @racketlang. It has confidently wasted a mind-boggling amount of my time with Racket that is *just* off, and I keep fooling myself with "almost there" going down rabbit holes.
Craig Stuntz@shriramk @racketlang Maybe try Copilot? I haven't tried it with Racket, but I've been fairly impressed with how it works with Lean 4, which ChatGPT fails at (due, probably, to it's being more recent than the GPT training set)
@CraigStuntz @racketlang I finally figured out one set of API calls, don't want to figure out a whole new one (-:. I did get help on Twitter for a better prompt that seems to have fixed the problem.