Skip to the content.

A standard GNOME desktop on NixOS 26.05. Firefox is the browser and sits in the dock by default. Everything below is installed and ready the moment you log in — nothing to set up.

Want to run this environment yourself? See The GEHACK Live Image.

Desktop

   
Operating system NixOS 26.05
Desktop GNOME (Wayland)
Browser Firefox
Keyboard layouts US and NL (switch from the GNOME top bar)

Languages & compilers

Language Toolchain Notes
C GCC gnu17 standard; gdb and cmake included
C++ GCC (g++) gnu++20 standard; gdb and cmake included
Python CPython 3 & PyPy 3 Both interpreters installed; PyPy for speed
Java JDK 21 JAVA_HOME preset
Kotlin Kotlin compiler JVM-based; runs on JDK 21

Compile helpers

Pre-configured wrappers that build with contest-appropriate flags so you don’t have to remember them. Each takes the source basename.

Command Runs
mygcc sol gcc -std=gnu17 -Wall -O2 -staticsol.c to sol
mygpp sol g++ -std=gnu++20 -Wall -O2 -staticsol.cpp to sol
mypython sol.py PyPy 3 interpreter
myjavac Sol.java javac (JDK 21, UTF-8)
mykotlinc Sol.kt kotlinc (JDK 21) → JVM classes in the current dir
$ mygpp solution      # compiles solution.cpp → ./solution
$ ./solution < in     # run it

Editors & IDEs

Pick whatever you’re fastest in — all are installed.

Command-line tools

Debugging, profiling and the usual shell utilities:

gdb · valgrind · strace · cmake · git · tmux · screen · shellcheck · btop · htop · iotop · wget · zip / unzip / 7z

Submitting solutions

The DOMjudge submit command-line tool is installed and pre-pointed at the contest judge — no URL to configure.

$ submit solution.cpp        # submit for the current problem
$ submit -p A solution.cpp   # submit explicitly for problem A

You can also submit from the DOMjudge web interface in Firefox.

Extras

   
Offline DevDocs Full DevDocs mirror served in-browser at http://docs — no internet needed
Games GNOME games (Sudoku, Mines, Mahjongg…), SuperTux, plus terminal classics