autopushed

bin/dice.py

@@ -0,0 +1,53 @@
+#!/usr/bin/env python3
+#
+# https://click.palletsprojects.com/en/8.1.x/arguments/
+# https://click.palletsprojects.com/en/8.1.x/options/
+#
+# boilerplate shamelessly cloned from prime.py :).
+
+import click
+import math
+import random
+import sys
+
+class AgoraCmd(click.Command):
+    def format_help(self, ctx, formatter):
+        click.echo("""Usage:
+        - Visit anagora.org/dice to execute this file in the Agora of Flancia.
+        - Visit e.g. anagora.org/dice/17 to throw a 17-sided die, and others :)
+        - In general visit anagora.org/foo, anagora.org/foo/bar to execute e.g. <bin/foo.py bar> from your garden.
+        """)
+
+    def __call__(self, *args, **kwargs):
+        try:
+            return super(AgoraCmd, self).__call__(
+                *args, standalone_mode=False, **kwargs)
+        except click.MissingParameter as exc:
+            exc.ctx = None
+            exc.show(file=sys.stdout)
+            click.echo()
+            try:
+                super(AgoraCmd, self).__call__(['--help'])
+            except SystemExit:
+                sys.exit(exc.exit_code)
+
+def rand(n):
+    proof = []
+    for i in range(2, n+1):
+        r = random.randint(1, i)
+        if i == 2:
+            proof.append(f"You throw a fair coin and it lands [[{bool(r-1) and 'heads' or 'tails'}]].")
+        else:
+            proof.append(f"You throw a die of [[{i}]] sides and it comes up [[{r}]].")
+        
+    return "\n".join(reversed(proof))
+
+@click.command(cls=AgoraCmd)
+@click.argument('n', type=click.INT)
+def dice(n):
+    """A simple randomness generator, imitating those we know and love from R^4 :)."""
+    proof = rand(n)
+    click.echo(proof)
+
+if __name__ == '__main__':
+    dice()

bin/prime.py

@@ -14,10 +14,17 @@ def factor(n):
     for i in range(2, n+1):
         click.echo(f"Is {i} a factor of {n}, I wonder?")
 
+def print_sieve(sieve):
+    primes = []
+    for n, prime in enumerate(sieve):
+        if n >= 2 and prime:
+            primes.append(str(n))
+    return ", ".join(primes)
+
 def is_prime(n):
-    is_prime = [True for n in range(0, n+1)]
+    sieve = [True for n in range(0, n+1)]
     upto = math.ceil(math.sqrt(n))
-    for i, _ in enumerate(is_prime):
+    for i, _ in enumerate(sieve):
         # click.echo(f"i: {i}")
         if i < 2:
             continue
@@ -25,7 +32,7 @@ def is_prime(n):
         if i > upto:
             break
         # If this is a known composite, then we've already crossed off its multiples when we iterated over its primes.
-        if not is_prime[i]:
+        if not sieve[i]:
             continue
         # for j in range(2, math.ceil(math.sqrt(n) + 1)):
         for j in range(2, n):
@@ -34,11 +41,10 @@ def is_prime(n):
                 break
             PROOF.append(f"[[{i*j}]] is composite: {i} * {j}.")
             try:
-                is_prime[i*j] = False
+                sieve[i*j] = False
             except IndexError:
                 continue
-    # click.echo(f"Sieve: {is_prime}.")
-    return is_prime[n]
+    return (n >= 2 and sieve[n], sieve)
 
 class AgoraCmd(click.Command):
     def format_help(self, ctx, formatter):
@@ -65,11 +71,14 @@ class AgoraCmd(click.Command):
 @click.argument('n', type=click.INT)
 def prime(n):
     """Simple program that factors a number using a [[Sieve of Eratosthenes]]."""
-    if is_prime(n):
-        click.echo(f"[[{n}]] is prime.")
+    p, sieve = is_prime(n)
+    if p:
+        click.echo(f"*{n}* is *prime*.")
     else:
-        click.echo(f"{n} is not prime. Want proof? :)")
+        click.echo(f"*{n}* is *not prime*. Want proof? :)")
         click.echo("\n".join([line for line in PROOF if f'[[{n}]]' in line]))
 
+    click.echo(f"\nPrimes up to {n}: {print_sieve(sieve)}.")
+
 if __name__ == '__main__':
     prime()

bin/primes.py

@@ -0,0 +1 @@
+prime.py

bin/prompt.py

