News for hackers. Stuff that matters.
Re:Math on GitHub: The Good, the Bad and the Ugly by nschloe on Monday May 23, 2022 @04:06AM (#31476419)
Author here.

I've been a managing editor for scientific journals for a number of years, and I can tell that -- while $ is still popular -- (almost) nobody uses $$ anymore. So I wouldn't say this is "where people already are".

There are no comments on this comment yet.