[green_on_black]

Something something dimensional analysis is just a typechecker

[marcosdumay]

It's a form of type algebra. You can use it to check stuff, but you can use it to calculate stuff too.

(Just like types in programming languages.)

[HPsquared]

It turns out the universe is strongly typed.