Viewing profile — 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 mate…

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…