From 7043e18fcdd4dbfb03c872cc690f92e9fde1efd0 Mon Sep 17 00:00:00 2001 From: mike dupont Date: Thu, 22 Feb 2024 06:57:10 -0500 Subject: [PATCH] notes --- 2024/02/22/notes.org | 79 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 79 insertions(+) create mode 100644 2024/02/22/notes.org diff --git a/2024/02/22/notes.org b/2024/02/22/notes.org new file mode 100644 index 00000000..5b340e88 --- /dev/null +++ b/2024/02/22/notes.org @@ -0,0 +1,79 @@ +* ideas of the day. +people have fuzzy ideas. +we can clarify them with llms. + +** brainstorm +precipitation or raining of words. +flashes of insight as lighting. +rubbing of clouds against each other as friction. + +*** ideas +**** generate ideas +*** list the verbs + +*** limit the verbs. +choose your domain. +limit your scope. +**** domains : +***** unimath - mathematics +****** category theory +******* identities +******* morphisms +******** auto morphisms +****** group theory + +******* symmetries +***** coq proof assistent +***** ocaml compiler +***** gcc compiler +***** linux os +***** assembly language +***** machine language +***** physics +***** mathematics + +focus your attention. +define your terms. + +**** each verb represents a typeclass of places you can use that verb. + +*** combinatatorics/permutations + +** define terms +*** use, deploy, +*** represent, encode, stand in place of +*** list, enumerate, visit +*** combine + +*** limit/restrict +*** focus/direct attention +**** attach + +*** revisit +**** detach +**** contemplate + +** find opposites +*** create eigenvectors. + +*** attach/detach +*** ascend/decend + +** jacobs ladder +up and down +higher abstraction/lower abstraction +more awareness/less awareness +type/instance +object/property + +** declare interface/typeclases +** define/implement interfaces/instanciate classes + +** order terms. +*** give depedendancies. + +* split out jobs from this text +** list the verbs +** define the verbs +** define the domain and range of verb +** think of each verb as a morphism