search

kaj / kth-kattis-rust

Checklist code to show that the rust programming language is viable for Kattis code checker at KTH.
6 stars 1 forks source link

How to suggest Rust to be added in Kattis #1

Closed Emilgardis closed 5 years ago

Emilgardis commented 8 years ago

What is the best way to make Rust an accepted language in Kattis a reality, is there an forum for discussion/suggestions?

I'd really love seeing Rust in Kattis for 2017 Programmerings Olympiaden and other competitions.

kaj commented 8 years ago

I and @dicander did suggest it to Kattis almost a year ago, when this repo was new. I think the major stopper back then was that there was no debian packages for rustc and cargo. I hope such packages exists now, so it might be time to ask for this in Kattis again. I will contact them.

Emilgardis commented 8 years ago

Seems like rustc 1.10.0 and cargo 1.11.0 is currently in Debian testing. It looks like it is on it's way to join stable soon.

Emilgardis commented 7 years ago

Seems like Ubuntu has 1.10.0 on yakkety since july

http://packages.ubuntu.com/yakkety/rustc

ErikBjare commented 7 years ago

Any update on this?

agausmann commented 6 years ago

This definitely should be viable. If only open.kattis was based on an open-source project, it probably would have been contributed by now in that case.

ErikBjare commented 6 years ago

I'm all for shaming the open.kattis people into actually making it open :+1:

agausmann commented 6 years ago

Since they don't seem to have a public discussion forum anywhere (except r/kattis which seems to be dead), there are some other options:

dutchmartin commented 6 years ago

@AGausmann Sending a email where we link to this and other threads where we discuss this seems like a good first step. Asking them if we can help can be a really good thing too, but if we really can not get language support, we can build a cool platform ourselfes.

simonlindholm commented 5 years ago

I've opened a PR with Rust support in Kattis; with some luck it will be merged and deployed within a few months. (Not a Kattis employee, but I do have access to the code and have been using that to scratch itches.) I used some of the code from this repo, so thanks for that!

Begin working on our own open-source problem hosting and judging framework (which I've wanted to do for a while)

This sounds like a good idea in any case! There's a lot of fun things to experiment with in the online judge area, with regard to e.g. sandboxing (Kattis uses cgroups (via isolate) which has somewhat large initialization overhead), UI, problemsetting (what if any user can add a problem?), problem recommendation, contest formats, and problems that aren't of the standard input-output format (distributed algorithms? bot contests? probably not, but...). It might be worth looking at https://csacademy.com/, https://www.domjudge.org/ and https://cms-dev.github.io/ for inspiration (the latter two are open source and have been used for ICPC/IOI).

The hard part is probably to get a large/interesting enough collection of problems. If using the Kattis problem format (see problemtools and the spec) there are problems from regionals like NWERC and NCPC and the Swedish highschool olympiad that can be imported.

simonlindholm commented 5 years ago

with some luck it will be merged and deployed within a few months

Oh, I was needlessly pessimistic. It was just deployed; Kattis supports Rust now.

kaj commented 5 years ago

This is great news! Thank you so much, @simonlindholm !