athens/nix/hosts.nix

{
  socrates = {
    type = "nixos";
    address = "100.103.57.96";
    system = "x86_64-linux";
    sshUser = "walkah";
  };
  plato = {
    type = "nixos";
    address = "100.111.208.75";
    system = "x86_64-linux";
    sshUser = "walkah";
  };
  agent = {
    type = "nixos";
    address = "100.103.219.26";
    system = "aarch64-linux";
    sshUser = "root";
  };
  form = {
    type = "nixos";
    address = "100.104.247.27";
    system = "aarch64-linux";
    sshUser = "root";
  };
  matter = {
    type = "nixos";
    address = "100.95.77.67";
    system = "aarch64-linux";
    sshUser = "root";
  };
  purpose = {
    type = "nixos";
    address = "100.117.49.15";
    system = "aarch64-linux";
    sshUser = "root";
  };
  epicurus = {
    type = "darwin";
    address = "100.66.26.116";
    system = "aarch64-darwin";
    sshUser = "walkah";
  };
  heraclitus = {
    type = "darwin";
    address = "100.107.57.128";
    system = "aarch64-darwin";
  };
}