A corner to talk about software design, type theory, compilers and programming languages.