summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorlassulus <lassulus@lassul.us>2022-01-28 18:38:04 +0100
committerlassulus <lassulus@lassul.us>2022-01-28 18:38:04 +0100
commit2f9a8b3331ffa05a1f9de45b925315b9a9e0a3d8 (patch)
treedea431468a71db2b99df081dbdae55c1c497086d
parent5e3141c9e958e2b2f48d4245ca0a894f9eaaf714 (diff)
parentdc47eaa046091d72d9b74499e4ade078ff3763d6 (diff)
Merge remote-tracking branch 'kmein/krebs-theory'
-rw-r--r--krebs/3modules/external/kmein.nix1
-rw-r--r--krebs/5pkgs/simple/krebsdance/default.nix167
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()
''