Still waiting on Boz to respond: https://twitter.com/ID_AA_Carmack/status/1258610970349441024
[deleted]
All the giant companies used ffmpeg (2020)
161–170 of 202 posts
Re: All the giant companies used ffmpeg (2020)
#162Re: All the giant companies used ffmpeg (2020)
#163Re: All the giant companies used ffmpeg (2020)
#164Earlier quoted context omitted.
> It's just not humanly possible to get this right in every instance. That's what theorem provers and model driven development are for. I wish these tools could be used more. There should also be automated completeness checkers for requirements and specs - a lot of errors, incompatibilities and security issues are the result of ambiguous, contradictory, or incomplete specs and requirements.
There is no algorithm in the world for how to check whether a video codec is working correctly or not
It might prove that all bytes of the output were written to at least once, that dereferenced pointers point toward either the input or some other valid structure, and other properties like this.
Re: All the giant companies used ffmpeg (2020)
#165Earlier quoted context omitted.
What if you pass it a high-res photo of a vinyl record? There ought to be a transcoder plugin for that lying around somewhere!
Imagine someday we can take photos from slices of a brain and use it replay a person’s memories, and the program used for that would of course be ffmpeg.
Re: All the giant companies used ffmpeg (2020)
#166Re: All the giant companies used ffmpeg (2020)
#167Earlier quoted context omitted.
This can be done, and indeed was done for an ancient photograph of an ancient record that no longer existed. In that case I think they used some photoshop magic to ‘unspiral’ the groove and something else to decode the image. The result wasn’t super high quality.
I’m surprised this worked at all. Do you have a link?
I worked on an earlier version of this project where we actually had to play the albums but we also took high res (300 dpi tifs) of the individual records with the hope that we'd never have to physically touch them again. So I'll claim contributing to this effort. ;)
Re: All the giant companies used ffmpeg (2020)
#168The creator of ffmpeg, Fabrice Bellard, has an impressively long list of projects. Very talented developer! https://bellard.org/
Fabrice Bellard, one of a short list of programmers that could make John Carmack go "whoa".
Re: All the giant companies used ffmpeg (2020)
#169Earlier quoted context omitted.
I’m surprised this worked at all. Do you have a link?
Yes, NPR covered it ~15 years ago: https://www.npr.org/templates/story/story.php?storyId=118518... I worked on an earlier version of this project where we actually had to play the albums but we also took high res (300 dpi tifs) of the individual records with the hope that we'd never have to physically touch them again. So I'll claim contributing to this effort. ;)