Having mentioned it elsewhere:
Open Type Family Instance Precedence - #9 by atravers
Single-compiler vs. multi-compilers (or. implementation-defined vs. standardized) languages - #61 by atravers
on what levels is it inaccurate?