Programmers <socalfp@googlegroups.com>
Received: by 10.68.223.40 with SMTP id qr8mr10750290pbc.0.1342468973246;
        Mon, 16 Jul 2012 13:02:53 -0700 (PDT)
X-BeenThere: socalfp@googlegroups.com
Received: by 10.68.136.39 with SMTP id px7ls16115467pbb.1.gmail; Mon, 16 Jul
 2012 13:02:51 -0700 (PDT)
Received: by 10.68.241.162 with SMTP id wj2mr10729803pbc.2.1342468971848;
        Mon, 16 Jul 2012 13:02:51 -0700 (PDT)
Received: by 10.68.241.162 with SMTP id wj2mr10729801pbc.2.1342468971825;
        Mon, 16 Jul 2012 13:02:51 -0700 (PDT)
Return-Path: <todd_rockh...@yahoo.com>
Received: from nm29.access.bullet.mail.sp2.yahoo.com (nm29.access.bullet.mail.sp2.yahoo.com. [98.139.44.156])
        by gmr-mx.google.com with SMTP id vj10si360560pbc.0.2012.07.16.13.02.51;
        Mon, 16 Jul 2012 13:02:51 -0700 (PDT)
Received-SPF: pass (google.com: best guess record for domain of todd_rockh...@yahoo.com designates 98.139.44.156 as permitted sender) client-ip=98.139.44.156;
Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of todd_rockh...@yahoo.com designates 98.139.44.156 as permitted sender) smtp.mail=todd_rockh...@yahoo.com; dkim=pass (test mode) header...@yahoo.com
Received: from [98.139.44.106] by nm29.access.bullet.mail.sp2.yahoo.com with NNFMP; 16 Jul 2012 20:02:51 -0000
Received: from [98.139.44.79] by tm11.access.bullet.mail.sp2.yahoo.com with NNFMP; 16 Jul 2012 20:02:51 -0000
Received: from [127.0.0.1] by omp1016.access.mail.sp2.yahoo.com with NNFMP; 16 Jul 2012 20:02:51 -0000
X-Yahoo-Newman-Property: ymail-3
X-Yahoo-Newman-Id: 527072.10589...@omp1016.access.mail.sp2.yahoo.com
Received: (qmail 91672 invoked by uid 60001); 16 Jul 2012 20:02:51 -0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1342468971; bh=oVTk7vuT4097VY7VuCj7A/9+vk/2tSUjAtTGGG8Xm2Y=; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=2CAsWQoSnKJ5wS2ujoqNdTKkK2PRVbBcKvRUC+Nd6jFCl+nCvIWnzKIQJZ4AUV2jUDcgZEC73FigR/CNEnWC0WutlBTj8zTBqh/XH3N49qXt7Nks3RhtUtOlaO52GwHlbC9LVe/dXOMTCw1GLEO0PI0B6SnfcZjUBwezZK24SnE=
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
  s=s1024; d=yahoo.com;
  h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding;
  b=x2FDSYG3FoTVSDZLDBuaKK0nUx/d6yHBjQ8W0RlKeHcW3F3/Vep9Gb/1feLz6swdjVRQ3I3+oOBY9c/rJPm0CAMbZTrYpuqlVpGJxHzBSjNcHEaLnBSzP6kabemZeG+oKZQyLfnN4b2MgcSBS7JywKymjs5XEQarQVottmm2el8=;
