{ ... }:

{
  # Use the systemd-boot EFI boot loader.
  networking.hostName = "compute01";
  networking.domain = "par01.infra.dgnum.eu";
  networking.hostId = "8df60941";

  system.stateVersion = "23.05"; # Did you read the comment?
}