-----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
not yet reasoning or grounded, but certainly gives pause | |
``` | |
% riemannujan@xenosloppe | |
ollama run _ | |
>>> To create a graphical model representing the contagion of irreducibility across various mathematica | |
... l structures, we could use a network diagram or a directed graph where nodes represent different ma | |
... thematical entities, and edges represent the propagation of irreducibility. Below is an outline for | |
... how such a graphical model might be designed. | |
omials**: Show their impact on irreducibility in extended fields. | |
- **Unique Factorization Domains (UFDs)**: Represent elements and prime factorization. |
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 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 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 |
NewerOlder