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.

Blockchain developer, scraping and smart contracts.

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

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.

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.

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