-----BEGIN AGE ENCRYPTED FILE-----
YWdlLWVuY3J5cHRpb24ub3JnL3YxCi0+IHRsb2NrIDc1Nzg4NjEyIDUyZGI5YmE3
MGUwY2MwZjZlYWY3ODAzZGQwNzQ0N2ExZjU0Nzc3MzVmZDNmNjYxNzkyYmE5NDYw
MGM4NGU5NzEKb2EyNk9id0drQm8xcjVjeWx2MWdmUm02UnREaXU1ckg4VGU5RFhB
WVJVRnBIZ1dYVGtydDhFMnp5ZitmY3k3VgpFbFZPaWhCQkpFR1pSNHFEKzE2U0gz
TGVjOUt3VklHNTBnL1ZvSVhVbzNhZHU2dXFxdzJqTzVuaktBbkkrNlE3ClRaSVpI
TzFTTkJiQVNqYWZRd2pCTGZlRHhocGtKVG9pdVpKVTc1L0UwdTQKLS0tIEpkL1lM
azAwdXhmUzJOaExIcDg0WVNFZGM4aTRXUDRXaDArWGN3bkViMFUKpPQZRcIgThGQ
w3agtQ/wb6RhaYutkMCFn73Fr1AdcJjSbx2wCGD/GStGdopLiYKrC1etf7ZaDDlB
๐ฆ
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from manim import * | |
from manim.utils.space_ops import rotate_vector | |
from manim.utils.color import interpolate_color | |
import numpy as np | |
class CreateCircle(Scene): | |
def construct(self): | |
circle = Circle() # create a circle | |
circle.set_fill(PINK, opacity=0.5) # set the color and transparency |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
https://color-logic.io/color-logic/Color-Logic-e05be5117e1f45568c9a9a6f770c1c9a | |
implement color logic |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(imo-py3.11) barton@_ imo % python src/racketmind.py | |
{-1,0,1} ๐ฆ: evaluate what is in /Users/barton/topos for its capabilities use a lot of ascii art diagrams | |
INFO Running shell command: ['ls', '-l', '/Users/barton/topos'] | |
โญโโโโโโโโโโโฌโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโฎ | |
โ โ given that this is the trajectory thus far, determine the geodesic path via interactions โ | |
โ โ within bidirectional information flow that achieves this subsequent increment โ | |
โ โ co-construction: Increment: evaluate what is in /Users/barton/topos for its capabilities โ | |
โ Message โ use a lot of ascii art diagrams โ | |
โโโโโโโโโโโโผโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโค | |
โ Response โ โ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
``` | |
(python) flox [pretopos] barton@hatchery pretopos % opam install forester | |
The following actions will be performed: | |
=== install 29 packages | |
โ algaeff 2.0.0 [required by forester] | |
โ angstrom 0.16.0 [required by uri] | |
โ asai 0.3.1 [required by forester] | |
โ base64 3.5.1 [required by repr] | |
โ bigstringaf 0.10.0 [required by angstrom] | |
โ bwd 2.3.0 [required by forester] |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(imo-py3.11) barton@_ imo % python src/racketmind.py | |
{-1,0,1} ๐ฆ: evaluate what is in /Users/barton/topos for its capabilities use a lot of ascii art diagrams | |
INFO Running shell command: ['ls', '-l', '/Users/barton/topos'] | |
โญโโโโโโโโโโโฌโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโฎ | |
โ โ given that this is the trajectory thus far, determine the geodesic path via interactions โ | |
โ โ within bidirectional information flow that achieves this subsequent increment โ | |
โ โ co-construction: Increment: evaluate what is in /Users/barton/topos for its capabilities โ | |
โ Message โ use a lot of ascii art diagrams โ | |
โโโโโโโโโโโโผโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโค | |
โ Response โ โ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
``` | |
certifi 2024.7.4 | |
charset-normalizer 3.3.2 | |
colorama 0.4.6 | |
idna 3.7 | |
urllib3 2.2.2 | |
filelock 3.15.4 | |
fsspec 2024.6.1 | |
h11 0.14.0 | |
mdurl 0.1.2 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from discopy.monoidal import Ty, Box, Diagram | |
from pprint import PrettyPrinter | |
from discopy.drawing import Equation | |
x, y, z, w = Ty(*"xyzw") | |
f, g = Box('f', x, y), Box('g', z, w) | |
assert f @ g == Diagram.decode( | |
dom=x @ z, | |
boxes_and_offsets=[(f, 0), (g, 1)]) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-----BEGIN AGE ENCRYPTED FILE----- | |
YWdlLWVuY3J5cHRpb24ub3JnL3YxCi0+IHRsb2NrIDEwMDcxODEyIDUyZGI5YmE3 | |
MGUwY2MwZjZlYWY3ODAzZGQwNzQ0N2ExZjU0Nzc3MzVmZDNmNjYxNzkyYmE5NDYw | |
MGM4NGU5NzEKdDBxWDFaYnh3SGZISkw5WVBWd0ZBbW53RVd3L1ZDWGdXZFRFYWJQ | |
ZjBtYUkweVFIeG5tNzRESUlIQkJyYm51cgpGTzRzMlR4dnJEdTcyMHdVS3JEOGdK | |
VTR1SG5jR04veXdMSzRRQmFKU3UrSTM4RTQzV0N5M3ZFMmFYbWxndnRPCk1acitR | |
U2dzN1J0YklKNFhZczc3QUlVbk4veHhHZUo0b2JYeVhtMFEzNW8KLS0tIFN5d2lY | |
WEtibm5EejRpaDdWYlVZTFJqVWp4RjExcDR5aitJQTNvaXp2MWcKhmVdXupPKkop | |
iB3eu65dRIolAkPFOS3D/adbUTpSxKqX+3bz10YrMzpP3C8ddhde3BkJhFM+Me9F | |
mxfmuS1GoFGQTeaS2SSTsfEuHKlH2CYfDzCzKG4REZhTQNOfQoupXgAdM1TSqQi6 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import os | |
import random | |
from openai import OpenAI | |
from signalbot import SignalBot, Command, Context | |
from commands import ( | |
PingCommand, | |
FridayCommand, | |
TypingCommand, | |
TriggeredCommand, |