mrweiden

4 ms·

1. 1.▲
   by mrweiden 2y ago

   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.
2. 2.▲
   by mrweiden 2y ago

   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, notab
3. 3.▲
   by mrweiden 5y ago

   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 Ful