pycher Python Eucher An thought experiment in using the GitHub interface as an "IDE" for getting initial code generated from ChatGPT-4.