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.

Have definitely seen this in practice. Claude sucks at doing Makefiles because they're a big ball of unstructured crud but it's very good at Zig build scripts.

Blockchain developer, scraping and smart contracts.

Yes, I had it generate a just file and it’s terrible lol