Proposal: new leaderboard ui

[yangw-dev]

I like leetcode style lol , thoughts?
thinking once we have code editor, we can add things like this ( description, reference on left, tabs for ranking and submission(code editor top, history bottom))

demo

put description on left sidepanel can be extend
other tabs

[msaroufim]

This looks pretty cool for submissions but maybe a bit overfill for read only

I will say though that there's some concrete problems we could explore which is that rendering problem statement today is ugly, reading user submissions also not super great (and should not require login), and the code snippets have an ugly theme. Maybe we can fix those first. After that open to a new UI but should think about having an OK experience on mobile too

[msaroufim]

I think it might be a good time to revive ideas from this PR but I'm thinking a different flow

You come to the leaderboard page

1. There are 2 large submit buttons: one links to cli modal and the other links to web submission
2. Once you click on web submission it opens up a text editor on the l.h.s of the screen
3. The text by default has the reference submission
4. There is a button to submit
5. We move history of submissions behind clicking on the user avatar and make a profile page

[msaroufim]

@codex[agent] wdyt

[Codex]

@msaroufim The model is not available for your account. This can happen if the model was disabled by your organization's policy or if your Copilot plan doesn't include access to it.

You can try again without specifying a model (just @copilot) to use the default, or choose a different model from the model picker.

If you want to contact GitHub about this error, please mention the following identifier so they can better serve you: 38346571-b2fd-48c1-8d5d-51caa1a0cecf

[Codex]

@msaroufim The model is not available for your account. This can happen if the model was disabled by your organization's policy or if your Copilot plan doesn't include access to it.

You can try again without specifying a model (just @copilot) to use the default, or choose a different model from the model picker.

If you want to contact GitHub about this error, please mention the following identifier so they can better serve you: 38346571-b2fd-48c1-8d5d-51caa1a0cecf

[Codex]

@msaroufim The model is not available for your account. This can happen if the model was disabled by your organization's policy or if your Copilot plan doesn't include access to it.

You can try again without specifying a model (just @copilot) to use the default, or choose a different model from the model picker.

If you want to contact GitHub about this error, please mention the following identifier so they can better serve you: 38346571-b2fd-48c1-8d5d-51caa1a0cecf

[Codex]

@msaroufim The model is not available for your account. This can happen if the model was disabled by your organization's policy or if your Copilot plan doesn't include access to it.

You can try again without specifying a model (just @copilot) to use the default, or choose a different model from the model picker.

If you want to contact GitHub about this error, please mention the following identifier so they can better serve you: 38346571-b2fd-48c1-8d5d-51caa1a0cecf

[Codex]

@msaroufim The model is not available for your account. This can happen if the model was disabled by your organization's policy or if your Copilot plan doesn't include access to it.

You can try again without specifying a model (just @copilot) to use the default, or choose a different model from the model picker.

If you want to contact GitHub about this error, please mention the following identifier so they can better serve you: 38346571-b2fd-48c1-8d5d-51caa1a0cecf

[Codex]

@msaroufim The model is not available for your account. This can happen if the model was disabled by your organization's policy or if your Copilot plan doesn't include access to it.

You can try again without specifying a model (just @copilot) to use the default, or choose a different model from the model picker.

If you want to contact GitHub about this error, please mention the following identifier so they can better serve you: 38346571-b2fd-48c1-8d5d-51caa1a0cecf

[chatgpt-codex-connector]

I like the direction, and I agree with the feedback in-thread: the full “LeetCode-style workspace” is compelling, but it may be too heavy as the first step.

My take:

• Strong yes on reviving this, but as an incremental rollout.
• Start by fixing the current pain points called out in comments:
  1. Better problem statement rendering/readability
  2. Better submission viewing (including read-only, no-login access where possible)
  3. Better code snippet theme/formatting
  4. Mobile baseline usability
• Then ship the new flow proposal:
  • Leaderboard page with two clear CTAs (CLI submit + Web submit)
  • Web submit opens editor on the left, prefilled with reference solution
  • Single prominent submit button
  • Move submission history to profile/avatar area

If you want, I can help turn this into a concrete implementation plan with phases + acceptance criteria so we can land v1 quickly and de-risk the bigger UI redesign.

View task →