Proof Assistants

« first day (75 days earlier) ← previous day next day → last day (1056 days later) »

Guy Coder

17:48

proofassistants.stackexchange.com is showing a page but not yet ready.

proofassistants.meta.stackexchange.com needs an active login so just sends you back to the regular site to join.

Feeds

Welcome to chat for: Proof Assistants

This is a general discussion room, but please feel free to create more subject-specific rooms (a single room with every possible discussion isn't very helpful)

For playing with chat features:

Sandbox

Where you can play with chat features (except flagging) and ch...

For feedback:

Chat feedback

Problems with chat? Let us know...

and remember; please read the FAQ ;p)

Henry WH Hack v3.0b

Hello and Welcome to the Proof Assistants Stack Exchange website/chatroom!

105

Q: The Real Essential Questions of Every Beta

The blog post Seven Essential Meta Questions of Every Beta gets linked to prominently from every beta's meta. However, this blog post is somewhat inaccurate and misdirects new users. In almost every beta, the site design question, for example, gets asked and undergoes a fair bit of discussion eve...

proofassistants.stackexchange.com/help

proofassistants.stackexchange.com/tour

Congrats Andrej Bauer! Your proposal made it into private beta now let's see if it will get out! :)

Congratulations everyone!

@GuyCoder We have a new chatroom.

General discussion for proofassistants.stackexchange.com

You will be happy to know I am screen recording the site. (Memories that will last forever.)

I am so happy! :)

Guy Coder

18:10

@HenryWHHackv3.0b I am screen recording the site Thanks I was just judiciously taking screen shots.

StackExchange sites are not friendly to the WayBackMachine

Henry WH Hack v3.0b

I am filming two sites at the same time. (So I am switching between them.)

@GuyCoder It is but since we are in private beta it is close off to outside sources.

@Slate Is this your first private beta?

Slate

Well, I've participated in a few over the years. It's the first time I'm checking in on one as staff, though.

I won't be here the whole time, mostly covering to making sure things go as smoothly as can be expected on the first day ;)

Henry WH Hack v3.0b

@Slate That was Robert Cartaino's job.

Slate

Interesting! I seem to remember that.

Henry WH Hack v3.0b

18:26

@Slate I think you should handle this meta question:

Q: Administrators and Permissions

Are there administrators? If so, who are they? If not, how will they be elected? Will the permissions and roles be updated?

discussion support administrators permissions

HWHH out!

Guy Coder

@HenryWHHackv3.0b Try a regular Q&A page (one not in a private beta). Did it work as expected?

Henry WH Hack v3.0b

Let me try.

Too late it already has an answer.

@GuyCoder Works for me:

web.archive.org/web/20220207140735/https://…

A recent archive of IoT.SE. (I manually used the save link.)

Slate

18:51

Hah! Thanks for the ping.

Guy Coder

@HenryWHHackv3.0b I was meaning to try and save a page with an actual question and answer.

user4539917

Proof Assistants.SE now open in Beta.

Henry WH Hack v3.0b

user4539917

🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉

Guy Coder

Thanks. I tried it again and realized that a prompt it was giving me to save the error pages was new. When I saw it a few weeks ago thought it was notifying me of an error and so abandoned the save.

Here is where it worked.

web.archive.org/web/20200920013943/https://stackoverflow.com/…

user4539917

18:57

🎊🎊🎊🎊🎊🎊🎊🎊🎊🎊🎊🎊🎊🎊

Henry WH Hack v3.0b

@user4539917 Not yet. We are in private beta. (AKA close beta.)

user4539917

Guy Coder

19:56

@HenryWHHackv3.0b (AKA close beta.) I remember seeing a meta post from many years ago noting that they changed the private closed beta to public closed beta meaning you received an invite if you committed but if you used the URL without committing you could still use the site but just didn't get the beta badge. Not that I need answer to this but I am sure it will come up if it is not truly closed.

Fmbalbuena

20:43

Hello

Slate

21:42

Hello!

For transparency's sake, I've gone through the Suggested Edits queue and approved a few tag wikis. They could still use some love imo, though they are almost certainly second to things like main Q&A and meta.

2 hours later…

Guy Coder

23:20

@Slate approved a few tag wikis In my view tags are what will eventually define the site. Earning Research Assistant is not easy

Slate

Oh, yes, they are very important

Just takes maybe 100-200 questions for a good complement of tags to really take shape, in my experience