I would be great if it displayed somewhere where the app thinks I am. Because all of the suggested places are in no way reachable in the time it claims.
This is mentioned in the comments on youtube as well. The reply from author is "That's because there was a half-second near the end in my driveway where the thinning of my hair was much more visible than I was comfortable with, so I edited that part out."
Identity: there exists one unique element e such that for any a it holds that e⋆a = a⋆e = a. This e is the same no matter what a you pick.
Invertibility: given any a, there is b such that a⋆b = b⋆a = e. For two different a's you get two different b's.
As example let G be a set of all strings and the operation is appending. There is element e == "". For any string a it holds that if you append empty string to any side, you get the original string back. However there is no inverse. You can not append two string to form an empty string. Apparently, strings with appending do not form a group.
Group example: let G be a set of all integers and the operation is addition. Then e is 0, as for all a it holds that a + 0 = 0 + a = a, and for each a you can find -a such that a + (-a) = (-a) + a = 0.
I had serious trouble with the demo, though. In order to figure out the switches at the top I had to dig in the code. Apparently when it displays off, it is actually on. A little color would help here.
I do not know how much manual labor it is, but there are some pull request with merge of vim patches, so it definitely is possible (or at least someone thinks it is worth their time).
In code example, the hexdump starts with B9 90 00 00 08, but in the disassembly is listed as 80 00 00 90. I don't think endianness can change 08 to 80.