{
  turing = "100.125.142.54";
  dijkstra = "100.77.33.35";
  d = "100.77.33.35"; # im so lazy
  dijkstra-agent-testing = "100.99.247.51";
  dijkstra-minecraft = "100.71.208.59";
  gen-pad = "100.107.122.73";
  gen-phone = "100.94.78.68";
  iphone182 = "100.67.207.48";
  knuth = "100.94.152.41";
  k = "100.94.152.41";
  lee = "100.73.228.2";
  steamdeck = "100.77.30.106";
  thomson = "100.111.206.21";

  dijkstra-git = "100.77.126.51";
  lovelace = "100.96.79.32";
  portable = "100.83.97.6";
  nate-fedora = "100.82.209.30";
}