Here is what is possible if you have some education about the last 50 years of research in Program Language semantics, and have a refined taste (influenced by proper mathematics):
The last third of the chat, when we switched back to mathematical concepts, contains a significant achievement, which I leave in the form “as it is” for now (without refinement and proper publishing). The whole thing is a nice (but a bit tough) read anyway, and this is why I’m publishing it “as is”.
A small AI-assisted breaktrough in the FP design
While the code is full of hallucinations and omissions, the “formal”, theoretical side is “just right”, because you cannot fake the mathematical rigor easily.
Yes, it is easy to steal these results without proper credit and attribution, but what is impossible to steal is how I have arrived at these results, by guiding the slop generator in exactly right direction
I hope Google will preserve everything verbatim, so I do not have to polish it for Github right now. I’ve copied some files anyway.
Have a nice day.