Re: SPREAD (was: Bitcoin scripting language extensions, collaboration requested)

"William Tanksley, Jr" <[email protected]> Mon, 3 Feb 2014 22:40:02 -0800
Newsgroups	gmane.comp.lang.concatenative
Message-ID	<CAFTBfO7FDtGYkNKGWfkwECUDy31T5YOdpTQAd-3QT=2nCAYu_g@mail.gmail.com>
--001a1134cdd8eb25f404f18ee873
Content-Type: text/plain; charset=ISO-8859-1

http://oercode.blogspot.nl/ has some info.

-Wm
On Feb 3, 2014 6:06 PM, "Mark Friedenbach" <[email protected]> wrote:

> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> SPREAD is very interesting indeed. I'm not sure yet how it applies to
> this bitcoin extension, but I am thinking of future project I have in
> mind of a probabilistic programming language. In such a language
> storing how values were derived becomes vitally important - as you
> perform updates of the knowledge base, you need to update also any
> facts derived from those being updated.
>
> Do you know if there is more info on the web about SPREAD? My
> Google-fu is having a little trouble finding anything more than the
> announcement post.
>
> Mark
>
> On 02/01/2014 09:53 AM, William Tanksley, Jr wrote:
> >
> >
> > Robbert, your SPREAD language is also interesting (assuming I
> > remember the name right), especially since it has a large
> > non-Turing-complete subset, which helps in analysis.
> >
> >
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.14 (GNU/Linux)
> Comment: GPGTools - http://gpgtools.org
> Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
>
> iQIcBAEBAgAGBQJS8Es+AAoJEAdzVfsmodw4OrEP/3vFORbYTxu05CGa/2iTnWWS
> ZYvKTIs1cwZ33i/fk+o8OBzJjAl1otIVImAuQSQXmDQgDa9JxsttdgyvZIzTAyoq
> AHg963iKpsq2NlMyuBV0XZnd6JjxQD+9l5DrqRM02G0c/8+usB2c1eQYUAuWfloB
> 4UBsMms13ghxROIkfgYN5sCz3KCndG4VZTh4OWdrXa6CeP17DqRRWYdKOoen9xDa
> Fu6yAPK4gNfpjGzMlTbfwkoYon5DZw8k+YV1xi7Vcw7GWNOmdMU6Zr/vBoV0YiHe
> 2Ov8w4pUT6tuzkD2bfsxs6Mho5f6qt9dvEO9Kijq5cKulrwQWQvabfXWedJhKqyc
> JmBu4T3S590aBpsWN3O7rYqMVzkjkqglxmVa6NMHcebKu3kanV4yes3M9pYUsnxO
> Xtgpa6DWPvkaY83AaP2EE1osWo6yJB55tni/p+HD/kGK6KhW8/vF+pK+7UERBhVz
> /7DLVTBGSymjYSR+/6fosJ3GRkXM5NjSaUkCgqt6XFlmxsBjjCKON58CWZs2xG/q
> Dpe6NVPGS61Q6AKV+DyBSBdOZb94wA34bPKCkg8DAxKzpmHy/UAKg1p5laNZN9FZ
> j1VnteG1YpFV3wQ/TIgdvL8El+Tba9/Xq4fru25EysNVGZQs8I3QD6E1P3FJwzrH
> vwROFxE/CuMwg0GE0Jur
> =7tIw
> -----END PGP SIGNATURE-----
>
>
> ------------------------------------
>
> Yahoo Groups Links
>
>
>
>

--001a1134cdd8eb25f404f18ee873
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable




<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/htm=
l4/strict.dtd">
<html>
<head>
</head>







<body style=3D"background-color: #fff;">
<span style=3D"display:none">&nbsp;</span>

<!--~-|**|PrettyHtmlStartT|**|-~-->
<div id=3D"ygrp-mlmsg" style=3D"position:relative;">
  <div id=3D"ygrp-msg" style=3D"z-index: 1;">
<!--~-|**|PrettyHtmlEndT|**|-~-->

    <div id=3D"ygrp-text" >
=20=20=20=20=20=20
=20=20=20=20=20=20
      <p><p dir=3D"ltr"><a href=3D"http://oercode.blogspot.nl/">http://oerc=
