iceboy
iceboy
Agree that we should make logs on server more friendly to maintainers. Maybe use separate log sink for different log levels and/or use structured logging. It's fine to hide user...
take poj as an example, it has user rank: http://poj.org/userlist and problem rank: http://poj.org/problemstatus?problem_id=3512
bump
The issue is caused by `aiomongo` referencing an old version of `pymongo` which is not compatible with the newer python. The issue was fixed by https://github.com/mongodb/mongo-python-driver/commit/82c610a9f54d5af20d9b5b626189891d82216a4f but the author as...
I would like to include the commit id in ui build steps. It seems more consistent to me and we can exclude the git dependency in python. But it's a...
Related #456
This is caused by some of the problems in a contest being deleted. Example: https://vijos.org/contest/51122cdc4e4112641200009c
The current data file is a legacy format. We don't want to add new features to it. We have proposed [a new data format](https://github.com/vijos/jd4/issues/38) but don't have enough motivation to...
The current interface is through file descriptors instead of filenames, where: stdin (0): input from user program output, aka. "Output_File" stdout (1): judge output, aka. "Result_File" stderr (2): judge side...
This should be implemented as submitting code as "raw output", i.e. the submitted code is used as output; and one needs to submit different code for each data point.