I recently fixed a broken link to a PlanetMath page, by changing http://planetmath.org/encyclopedia/RotationalInvarianceOfCrossProduct.html to http://planetmath.org/RotationalInvarianceOfCrossProduct. Searching for "PlanetMath" gives 146 hits as of writing. "Planet Math" gives a further 19 hits. ...
http://
with https://
, if we're updating stuff. — Asaf Karagila ♦ 18 mins agoplanetmath.org/encyclopedia
, I got about 180 posts. You can get them by searching for url:"*planetmath.org/encyclopedia*". I have also posted some SEDE queries here: chat.stackexchange.com/transcript/19138/2022/1/13 — Martin Sleziak 32 secs agoThere exists, internally, a search-and-replace tool for rewriting links. It's very simple; if someone changes their entire URL scheme, it's not much help. But for stuff like this, where we can simply cut out one consistent part of each URL and drop in another... It works pretty well. If you need...
planetmath.org/encyclopedia/
with planetmath.org/
.
I have been unable to reach PlanetMath for a couple of days now. I get "This site can't be reached; planetmath.org took too long to respond" in my browswer. Has something happened to the site? If so, this is disturbing, because Mathematics StackExchange answers sometimes link to proofs in Plane...
Stack Exchange staff has a tool which can change a bunch of links without bumping the edited posts, see here: How to find and/or change a set of hyperlinks on a site? In the situation that I've seen it was simply a replacement of one string by another - for example, something like replacing all o...
It's just a simple Find & Replace tool which (AFAIK) doesn't support wildcards. In that case, that means the operation needs to be performed once for every individual PlanetMath page that is being linked to (because the .html needs to be removed). I'll wait for a staff member to confirm this, but...
During my reviewing of Suggested Edits, I have encountered several of them attempted by user @Glorfindel. Upon closer examination, all were performed by a robot written by him and all consisted of replacing inlined "http://" images (which are no longer displayed, being considered insecure) with "...
Just to give some background on this project: it's indeed something I'm doing on my own, independent of Stack Exchange. There are more independent 'volunteer' projects around the Stack Exchange network, e.g. Smoke Detector (which I'm also a member of) which automatically flags spam across the net...
« first day (2597 days earlier) ← previous day next day → last day (821 days later) »