BGonline.org Forums

When is a different bot useful?

Posted By: bluedice
Date: Monday, 15 January 2018, at 10:30 p.m.

In Response To: When is a different bot useful? (Michael)

Got it!

PR certainly seems to be a more obscure description than 'Error Rate' for measuring the very same thing, thinly disguised by a factor of 2.

Still, it is certainly the de facto standard now. Amusing to know where it came from though.

Messages In This Thread

• When is a different bot useful?
  Stick -- Monday, 8 January 2018, at 5:19 p.m.
  • When is a different bot useful?
    Bob Koca -- Monday, 8 January 2018, at 8:59 p.m.
    • When is a different bot useful?
      Phil Simborg -- Tuesday, 9 January 2018, at 3:46 a.m.
  • When is a different bot useful?
    bluedice -- Monday, 8 January 2018, at 11:03 p.m.
    • When is a different bot useful?
      Michael -- Tuesday, 9 January 2018, at 12:33 p.m.
      • When is a different bot useful?
        bluedice -- Tuesday, 9 January 2018, at 2:11 p.m.
        • When is a different bot useful?
          Michael -- Wednesday, 10 January 2018, at 4:13 p.m.
          • When is a different bot useful? / GNUBG return shots
            sebalotek -- Wednesday, 10 January 2018, at 6:32 p.m.
            • When is a different bot useful? / GNUBG vs XG features
              sebalotek -- Wednesday, 10 January 2018, at 6:42 p.m.
          • When is a different bot useful?
            bluedice -- Wednesday, 10 January 2018, at 6:56 p.m.
            • When is a different bot useful?
              Michael -- Thursday, 11 January 2018, at 10:49 a.m.
  • When is a different bot useful?
    roadkillbooks -- Tuesday, 9 January 2018, at 6:13 a.m.
  • When is a different bot useful?
    Michael -- Tuesday, 9 January 2018, at 11:59 a.m.
    • When is a different bot useful?
      Michael -- Thursday, 11 January 2018, at 11:04 a.m.
      • When is a different bot useful?
        Phil simborg -- Friday, 12 January 2018, at 2:09 p.m.
        • When is a different bot useful?
          Michael -- Friday, 12 January 2018, at 6:21 p.m.
          • When is a different bot useful?
            Michael -- Friday, 12 January 2018, at 7:47 p.m.
            • When is a different bot useful?
              Michael -- Friday, 12 January 2018, at 7:50 p.m.
              • When is a different bot useful?
                bluedice -- Monday, 15 January 2018, at 10:30 p.m.
          • When is a different bot useful?
            Bob Koca -- Tuesday, 16 January 2018, at 4:01 a.m.
    • When is a different bot useful?
      mamabear -- Friday, 12 January 2018, at 11:24 p.m.
  • When is a different bot useful?
    mamabear -- Friday, 12 January 2018, at 11:19 p.m.