ode.blogspot.nl/</a> has some info.</p>
<p dir=3D"ltr">-Wm</p>
<div class=3D"gmail_quote">On Feb 3, 2014 6:06 PM, &quot;Mark Friedenbach&q=
uot; &lt;<a href=3D"mailto:[email protected]">[email protected]</a>&gt; wrote=
:<br type=3D"attribution"><blockquote class=3D"gmail_quote" style=3D"border=
-left:1px #ccc solid;">
-----BEGIN PGP SIGNED MESSAGE-----<br>
Hash: SHA1<br>
<br>
SPREAD is very interesting indeed. I&#39;m not sure yet how it applies to<b=
r>
this bitcoin extension, but I am thinking of future project I have in<br>
mind of a probabilistic programming language. In such a language<br>
storing how values were derived becomes vitally important - as you<br>
perform updates of the knowledge base, you need to update also any<br>
facts derived from those being updated.<br>
<br>
Do you know if there is more info on the web about SPREAD? My<br>
Google-fu is having a little trouble finding anything more than the<br>
announcement post.<br>
<br>
Mark<br>
<br>
On 02/01/2014 09:53 AM, William Tanksley, Jr wrote:<br>
&gt;<br>
&gt;<br>
&gt; Robbert, your SPREAD language is also interesting (assuming I<br>
&gt; remember the name right), especially since it has a large<br>
&gt; non-Turing-complete subset, which helps in analysis.<br>
&gt;<br>
&gt;<br>
-----BEGIN PGP SIGNATURE-----<br>
Version: GnuPG v1.4.14 (GNU/Linux)<br>
Comment: GPGTools - <a href=3D"http://gpgtools.org" target=3D"_blank">http:=
//gpgtools.org</a><br>
Comment: Using GnuPG with Thunderbird - <a href=3D"http://www.enigmail.net/=
" target=3D"_blank">http://www.enigmail.net/</a><br>
<br>
iQIcBAEBAgAGBQJS8Es&#43;AAoJEAdzVfsmodw4OrEP/3vFORbYTxu05CGa/2iTnWWS<br>
ZYvKTIs1cwZ33i/fk&#43;o8OBzJjAl1otIVImAuQSQXmDQgDa9JxsttdgyvZIzTAyoq<br>
AHg963iKpsq2NlMyuBV0XZnd6JjxQD&#43;9l5DrqRM02G0c/8&#43;usB2c1eQYUAuWfloB<br=
>
4UBsMms13ghxROIkfgYN5sCz3KCndG4VZTh4OWdrXa6CeP17DqRRWYdKOoen9xDa<br>
Fu6yAPK4gNfpjGzMlTbfwkoYon5DZw8k&#43;YV1xi7Vcw7GWNOmdMU6Zr/vBoV0YiHe<br>
2Ov8w4pUT6tuzkD2bfsxs6Mho5f6qt9dvEO9Kijq5cKulrwQWQvabfXWedJhKqyc<br>
JmBu4T3S590aBpsWN3O7rYqMVzkjkqglxmVa6NMHcebKu3kanV4yes3M9pYUsnxO<br>
Xtgpa6DWPvkaY83AaP2EE1osWo6yJB55tni/p&#43;HD/kGK6KhW8/vF&#43;pK&#43;7UERBhV=
z<br>
/7DLVTBGSymjYSR&#43;/6fosJ3GRkXM5NjSaUkCgqt6XFlmxsBjjCKON58CWZs2xG/q<br>
Dpe6NVPGS61Q6AKV&#43;DyBSBdOZb94wA34bPKCkg8DAxKzpmHy/UAKg1p5laNZN9FZ<br>
j1VnteG1YpFV3wQ/TIgdvL8El&#43;Tba9/Xq4fru25EysNVGZQs8I3QD6E1P3FJwzrH<br>
vwROFxE/CuMwg0GE0Jur<br>
=3D7tIw<br>
-----END PGP SIGNATURE-----<br>
<br>
<br>
------------------------------------<br>
<br>
Yahoo Groups Links<br>
<br>
&lt;*&gt; To visit your group on the web, go to:<br>
=A0 =A0 <a href=3D"http://groups.yahoo.com/group/concatenative/" target=3D"=
_blank">http://groups.yahoo.com/group/concatenative/</a><br>
<br>
&lt;*&gt; Your email settings:<br>
=A0 =A0 Individual Email | Traditional<br>
<br>
&lt;*&gt; To change settings online go to:<br>
=A0 =A0 <a href=3D"http://groups.yahoo.com/group/concatenative/join" target=
=3D"_blank">http://groups.yahoo.com/group/concatenative/join</a><br>
=A0 =A0 (Yahoo! ID required)<br>
<br>
&lt;*&gt; To change settings via email:<br>
=A0 =A0 <a href=3D"mailto:[email protected]">concatenati=
[email protected]</a><br>
=A0 =A0 <a href=3D"mailto:[email protected]">conca=
[email protected]</a><br>
<br>
&lt;*&gt; To unsubscribe from this group, send an email to:<br>
=A0 =A0 <a href=3D"mailto:[email protected]">concat=
[email protected]</a><br>
<br>
&lt;*&gt; Your use of Yahoo Groups is subject to:<br>
=A0 =A0 <a href=3D"http://info.yahoo.com/legal/us/yahoo/utos/terms/" target=
=3D"_blank">http://info.yahoo.com/legal/us/yahoo/utos/terms/</a><br>
<br>
</blockquote></div>
</p>

    </div>