X-YMail-OSG: kfRS3kMVM1nERWFRolj6hLDulsWyJ.FFl73wFSI.yzavzIx
 jO52ZT8kZl.qPXAMuaObIUd0ykbckk0nqIQvIMh.S8R_R2TZSSLTBAK9s5YA
 Sqxro38sYbPIyqgttPjypSIGJWAyPFlmjg6Ck3mSpi_Gg9f0cB7rmx7dGsFa
 1p2d4ShY5I7H7cHcbs1vIVP3Je0_NXrGeaddXtPvmT_lyS5SRMT_jF77IkjR
 N1PBUr1CB21CaURpiegh6sVbAzfubLBafewGfSgF5VB5iFDjHcLWbwvAZC15
 DZ0orSDn7cil0jShfmyNUvCr5wFppZTeaSb989lD1IbZ8snocgSLu3PO6seb
 s1CL4UA1mnCE9LbryouaYqYM9m9ZoV7hmtUiWeQbT7Szo.ajeSqUb9ltL.eT
 qnWVi5emck5hevwvLoHXb4SN3EsyWGQL8OeYecFef7B76ny9vo9pB_VumRq8
 nslklYmtLIl2P8CYUhF7WoRuOg3ZtNUQT5uAibe8C7a5VQNJ3zqrp43KqVpz
 ejkHdPmAtIiuv0tMucZ4Z6zcryyafRvtP6otdgtcxX6Xq3uZAYDhxJO1lhml
 14x9dybN1yQBMROLKkDbve1_QDgZWtUCmd3AWEtVNmBLwyTsZZVXiASrpyNm
 HCn95MUrtxoCK5MPtnG_Z.gIGoTFdIHu4YBQdFNeyH1FGEqZNWwNnJn8c8DB
 1Bw4QbdawN0.F7ipH0ukuIhLLfec787Own24i8UjbhH5mzggzNk9hjHCOpfO
 LwRtG
Received: from [71.105.69.163] by web180104.mail.gq1.yahoo.com via HTTP; Mon, 16 Jul 2012 13:02:50 PDT
X-Mailer: YahooMailRC/708 YahooMailWebService/0.8.120.356233
References: <CAHAXnDWBLzwP2Mni3rO1ifuUw7vYv0bdNmd36uUDLY8_B3U...@mail.gmail.com> <4FFA49F5.7080...@cs.caltech.edu> <CAHAXnDVpiaXcsx_4hLEyEkGv8Y2y-YG4SyoYtPWgLCDcQOP...@mail.gmail.com> <1341961538.49569.YahooMai...@web180103.mail.gq1.yahoo.com> <CAHAXnDXEyc5Z56r3UNLU6i+L+5wOU-RMABtHi4WN9jEpcdv...@mail.gmail.com> <CAHAXnDVzLMAXU2b+SiXWcdP_J0s36sUJ7k6+WPLNt0opWE2...@mail.gmail.com> <5003A775.7000...@cs.caltech.edu> <CAHAXnDUQoWXwFuLvFTSOYrEBGBZgPhzj=K0ER_jtmSbpuky...@mail.gmail.com> <CAJe=phnFkSSJs1vLfSRsaGOXg6N-tveVw-6Pyxrvgv8NpjX...@mail.gmail.com> <CAHAXnDVH_YG+OB8zkkuoag0UKgZ9QQ5OYTuyEPP0aUdrrSH...@mail.gmail.com>
Message-ID: <1342468970.89961.YahooMai...@web180104.mail.gq1.yahoo.com>
Date: Mon, 16 Jul 2012 13:02:50 -0700 (PDT)
From: Todd Rockhold <todd_rockh...@yahoo.com>
Subject: Re: [socalfp] Re: is this how our children will learn math? Re: Coq reading group
To: socalfp@googlegroups.com
In-Reply-To: <CAHAXnDVH_YG+OB8zkkuoag0UKgZ9QQ5OYTuyEPP0aUdrrSH...@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

Right now Saturday night at 7 PM looks good for me.=0A=0A=0A=0A----- Origin=
al Message ----=0AFrom: Thomas Hartman <tho...@marketpsychdata.com>=0ATo: s=
ocalfp@googlegroups.com=0ACc: Todd Rockhold <todd_rockh...@yahoo.com>; Mike=
 Vanier <mvanie...@gmail.com>=0ASent: Sun, July 15, 2012 10:58:04 PM=0ASubj=
