This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env bash | |
| set -euo pipefail | |
| # | |
| # Create a tagged submission with one full repo copy per track. | |
| # | |
| # Usage: | |
| # ./submit.sh # auto-increment version | |
| # ./submit.sh -m "description" # with message | |
| # ./submit.sh --dry-run # preview without tagging | |
| # |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| """ | |
| Official-evaluation mirror: runs our solution under the exact environment | |
| the contest uses (per EVALUATION.md of the starter kit). | |
| - Uses the official Docker image: flashinfer/flashinfer-ci-cu132:latest | |
| - Installs our solution by dropping solution.json | |
| - Downloads the contest dataset from HuggingFace into a Modal volume | |
| - Invokes the flashinfer-bench CLI verbatim per track | |
| - Attempts to lock GPU clocks with `nvidia-smi -ac 3996,1965` | |
| """ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [ | |
| { | |
| "$id": "armeria.grpc.testing.TestService/UnaryCallWithAllDifferentParameterTypes/POST", | |
| "title": "UnaryCallWithAllDifferentParameterTypes", | |
| "description": " This method's parameter message contains all different types of parameters\n as well as the response type contains all different types of parameters.\n Can be used to check any kind of serialization issues.\n", | |
| "additionalProperties": false, | |
| "type": "object", | |
| "properties": { | |
| "bool": { | |
| "type": "boolean" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| " TextEdit might fail if hidden is not set. | |
| set hidden | |
| " Some servers have issues with backup files, see #649. | |
| set nobackup | |
| set nowritebackup | |
| " Give more space for displaying messages. | |
| set cmdheight=2 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| call plug#begin() | |
| " This is where we will add plugins to install | |
| Plug 'danilo-augusto/vim-afterglow' | |
| Plug 'HerringtonDarkholme/yats.vim' | |
| Plug 'preservim/nerdtree' | |
| Plug 'jistr/vim-nerdtree-tabs' | |
| Plug 'neoclide/coc.nvim', {'branch': 'release'} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env python | |
| import sys, os, subprocess | |
| from sys import platform | |
| subprocess_cmd = '/bin/sh' | |
| if platform == "win32": | |
| subprocess_cmd = 'C:/Windows/System32/bash.exe' |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import java.util.Random; | |
| public class LinearSums { | |
| public static void print(int i) {System.out.println(i);} | |
| public static void print(String s) {System.out.println(s);} | |
| public static void main(String[] args) { | |
| Random rn = new Random(); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import java.util.Random; | |
| public class ArrayRepeatProblem { | |
| public static void print(int i) {System.out.println(i);} | |
| public static void print(String s) {System.out.println(s);} | |
| public static void main(String[] args) { | |
| Random rn = new Random(); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| if(inp[n] < 0 || inp[n] > '9'){ | |
| switch(inp[n]){ | |
| case '/': | |
| case '*': | |
| case '+': | |
| case '-': | |
| continue; | |
| default: | |
| break; | |
| } |