This is a fascinating patch. The open source community came around and fixed a bug in a binary driver. I would love to know the story of how this was found and

This is a fascinating patch. The open source community came around and fixed a bug in a binary driver. I would love to know the story of how this was found and how it was derived. [EDIT] I found the answer at the bottom of the README: https://habr.com/post/262563/ https://habr.com/post/262563/