tea.mathoverflow.net - Discussion Feed (Searching MO via the dumps) 2018-11-04T23:22:32-08:00 http://mathoverflow.tqft.net/ Lussumo Vanilla & Feed Publisher Akhil Mathew comments on "Searching MO via the dumps" (12635) http://mathoverflow.tqft.net/discussion/903/searching-mo-via-the-dumps/?Focus=12635#Comment_12635 2011-01-13T18:14:57-08:00 2018-11-04T23:22:32-08:00 Akhil Mathew http://mathoverflow.tqft.net/account/54/ Done. Thanks for the pointer: it does clean it up. Done. Thanks for the pointer: it does clean it up.

]]>
Anton Geraschenko comments on "Searching MO via the dumps" (12634) http://mathoverflow.tqft.net/discussion/903/searching-mo-via-the-dumps/?Focus=12634#Comment_12634 2011-01-13T15:44:59-08:00 2018-11-04T23:22:32-08:00 Anton Geraschenko http://mathoverflow.tqft.net/account/2/ Very nice. If you decode the HTML entities, it will make the output more readable because the tags will be interpreted as HTML rather than as text. Very nice. If you decode the HTML entities, it will make the output more readable because the tags will be interpreted as HTML rather than as text.

]]>
Akhil Mathew comments on "Searching MO via the dumps" (12633) http://mathoverflow.tqft.net/discussion/903/searching-mo-via-the-dumps/?Focus=12633#Comment_12633 2011-01-13T14:22:36-08:00 2018-11-04T23:22:32-08:00 Akhil Mathew http://mathoverflow.tqft.net/account/54/ Since a desire to do this has come up here on meta a few times before, I wrote a few short scripts to search through the database dumps and generate the answer/comment thread associated to it. So far ... Since a desire to do this has come up here on meta a few times before, I wrote a few short scripts to search through the database dumps and generate the answer/comment thread associated to it. So far I wrote three. One of them searches for comments with votes above a certain threshold (this is what I got for the threshold 40, for instance). Another searches for a given piece of text in MO (both posts and comments) and will display the associated threads. The last one lets you search for a given user and shows all threads in which he or she was involved.

If people find these are useful, I will be happy to improve or expand them. I should add the disclaimer that I am not a programmer and was just having fun, so they should not be taken too seriously.

]]>