now that models are being refined on actual compiler output, this is correct.

Strong static type systems will end up greatly increasing the correctness of AI-assisted code. The more expressive the type system the more to be gained.

Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions. Starknet grantee.

Hilariously the same guardrails we use for junior devs get more useful when adding Ai into the mix

Startup artist seeking inspiration.  Champion of /bcard

Yes! More information for the model. Would be curious to see how they perform on languages like agda, coq and lean.