7

Proposal: Proof Assistants

I may be wrong but it is worth checking.

If you have a rep of 51 or 151 in the list below and have an account with 200+ rep on another site then you may have done the commit process incorrectly.

According to this answer and this answer

Creating an account on Stack Exchange does not create accounts for all Stack Exchange sites. If you are not a member of the Area 51 site then you need to join first (which I take to mean Sign up) then Log in.

enter image description here


How I check that my correct reputation is known.

  1. Click on my icon enter image description here in the upper right.
  2. Click on the Profile tab enter image description here
  3. Look at my communities to see that my accounts are known.

enter image description here

  1. Check the rep for my entry in the list.

enter image description here


Example. Nothing personal intended.

enter image description here


Another way to check is to look at the e-mail addresses registered. As I am automatically logged in when opening these sites I will skip the login steps.

A. Identify the e-mail address for an account you use the most.

  1. Go to the site, e.g. StackOverflow.
  2. Click on your icon in the upper right.
  3. Click on Edit profile in the upper right.
  4. Click on Edit email settings in the left menu strip
  5. View your Email Address

B. Identify the e-mail address for your Area 51 account.

  1. Go to Area 51 site, https://area51.stackexchange.com/
  2. Click on your icon in the upper right.
  3. Click on the info tab
  4. View email for your e-mail address

Both e-mail address should be same. If not then sign up again to Area 51 with the correct e-mail address.

I read in a post somewhere but can't recall where, that the code for Area 51 is very old and not maintained as well as the other sites. Thus the reason the steps are different for Area 51.


The following is a comment but since many don't read comments and this post is being used as an exhibit, think trial or evidence, I am moving the comment to here so that it is read. I can also add the text I had to delete to meet the comment character count limit.

I know the info (in this post) is not perfect and is based on the work of others (thank you), however what seems to make this one work for the users to diagnosis the problem is that it gives them a concrete way to verify and shows them a real example of wrong and right. It does not try to elaborate on how to sign up and log in as there are way to many variables that just get to confusing for new users so avoids that taking the road that users are actually smart.

If others have ideas on how to make this better just drop a suggestion or post your own version for your site and let me know as I might pick up on your ideas.

10
  • I had abandoned my account. The platform took some time to pick up the total rep. Now it shows the old rep.
    – Cheery
    Nov 24 at 13:15
  • 1
    @Cheery Thanks. Now it shows the old rep Is it correct that you mean your rep is now calculated based on your abandoned account and as such is higher because of that?
    – Guy Coder
    Nov 24 at 13:36
  • It shows total rep (22k) and rep on area51 (151).
    – Cheery
    Nov 24 at 15:29
  • I know the info is not perfect and is based on the work of others, however what seems to make this one work for the users to diagnosis the problem is that it gives them a concrete way to verify and shows them a real example of wrong and right. It does not try to elaborate on how to sign up and log in as there are way to many variables that just get to confusing for new users so avoids that taking the road that users are actually smart. If others have ideas on how to make this better just drop a suggestion or post your own version for your site and let me know as I might pick up on your ideas.
    – Guy Coder
    Nov 25 at 11:39
  • I apparently joined Area51 early, before I had much site rep anywhere, so I seem to be stuck at 151 rep. Oh well. 2 days ago
  • @AlexNelson Thanks. You might be an example of those that fall into this category. It seems that the system does a rep recalc automatically about once every 24 hours for a person and that the recalc has not be done for you. If so, tomorrow you might find your rep has changed. If this is the case please let me know so that I can update the post with new information based on evidence.
    – Guy Coder
    2 days ago
  • @AlexNelson I just found your entry in the list. It shows you have 5K total rep.
    – Guy Coder
    2 days ago
  • @GuyCoder Nope, still stuck at 151. I tried editing my profile on tex.se and having it propagate to all my public accounts; the changes were picked up elsewhere, but not here (on Area 51). I suspect my Area 51 account is still not properly linked (perhaps it's not public, somehow?). 23 hours ago
  • @AlexNelson Thanks. I am starting to think that I will have to understand the calculations for the different rep values for each user appearing in the commit list. I know one is for the Area 51 rep and one is for the rep on account combined (if all on the e-mail address) but beyond that I am still trying to understand this.
    – Guy Coder
    19 hours ago

You must log in to answer this question.

Browse other questions tagged .