A mathematical formalization of dimensional analysis by from Hacker News on 2023-09-15 01:34 (#6ES0R) Comments