Timeline for New Stack Exchange site for proof assistants and automatic theorem provers
Current License: CC BY-SA 4.0
17 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Feb 9, 2022 at 7:31 | comment | added | Martin Sleziak | A similar announcement on Mathematics Meta: New stack exchange site: for interactive theorem provers and automatic theorem provers | |
Jan 26, 2022 at 17:51 | comment | added | Nike Dattani | ^ There's bigger things to worry about than that. | |
Jan 26, 2022 at 16:58 | comment | added | Federico Poloni | Most posts here on Meta similar to yours either have a verb or specify clearly at which stage their site is with the word "proposal": meta.mathoverflow.net/questions/1414, meta.mathoverflow.net/questions/2430, meta.mathoverflow.net/questions/1512, meta.mathoverflow.net/questions/1648, meta.mathoverflow.net/questions/1426 (exception meta.mathoverflow.net/questions/4321, currently at -4 score). | |
Jan 24, 2022 at 22:52 | comment | added | Nike Dattani | @FedericoPoloni several highly experienced Stack Exchange users have seen the title and even made edits that improved it, but none (other than you) have added an additional verb to it like you suggest. The title is only to catch people's attention while not being deceiving, and the body of the post is where all the information lives. The first sentence of the post "Stack Exchange will soon create the Private Beta site for Proof Assistants and Automatic Theorem Provers" contains the "verb" that you seem to desire. | |
Jan 24, 2022 at 22:44 | comment | added | Federico Poloni | @NikeDattani Sorry, I misread (and saw your comment only now, there was no notification). I still suggest that the title should contain a verb to be more informative, though: what is happening to this new SE site? What is the news here? I'd suggest to add "...to open private beta", or "...will open private beta" if you agree. | |
Jan 20, 2022 at 21:56 | history | edited | Glorfindel | CC BY-SA 4.0 |
added 1 character in body; edited title
|
Jan 19, 2022 at 5:13 | comment | added | Nike Dattani | @DavidRoberts I hadn't noticed that the title had been edited by Federico Poloni to mention the Beta in it. I had never put the word "Beta" in the title, but unfortunately it seem that we don't get notifications when people edit our posts on Meta. | |
Jan 19, 2022 at 5:12 | history | edited | Nike Dattani | CC BY-SA 4.0 |
edited title
|
Jan 19, 2022 at 4:20 | comment | added | David Roberts Mod | I think the title needs updating, then. It implies the beta's already open, by my reading. | |
Jan 19, 2022 at 1:09 | comment | added | Nike Dattani | @DavidRoberts "Stack Exchange will soon create the Private Beta site for Proof Assistants and Automatic Theorem Provers" -- it's been 2 days since I said that and the situation is still the same! | |
Jan 19, 2022 at 1:07 | comment | added | David Roberts Mod | Is the private beta actually open? | |
Jan 17, 2022 at 22:08 | history | edited | Federico Poloni | CC BY-SA 4.0 |
title: removed exclamation marks, put correct name, specified it's still in private beta
|
Jan 16, 2022 at 9:30 | history | became hot meta post | |||
Jan 16, 2022 at 4:37 | comment | added | Nike Dattani | @MartinSleziak I think it's too late for them to get that badge, because they'd have to have followed the proposal at the "definition stage" to get that badge, but now that stage is over and we're in the "commitment stage". | |
Jan 16, 2022 at 4:36 | comment | added | Martin Sleziak | There is also the Precognitive badge. But I'd hope that badges are not the main motivation why people joint the site. | |
Jan 16, 2022 at 3:51 | history | edited | Martin Sleziak |
edited tags
|
|
Jan 16, 2022 at 2:24 | history | asked | Nike Dattani | CC BY-SA 4.0 |