Chaitanya(@chaaai):Tokens alone are not going to cut it, software verification is very much a research problem just like AI safety. We need better tools, there is a reason why Rust is overtaking Python in a lot of cases. Agents make choices too and they will pick the best tools and techniques to build verifiably correct software.

Chaitanya

@chaaai

Founder @workersio (YC F26) - All things software reliability

加入 June 2021

1.1K 正在關注 13.9K 粉絲

Chaitanya@chaaai

2026.10.03 23:48

Tokens alone are not going to cut it, software verification is very much a research problem just like AI safety. We need better tools, there is a reason why Rust is overtaking Python in a lot of cases. Agents make choices too and they will pick the best tools and techniques to build verifiably correct software.