Add Helion Kernel Challenge competition

[msaroufim]

No description provided.

[msaroufim]

Alright this is working!

Last thing we need to do now is make sure we can get hooked up to the Nebius runners, Modal worked great

  One-time setup:
  # DB + migrations
  createdb kernelbot
  DATABASE_URL="postgresql://$(whoami)@localhost:5432/kernelbot" uv run yoyo apply --database "$DATABASE_URL"
  src/migrations/

  # Test user
  psql "$DATABASE_URL" -c "INSERT INTO leaderboard.user_info (id, user_name, cli_id, cli_valid) VALUES ('999999',
  'testuser', 'test-cli-id-123', true) ON CONFLICT (id) DO UPDATE SET cli_id = 'test-cli-id-123', cli_valid = true;"

  Start server:
  cd ~/Dev/kernelbot/src/kernelbot
  modal profile activate gpu-mode
  DATABASE_URL="postgresql://$(whoami)@localhost:5432/kernelbot" DISABLE_SSL=true ADMIN_TOKEN=<token> GITHUB_TOKEN=dummy
  GITHUB_REPO=gpu-mode/reference-kernels .venv/bin/python main.py --api-only

  Sync problems:
  curl -X POST http://localhost:8000/admin/update-problems \
    -H "Authorization: Bearer <token>" -H "Content-Type: application/json" \
    -d '{"problem_set": "helion", "branch": "helion-competition"}'

  # Update GPU types from NVIDIA (GitHub runner) to B200 (Modal)
  psql -d kernelbot -c "UPDATE leaderboard.gpu_type SET gpu_type = 'B200' WHERE leaderboard_id IN (SELECT id FROM
  leaderboard.leaderboard WHERE name IN ('causal_conv1d','fp8_quant','gated_deltanet_chunk_fwd_h','gated_deltanet_chunk_fw
  d_o','gated_deltanet_recompute_w_u'));"

  Submit:
  curl -N -X POST http://localhost:8000/<leaderboard>/B200/<test|benchmark> \
    -H "X-Popcorn-Cli-Id: test-cli-id-123" \
    -F "file=@path/to/submission.py"

[msaroufim]