Show HN: A collection of resources about supercompilation