« first day (2600 days earlier)      last day (830 days later) » 

Martin Sleziak
Martin Sleziak
4:23 AM
Looking at the post linked by @hardmath, I suppose that also the links containing planetmath.org/sites are broken. But in that case, I don't see any easy way to fix them. (Maybe some of them might be available in Wayback machine?) — Martin Sleziak yesterday
@MartinSleziak: Since there are a couple of dozen of those and will require Wayback research, I've created a spreadsheet to keep track of fixes if possible. Per Glorfindel's approach, I'll bump no more than three a day (and be a bit churlish about posts that seem not worth the effort). — hardmath 5 hours ago
Sorry, I meant to ask about cases like in your comment here where converting http://planetmath.org/encyclopedia/Rotate.html to https://planetmath.org/encyclopedia/Rotate doesn't work and the correct answer is instead https://planetmath.org/euclideantransformation. It should be easy to check for false-positives by matching with the entries as listed out in PlanetMath's index page, but I expect the fix requires a human..? — Calvin Khor yesterday
Thanks. Three a day is quite conservative for a large volume site like Math.SE, but if it works across a spectrum of StackExchange sites, I'm happy with that. — hardmath 12 hours ago
 
 
4 hours later…
Martin Sleziak
Martin Sleziak
8:37 AM
@FrançoisG.Dorais I have noticed your name among the users following the Proof Assistants but it was as an unregistered account.
If I understand this correctly, that means that you would have an account separate from your MO account and other Stack Exchange accounts.
Maybe this was done by mistake. Or maybe you want to separate this from your activity on other sites on purpose.
In any case, I decided to alert you to this - in case you want to have the account on the new site associated with the MO account, there's still time to do that.
Probably it is not even that important. (You can probably request merging the two accounts later.)
10
Q: If you are showing a rep of 51 or 151 you may have committed incorrectly

Guy CoderProposal: Proof Assistants Basically there are thee kinds of users who will be reading this. A user new to StackExchange; you do not have an account on any StackExchange site. If so then no need to read further. You have an account on one or more StackExchange sites but your reputation is not 2...

science commitment reputation
I did not want to post this in the MO room or in the Proof Assistants room, so that I do not attract too much attention to this.
I have sent you an invite into this chatroom - so I hope you'll receive some kind of notification.
 
 
6 hours later…
Martin Sleziak
Martin Sleziak
2:50 PM
9
A: Old Links to PlanetMath have Broken

GlorfindelBecause the ideal tool for a job like this, the mass-replacement tool, which can repair posts without bumping them, doesn't work in this case, I have fired up a script (a derivation of the Broken Image Repairer) to repair these links on half a dozen websites across the network, including Mathemat...

> I just did a dry run of the script and here is a list of URLs it won't be able to replace; these will need manual action.
> Here is another list with replacements it will make (scroll to the right to see the actual replacement links). You'll notice that it will update other links, e.g. HTTP to HTTPS. (I see some replacements are not necessary, e.g. for books.google.com. It's good to see the results upfront...)
 
 
8 hours later…
François G. Dorais
François G. Dorais
10:41 PM
Thanks for the notification Martin. I've reproduced the error but I don't know an easy way to fix it. It doesn't matter much anyway, so it's probably easiest to let it be.
By the way: Happy New Year!
 

« first day (2600 days earlier)      last day (830 days later) »