ect: Re: [socalfp] Re: is this how our children will learn math? Re: Coq =
=0Areading group=0A=0ASo, we have 3 yays for Saturday 7pm. I say let's do i=
t.=0A=0AAgreed?=0A=0AOn Sun, Jul 15, 2012 at 10:45 PM, Rob Zinkov <rzinkov@=
gmail.com> wrote:=0A> I'll see if I can remote in.=0A>=0A> On Jul 16, 2012 =
1:36 AM, "Thomas Hartman" <tho...@marketpsychdata.com>=0A> wrote:=0A>>=0A>>=
 OK, we'll try to keep the flame burning in the meantime.=0A>>=0A>> On Sun,=
 Jul 15, 2012 at 10:32 PM, Michael Vanier <mvanie...@gmail.com>=0A>> wrote:=
=0A>> > Guys,=0A>> >=0A>> > Really sorry to have missed it!  I had a hellis=
h weekend with lots of=0A>> > boring=0A>> > social stuff I couldn't get out=
 of.  It's going to be tough for me until=0A>> > this course is over (ends =
in late July), but after that I'll have about=0A>> > two=0A>> > months free=
, so I'd like to get some meetings in.=0A>> >=0A>> > Mike=0A>> >=0A>> >=0A>=
> > On 7/15/12 10:21 PM, Thomas Hartman wrote:=0A>> >>=0A>> >> Update: Todd=
 and I had a phone meeting where we didn't work on=0A>> >> software foundat=
ions but just discussed potential directions a=0A>> >> dependent types / fo=
rmal methods study group could move in.=0A>> >>=0A>> >> We agree that it wo=
uld be a good idea to confinue with pierce's SF, so=0A>> >> no change there=
.=0A>> >>=0A>> >> Passing on from that we discussed=0A>> >>=0A>> >> Homotop=
y Type Theory / Foundations of mathemactics:=0A>> >>    We touched briefly =
on the news that HOTT group will likely create a=0A>> >> new proof assistan=
t rather than proceed with their program using coq=0A>> >>=0A>> >>=0A>> >> =
=0A>>https://groups.google.com/forum/?fromgroups#!topic/HomotopyTypeTheory/=
qj5vGVYdX9g=0A>>=0A>> >>    We also indulged in some speculation about "non=
 acadenic" use of=0A>> >> HOTT/and I guess higher dimensional topology in g=
eneral. Two ideas=0A>> >> emerged=0A>> >>      -- graphics engines / video =
games=0A>> >>      -- dimensional reduction in machine learning=0A>> >>    =
  We might be on thin ice here, so caveat emptor.=0A>> >>=0A>> >> I indicat=
ed interest in "real world coq / dependent types / formal=0A>> >> methods."=
=0A>> >>    So, basically learning more about=0A>> >>      -- actual uses o=
f coq/dependent types other than proving math=0A>> >> theorems. Examples in=
clude=0A>> >>        -- verification of l4 microkernel=0A>> >>           --=
 compcert=0A>> >>           -- check the galois blog for more examples=0A>>=
 >>           suggested activity -- learn more about these "real world"=0A>=
> >> projects and try to get a feel for "industrial verification" type=0A>>=
 >> work.=0A>> >>          Maybe more tractable:=0A>> >>           -- http:=
//logitext.mit.edu/main <borderline mathy, but it=0A>> >> includes getting =
the UrWeb dependently typed web framework to play=0A>> >> nicely with coq, =
which is pretty cool>=0A>> >>           Suggested group hacktivity: install=
 and run logitext locally,=0A>> >> to gain familiarity with these tools in =
