Feature | Balanced Ternary Floating-Point | IEEE-754 Binary Floating-Point |
---|---|---|
Base | 3 | 2 |
Digits | {-1, 0, +1} (often denoted as T, 0, P) | {0, 1} |
Sign Representation | Implicitly handled by the digits themselves. | Explicit sign bit (0 for positive, 1 for negative). |
Exponent Representation | Typically represented in balanced ternary, no bias needed. | Biased representation (exponent value + bias). |
Mantissa Normalization | Leading non-zero digit (+1 or -1) next to the radix point. |
Is interested in exploring topic overlap with Benjamin Merlin Bumpus, Leslie Lamport, and Jules Hedges.
Prefers the word 'recurse' over 'recourse.'
Is interested in concrete improvements at the edge of current capabilities for geometric AGI, including areas like enhanced geometric representations for cognitive tasks, continuous learning through geometric pathways, category theory for robust interactions, hybrid symbolic and sub-symbolic integration, quantum and probabilistic geometric computations, advanced visualization techniques for cognitive transparency, and ergodic theory for long-term cognitive stability.
Has expressed interest in 69 advanced approaches to exploring structures and relationships in their CognitiveSystem Operad Framework using ACSet.jl and LispSyntax.jl's colored parentheses. These approaches cover areas including memory and cognitive exploration, language and symbolic representation, recursive and adaptive systems, visualization, logic, quantum computing, mathematical constructs, cat
The Open Game Engine is our flagship open source software for computational game theory. It is an embedded domain specific language that extends the functional programming language Haskell with a powerful syntax for defining games in a compositional way, and then running computational analyses on them.
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. |
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 |
-----BEGIN AGE ENCRYPTED FILE-----
YWdlLWVuY3J5cHRpb24ub3JnL3YxCi0+IHRsb2NrIDc1Nzg4NjEyIDUyZGI5YmE3
MGUwY2MwZjZlYWY3ODAzZGQwNzQ0N2ExZjU0Nzc3MzVmZDNmNjYxNzkyYmE5NDYw
MGM4NGU5NzEKb2EyNk9id0drQm8xcjVjeWx2MWdmUm02UnREaXU1ckg4VGU5RFhB
WVJVRnBIZ1dYVGtydDhFMnp5ZitmY3k3VgpFbFZPaWhCQkpFR1pSNHFEKzE2U0gz
TGVjOUt3VklHNTBnL1ZvSVhVbzNhZHU2dXFxdzJqTzVuaktBbkkrNlE3ClRaSVpI
TzFTTkJiQVNqYWZRd2pCTGZlRHhocGtKVG9pdVpKVTc1L0UwdTQKLS0tIEpkL1lM
azAwdXhmUzJOaExIcDg0WVNFZGM4aTRXUDRXaDArWGN3bkViMFUKpPQZRcIgThGQ
w3agtQ/wb6RhaYutkMCFn73Fr1AdcJjSbx2wCGD/GStGdopLiYKrC1etf7ZaDDlB
https://color-logic.io/color-logic/Color-Logic-e05be5117e1f45568c9a9a6f770c1c9a | |
implement color logic |
(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 โ โ |
``` | |
(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] |
(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 โ โ |