Amazing comment for two reasons: The idea of asking an LLM to generate code for a more rigorous but still high-level language is under-explored. This way you c

Amazing comment for two reasons: The idea of asking an LLM to generate code for a more rigorous but still high-level language is under-explored. This way you can experiment with AI - but at least have an intermediate code artifact that you can review and test before it gets published! Exposing the raw token stream is reckless. I had never heard of "spherical cow" science before but I love the imagery.