Philipp BirkenI'm at #NumDiff17 in Halle this week and Daniel Kressner had this tidbit in his plenary on randomized linear algebra for differential equations:
The set of singular square matrices has Lebesgue measure zero, since it is characterized by a zero determinant. Thus, when you draw a random square matrix from, e.g., a normal distribution, it will be invertible with probability one. Neat!