merge

a-fortiori.md

@@ -0,0 +1,4 @@
+# a fortiori
+
+- "used to express a conclusion for which there is stronger evidence than for a previously accepted one."
+

caterina-barbieri.md

@@ -3,11 +3,9 @@
 - a [[person]]
   - [[musician]]
   - [[izzy-swart]] [[recommended]]
+  - [[spotify]] https://open.spotify.com/artist/61WgG5fz5ilJrMne7tE1zu
+  - [[go]] [[spotify]]
 
 https://social.coop/web/statuses/105991225968202743
 
 
-[//begin]: # "Autogenerated link references for markdown compatibility"
-[person]: person "Person"
-[izzy-swart]: izzy-swart "Izzy Swart"
-[//end]: # "Autogenerated link references"

herbert simon.md

@@ -0,0 +1,7 @@
+# herbert simon
+
+- a [[person]]
+  - [[wp]] https://en.wikipedia.org/wiki/Herbert_A._Simon
+    - [[economist]] [[political scientist]] [[cognitive psychologist]]
+    - [[go]] [[wp]]
+

herbert-simon.md

@@ -0,0 +1,2 @@
+# herbert simon
+

how-to-start-a-new-country.md

@@ -0,0 +1,4 @@
+# how to start a new country
+
+- [[go]] https://1729.com/how-to-start-a-new-country/
+

jlaurelc.md

@@ -0,0 +1,5 @@
+# jlaurelc
+
+- a [[person]]
+  - [[twitter]] https://twitter.com/jlaurelc
+

journal/2021-04-14.md

@@ -0,0 +1,10 @@
+# 2021-04-14
+
+- [[patterning reading group]]
+  - [[patterning]] 
+  - [[a fortiori]]
+  - [[notsof]]
+- [[proper subset]]
+- [[jlaurelc]]
+- [[wikilinks everywhere]]
+- [[herbert simon]]

journal/2021-04-15.md

@@ -1,3 +1,11 @@
 # 2021-04-15
 
-- [[calendso]]
+- [[calendso]]
+- [[will-walker]] recommended [[how to start a new country]]
+- talked to
+  - [[vera]]
+  - [[robert haisfield]]
+  - [[chrxn]]
+  - [[rodrigo baraglia]]
+  - [[codex]]
+- [[meet]]

meet.md

@@ -1,10 +1,7 @@
 # Meet
 
-- [[go]] meet.google.com/qdx-zbjn-beq
-- I like Google Meet more than [[Zoom]] :)
+- [[go]] https://meet.google.com/qdx-zbjn-beq
+  - I like Google Meet more than [[Zoom]] :)
+  - [[doodle]] https://doodle.com/poll/tbk6222z3h7g3h27
 
 
-[//begin]: # "Autogenerated link references for markdown compatibility"
-[go]: go "Go"
-[zoom]: zoom "Zoom"
-[//end]: # "Autogenerated link references"

notsof.md

@@ -51,12 +51,66 @@
 
 ## Part Two
 ### The Program
+- [[set theory]]
+  - [[proper-subset]]
+- decomposing [[misfits]] ~ [[decomposing problems]]
+- thesis: for every problem there is one decomposition which is "specially proper" to it
+  - we call this the [[program]] for the problem G(M, I) where
+    - G = graph, [[topological 1-complex]]
+    - M = set of misfits, nodes
+    - L = set of interactions, links, edges
 
-[//begin]: # "Autogenerated link references for markdown compatibility"
-[read]: read "Read"
-[notes-on-the-synthesis-of-form]: notes-on-the-synthesis-of-form "Notes on the Synthesis of Form"
-[go]: go "Go"
-[context]: context "Context"
-[meta]: meta "Meta"
-[armengol]: armengol "Armengol"
-[//end]: # "Autogenerated link references"
+### The Realization of the Program
+- Two phases:
+  - analysis, where the right design [[program]] is found
+    - a tree of sets of requirements / the previous graph
+  - synthesis, where the right [[form]] is derived from the program
+    - a tree of [[diagrams]]
+- examples of [[diagrams]]
+  - [[le corbusier]]'s [[ville radieuse]] is a diagram stemming from two requirements: high density and equal/max access to sunlight and air
+  - a [[sphere]], for the requirement to enclose a maximum volume within a surface
+  - engineer sketches, [[kekulé]]'s representation of benzene
+  - in general they:
+    - summarize  aspects of physical structure: a [[form diagram]]
+    - summarize functional properties or constraints: a [[requirement diagram]]
+    - just one or just the other isn't very useful; a good ("constructive") diagram has elements of both.
+- two ways to describe [[form]]:
+  - [[formal]], what it "is"
+  - [[functional]], what it "does"
+- a unified description is the abstract equivalent of a constructive diagram
+  - a constructive diagram can often *precede* the knowledge which explains its shape
+  - [[aside]]
+    - [[visual cortex]], [[eric weinstein]]
+- "the program is a hierarchy of the most significant subsets of M"
+  - this is looking more and more like a [[graph partitioning]] problem
+
+### Definitions
+- performance standards are based on scales that estimate fit/misfit in certain domains. quantifiable; miss the [[qualitative]].
+- we model problems with fit/misfit as booleans; although they might actually represent quantitative continuous variables plus a threshold, or qualitative opinions by people explicitly expressed
+  - fit = 0
+  - misfit = 1
+  - "Let us remind ourselves of the fundamental principle. Any state of affairs in the ensemble which derives from the interaction between form and context, and causes stress in the ensemble, is  a misfit."
+- [[misfit]] is left as a primitive notion (undefined)
+- [[domain]] is the totaility of possible forms within the cognitive reach of the designer
+- [[probabilities]] enter the stage! Finally. They seem to make sense in this context.
+  - as usual, when probabilities are independent all's nice and well.
+  - [[pearson correlation coefficient]] 
+  - some correlations between probabilities are intrinsic, some are circumstantial
+  - we call correlations [[causal]] when we understand the [rules](rules) that account for it; like e.g. thermodynamics as they affect materials
+- p111 [[correlation matrix]]
+  - helps us define L and thus settle on the G(M, L)
+- three formal properties of G(M, L)
+  - L describes all the interactions between variables there is. Because L is the set of two-variable correlations, M must be chosen so it's free from n-variable correlations with n > 2.
+    - superordinate concepts like "economics" and "acoustics" tend to be problematic here, and they should be seen as intermediate steps -- must be broken down
+  - the two-variable correlations must be small for any pair.
+  - p(xi = 0) should be the same for all i (?)
+    - but in the next sentence Alexander moves to "roughly the same in significance", which is both distinct than the previous and more reasonable IMHO.
+   
+### Solution
+- the tension between form-making (integration) and analysis (fragmentation) is resolved by "finding knots": problems are not homogeneous, they actually have some structure, so there are right ways to tackle them.
+  - reminds me of [[computational complexity]]
+- p124 well decomposed sets will tend to be densely connected internally but have few or no links (the latter usually being not achievable) between sets
+- "It is the culmination of the designer's task to make every diagram both a pattern and a unit. As a unit it will fit into the hierarchy of larger components that fall above it; as a [[pattern]] it will specify the hierarchy of  smaller com­ponents which it itself is made of."
+
+### Epilogue
+- "My main task has been to show that there is a deep and important underlying structural correspondence between the [[pattern]] of a problem and the process of designing a  physical [[form]] which answers that problem."

patterning-reading-group.md

@@ -0,0 +1,4 @@
+# patterning reading group
+
+- [[pull]] [[patterning]]
+

patterning.md

@@ -0,0 +1,5 @@
+# patterning
+
+- [[pull]] [[notsof]] [[ttowb]] [[apl]]
+- [[go]] https://lorand.earth/patterning/
+

pearson-correlation-coefficient.md

@@ -0,0 +1,6 @@
+# pearson correlation coefficient
+
+- [[wp]] https://en.wikipedia.org/wiki/Pearson_correlation_coefficient
+  - [[go]] [[wp]]
+  - [[notsof]] ![](assets/2021-04-14-13-11-35.png)
+

proper-subset.md

@@ -0,0 +1,3 @@
+# proper subset
+
+- S1 is a proper subset of S2 [[iif]] S2 has some items which aren't in S1. That is, they are not equal.

ville-radieuse.md

@@ -0,0 +1,7 @@
+# ville radieuse
+
+- an [[urban design project]]
+  - by [[le corbusier]]
+  - [[wp]] https://en.wikipedia.org/wiki/Ville_Radieuse
+  - [[go]] [[wp]]
+

web-extension.md

@@ -1,10 +1,7 @@
 # web extension
 
 - [[pull]] [[web extensions]] [[browser extension]]
-- [[go]] https://anagora.org/wiki/Web_Extensions
+- [[go]] [[mdn]]
+- [[mdn]] https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/Your_second_WebExtension
 
 
-[//begin]: # "Autogenerated link references for markdown compatibility"
-[pull]: pull "Pull"
-[go]: go "Go"
-[//end]: # "Autogenerated link references"

wikilinks-everywhere.md

@@ -1,35 +1,25 @@
 # Wikilinks Everywhere
 
 - A [[project]]. [[open source]].
-  - [[pull]] [[we]]
-- The [[goal]] is to make [[wikilinks]] work everywhere on the internet.
-  - A [[wikilink]] is any entity or phrase surrounded by two square brackets.
-  - [[wikilinks]] can be [[lazily resolved]] in a user chosen [[context]].
-    - Default context: an [[agora]] of the user's choice.
-- It has a [[browser extension]] component.
-  - The [[user]] can install an extension and see "dead" [[wikilinks]] "come to life" anywhere around the internet.
-  - [[prototype]] [[agora ext]]
-- It has a [[social network]] component.
-  - People could start using [[wikilinks]] on any platform that supports user generated [[content]] online, social networks being likely the most popular interfaces.
-  - For the purpose of connecting to such platforms we'd like to develop an [[agora bridge]].
-- [[go]] https://docs.google.com/document/d/1h2kSuh7TntPj_XZ7BnLPDwtwshq7skzF3BIYwLgVquA/edit#
-- [[chat]] https://app.element.io/#/room/#wikilinks:matrix.org
-- [[tweet]] https://twitter.com/flancian/status/1337835415215202308
+  - The [[goal]] is to make [[wikilinks]] work everywhere on the internet.
+    - A [[wikilink]] is any entity or phrase surrounded by two square brackets.
+    - [[wikilinks]] can be [[lazily resolved]] in a user chosen [[context]].
+      - Default context: an [[agora]] of the user's choice.
+  - It has a [[browser extension]] component.
+    - The [[user]] can install an extension and see "dead" [[wikilinks]] "come to life" anywhere around the internet.
+    - [[prototype]] [[agora ext]]
+  - It has a [[social network]] component.
+      - People could start using [[wikilinks]] on any platform that supports user generated [[content]] online, social networks being likely the most popular interfaces.
+    - For the purpose of connecting to such platforms we'd like to develop an [[agora bridge]].
+  - [[go]] https://docs.google.com/document/d/1h2kSuh7TntPj_XZ7BnLPDwtwshq7skzF3BIYwLgVquA/edit#
+  - [[chat]] https://app.element.io/#/room/#wikilinks:matrix.org
+  - [[tweet]] https://twitter.com/flancian/status/1337835415215202308
+  - See also [[agora rfcs]], in particular 0 and 2.
+
+## [[2021-04-14]]
+
+The plan is to get in at least two pomodoros in this to advance it somehow in the direction of a prototype. Will try to build on [[agora ext]].
+
 
 
 
-[//begin]: # "Autogenerated link references for markdown compatibility"
-[project]: project "Project"
-[open source]: open-source "Open Source"
-[wikilinks]: wikilinks "Wikilinks"
-[wikilink]: wikilink "Wikilink"
-[context]: context "Context"
-[agora]: agora "Agora"
-[browser extension]: browser-extension "Browser Extension"
-[agora ext]: agora-ext "Agora Ext"
-[social network]: social-network "Social Network"
-[content]: content "Content"
-[agora bridge]: agora-bridge "Agora Bridge"
-[go]: go "Go"
-[tweet]: tweet "Tweet"
-[//end]: # "Autogenerated link references"