---
id: "action-adopt-strict-compilers"
type: "action-item"
source_timestamps: ["00:07:32", "00:07:48"]
tags: ["engineering-practices", "code-quality"]
related: ["concept-tool-agent-coevolution", "entity-rust"]
speakers: ["Nate B. Jones"]
sources: ["s20-50x-faster"]
sourceVaultSlug: "s20-50x-faster"
originDay: 20
---
# Adopt Strict Compilers for AI Code

## Action

Shift AI code generation tasks to strictly compiled languages like [[entity-rust]] or Go.

## Outcome

Leverages the compiler as a zero-cost verification engine, resulting in safer, more reliable agent-generated code.

## Detail

When building systems that rely on agents to write code:

1. **Move away from dynamically typed languages** like Python or JavaScript for agent-authored production code.
2. **Adopt systems languages** like Rust, where the strict compiler acts as a natural boundary and verification step.
3. **Trust the compiler's output as a partial review**: if the agent's code compiles, it is highly likely to be structurally correct, reducing the need for human review.
4. **Leverage type systems** to encode invariants that agents would otherwise need to reason about probabilistically.

## Underlying Mechanism

This works because of [[concept-tool-agent-coevolution]] — the strictness that humans found painful is essentially free for agents, while the safety guarantees compound as agent-authored code volumes grow (see [[claim-faang-ai-code]] and [[claim-claude-self-coding]]).

## Related

- [[concept-tool-agent-coevolution]]
- [[entity-rust]]
- [[entity-lee-robinson]]
- [[framework-web-rebuild-layers]]