LangLib: Esoteric Programming Languages, Formally | Hacker News Reader