{
"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
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, |