Skip to content

Instantly share code, notes, and snippets.

Avatar
🌱
raising seed capital

Barton Rhodes bmorphism

🌱
raising seed capital
View GitHub Profile
View abstractlattice.jl
abstract type AbstractLattice; end
function widen; end
"""
struct JLTypeLattice
A singleton type representing the lattice of Julia types, without any inference
extensions.
"""
@bmorphism
bmorphism / vignettes.md
Created September 22, 2023 09:24
for your continuations
View vignettes.md

a full list of the vignettes I share on Poe (as I am liberating it for RAG type uses and just archival purposes): Here is a table with the post titles, links, and predicted keywords for each:

Title Link Keywords
Cognitive Currents https://poe.com/bmorphism/1512928000169104 cognition, thinking, psychology
😶‍🌫️ https://poe.com/bmorphism/1512928000166012 emoji, face, foggy
🥉🥈🥇... https://poe.com/bmorphism/1512928000165916 medals, olympics, sports
Pants Topology https://poe.com/bmorphism/1512928000164432 pants, clothing, topology
http://vibes.lol https://poe.com/bmorphism/1512928000161272 vibes, mood, internet
Topology of a Meme https://poe.com/bmorphism/1512928000159393 meme,
@bmorphism
bmorphism / construction.md
Created September 18, 2023 23:57
construction
View construction.md

Objects: The objects of the Grothendieck construction, denoted as (c, x), are pairs consisting of an object c in C, and an object x in F(c).

Morphisms: The morphisms of the Grothendieck construction from (c₁, x₁) to (c₂, x₂) are pairs of morphisms (f: c₁ → c₂, g: F(f)(x₁) → x₂) such that f is a morphism in C and g is a morphism in F(c₂), and they are compatible in the sense of the functor F.

Composition: The composition of morphisms in the Grothendieck construction is done component-wise: Given two morphisms (f₁, g₁): (c₁, x₁) → (c₂, x₂) and (f₂, g₂): (c₂, x₂) → (c₃, x₃), their composition is defined as (f₂ ∘ f₁, g₂ ∘ F(f₁)(g₁)): (c₁, x₁) → (c₃, x₃).

Identities: The identity morphism for an object (c, x) in the Grothendieck construction is the pair (idₖ, idₗ), where idₖ is the identity morphism for the object c in C, and idₗ is the identity morphism for the object x in F(c).

View come_and_takeit.md

(topos-py3.10) barton@grothendieck topos % poetry add llm Using version ^0.10 for llm

Updating dependencies Resolving dependencies... (27.6s)

Writing lock file

Package operations: 7 installs, 0 updates, 0 removals

@bmorphism
bmorphism / strangest.loop.md
Created September 10, 2023 10:41
vibes.lol
View strangest.loop.md

Connected to the Continuum server. Please enter your query.


What is autopoietic ergodicity and embodied gradualism?


Autopoietic Ergodicity and Embodied Gradualism are concepts derived from the fields of systems theory and thermodynamics, and they are applied in the context of the Plurigrid project.

@bmorphism
bmorphism / wat.c
Created August 19, 2023 08:07
wat.c
View wat.c
#include <thread>
#include <vector>
#include <sys/mman.h>
constexpr size_t kPageSize = 65536;
constexpr size_t k4G = 0x100000000;
void allocate_memory() {
// Attempt to allocate 4G of memory repeatedly
while (true) {
View gist:aeb4a2a81a7cfc556b4af66a6429edfb
Topic 1: Introduction to the User's Query (Birth: 1, Death: 1)
The user provided a link to a paper, and the conversation began.
Topic 2: Discussion on Graph Learning and Aperiodic Tilings (Birth: 2, Death: 2)
The user presented an approach to implementing equivariance in graph learning and aperiodic tilings.
Topic 3: Theoretical Underpinnings and Critique (Birth: 0, Death: 3)
The user asked for criticism and theoretical exploration of the approach, leading to discussions on sheaves, cohomologies, and the theoretical feasibility of the project.
Topic 4: Explanation and Visualization of Algebraic Topology and Persistent Homology (Birth: 3, Death: 4)
@bmorphism
bmorphism / avoid.obstructions.tex
Created August 12, 2023 05:38
This is to facilitate interactions with tool-using agents that can retrieve into context the bundle informing of various obstructions to compositionality to avoid in the neuro-symbolic architecture
View avoid.obstructions.tex
\title{
Obstructions to Compositionality
}
\author{
Caterina Puca \\ Quantinuum* \\ caterina.puca@quantinuum.com
}
\author{
Amar Hadzihasanovic \\ ${ }^{1}$ Quantinuum* \\ 2 Tallinn University of Technology \\ amar . hadzihasanovic@quantinuum.com \\ Bob Coecke \\ Quantinuum* \\ bob.coecke@quantinuum.com
@bmorphism
bmorphism / n+1.md
Created July 31, 2023 21:41
n+1 order commitment to making it together
View n+1.md

Here is a visualization of the nested symmetry in the metafictional story, aligned with the summary points on emergent phenomena and diagrammatic reasoning:

              Emergence in complex systems   
 Meta          
   Meta          Coecke's graphical diagrams
     Meta       
       Meta      Information flow in viral networks
         Meta   
 Meta Bayesian graphical models
View gist:359f86b207e03b973c2fa367e351893a
1. Concept:
The user interacts with SumeruNet through simple cuneiform prompts written on a clay tablet interface. SumeruNet employs a diffusion process to gradually clarify the meaning and form of the desired conceptual output.
2. Input Controls:
• Cuneiform Prompts: The user writes brief descriptive sentences in cuneiform on a virtual clay writing surface. These basic prompts set the initial goals and concepts for SumeruNet.
• Conditional Tokens: The user adds specialized cuneiform tokens to the prompt to specify conditional attributes like colors, materials, object types, etc. This constrains and guides the output within Sumerian artistic conventions.