{
  turing = "100.125.142.54";
  dijkstra = "100.100.238.79";
  d = "100.100.238.79"; # 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";
  hamano = "100.103.143.121";
  iphone182 = "100.67.207.48";
  knuth = "100.123.43.44";
  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";
}