-----BEGIN AGE ENCRYPTED FILE-----
YWdlLWVuY3J5cHRpb24ub3JnL3YxCi0+IHRsb2NrIDc1Nzg4NjEyIDUyZGI5YmE3
MGUwY2MwZjZlYWY3ODAzZGQwNzQ0N2ExZjU0Nzc3MzVmZDNmNjYxNzkyYmE5NDYw
MGM4NGU5NzEKb2EyNk9id0drQm8xcjVjeWx2MWdmUm02UnREaXU1ckg4VGU5RFhB
WVJVRnBIZ1dYVGtydDhFMnp5ZitmY3k3VgpFbFZPaWhCQkpFR1pSNHFEKzE2U0gz
TGVjOUt3VklHNTBnL1ZvSVhVbzNhZHU2dXFxdzJqTzVuaktBbkkrNlE3ClRaSVpI
TzFTTkJiQVNqYWZRd2pCTGZlRHhocGtKVG9pdVpKVTc1L0UwdTQKLS0tIEpkL1lM
azAwdXhmUzJOaExIcDg0WVNFZGM4aTRXUDRXaDArWGN3bkViMFUKpPQZRcIgThGQ
w3agtQ/wb6RhaYutkMCFn73Fr1AdcJjSbx2wCGD/GStGdopLiYKrC1etf7ZaDDlB
This file contains 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 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 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 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 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 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 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 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, |
{
"admin": null,
"automatically_add_cw20s": true,
"automatically_add_cw721s": true,
"description": "The One Thousand Dozen\nDavid Rasmunsen was a hustler, and, like many a greater man, a man of the one idea. Wherefore, when the clarion call of the North rang on his ear, he conceived an adventure in eggs and bent all his energy to its achievement. He figured briefly and to the point, and the adventure became iridescent-hued, splendid. That eggs would sell at Dawson for five dollars a dozen was a safe working premise. Whence it was incontrovertible that one thousand dozen would bring, in the Golden Metropolis, five thousand dollars.\n\nOn the other hand, expense was to be considered, and he considered it well, for he was a careful man, keenly practical, with a hard head and a heart that imagination never warmed. At fifteen cents a dozen, the initial cost of his thousand dozen would be one hundred and fifty dollars, a mere bagatelle in face of the enormous profit. And suppose, just suppose, to be wil