a semi-production setting=0A>> >>      -- developing an intuition for "nail=
s that fit the hammer of=0A>> >> formal methods" in other respects=0A>> >>=
=0A>> >> We also talked a bit about epigram/epigram2.=0A>> >> I really enjo=
yed the epigram papers, and it seems to be a really=0A>> >> creative direct=
ion to take in terms of bringing dependen types to the=0A>> >> "real world.=
"=0A>> >> The project seems to be hybernated, unfortunately.=0A>> >> Sugges=
ted hacktivity: Install she/epigram/epigram2, do some=0A>> >> exploratory p=
rogramming, do some cheerleading to try to get project=0A>> >> unhybernated=
. OK, maybe this is a long shot.=0A>> >>=0A>> >> Finally, we suggested meet=
ing next saturday (7/21) at 7pm for our next=0A>> >> coqathon (or better, "=
coqus?") where we would cover chapter 2 of SF.=0A>> >> This would be most l=
ikely a remote meetup.=0A>> >>=0A>> >> What do you think, Mike Vanier/other=
s?=0A>> >>=0A>> >> Thomas.=0A>> >>=0A>> >>=0A>> >> On Tue, Jul 10, 2012 at =
4:28 PM, Thomas Hartman=0A>> >> <tho...@marketpsychdata.com> wrote:=0A>> >>=
>=0A>> >>> Sunday 7pm is okay too.=0A>> >>>=0A>> >>> On Tue, Jul 10, 2012 a=
t 4:05 PM, Todd Rockhold=0A>> >>> <todd_rockh...@yahoo.com>=0A>> >>> wrote:=
=0A>> >>>>=0A>> >>>>   7 PM Saturday doesn't work for me,  but if it does f=
or everyone=0A>> >>>> else,=0A>> >>>> maybe=0A>> >>>> that's that.=0A>> >>>=
>=0A>> >>>> Any time Sunday would work for me.=0A>> >>>>=0A>> >>>>=0A>> >>>=
>=0A>> >>>>=0A>> >>>> ----- Original Message ----=0A>> >>>> From: Thomas Ha=
rtman <tho...@marketpsychdata.com>=0A>> >>>> To: socalfp@googlegroups.com=
=0A>> >>>> Cc: Rob Zinkov <rzin...@gmail.com>; Mike Klein=0A>> >>>> <javasu=
cks...@gmail.com>;=0A>> >>>> "todd_rockh...@yahoo.com" <todd_rockhold@yahoo=
.com>; Mike Vanier=0A>> >>>> <mvanie...@gmail.com>=0A>> >>>> Sent: Tue, Jul=
y 10, 2012 12:02:24 PM=0A>> >>>> Subject: Re: [socalfp] Re: is this how our=
 children will learn math?=0A>> >>>> Re:=0A>> >>>> Coq=0A>> >>>> reading gr=
oup=0A>> >>>>=0A>> >>>> How about Saturday at 7pm?=0A>> >>>>=0A>> >>>> On S=
un, Jul 8, 2012 at 8:03 PM, Michael Vanier <mvanie...@gmail.com>=0A>> >>>> =
wrote:=0A>> >>>>>=0A>> >>>>> I'm definitely interested.  I'm teaching a sum=
mer course for the=0A>> >>>>> next=0A>> >>>>> three=0A>> >>>>> weeks, so I =
can only meet on the weekends (preferably late Saturday=0A>> >>>>> or=0A>> =
>>>>> Sunday).=0A>> >>>>>=0A>> >>>>> Mike=0A>> >>>>>=0A>> >>>>>=0A>> >>>>> =
On 7/8/12 12:52 PM, Thomas Hartman wrote:=0A>> >>>>>>=0A>> >>>>>> http://pe=
rso.ens-lyon.fr/jeanmarie.madiot/coq100/=0A>> >>>>>>=0A>> >>>>>> 48 theorem=
s left to formalize.=0A>> >>>>>>=0A>> >>>>>> Anyone want to meet up?=0A>> >=
>>>>>=0A>> >>>>>> On Sat, Jan 7, 2012 at 12:04 PM, Thomas Hartman=0A>> >>>>=
>> <tho...@marketpsychdata.com> wrote:=0A>> >>>>>>>=0A>> >>>>>>> 10am works=
 for me, and changed subject to contain correct time.=0A>> >>>>>>> Whoops.=
=0A>> >>>>>>>=0A>> >>>>>>> On Jan 7, 2012 10:23 AM, "Rob Zinkov" <rzinkov@g=
mail.com> wrote:=0A>> >>>>>>>>=0A>> >>>>>>>> 10am works for me=0A>> >>>>>>>=
>=0A>> >>>>>>>> On Jan 7, 2012 1:08 PM, "Michael Vanier" <mvanie...@gmail.c=
om>=0A>> >>>>>>>> wrote:=0A>> >>>>>>>>>=0A>> >>>>>>>>> I can't do 1 PM at a=
ll.  I can do 10 AM - 1 PM, or I'm free the=0A>> >>>>>>>>> entire=0A>> >>>>=
>>>>> next weekend.=0A>> >>>>>>>>>=0A>> >>>>>>>>> BTW Thomas and I were tal=
king about iteratees, and Mike Snoyman=0A>> >>>>>>>>> wrote=0A>> >>>>>>>>> =
this very nice tutorial on them:=0A>> >>>>>>>>>=0A>> >>>>>>>>> http://www.y=
esodweb.com/book/enumerator=0A>> >>>>>>>>>=0A>> >>>>>>>>> Mike=0A>> >>>>>>>=
>>=0A>> >>>>>>>>> On 1/7/12 9:35 AM, Thomas Hartman wrote:=0A>> >>>>>>>>>>=
=0A>> >>>>>>>>>>=0A>> >>>>>>>>>> Is this time ok?=0A>> >>>>>>>>>>=0A>> >>>>=
>>>>>> Todd could you cc your friend in hawaii? I forgot his name.=0A>> >>>=
>>>>>>>=0A>> >>>>>>>>>> ---------- Forwarded message ----------=0A>> >>>>>>=
>>>> From: "Michael Vanier" <mvanie...@gmail.com=0A>> >>>>>>>>>> <mailto:mv=
anie...@gmail.com>>=0A>> >>>>>>>>>> Date: Jan 6, 2012 11:09 PM=0A>> >>>>>>>=
>>> Subject: Re: Coq meetup 2pm next sat (tomorrow plus one week)=0A>> >>>>=
>>>>>> To: "Thomas Hartman" <tho...@marketpsychdata.com=0A>> >>>>>>>>>> <ma=
ilto:tho...@marketpsychdata.com>>=0A>> >>>>>>>>>>=0A>> >>>>>>>>>> On 1/6/12=
 10:44 PM, Thomas Hartman wrote:=0A>> >>>>>>>>>>=0A>> >>>>>>>>>>=0A>> >>>>>=
>>>>>      I can't do afternoon that Saturday. How about morning,=0A>> >>>>=
>>>>>> like=0A>> >>>>>>>>>> 10am?=0A>> >>>>>>>>>>      Or Sunday 2pm?=0A>> =
>>>>>>>>>>=0A>> >>>>>>>>>>      On Jan 6, 2012 10:18 PM, "Michael Vanier"=
=0A>> >>>>>>>>>> <mvanie...@gmail.com=0A>> >>>>>>>>>>      <mailto:mvanier4=
2...@gmail.com> <mailto:mvanie...@gmail.com=0A>> >>>>>>>>>>      <mailto:mvani=
e...@gmail.com>>> wrote:=0A>> >>>>>>>>>>=0A>> >>>>>>>>>>         Thomas,=0A=
>> >>>>>>>>>>=0A>> >>>>>>>>>>         My phone just died -- sorry.  Anyway,=
 we should plan=0A>> >>>>>>>>>> for 2=0A>> >>>>>>>>>> PM=0A>> >>>>>>>>>> ne=
xt=0A>> >>>>>>>>>>         Saturday unless otherwise indicated (i.e. unless=
 my=0A>> >>>>>>>>>> wife=0A>> >>>>>>>>>> has=0A>> >>>>>>>>>>         alread=
y scheduled something, which I'll check).  Thanks=0A>> >>>>>>>>>> for=0A>> =
>>>>>>>>>>      calling!=0A>> >>>>>>>>>>=0A>> >>>>>>>>>>         Mike=0A>> =
>>>>>>>>>>=0A>> >>>>>>>>>>=0A>> >>>>>>>>>> Morning at 10 AM works for me, w=
ith the caveat that I have to=0A>> >>>>>>>>>> leave at=0A>> >>>>>>>>>> 1=0A=
>> >>>>>>>>>> PM.=0A>> >>>>>>>>>>=0A>> >>>>>>>>>> Mike=0A>> >>>>>>>>>>=0A>>=
 >>>>>>>>>>=0A>> >>>>>>=0A>> >>>>>=0A>> >>>>> --=0A>> >>>>> Southern Califo=
rnia Functional Programmers:=0A>> >>>>> socalfp@googlegroups.com.=0A>> >>>>=
> Policies: http://groups.google.com/group/socalfp/web/policies=0A>> >>>>> =
Unsubscribe: socalfp-unsubscribe@googlegroups.com=0A>> >>>>> Other Options:=
 http://groups.google.com/group/socalfp=0A>> >>>>=0A>> >>>>=0A>> >>>>=0A>> =
>>>> --=0A>> >>>> --=0A>> >>>> _____________________=0A>> >>>> Thomas Hartm=
an=0A>> >>>> MarketPsych LLC=0A>> >>>> MarketPsy Capital  LLC=0A>> >>>> 240=
0 Broadway, Suite 220=0A>> >>>> Santa Monica, CA, USA=0A>> >>>> Tel:  +1.31=
0.573.8523=0A>> >>>> ______________________=0A>> >>>>=0A>> >>>> This e-mail=
 message and any attachments may contain information that=0A>> >>>> is conf=
idential, proprietary or privileged, and is for the named=0A>> >>>> person=
=E2=80=99s use only.  No confidentiality or privilege is waived or lost=0A>=
> >>>> by any mistransmission.  If you are not the intended recipient or=0A=
>> >>>> agent responsible for delivering it to the intended recipient, you=
=0A>> >>>> are=0A>> >>>> hereby notified that any dissemination, distributi=
on, copying or=0A>> >>>> other=0A>> >>>> use of this message or its attachm=
ents is strictly prohibited.  If=0A>> >>>> you=0A>> >>>> have received this=
 message in error, please notify us immediately and=0A>> >>>> destroy all c=
opies of this message and attachments without disclosing=0A>> >>>> the cont=
ents to anyone.  Neither this message nor any information=0A>> >>>> include=
d herein constitute an offer to sell or the solicitation of an=0A>> >>>> of=
fer to buy any securities or investment product, or legal, tax,=0A>> >>>> a=
ccounting, or investment advice.=0A>> >>>>=0A>> >>>> --=0A>> >>>> Southern =
California Functional Programmers: socalfp@googlegroups.com.=0A>> >>>> Poli=
cies: http://groups.google.com/group/socalfp/web/policies=0A>> >>>> Unsubsc=
ribe: socalfp-unsubscribe@googlegroups.com=0A>> >>>> Other Options: http://=
groups.google.com/group/socalfp=0A>> >>>>=0A>> >>>> --=0A>> >>>> Southern C=
alifornia Functional Programmers: socalfp@googlegroups.com.=0A>> >>>> Polic=
ies: http://groups.google.com/group/socalfp/web/policies=0A>> >>>> Unsubscr=
ibe: socalfp-unsubscribe@googlegroups.com=0A>> >>>> Other Options: http://g=
roups.google.com/group/socalfp=0A>> >>>=0A>> >>>=0A>> >>>=0A>> >>> --=0A>> =
>>> --=0A>> >>> _____________________=0A>> >>> Thomas Hartman=0A>> >>> Mark=
etPsych LLC=0A>> >>> MarketPsy Capital  LLC=0A>> >>> 2400 Broadway, Suite 2=
20=0A>> >>> Santa Monica, CA, USA=0A>> >>> Tel:  +1.310.573.8523=0A>> >>> _=
_____________________=0A>> >>>=0A>> >>> This e-mail message and any attachm=
ents may contain information that=0A>> >>> is confidential, proprietary or =
privileged, and is for the named=0A>> >>> person=E2=80=99s use only.  No co=
nfidentiality or privilege is waived or lost=0A>> >>> by any mistransmissio=
n.  If you are not the intended recipient or=0A>> >>> agent responsible for=
 delivering it to the intended recipient, you are=0A>> >>> hereby notified =
that any dissemination, distribution, copying or other=0A>> >>> use of this=
 message or its attachments is strictly prohibited.  If you=0A>> >>> have r=
eceived this message in error, please notify us immediately and=0A>> >>> de=
stroy all copies of this message and attachments without disclosing=0A>> >>=
> the contents to anyone.  Neither this message nor any information=0A>> >>=
> included herein constitute an offer to sell or the solicitation of an=0A>=
> >>> offer to buy any securities or investment product, or legal, tax,=0A>=
> >>> accounting, or investment advice.=0A>> >>=0A>> >>=0A>> >>=0A>> >=0A>>=
 >=0A>> > --=0A>> > Southern California Functional Programmers: socalfp@goo=
glegroups.com.=0A>> > Policies: http://groups.google.com/group/socalfp/web/=
policies=0A>> > Unsubscribe: socalfp-unsubscribe@googlegroups.com=0A>> > Ot=
her Options: http://groups.google.com/group/socalfp=0A>>=0A>>=0A>>=0A>> --=
=0A>> --=0A>> _____________________=0A>> Thomas Hartman=0A>> MarketPsych LL=
C=0A>> MarketPsy Capital  LLC=0A>> 2400 Broadway, Suite 220=0A>> Santa Moni=
ca, CA, USA=0A>> Tel:  +1.310.573.8523=0A>> ______________________=0A>>=0A>=
> This e-mail message and any attachments may contain information that=0A>>=
 is confidential, proprietary or privileged, and is for the named=0A>> pers=
on=E2=80=99s use only.  No confidentiality or privilege is waived or lost=
=0A>> by any mistransmission.  If you are not the intended recipient or=0A>=
> agent responsible for delivering it to the intended recipient, you are=0A=
>> hereby notified that any dissemination, distribution, copying or other=
=0A>> use of this message or its attachments is strictly prohibited.  If yo=
u=0A>> have received this message in error, please notify us immediately an=
d=0A>> destroy all copies of this message and attachments without disclosin=
g=0A>> the contents to anyone.  Neither this message nor any information=0A=
>> included herein constitute an offer to sell or the solicitation of an=0A=
>> offer to buy any securities or investment product, or legal, tax,=0A>> a=
ccounting, or investment advice.=0A>>=0A>> --=0A>> Southern California Func=
tional Programmers: socalfp@googlegroups.com.=0A>> Policies: http://groups.=
google.com/group/socalfp/web/policies=0A>> Unsubscribe: socalfp-unsubscribe=
@googlegroups.com=0A>> Other Options: http://groups.google.com/group/socalf=
p=0A>=0A> --=0A> Southern California Functional Programmers: socalfp@google=
groups.com.=0A> Policies: http://groups.google.com/group/socalfp/web/polici=
es=0A> Unsubscribe: socalfp-unsubscribe@googlegroups.com=0A> Other Options:=
 http://groups.google.com/group/socalfp=0A=0A=0A=0A-- =0A--=0A_____________=
________=0AThomas Hartman=0AMarketPsych LLC=0AMarketPsy Capital  LLC=0A2400=
 Broadway, Suite 220=0ASanta Monica, CA, USA=0ATel:  +1.310.573.8523=0A____=
__________________=0A=0AThis e-mail message and any attachments may contain=
 information that=0Ais confidential, proprietary or privileged, and is for =
the named=0Aperson=E2=80=99s use only.  No confidentiality or privilege is =
waived or lost=0Aby any mistransmission.  If you are not the intended recip=
ient or=0Aagent responsible for delivering it to the intended recipient, yo=
u are=0Ahereby notified that any dissemination, distribution, copying or ot=
her=0Ause of this message or its attachments is strictly prohibited.  If yo=
u=0Ahave received this message in error, please notify us immediately and=
=0Adestroy all copies of this message and attachments without disclosing=0A=
the contents to anyone.  Neither this message nor any information=0Ainclude=
d herein constitute an offer to sell or the solicitation of an=0Aoffer to b=
uy any securities or investment product, or legal, tax,=0Aaccounting, or in=
vestment advice.=0A=0A-- =0ASouthern California Functional Programmers: soc=
alfp@googlegroups.com.=0APolicies: http://groups.google.com/group/socalfp/w=
eb/policies=0AUnsubscribe: socalfp-unsubscribe@googlegroups.com=0AOther Opt=
ions: http://groups.google.com/group/socalfp=0A