Live data from Hacker News

All the giant companies used ffmpeg (2020)

twitter.com

161–170 of 202 posts

Re: All the giant companies used ffmpeg (2020)

#162
post #104
post #72

Earlier quoted context omitted.

Yes. On Windows actually :) Debian is not the best maintained distro.

Debian tried to switch from ffmpeg to libav. It didn't turn out well. But it generally gives me no trouble.

Could you give more details on how it did not turn out well?

Re: All the giant companies used ffmpeg (2020)

#164
post #117

Earlier 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

The model checking would not check the output but the trace of operations.

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)

#165
post #115

Earlier 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.

It sometimes creeps me out to consider how much information may one day be extracted from artifacts we create today.

Re: All the giant companies used ffmpeg (2020)

#167
post #146

Earlier 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?

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. ;)

Re: All the giant companies used ffmpeg (2020)

#168
post #87

The 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".

Yeah, you have the average programmer who spends so much time worrying about what FE framework to use, then you have the programmers at the level of the two you mention who just put out so many working projects. All the cargo culting most devs do is just waste.

Re: All the giant companies used ffmpeg (2020)

#169
post #146

Earlier 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. ;)

Any particular reason they couldn't use one of these laser vinyl turntables?

Re: All the giant companies used ffmpeg (2020)

#170
post #5

The creator of ffmpeg, Fabrice Bellard, has an impressively long list of projects. Very talented developer! https://bellard.org/

Some speculate that Fabrice Bellard is actually as many as ten different people.

Bellard spelled backwards is Bourbaki.
Post reply on HN