No, it's a *GIF*, in the file format sense. Se for yourself: https://about.fb.co... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

		tambourine_man 4 days ago \| parent \| context \| favorite \| on: Orion, our first true augmented reality glasses No, it's a GIF, in the file format sense. Se for yourself: https://about.fb.com/wp-content/uploads/2024/09/01_Why-AR-Gl... They have since optimized it and it now weights 23.5MB. Yey. I just converted it to MP4 and it's 1.7MB. Hire me Meta, I can make your videos load 10X faster with a single ffmpeg command.

thehappypm 4 days ago [–]

Is mp4 a drop-in replacement in practice for gif?

tambourine_man 4 days ago | [–]

In most cases, yes. But even when it's not, I'd be hard pressed to justify 10X the size while having worse fps, colors, battery life, etc.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact