A mathematical formalization of dimensional analysis (2012) - https://news.ycombinator.com/item?id=37517118 - Sept 2023 (54 comments)
A mathematical formalisation of dimensional analysis - https://news.ycombinator.com/item?id=5018357 - Jan 2013 (19 comments)