@@ -0,0 +1,42 @@
+#!/usr/bin/env python3
+#
+# https://click.palletsprojects.com/en/8.1.x/arguments/
+# https://click.palletsprojects.com/en/8.1.x/options/
+#
+# boilerplate shamelessly cloned from prime.py :).
+
+import click
+import math
+import random
+import sys
+
+class AgoraCmd(click.Command):
+    def format_help(self, ctx, formatter):
+        click.echo("""Usage:
+        - Visit anagora.org/prompt to execute this file in the Agora of Flancia.
+        - Visit e.g. anagora.org/prompt/foo to prompt known models with 'foo'.
+        - In general visit anagora.org/foo, anagora.org/foo/bar to execute e.g. <bin/foo.py bar> from your garden.
+        """)
+
+    def __call__(self, *args, **kwargs):
+        try:
+            return super(AgoraCmd, self).__call__(
+                *args, standalone_mode=False, **kwargs)
+        except click.MissingParameter as exc:
+            exc.ctx = None
+            exc.show(file=sys.stdout)
+            click.echo()
+            try:
+                super(AgoraCmd, self).__call__(['--help'])
+            except SystemExit:
+                sys.exit(exc.exit_code)
+
+@click.command(cls=AgoraCmd)
+@click.argument('s', type=click.STRING)
+def prompt(s):
+    """A simple utility to redirect to generation providers."""
+    gen = f"https://anagora.org/{s}"
+    click.echo(gen)
+
+if __name__ == '__main__':
+    prompt()

dice.md

@@ -0,0 +1 @@
+- You carry a [[set]] of [[dice]] in your [[bag of holding]].

español.md

@@ -0,0 +1,7 @@
+- Mi idioma materno.
+
+Hola! Gracias por estar acá. Si encontraste este video en youtube o en otro repositorio de videos: bienenide! Espero que en este día (en el día en que encontrás esto) te esté yendo bien :)
+
+Escribo esto en [[2023-10-03]]. Qué fecha es por allá?
+
+Para contestar, podés visitar https://anagora.org/2023-10-03 y leer ese nodo, o visitar una [[Stoa]].

janet.md

@@ -0,0 +1 @@
+- #go https://www.youtube.com/watch?v=LXbYeJKcRf4

journal/2023-10-03.md

@@ -0,0 +1,28 @@
+- [[work]]
+  - meetings with [[er-ch]]
+  - [[consultation doc]]
+  - [[proposal]]
+- [[flancia]]!
+  - I've been thinking of [[flancia home]] in the context of [[mohammed]]
+  - [[37]]
+    - [[bodhi]]
+
+[[Imaginate un mundo sin latencia]] me dije, habiendo solucionado los problemas de conectividad bluetooth en [[nostromo]] :)
+
+A veces extraño el [[español]] como idioma.
+
+
+- #push [[youtube]]
+  - the uploading experience even on studio.youtube.com leaves me unsatisfied :)
+  - it is slow, you need to perform a multitude of clicks to get to publish something
+  - friction should be much lower than this!
+
+Mientras escribo esto, estoy escuchando [[hola frank]] de [[sumo]] :)
+
+- Next I will work on a [[proposal]] within the context of my work in the [[er-ch]].
+- And on my personal computer I will start work on [[x]] as the evening progresses :)
+
+Let us pray, dice Luca Prodan :)
+
+- Four hours later, I'm back here after three hours of work and then dinner+yoga.
+- [[janet]] made me laugh: https://www.youtube.com/watch?v=LXbYeJKcRf4

journal/2023-10-09.md

@@ -0,0 +1,5 @@
+- [[flancia]]!
+  - [[work]]
+    - [[er-ch]] gets intense sometimes
+    - still it's a privilege to represent [[zooglers]] and to some extent [[googlers]], meaning my fellow employees
+  - [[aldhari]]

journal/2023-10-14.md

@@ -5,4 +5,20 @@ Today is [[14 October 2023]] and I am glad you are here with me.
 
 It has been ages since I've in Flancia, sometimes it feels, even as time is varying.
 
+<hr />
+
 Here is what I call a poem: [[trees]].
+
+<hr />
+
+This weekend I intend to advance what I call [[open letters]]: documents addressed to groups, openly published even as they are being written.
+
+<hr />
+
+As of 21:45 CET I did some 'day job' stuff (having chosen it) and started a proposal (open letter, as per the above) that I had on my todo list.
+
+Now switching to [[paramita]], planning to continue on related topics but in the [[commons]].
+
+<hr />
+
+Today we bought the tickets to and from [[Sri Lanka]], happy about it!