mrweiden

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.

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