Overleaf is a collaborative LaTeX service. Free Overleaf Professional accounts are available for all staff and students of the University of Edinburgh.
To find out more and to sign up, visit the site:
To find out about LaTeX in the School of Informatics, see our LaTeX page:
The Teaching cluster is used to support teaching courses, especially MSc courses and the Machine Learning Practical.
The teaching cluster has over 120 GPUs in 20 servers(landonia[01-25]). There are over 100 NVIDIA GTX 1060 6GB GPUs, and 8 NVIDIA RTX A6000 40GB GPUs, plus a small number of 12-GB-class cards.
Some of the School's GPU compute clusters use the Slurm job scheduler.
Slurm matches computing jobs with computing resources. It tries to ensure that the resources are allocated fairly and that they are used efficiently. To ensure this it has complex prioritisation rules.
Slurm is widely used on supercomputers, so there are lots of guides which explain how to use it:
Desktop Finder helps you quickly find a lab with free desktops.
Find a lab with free desktops using this URL (only on eduroam):
Webmark is the School of Informatics' own web-based tool for filling in and submitting forms. It's used for a wide variety of administrative tasks. You will normally be directed by your local admin team or teaching office to fill in a specific form. Visiting webmark.inf.ed.ac.uk will show you a list of the forms which you have been authorised to use.
There are usually several versions of the Haskell Compiler available on DICE, though usually only one version of the Haskell Platform. The default (as invoked by the ghc, etc.) will usually match the default provided by our upstream distributions, but others are available using various commands.
DICE usually has one default version of ruby (as invoked by the ruby, gem, etc.), but on some platforms others will be / can be made available. Here's a summary of normally installed versions:
The School of Informatics has a Learning Technology support service, which can guide staff through the pedagogical and technical challenges of delivering your courses online.
For details see the Learning Technology site at https://blogs.ed.ac.uk/ilts/ or get in touch at lt-support@inf.ed.ac.uk.
The Learning Technology service can help with any centrally provisioned service, including:
This page has been moved to computing.help.inf.ed.ac.uk/teaching-cluster.