=20=20=20=20=20

    <!--~-|**|PrettyHtmlStart|**|-~-->
    <div style=3D"color: #fff; height: 0;">__._,_.___</div>

=20=20=20=20=20=20=20=20=20=20
=20=20
=20=20=20=20
    <table cellspacing=3D4px style=3D"margin-top: 20px; margin-bottom: 10px=
;">
      <tbody>
        <tr>
          <td style=3D"font-size: 12px; font-family: arial; font-weight: bo=
ld; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1=
px solid #EAEAEA "  >
                          <a style=3D"text-decoration: none; color: #2D50FD=
" href=3D"http://groups.yahoo.com/group/concatenative/post;_ylc=3DX3oDMTJwM=
mg5OHI3BF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lk=
AzQ5NTkEc2VjA2Z0cgRzbGsDcnBseQRzdGltZQMxMzkxNDk2MDA0?act=3Dreply&messageNum=
=3D4959">Reply via web post</a>
                      </td>
          <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p=
x 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; "=
 >
            <a href=3D"mailto:[email protected]?subject=3DRe%3A%20%5Bst=
ack%5D%20SPREAD%20%28was%3A%20Bitcoin%20scripting%20language%20extensions%2=
C%20collaboration%20requested%29" style=3D"text-decoration: none; color: #2=
D50FD;">
              Reply to sender            </a>=20
          </td>
          <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p=
x 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; "=
>
            <a href=3D"mailto:[email protected]?subject=3DRe%3A=
%20%5Bstack%5D%20SPREAD%20%28was%3A%20Bitcoin%20scripting%20language%20exte=
nsions%2C%20collaboration%20requested%29" style=3D"text-decoration: none; c=
olor: #2D50FD">
              Reply to group            </a>=20
          </td>
          <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p=
x 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; "=
 >
            <a href=3D"http://groups.yahoo.com/group/concatenative/post;_yl=
c=3DX3oDMTJlOTJsZGdqBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA=
2NzY0BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTM5MTQ5NjAwNA--" style=3D"text-decora=
tion: none; color: #2D50FD">Start a New Topic</a>
          </td>
          <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p=
x 5px; color: #2D50FD; background-color: #F2F2F2; border: 1px solid #EAEAEA=
; " >
                            <a href=3D"http://groups.yahoo.com/group/concat=
enative/message/4950;_ylc=3DX3oDMTM0aTZtODd0BF9TAzk3MzU5NzE0BGdycElkAzE4Mzk=
yNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzQ5NTkEc2VjA2Z0cgRzbGsDdnRwYwRzdGltZQ=
MxMzkxNDk2MDA0BHRwY0lkAzQ5NTA-" style=3D"text-decoration: none; color: #2D5=
0FD;">Messages in this topic</a>
                (10)
                      </td>
        </tr>
      </tbody>
    </table>

=20=20=20=20=20=20=20=20
<!------- Start Nav Bar ------>

<!-- |**|begin egp html banner|**| -->
<div id=3D"ygrp-vital" style=3D"background-color: #f2f2f2; font-family: Ver=
dana; font-size: 10px; margin-bottom: 10px; padding: 10px;">
      <span id=3D"vithd" style=3D"font-weight: bold; color: #333; text-tran=
sform: uppercase; ">Recent Activity:</span>

    <ul style=3D"list-style-type: none; margin: 0; padding: 0; display: inl=
ine;">
                                                    </ul>
