Our lab has three servers (pictures). They run the latest version GNU/Linux Debian Stable.

1. 🍣 Sushi (lli-debu.me, port 5022)

   • Lenovo ThinkStation P620
     • CPU: 64 cores, 128 threads, 4.3GHz (AMD Ryzen Threadripper PRO 3995WX)
     • Graphic: Nvidia RTX 4090 RTX 24GB RAM
     • Memory: 128GB RAM

   This system is ideal for projects that can leverage many cores and specialized GPU.

2. 🍕 Pizza (lli-debu.me, port 6022)

   • Custom built
     • CPU: 32 cores, 64 threads, 3.6GHz (AMD Ryzen Threadripper PRO 5975WX)
     • Graphic: Nvidia RTX 4090 RTX 24GB RAM
     • Memory: 128GB RAM

   This system is ideal for projects that can leverage many cores and specialized GPU.

3. 🌮 Taco (lli-debu.me, port 7022)

   • Alienware Aurora
     • CPU: 16 cores, 24 threads, 5.20GHz (Intel 12th Gen Core i9-12900KF)
     • Graphic: Nvidia RTX 3080 Ti 12GB RAM
     • Memory: 64GB RAM

   This system is ideal for experiments that need very fast CPU (but not lots of core) and fast GPU.

🛑 DO NOT install any thing other than Debian stable packages to these computers (e.g., do not mix unstable or new repositories to apt sources list). You can download and install anything in your home (local) directory. If in doubt, contact us.

• To get an account on the server, send us a request and your SSH public key (for password-less log in)
• After your account is created, we will send you information to log in. This includes your username USERNAME and instructions to log in

• Do the following on your machine that has the SSH public key you sent:

  • You can simply type ssh USERNAME@HOSTNAME -p PORTNUMBER and you should automatically log in

  • Or, you can add the following to your ~/.ssh/config file

    Host SomeName
        Hostname HOSTNAME
        Port PORTNUMBER
        User USERNAME

    • After this, you can type ssh SomeName from the command line to automatically log in (you should not get asked to enter password).

    • Here's a concrete example

      Host SUSHI
          HostName lli-debu.me
          Port 5022
          User USERNAME
          # IdentityFile ~/.ssh/NAMEKEY   # Optional, use a specific private key (if you sent us a non-default public key)

      Now you can type ssh SUSHI to log in. Note in this example we use IdentifyFile to specify a specific ssh public key. This is useful if you have lots of public keys.

If you have added the server to your ssh config as above, then you can simply use the following command to copy stuff to your home directory:

scp <local_file> SUSHI:~

If you do not wish to add the server to your ssh config, use the command below (the -P flag is case-sensitive!):

scp -P <port_number>  <local_file> <you_username>@lli-debu.me

1. Once you have an account and password, you can add a new SSH public key to your account by running:

   cat ~/.ssh/id_rsa.pub | ssh username@host 'cat >> ~/.ssh/authorized_keys' 
   

2. You can use an IDE such as VSCode to do remote development on these servers (just connect to the server via the builtin remote login method in VSCode). You can also use other editors that support remote development (e.g., Emac + TRAMP).
3. Do take advantage of the multicores these machine have. Most programming languages support multiprocessing (e.g., Python) and can significantly reduce program runtime.
4. Periodically check top and htop to make sure you are not taking too much CPU or memory.
5. Periodically check /var/tmp or /tmp/ to make sure you are not taking too much space there.

🍣 Sushi
🍣 Sushi Cooling System
🍕 Pizza