It's always nice when you want to make a comment and it's already the top one. Happens a lot on HN. Indeed, some of these are possible to falsify with experime

It's always nice when you want to make a comment and it's already the top one. Happens a lot on HN. Indeed, some of these are possible to falsify with experiments. For example: > 14. A good type system is worth its weight plus some. See e.g. what Dan Luu has written on this subject.