Hacker News Reader

I don't know much about codecs, but I just did a screen recording and checked it out with VLC: H264 - MPEG-4 AVC (part 10) (avc1)

What software did you use to make it?

QuickTime does screen recording. This is my default assumption when someone makes a screen recording on a Mac.