Timeline for Should Kevin Buzzard's Lean question be left in its original state?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 19, 2018 at 2:33 | comment | added | user44143 | @KevinBuzzard, the rules and guidelines are clear enough....but the norms are unclear, and which rules and guidelines the community wants to uphold is unclear. I find that this unclarity is also unfriendly and unwise. But many active users prefer not to codify new guidelines, and prefer to disregard things already codified. | |
| Oct 18, 2018 at 15:49 | answer | added | Todd TrimbleMod | timeline score: 1 | |
| Sep 25, 2018 at 11:51 | comment | added | LSpice | I'm sure that Kevin Buzzard is proud to own his question, but it seems like a bad precedent to have people think that MeMO posts can or should name individual posters. Especially since it's currently a hot meta post, how about removing Kevin's name from the title (not necessarily from the post itself)? | |
| Sep 23, 2018 at 17:49 | history | edited | YCor | CC BY-SA 4.0 |
completed to remove ambiguity "it was OK" does not refer to Poloni's removal.
|
| Sep 23, 2018 at 2:23 | comment | added | David Roberts Mod | For people who want to see it, here's Kevin's blog post: xenaproject.wordpress.com/2018/09/22/… (EDIT: which I see now he gave in a comment to Frederico's answer) | |
| Sep 22, 2018 at 18:39 | comment | added | Dima Pasechnik | I feel that the removal of the section is too drastic, but changes to it are in order, see my answer... | |
| Sep 22, 2018 at 17:00 | answer | added | Dima Pasechnik | timeline score: 4 | |
| Sep 22, 2018 at 16:05 | comment | added | Federico Poloni | Could one of the users who disagree with me please write something more detailed than "I thought it was OK"? | |
| Sep 22, 2018 at 13:26 | comment | added | Todd Trimble Mod | Federico thought that a lot of the discussion looked like advertising for Lean. That's not how it struck me, but I see now that Federico has posted an answer. | |
| Sep 22, 2018 at 13:25 | answer | added | Federico Poloni | timeline score: 19 | |
| Sep 22, 2018 at 12:47 | comment | added | Kevin Buzzard | I'm happy either way. I used to be very active here and I had an intuitive feeling for what I thought a good / bad question looked like. I no longer have that feeling and the community has changed as well. As anyone who looks through the edit history will see, after all the background stuff was deleted I wrote a blog post saying roughly the same thing, and added a link from the MO post to the blog post. Now the original post is back and we have a data point of someone saying they found it valuable. Ultimately I would like to abide by the rules and guidelines, but I no longer know them. | |
| Sep 22, 2018 at 12:14 | history | asked | Neil Strickland | CC BY-SA 4.0 |