There have been many variations on these "Laws", which are really observations of existing practice and behavior.

For example, "Proebsting's Law", which asserts that compiler optimizations have yielded annual performance gains an order of magnitude worse than hardware performance gains and "Proebsting's Paradox", which is an unexpected result in a provably optimal gambling strategy.(See Wikipedia for details.) [adapted from proebsting.cs.arizona.edu/]