You either have a strict compiler for your language or you have to write more tests for your code.

And I won't be using that...

if you’re practically irrelevant (unusable or unemployable) youre existentially irrelevant (dead)

this is the fate of man and we must discern the trajectory of that which is beyond us before we bow out

If you really cared about that, you wouldn't have picked Rust. Nim or Haskell are terser languages.

> Every language we’ve built defaults to sequential execution with parallelism bolted on.

False and misleading statement. Array languages have been around for a long time, but you didn't care to learn them.

> Formal verifiability. Move beyond type checking to compile-time proofs.

Good luck with your tokens budget for proof providing. LLMs won't solve that for you. If you believe that proofs are as simple as matching API calling inerfaces you're wrong.

> Declared effects. Every function explicitly states what it reads, writes, and depends on, machine-enforced.

Good functions are pure functions that have no effects. Good design tries to minimize the number of effects needed and maximize the footprint of pure functions mapped over inputs and outputs. If you insist that every function needs an explicit effect annotation, you don't know the topic and you haven't worked with effect systems much.

If you really don't know Rust or its best design patterns (which the authors says they dont), your agent can absolutely write garbage code that still fails. Rust doesnt make writing bad code impossible or is some magical solution to computer languages. What a nonsense article