=20=20=20=20
  <div style=3D"clear: both; padding-top: 2px; color: #1e66ae;">
    <a href=3D"http://groups.yahoo.com/group/concatenative;_ylc=3DX3oDMTJlb=
nUzMmhtBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwN2=
dGwEc2xrA3ZnaHAEc3RpbWUDMTM5MTQ5NjAwNA--" style=3D"text-decoration: none;">=
Visit Your Group</a>
  </div>
</div>


=20=20
<div id=3D"ft" style=3D"font-family: Arial; font-size: 11px; margin-top: 5p=
x; padding: 0 2px 0 0; clear: both;">
  <a href=3D"http://groups.yahoo.com/;_ylc=3DX3oDMTJkcWc4YzRhBF9TAzk3NDc2NT=
kwBGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA2dmcARzdGltZ=
QMxMzkxNDk2MDA0" style=3D"float: left;"><img src=3D"http://l.yimg.com/ru/st=
atic/images/yg/img/email/new_logo/logo-groups-137x15.png" height=3D"15" wid=
th=3D"137" alt=3D"Yahoo! Groups" style=3D"border: 0;"/></a>
  <div style=3D"color: #747575; float: right;">Switch to: <a href=3D"mailto=
:[email protected]?subject=3DChange Delivery Format=
: Traditional" style=3D"text-decoration: none;">Text-Only</a>, <a href=3D"m=
ailto:[email protected]?subject=3DEmail Delivery: Digest=
" class=3D"margin-rt" style=3D"text-decoration: none;">Daily Digest</a> &bu=
ll; <a href=3D"mailto:[email protected]?subject=3DU=
nsubscribe" style=3D"text-decoration: none;">Unsubscribe</a> &bull; <a href=
=3D"http://info.yahoo.com/legal/us/yahoo/utos/terms/" style=3D"text-decorat=
ion: none;">Terms of Use</a> </div>
</div>

<!-- |**|end egp html banner|**| -->

  </div> <!-- ygrp-msg -->

  <!-- Sponsor -->
  <!-- |**|begin egp html banner|**| -->
  <div id=3D"ygrp-sponsor" style=3D"width:160px; float:right; clear:none; m=
argin:0 0 25px 0; background: #fff;">

<!-- Start Recommendations -->
<div id=3D"ygrp-reco">
     </div>
<!-- End Recommendations -->



  </div>   <!-- |**|end egp html banner|**| -->

  <div style=3D"clear:both; color: #FFF; font-size:1px;">.</div>
</div>

  <img src=3D"http://geo.yahoo.com/serv?s=3D97359714/grpId=3D1839274/grpspI=
d=3D1705006764/msgId=3D4959/stime=3D1391496004" width=3D"1" height=3D"1"> <=
br>

<div style=3D"color: #fff; height: 0;">__,_._,___</div>
<!--~-|**|PrettyHtmlEnd|**|-~-->

</body>

<!--~-|**|PrettyHtmlStart|**|-~-->
<head>
  <style type=3D"text/css">
  <!--
  #ygrp-mkp {
  border: 1px solid #d8d8d8;
  font-family: Arial;
  margin: 10px 0;
  padding: 0 10px;
}

#ygrp-mkp hr {
  border: 1px solid #d8d8d8;
}

#ygrp-mkp #hd {
  color: #628c2a;
  font-size: 85%;
  font-weight: 700;
  line-height: 122%;
  margin: 10px 0;
}

#ygrp-mkp #ads {
  margin-bottom: 10px;
}

#ygrp-mkp .ad {
  padding: 0 0;
}

#ygrp-mkp .ad p {
  margin: 0;
}

#ygrp-mkp .ad a {
  color: #0000ff;
  text-decoration: none;
}
  #ygrp-sponsor #ygrp-lc {
  font-family: Arial;
}

#ygrp-sponsor #ygrp-lc #hd {
  margin: 10px 0px;
  font-weight: 700;
  font-size: 78%;
  line-height: 122%;
}

