Re: Using Vine in 3-way interactions (was Re: Question on redirectors/whenMoreResolved in the 3-way case, in the middle vat)

--===============3924057326451222004==
Content-Type: multipart/alternative; boundary=bcaec548a7d96564320510bddd8d

--bcaec548a7d96564320510bddd8d
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On Sat, Mar 7, 2015 at 6:34 PM, Mark S. Miller <[email protected]> wrote:

> On Sat, Mar 7, 2015 at 6:21 PM, Rob Withers <[email protected]>
> wrote:
>
>>  Thanks Mark!  This is a wonder and laughter is the best medicine.  Does
>> this mean a distributed system could be viewed as social ecosystem?  I l=
ike
>> that concept.
>>
>
> Indeed. I have written extensively on this, starting with the "Comparativ=
e
> Ecology" paper at <http://e-drexler.com/p/04/03/0321miller1988b.html>.
> See also section 4.2 of my thesis.
>

Looking again, just the last three paragraphs of Section 4.2, which are
short enough for me to paste here:


  Our explanation of object programming owes a debt to the
plan-coordination literature in economics. Our explanation of encapsulation
derives in part from Friedrich Hayek=E2=80=99s explanation of the plan-sepa=
ration
function of property rights [Hay37, Hay45, MD88]. Division of the society=
=E2=80=99s
resources among the active entities enables the decentralized formulation
of plans, based on mostly non-conflicting assumptions about what resources
will be at each plan=E2=80=99s disposal.

Our explanation of abstraction boundaries derives in part from Ludwig
Lachman=E2=80=99s explanations of the plan coordinating function of institu=
tions
[Lac56, TM06]. The concept of =E2=80=9Cpost office=E2=80=9D stands between =
all the reasons
why people may want to mail a letter and all the means by which delivery
services may convey letters to their destinations. The abstraction boundary
both separates these plans from one another=E2=80=99s details, and it provi=
des for
interactions so they can usefully coordinate.

Our explanation of composition derives in part from Mark Granovetter=E2=80=
=99s
visual explanations of social connectivity dynamics [Gra73, MMF00], where
new relationships form as people introduce people they know to each other.
With Granovetter=E2=80=99s permission, we refer to Figure 4.1 and similar d=
iagrams
as =E2=80=9CGranovetter diagrams.=E2=80=9D




> (Best read after rereading Chapter 4 "Programs as Plans".)
>

Still true. Please do look at Chapter 4.



>
>
>
>
>> So where are the concepts of humor and laughter in distributed systems?
>>
>
> On that one, I'm at a loss ;).
>
>
>

--=20
  Cheers,
  --MarkM

--bcaec548a7d96564320510bddd8d
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Sat, Mar 7, 2015 at 6:34 PM, Mark S. Miller <span dir=3D"ltr">&lt;<a=
 href=3D"mailto:[email protected]" target=3D"_blank">[email protected]</a=
>&gt;</span> wrote:<br><blockquote class=3D"gmail_quote" style=3D"margin:0p=
x 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);bo=
rder-left-style:solid;padding-left:1ex"><div dir=3D"ltr"><div class=3D"gmai=
l_extra"><div class=3D"gmail_quote"><span class=3D"">On Sat, Mar 7, 2015 at=
 6:21 PM, Rob Withers <span dir=3D"ltr">&lt;<a href=3D"mailto:robert.w.with=
[email protected]" target=3D"_blank">[email protected]</a>&gt;</span> =
wrote:<br><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8=
ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-sty=
le:solid;padding-left:1ex">
 =20
   =20
 =20
  <div bgcolor=3D"#FFFFFF" text=3D"#000000">
    Thanks Mark!=C2=A0 This is a wonder and laughter is the best medicine.=
=C2=A0
    Does this mean a distributed system could be viewed as social
    ecosystem?=C2=A0 I like that concept.</div></blockquote><div><br></div>=
