Merge remote-tracking branch 'kmein/krebs-theory'

2 files changed, 104 insertions, 64 deletions

diff --git a/krebs/3modules/external/kmein.nix b/krebs/3modules/external/kmein.nix
index 9ef079090..1e4a68057 100644
--- a/krebs/3modules/external/kmein.nix
+++ b/krebs/3modules/external/kmein.nix
@@ -123,6 +123,7 @@ in
           "zaatar.kmein.r"
           "grocy.kmein.r"
           "moodle.kmein.r"
+          "radio.kmein.r"
         ];
         tinc.pubkey = ''
           -----BEGIN RSA PUBLIC KEY-----
diff --git a/krebs/5pkgs/simple/krebsdance/default.nix b/krebs/5pkgs/simple/krebsdance/default.nix
index bcb859a21..f200625c9 100644
--- a/krebs/5pkgs/simple/krebsdance/default.nix
+++ b/krebs/5pkgs/simple/krebsdance/default.nix
@@ -2,113 +2,152 @@
 writers.writePython3Bin "krebsdance" {} ''
   import argparse
   import random
+  import itertools
 
   claws = [
       dict(
-          up='(\\/)',
-          down='(/\\)',
-          left='(\\\\)',
-          right='(//)',
+          up="(\\/)",
+          down="(/\\)",
+          left="(\\\\)",
+          right="(//)",
       ),
       dict(
-          up='(V)',
-          down='(A)',
-          left='>)=',
-          right='=(<',
+          up="(V)",
+          down="(A)",
+          left=">)=",
+          right="=(<",
       ),
       dict(
-          up='(U)',
-          down='(n)',
-          left=')==',
-          right='==(',
+          up="(U)",
+          down="(n)",
+          left=")==",
+          right="==(",
       ),
   ]
 
   eyes = [
-      '°',
-      '*',
-      '^',
-      'ö',
-      'o',
-      'O',
-      'X',
-      'x',
-      'U',
-      'u',
+      "°",
+      "*",
+      "^",
+      "ö",
+      "o",
+      "O",
+      "X",
+      "x",
+      "U",
+      "u",
   ]
 
   bodies = [
       dict(
-          left='(',
-          right=')',
+          left="(",
+          right=")",
       ),
       dict(
-          left='{',
-          right='}',
+          left="{",
+          right="}",
       ),
       dict(
-          left='[',
-          right=']',
+          left="[",
+          right="]",
       ),
       dict(
-          left='<',
-          right='>',
+          left="<",
+          right=">",
       ),
       dict(
-          left='|',
-          right='|',
+          left="|",
+          right="|",
       ),
   ]
 
   mouths = [
-      ',,,,',
-      ',mm,',
-      '_mm_',
-      '-mm-',
-      ';;;;',
-      ';mm;',
-      ':mm:',
-      '::::',
-      ':ww:',
-      ':<>:',
+      ",,,,",
+      ",mm,",
+      "_mm_",
+      "-mm-",
+      ";;;;",
+      ";mm;",
+      ":mm:",
+      "::::",
+      ":ww:",
+      ":<>:",
   ]
 
 
+  def all_krebses():
+      for mouth, body, eye, claw in itertools.product(mouths, bodies, eyes, claws):
+          yield f'{claw["up"]} {body["left"]}{eye}{mouth}{eye}{body["right"]} {claw["up"]}'
+
+
+  def krebs_graph() -> str:
+      return "\n".join(
+          ["digraph {"]
+          + [f'"{krebs}"->"{generate(seed=krebs)}"' for krebs in all_krebses()]
+          + ["}"]
+      )
+
+
+  def generate(*, seed: str, dancing: bool = False) -> str:
+      if seed:
+          random.seed(seed)
+      clawstyle = random.choice(claws)
+      body = random.choice(bodies)
+      eye = random.choice(eyes)
+      mouth = random.choice(mouths)
+      if dancing:
+          return "\n".join(
+              [
+                  f'{clawstyle["down"]} {body["left"]}{eye}{mouth}{eye}{body["right"]}{clawstyle["up"]}',
+                  f'{clawstyle["left"]}{body["left"]}{eye}{mouth}{eye}{body["right"]} {clawstyle["right"]}',
+                  f'{clawstyle["right"]} {body["left"]}{eye}{mouth}{eye}{body["right"]} {clawstyle["left"]}',
+                  f'{clawstyle["down"]}{body["left"]}{eye}{mouth}{eye}{body["right"]}{clawstyle["down"]}',
+              ]
+          )
+      else:
+          return f'{clawstyle["up"]} {body["left"]}{eye}{mouth}{eye}{body["right"]} {clawstyle["up"]}'
+
+
+  def fixpoints():
+      for krebs in all_krebses():
+          if generate(seed=krebs) == krebs:
+              yield krebs
+
+
   def main():
       parser = argparse.ArgumentParser()
 
       parser.add_argument(
-          'seed',
-          nargs='?',
-          help='random seed to use for generating the krebs variant',
+          "seed",
+          nargs="?",
+          help="random seed to use for generating the krebs variant",
       )
 
       parser.add_argument(
-          '--dance', '-d',
-          dest='dance',
-          help='if the krebs should dance',
+          "--dance",
+          "-d",
+          dest="dance",
+          help="if the krebs should dance",
           default=False,
-          action='store_true',
+          action="store_true",
       )
 
-      args = parser.parse_args()
+      parser.add_argument(
+          "--mode",
+          "-m",
+          dest="mode",
+          choices=["graphviz", "plain"],
+          default="plain",
+      )
 
-      if args.seed:
-          random.seed(args.seed)
+      args = parser.parse_args()
 
-      clawstyle = random.choice(claws)
-      body = random.choice(bodies)
-      eye = random.choice(eyes)
-      mouth = random.choice(mouths)
-      if args.dance:
-          print(f'{clawstyle["down"]} {body["left"]}{eye}{mouth}{eye}{body["right"]}{clawstyle["up"]}')  # noqa
-          print(f' {clawstyle["left"]}{body["left"]}{eye}{mouth}{eye}{body["right"]} {clawstyle["right"]}')  # noqa
-          print(f'{clawstyle["right"]} {body["left"]}{eye}{mouth}{eye}{body["right"]} {clawstyle["left"]}')  # noqa
-          print(f' {clawstyle["down"]}{body["left"]}{eye}{mouth}{eye}{body["right"]}{clawstyle["down"]}')  # noqa
-      else:
-          print(f'{clawstyle["up"]} {body["left"]}{eye}{mouth}{eye}{body["right"]} {clawstyle["up"]}')  # noqa
+      if args.mode == "plain":
+          print(generate(seed=args.seed, dancing=args.dance))
+      elif args.mode == "graphviz":
+          print(krebs_graph())
 
 
-  if __name__ == '__main__':
+  if __name__ == "__main__":
       main()
 ''