Im excited for a version of ChatGPT thats specially optimised for Software Engineering. I want to give it the ability to use compilers, verification systems to produce correct programs. Is this too much wishful thinking? Probably.