To decode H265? I don't know why this is such a ludicrous proposition to you?
Less jokingly, it was a side output of his bigger project to automatically parse the H265 spec using a tool called O-Meta. This made it surprisingly easy to write a minimal frontend to produce an (unoptimised but working) decoder in C, Javascript, etc. The actual product became https://www.broadcom.com/products/embedded-and-networking-pr... : a codec test suite. Incredibly valuable for those companies making hardware decoders. Similar in structure to an input "fuzzer". Found a number of bugs in the official reference decoder's C code.
Originally sold as https://web.archive.org/web/20190310224609/http://www.argond...