« first day (2920 days earlier)      last day (1438 days later) » 

Martin Sleziak
Martin Sleziak
4:14 AM
new-tag A new tag tag-systems was created by Trevor.
0
Q: Behavior of a simple tag system?

TrevorMy understanding is that tag systems of TS(2,2) (two symbols, deletion number 2) are supposed to be fairly well understood; they should all be decidable, etc. As near as I can tell, this is the simplest non-straightforward 2-tag system I've found: $$\{\textsf{a} \rightarrow \textsf{aab}, \texts...

computational-complexity computability tag-systems
 
 
9 hours later…
Martin Sleziak
Martin Sleziak
1:38 PM
new-tag meta I have created a new tag tag-watching on meta. I have also created some basic tag-excerpt and tag-wiki.
Since the tag favorites was renamed to bookmarks, it probably makes sense to split the tag into separate tags for favorite questions (bookmarks) and favorite tags (watched tags).
May 8 at 8:02, by Martin Sleziak
Although historically we have used favorites also for questions about favorite tags - should we separate those questions under a separated favorite-tags tag? https://math.meta.stackexchange.com/posts/4595/revisions https://math.meta.stackexchange.com/posts/4596/revisions
tag-watching is probably a better name than favorite-tags, since this is the current name of the feature. Moreover, it is consistent with the usage on Meta Stack Exchange.
19
Q: Can we have a feed of watched tags

mm-crjOn the questions tab can we have a filter feature (I mean like frequented votes etc) of watched tags. I am aware that the tags that I have watched are demarked in a different colour. But I would like to discuss the pros and cons of getting a dedicated watched tags filter because I feel most peopl...

discussion feature-request tag-watching
Some of the questions which might need retagging:
 
Feeds
Feeds
1:58 PM
0
A: Tag management 2020

YuiTo ChengProposal: eliminate the tag expression-simplification The tag expression-simplification has 150 questions under it. As a rather vague tag, it has seen a spike of usage in the past few months (I have already removed it from the most 20 recent questions). Leaving it untouched will only confuse mor...

 
Martin Sleziak
Martin Sleziak
2:10 PM
 

« first day (2920 days earlier)      last day (1438 days later) »