contractability

meta-introspector · Feb 26, 2024 · 3f7129d · 3f7129d
1 parent fe1c394
commit 3f7129d
Show file tree

Hide file tree

Showing 14 changed files with 65 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -3165,3 +3165,27 @@
 [submodule "2024/02/25/nix-for-numbskulls"]
 	path = 2024/02/25/nix-for-numbskulls
 	url = https://github.com/mhwombat/nix-for-numbskulls
+[submodule "2024/02/26/atd"]
+	path = 2024/02/26/atd
+	url = https://github.com/ahrefs/atd
+[submodule "2024/02/26/akvorado"]
+	path = 2024/02/26/akvorado
+	url = https://github.com/akvorado/akvorado
+[submodule "2024/02/26/leptos"]
+	path = 2024/02/26/leptos
+	url = https://github.com/leptos-rs/leptos
+[submodule "2024/02/26/panel"]
+	path = 2024/02/26/panel
+	url = http://github.com/pterodactyl/panel
+[submodule "2024/02/26/dream2nix"]
+	path = 2024/02/26/dream2nix
+	url = https://github.com/nix-community/dream2nix
+[submodule "2024/02/26/0install"]
+	path = 2024/02/26/0install
+	url = https://github.com/0install/0install
+[submodule "2024/02/26/ocurl"]
+	path = 2024/02/26/ocurl
+	url = https://github.com/ygrek/ocurl
+[submodule "2024/02/26/flake-templates"]
+	path = 2024/02/26/flake-templates
+	url = https://github.com/akirak/flake-templates
diff --git a/2024/01/15/lang_agent b/2024/01/15/lang_agent
diff --git a/2024/02/22/opam-nix b/2024/02/22/opam-nix
diff --git a/2024/02/24/opam2nix b/2024/02/24/opam2nix
diff --git a/2024/02/25/opam2nix b/2024/02/25/opam2nix
diff --git a/2024/02/26/0install b/2024/02/26/0install
diff --git a/2024/02/26/akvorado b/2024/02/26/akvorado
diff --git a/2024/02/26/atd b/2024/02/26/atd
diff --git a/2024/02/26/dream2nix b/2024/02/26/dream2nix
diff --git a/2024/02/26/flake-templates b/2024/02/26/flake-templates
diff --git a/2024/02/26/leptos b/2024/02/26/leptos
diff --git a/2024/02/26/notes.org b/2024/02/26/notes.org
@@ -0,0 +1,30 @@
+* ideas of the day.
+
+Ideas are contractable back down to the mind where they disappear and reemerge from it.
+
+We can think of the mind as the base case where the idea emerges from,
+and then the idea is continuously deformed into shapes as it gets bigger and bigger outside or inside the mind but starting from a point.
+
+Even stimulus from outside that might cause this, so we could think of a musical idea that we percieve
+and then it deforms in the mind into different forms.
+
+Now we can consider if two starting points are equivalent, if the idea emerges from the mind we can say they
+are two ideas from the same mind at different times or originating from the space mind. 
+from the outside we can just say this is an idea from this person, or they might change over time.
+but the point is if we can reduce the idea to a point it can then dissappear into the mind and reemerge as a new point that we might
+consider to be equivalent if it of the same type. 
+E. Kant considered apriori ideas to be identical if they have the same abstract content. 
+
+we dont know what is happening in there.
+
+to reconsider or contemplate is to go back into the depths of the mind.
+
+from the outside we can think of this as a point. also from inside it is also can be considered as point.
+so in any case it will go normal senses in and via motor actions out being a neural interface of electric signals.
+
+
+If we consider the idea of the principle of induction for contractibility in homotopy type theory, we could consider the mind as the zero element from which
+we can contract or drag the ideas out of. 
+
+We can map the semantics of the user interface to coq proof terms so that dragging a total2 gui element that represents a connection on the GUI creates
+a total connection between the two objects denoted.
diff --git a/2024/02/26/ocurl b/2024/02/26/ocurl
diff --git a/2024/02/26/panel b/2024/02/26/panel
+0 −1		bin/dune
+1 −1		bin/simple.ml
+3 −1		flake.nix
+3 −3		gen_fold_simple.sh
+74 −39		grammars/ebnf.ebnf.prompt
+1 −1		lang_agent.opam
+112 −0		lib/chat_completion.ml
+30 −0		lib/client.ml
+1 −1		lib/dune
+9 −0		lib/json.ml
+0 −1		lib/openai_client.ml
+909 −0		opam-selection.nix
+0 −16		shell.nix