#ygrp-sponsor #ygrp-lc .ad {
  margin-bottom: 10px;
  padding: 0 0;
}

  #actions {
    font-family: Verdana;
    font-size: 11px;
    padding: 10px 0;
  }

  #activity {
    background-color: #e0ecee;
    float: left;
    font-family: Verdana;
    font-size: 10px;
    padding: 10px;
  }

  #activity span {
    font-weight: 700;
  }

  #activity span:first-child {
    text-transform: uppercase;
  }

  #activity span a {
    color: #5085b6;
    text-decoration: none;
  }

  #activity span span {
    color: #ff7900;
  }

  #activity span .underline {
    text-decoration: underline;
  }

  .attach {
    clear: both;
    display: table;
    font-family: Arial;
    font-size: 12px;
    padding: 10px 0;
    width: 400px;
  }

  .attach div a {
    text-decoration: none;
  }

  .attach img {
    border: none;
    padding-right: 5px;
  }

  .attach label {
    display: block;
    margin-bottom: 5px;
  }

  .attach label a {
    text-decoration: none;
  }
=20=20
  blockquote {
    margin: 0 0 0 4px;
  }

  .bold {
    font-family: Arial;
    font-size: 13px;
    font-weight: 700;
  }

  .bold a {
    text-decoration: none;
  }

  dd.last p a {
    font-family: Verdana;
    font-weight: 700;
  }

  dd.last p span {
    margin-right: 10px;
    font-family: Verdana;
    font-weight: 700;
  }

  dd.last p span.yshortcuts {
    margin-right: 0;
  }

  div.attach-table div div a {
    text-decoration: none;
  }

  div.attach-table {
    width: 400px;
  }

  div.file-title a, div.file-title a:active, div.file-title a:hover, div.fi=
le-title a:visited {
    text-decoration: none;
  }

  div.photo-title a, div.photo-title a:active, div.photo-title a:hover, div=
.photo-title a:visited {
    text-decoration: none;
  }

  div#ygrp-mlmsg #ygrp-msg p a span.yshortcuts {
    font-family: Verdana;
    font-size: 10px;
    font-weight: normal;
  }

  .green {
    color: #628c2a;
  }

  .MsoNormal {
    margin: 0 0 0 0;
  }

  o {
    font-size: 0;
  }

  #photos div {
    float: left;
    width: 72px;
  }

  #photos div div {
    border: 1px solid #666666;
    height: 62px;
    overflow: hidden;
    width: 62px;
  }

  #photos div label {
    color: #666666;
    font-size: 10px;
    overflow: hidden;
    text-align: center;
    white-space: nowrap;
    width: 64px;
  }

  #reco-category {
    font-size: 77%;
  }

  #reco-desc {
    font-size: 77%;
  }

  .replbq {
    margin: 4px;
  }

  #ygrp-actbar div a:first-child {
   /* border-right: 0px solid #000;*/
    margin-right: 2px;
    padding-right: 5px;
  }

  #ygrp-mlmsg {
    font-size: 13px;
    font-family: Arial, helvetica,clean, sans-serif;
    *font-size: small;
    *font: x-small;
  }

  #ygrp-mlmsg table {
    font-size: inherit;
    font: 100%;
  }

  #ygrp-mlmsg select, input, textarea {
    font: 99% Arial, Helvetica, clean, sans-serif;
  }

  #ygrp-mlmsg pre, code {
    font:115% monospace;
    *font-size:100%;
  }

  #ygrp-mlmsg * {
    line-height: 1.22em;
  }

  #ygrp-mlmsg #logo {
    padding-bottom: 10px;
  }


  #ygrp-msg p a {
    font-family: Verdana;
  }

  #ygrp-msg p#attach-count span {
    color: #1E66AE;
    font-weight: 700;
  }

  #ygrp-reco #reco-head {
    color: #ff7900;
    font-weight: 700;
  }

  #ygrp-reco {
    margin-bottom: 20px;
    padding: 0px;
  }

  #ygrp-sponsor #ov li a {
    font-size: 130%;
    text-decoration: none;
  }

  #ygrp-sponsor #ov li {
    font-size: 77%;
    list-style-type: square;
    padding: 6px 0;
  }=20

  #ygrp-sponsor #ov ul {
    margin: 0;
    padding: 0 0 0 8px;
  }

  #ygrp-text {
    font-family: Georgia;
  }

  #ygrp-text p {
    margin: 0 0 1em 0;
  }

  #ygrp-text tt {
    font-size: 120%;
  }

  #ygrp-vital ul li:last-child {
    border-right: none !important;=20
  }=20
  -->
  </style>
</head>

<!--~-|**|PrettyHtmlEnd|**|-~-->
</html>
<!-- end group email -->


--001a1134cdd8eb25f404f18ee873--