Different platforms tend to use different abbreviations. For example I tend to see "PM" more often on Facebook, and "DM" more often on X and Discord. Which will catch on for Manifold?
At the end of the year, I'll look around on the site and Discord server and see which is being used more.
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ81 | |
| 2 | Ṁ11 | |
| 3 | Ṁ7 | |
| 4 | Ṁ4 | |
| 5 | Ṁ3 |
@IsaacKing easy enough. Here are all comments dated after the Manifold git commit that introduced DMs, that match either regex:
(?<![A-Za-z\d])(?<!\d\s)pm(?![A-Za-z\d])
Or
(?<![A-Za-z\d])(?<!\d\s)dm(?![A-Za-z\d])
(case-insensitive) and also excluding any comments containing "discord" (also case-insensitive).
This is excluding instances of "DM" and "PM" that have alphanumeric characters immediately either side of them, and also excluding any that are preceded by a digit and a space (to exclude e.g. "6 pm").
There are 378 matches for DM and 261 matches for PM, and many of the latter are about prime ministers.
(There are two separate files in this gist, one for DM and one for PM, scroll down for the latter)
https://gist.github.com/chrisjbillington/891d722f8ea17f36a3061549c3d1f42e
Let me know if you want something less filtered to search through yourself, in case you suspect these filters might be too aggressive.