From the original post > It’s not enough to rely on bug-finding tools

From the Miri github: > Miri is an Undefined Behavior detection tool for Rust.

There is no contradiction. The fact that UB-finding tools alone are not sufficient doesn't mean they aren't useful even with a safe(r) language.

In other words, from "safer languages are necessary" it does not follow that "safer languages are sufficient".

Darpa is already ahead of you all with the hedging:

> The preferred approach is to use “safe” programming languages

“Safe”. Terms and conditions may apply.

Ref to prior art: https://en.wikipedia.org/wiki/Meta_(academic_company)

One anecdote that I heard from the team developing it: turned out that researchers more readily sourced material from their social networks, notably twitter at the time. Meta's search functionality didn't receive enough traffic and eventually was shut down.

Perhaps LLMs will make the search capability more compelling. I guess we'll see.

Cruise - Machine Learning Infrastructure Org | REMOTE Eligible

Work at the intersection of infra, product, and ML!

* Senior Full-stack software engineer - https://www.getcruise.com/careers/jobs/3301825 * Staff Full-stack software engineer - https://www.getcruise.com/careers/jobs/3323402

For more roles, check out https://www.getcruise.com/careers