Automated systems often use the Name_Date_Time.mp4 format. If "iamjoyxs" is a username for a home security app (like Ring or Nest), this would be a specific event clip recorded at 1:37 PM.

On February 12, 2020, many creators were active on Instagram or TikTok. If this was a "Story" or a "Live" stream, it may have been saved with this timestamp format (MM-DD-YYYY) by a third-party downloader.

Mobile devices often save screen recordings with the date and time included in the metadata. How to Retrieve Information