The PEG judge is merging with DMOJ


posted on July 22, 2020, 5:15 p.m.

Hi all,

At the end of July, the PEG judge will merge into DMOJ.

DMOJ drew inspiration heavily from PEG in the beginning, and it's fair to say that DMOJ would not have begun had it not been for PEG — we're excited to carry on their legacy moving forward.

The migration FAQ can be read here. If you have any questions not covered there, feel free to let us know via the comments.

The ~700 unique PEG problems are being uploaded on an ongoing basis, and can be accessed by joining the temporary WCIPEG Migration organization. Any submissions made (and points earned!) during this time will carry forward to when the problems are merged into the main problemset, so we encourage everyone to try the problems out and let us know of issues that may come up. Once in the organization, the problems may be accessed here.

This migration is a colossal effort, so I'd like to thank the PEG admins as well as c, Bit, Ninjaclasher, Pookmeister, Kirito, wleung_bvg, xiaowuc1, Plasmatic, JoshuaL, ManchurioX, WallE256, quantum, and FatalEagle for making it happen. If you're interested in helping out, just send us a ping in Slack, or leave a comment — there's no shortage of things to do :)

August 11 Update

A quick update on the state of the migration:

  • Almost all problem testdata has been migrated.
  • Problem statements for 459 of 729 problems unique to PEG have been ported.
  • 400K of 600K PEG submissions have been regraded. Further regrading may be necessary while we adjust time limits to be consistent with DMOJ judges.

Once we've finished processing submissions, PEG user accounts will become available to log in to. At that time, problems will be moved to the main problemset on a rolling basis.


Comments


  • 8
    dolphingarlic  commented on Sept. 1, 2020, 6:42 p.m.

    Submitting code to some old IOI problems (like IOI 1999 Flatten) results in an endless "We are waiting for a suitable judge to process your submission... " btw :(


    • 6
      Kirito  commented on Sept. 1, 2020, 9:11 p.m.

      Submissions on PEG problems have been temporarily suspended so we can finish regrading the last of the PEG submissions.


      • 8
        anthony_  commented on Sept. 2, 2020, 5:05 a.m.

        Will there be an announcement when the questions on the PEG judge are open to submissions?


        • 10
          Xyene  commented on Sept. 2, 2020, 7:45 p.m.

          Yes; we're nearly done now.


  • 8
    alsoMee2  commented on Aug. 13, 2020, 6:44 p.m.

    Will the PEG wiki also be merging into DMOJ?


    • -5
      Plasmatic  commented on Aug. 14, 2020, 12:59 a.m.

      This comment is hidden due to too much negative feedback. Show it anyway.


      • 15
        Xyene  commented on Aug. 14, 2020, 1:15 a.m.

        To be precise: the PEG admins will continue to run the PEG wiki.


  • 3
    pCode14  commented on Aug. 12, 2020, 7:04 p.m. edited

    Hey! I have an account here on DMOJ and one on PEG - how can I merge them. Thanks!


    • 8
      Xyene  commented on Aug. 13, 2020, 12:26 a.m.

      Once we've finished processing submissions, PEG user accounts will become available to log in to. You will be able to trigger an account merge at that time.


  • 15
    yeerk16  commented on Aug. 12, 2020, 12:33 a.m.

    A big thank-you to everyone who is helping to make this merger happen. Very much appreciated!


  • 3
    dolphingarlic  commented on Aug. 10, 2020, 5:31 p.m.

    Why are no judges available for the old IOI problems?


    • 3
      Kirito  commented on Aug. 11, 2020, 12:42 a.m. edited

      We are currently in the process of porting the old IOI problems (some of them require custom checkers, which our script did not handle).

      I've fixed up some of the ones that don't require special checkers, and you should now be able to submit to these.