</span><div>Indeed. I have written extensively on this, starting with the &=
quot;Comparative Ecology&quot; paper at &lt;<a href=3D"http://e-drexler.com=
/p/04/03/0321miller1988b.html" target=3D"_blank">http://e-drexler.com/p/04/=
03/0321miller1988b.html</a>&gt;. See also section 4.2 of my thesis.</div></=
div></div></div></blockquote><div><br></div><div>Looking again, just the la=
st three paragraphs of Section 4.2, which are short enough for me to paste =
here:</div><div><br></div><div><br></div><div>
	=09
=09
=09
		<div class=3D"" title=3D"Page 45">
			<div class=3D"">
				<div class=3D"">
					<p><span style=3D"font-size:11pt;font-family:CMR10">Our explanation of=
 object programming owes a debt to the plan-coordination literature
in economics. Our explanation of encapsulation derives in part from Friedri=
ch Hayek=E2=80=99s explanation of the plan-separation function of property =
rights [Hay37, Hay45, MD88]. Division
of the society=E2=80=99s resources among the active entities enables the de=
centralized formulation of
plans, based on mostly non-conflicting assumptions about what resources wil=
l be at each
plan=E2=80=99s disposal.
</span></p>
					<p><span style=3D"font-size:11pt;font-family:CMR10">Our explanation of=
 abstraction boundaries derives in part from Ludwig Lachman=E2=80=99s expla=
nations of the plan coordinating function of institutions [Lac56, TM06]. Th=
e concept
of =E2=80=9Cpost offi</span><span style=3D"font-size:11pt;font-family:CMR10=
">ce=E2=80=9D stands between all the reasons why people may want to mail a =
letter and
all the means by which delivery services may convey letters to their destin=
ations. The abstraction boundary both separates these plans from one anothe=
r=E2=80=99s details, and it provides
for interactions so they can usefully coordinate.
</span></p>
					<p><span style=3D"font-size:11pt;font-family:CMR10">Our explanation of=
 composition derives in part from Mark Granovetter=E2=80=99s visual explana=
tions of social connectivity dynamics [Gra73, MMF00], where new relationshi=
ps form as
people introduce people they know to each other. With Granovetter=E2=80=99s=
 permission, we refer
to Figure 4.1 and similar diagrams as =E2=80=9CGranovetter diagrams.=E2=80=
=9D=C2=A0</span></p>
				</div>
			</div>
		</div></div><div><br></div><div><br></div><div>=C2=A0</div><blockquote cl=
ass=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px=
;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1e=
x"><div dir=3D"ltr"><div class=3D"gmail_extra"><div class=3D"gmail_quote"><=
div> (Best read after rereading Chapter 4 &quot;Programs as Plans&quot;.)</=
div></div></div></div></blockquote><div><br></div><div>Still true. Please d=
o look at Chapter 4.</div><div><br></div><div>=C2=A0</div><blockquote class=
=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;bo=
rder-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">=
<div dir=3D"ltr"><div class=3D"gmail_extra"><div class=3D"gmail_quote"><spa=
n class=3D""><div><br></div><div><br></div><div>=C2=A0</div><blockquote cla=
ss=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;=
border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex=
"><div bgcolor=3D"#FFFFFF" text=3D"#000000"> So where are the concepts of h=
umor
    and laughter in distributed systems?<br></div></blockquote><div><br></d=
iv></span><div>On that one, I&#39;m at a loss ;).</div><span class=3D""><fo=
nt color=3D"#888888"><div><br></div><div>=C2=A0</div></font></span></div></=
div></div></blockquote></div><div><br></div>--=C2=A0<div class=3D"gmail_sig=
nature">=C2=A0 Cheers,<br>=C2=A0 --MarkM</div>
</div></div>

--bcaec548a7d96564320510bddd8d--

--===============3924057326451222004==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
e-lang mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/e-lang

--===============3924057326451222004==--