From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 5F6D7BBAF for ; Wed, 1 Oct 2008 15:56:49 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnEEAGYe40jAXQImiGdsb2JhbACCNzCQID4BAQEVIqF5BWeHLgECgyg X-IronPort-AV: E=Sophos;i="4.33,344,1220220000"; d="scan'208";a="15552137" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Oct 2008 15:56:49 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m91Dumeh007216 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 1 Oct 2008 15:56:49 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtkBAGYe40hIDtyflGdsb2JhbACCNzCQID4BAQEBCQkMBxEDoXYFZ4cuAQKDKA X-IronPort-AV: E=Sophos;i="4.33,344,1220220000"; d="scan'208";a="29791253" Received: from fg-out-1718.google.com ([72.14.220.159]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Oct 2008 15:56:48 +0200 Received: by fg-out-1718.google.com with SMTP id e21so400331fga.25 for ; Wed, 01 Oct 2008 06:56:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:reply-to :to:subject:mime-version:content-type; bh=cpxroYIowpc3g15J0BincHyBfJa8q1VavGoxV8JRO8Q=; b=J2RHSNBAheYDgRSxJPwBJfgz8d73iEHbUTkLigzd6hjJ+Td1oAdMTT8EBqY3i2hIYJ bPglAZAA21LPIKu2xKCzWmB9iiEbc773fllqYSPeouUZY3ausNE/w9rUdnhD5SgOHQfD secop1HbFOC8uInK0oqIvJm0Z64Aept+nq8BI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:reply-to:to:subject:mime-version:content-type; b=uyr2M/eS43q99ZNnXEA83frzZm7mcqFY4Vm7ID0/aG423swsbnFU/C8Umztah83auK poohTjxMslSIuhGQJJIP4tLZJK54q3kbRJjvS8vYz4S31HPTcmhhHmzNW/mYwIqdBA1Y /IL4v9z/X2J40OivjgWB5UO+1aOWVckpJHi/U= Received: by 10.180.204.10 with SMTP id b10mr4240663bkg.45.1222869406127; Wed, 01 Oct 2008 06:56:46 -0700 (PDT) Received: by 10.180.225.8 with HTTP; Wed, 1 Oct 2008 06:56:46 -0700 (PDT) Message-ID: <891bd3390810010656q2560e6f7j55bdf025321dee32@mail.gmail.com> Date: Wed, 1 Oct 2008 09:56:46 -0400 From: "Yaron Minsky" Reply-To: yminsky@gmail.com To: "Caml Mailing List" Subject: The OSP end-of-summer meeting MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_76249_3359784.1222869406132" X-Miltered: at discorde with ID 48E381A0.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; yaron:01 minsky:01 yminsky:01 ocaml:01 node:01 ocaml:01 node:01 blog:98 blog:98 meeting:08 meeting:08 our:76 our:76 what:24 what:24 ------=_Part_76249_3359784.1222869406132 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline For those of you interested in what happened at the OSP end-of-summer meeting, I posted my summary on our blog. http://ocaml.janestreet.com/?q=node/38 y ------=_Part_76249_3359784.1222869406132 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline
For those of you interested in what happened at the OSP end-of-summer meeting, I posted my summary on our blog.

http://ocaml.janestreet.com/?q=node/38

y
------=_Part_76249_3359784.1222869406132-- From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id B5797BBB7 for ; Wed, 1 Oct 2008 16:29:33 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AusCAM8l40jAXQImiGdsb2JhbACTRQEBARUiqguBag X-IronPort-AV: E=Sophos;i="4.33,344,1220220000"; d="scan'208";a="17551095" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 01 Oct 2008 16:29:33 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m91ETV83008924 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 1 Oct 2008 16:29:33 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AusCAA0m40hDz4HeiGdsb2JhbACTRQEBARUiqg+Bag X-IronPort-AV: E=Sophos;i="4.33,344,1220220000"; d="scan'208";a="17998084" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail1-smtp-roc.national.inria.fr with ESMTP; 01 Oct 2008 16:29:32 +0200 Received: from usha.takhisis.invalid (unknown [10.17.0.18]) by fettunta.fettunta.org (Postfix) with ESMTP id 391AC18126 for ; Wed, 1 Oct 2008 14:29:30 +0000 (UTC) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id 5DC647326; Wed, 1 Oct 2008 16:28:21 +0200 (CEST) Date: Wed, 1 Oct 2008 16:28:21 +0200 From: Stefano Zacchiroli To: Caml Mailing List Subject: Re: [Caml-list] The OSP end-of-summer meeting Message-ID: <20081001142821.GA28676@usha.takhisis.invalid> Mail-Followup-To: Caml Mailing List References: <891bd3390810010656q2560e6f7j55bdf025321dee32@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <891bd3390810010656q2560e6f7j55bdf025321dee32@mail.gmail.com> User-Agent: Mutt/1.5.18 (2008-05-17) X-Miltered: at discorde with ID 48E3894B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; zacchiroli:01 zack:01 yaron:01 minsky:01 ocaml:01 node:01 fwiw:01 ocaml:01 yaron:01 zacchiroli:01 postdoc:01 zack:01 blog:98 blog:98 wrote:01 On Wed, Oct 01, 2008 at 09:56:46AM -0400, Yaron Minsky wrote: > For those of you interested in what happened at the OSP end-of-summer > meeting, I posted my summary on our blog. > > http://ocaml.janestreet.com/?q=node/38 FWIW, I remind you all that Janest' blog is aggregated, together with many other OCaml-related blog, on the OCaml Planet, available at http://planet.ocamlcore.org . Many thanks to Yaron for the nice summary! -- Stefano Zacchiroli -*- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ I'm still an SGML person,this newfangled /\ All one has to do is hit the XML stuff is so ... simplistic -- Manoj \/ right keys at the right time From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 9CBABBBAF for ; Wed, 1 Oct 2008 17:25:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArgDAHYz40jAXQImiGdsb2JhbACTSgEBARUiojuIEAM X-IronPort-AV: E=Sophos;i="4.33,344,1220220000"; d="scan'208";a="15556097" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Oct 2008 17:25:37 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m91FPadF012604 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 1 Oct 2008 17:25:37 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmsBAHYz40jOvjGsmWdsb2JhbACTSgEBAQEBCAsICREDojiIEAM X-IronPort-AV: E=Sophos;i="4.33,344,1220220000"; d="scan'208";a="29795296" Received: from web54602.mail.re2.yahoo.com ([206.190.49.172]) by mail4-smtp-sop.national.inria.fr with SMTP; 01 Oct 2008 17:25:35 +0200 Received: (qmail 23816 invoked by uid 60001); 1 Oct 2008 15:25:34 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=KFrYkM5E0HEzs8lekmAwhESG26BKrN9/PbS8mqvs2x9f7WEdBIf6qtYLhxlXgNmJpnUXblbxcgNE8Rc/Pt/lOhTfIBcsXWcdTs4UTyJt+VJExXjDqwi7GUWAfTG+poPN0yw97L7fJxTzhvqZjiCUzS9Z1MWJsheobkimvcAVZFE=; X-YMail-OSG: mUOwSUgVM1kK8L7hwL0B8QuUGWlQCGR192z.ZBkI.5hOQpcBCjFXXHKaDJep_NxevzGBv12U.2VRVAAQDhKA6aqGDmeWSHIr72_SP2vTS334xFxRhRVrkNhJOHlNjs_ScOZb.YrtNhYs2oDtGf56EEFp_GhzNw-- Received: from [213.205.71.50] by web54602.mail.re2.yahoo.com via HTTP; Wed, 01 Oct 2008 08:25:34 PDT X-Mailer: YahooMailWebService/0.7.218.2 Date: Wed, 1 Oct 2008 08:25:34 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] The OSP end-of-summer meeting To: yminsky@gmail.com Cc: caml-list@inria.fr In-Reply-To: <891bd3390810010656q2560e6f7j55bdf025321dee32@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-ID: <909429.22806.qm@web54602.mail.re2.yahoo.com> X-Miltered: at discorde with ID 48E39670.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; cheers:01 blog:98 slides:01 caml-list:01 meeting:08 meeting:08 videos:91 think:13 thanks:17 project:18 our:76 that:23 what:24 com:74 yahoo:25 > For those of you interested in what happened at the OSP > end-of-summer > meeting, I posted my summary on our blog. Hi, I think we are all very interested. Thanks for the effort that you and JSC have put into this project! Do you happen to have videos/slides of the presentations? Cheers, Dario Teixeira =0A=0A=0A From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id B0BC6BBAF for ; Wed, 1 Oct 2008 17:28:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al4FAHYz40jAXQImiGdsb2JhbACCOC+QJT4BAQEVIqI7BWeHJAECgyg X-IronPort-AV: E=Sophos;i="4.33,344,1220220000"; d="scan'208";a="29795409" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Oct 2008 17:28:03 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m91FRwtn012696 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 1 Oct 2008 17:28:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmQCABs040jRVYa/lGdsb2JhbACCOC+QJT4BAQEBCQkMBxEDojUFZ4ckAQKDKA X-IronPort-AV: E=Sophos;i="4.33,344,1220220000"; d="scan'208";a="18002128" Received: from mu-out-0910.google.com ([209.85.134.191]) by mail1-smtp-roc.national.inria.fr with ESMTP; 01 Oct 2008 17:28:02 +0200 Received: by mu-out-0910.google.com with SMTP id i10so486900mue.7 for ; Wed, 01 Oct 2008 08:28:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:reply-to :to:subject:cc:in-reply-to:mime-version:content-type:references; bh=3JoHNn0EJsbq1VwkhVCQtMXJyz6lqweZNlwwu9+IY+k=; b=apl5yHM3VD6BVZlorKl8BNvjzQOwJG/I5nxEMLjASM2WpI49Fuq3fICl4bM++42uxB Y4ESSa2EYfAP/3FK4GVb3khyeytA1oD/MBNOU6Pf5fJMDLtl4jO3sNyujZCJUacJFtMn ZrjH/1nH1l7LyxSdGh2Pj4l5L1UWqCGUQg7AI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:reply-to:to:subject:cc:in-reply-to :mime-version:content-type:references; b=G9UbUauEnTMjdXG/mfMTz4MPVn4gf7/ObnGg7lvFlUyZunEwAvC1tfk4QraJ/+yUKD NLFF+t5z+Zr+EHL6f/DFOW6IQpx6E7KsUF9XCb2BRgIegXUM7Ih7Ou5fsaNAjnGjh72K xoBDOwkF04HXZUR/IaQitHWDH9JdaHoHbTl8Q= Received: by 10.180.255.1 with SMTP id c1mr4408492bki.23.1222874882128; Wed, 01 Oct 2008 08:28:02 -0700 (PDT) Received: by 10.180.225.8 with HTTP; Wed, 1 Oct 2008 08:28:02 -0700 (PDT) Message-ID: <891bd3390810010828v38353c5bw561e8473577031ef@mail.gmail.com> Date: Wed, 1 Oct 2008 11:28:02 -0400 From: "Yaron Minsky" Reply-To: yminsky@gmail.com To: "Dario Teixeira" Subject: Re: [Caml-list] The OSP end-of-summer meeting Cc: caml-list@inria.fr In-Reply-To: <909429.22806.qm@web54602.mail.re2.yahoo.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_78026_14586170.1222874882119" References: <891bd3390810010656q2560e6f7j55bdf025321dee32@mail.gmail.com> <909429.22806.qm@web54602.mail.re2.yahoo.com> X-Miltered: at discorde with ID 48E396FE.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; yaron:01 minsky:01 yminsky:01 cheers:01 cheers:01 blog:98 blog:98 wrote:01 wrote:01 slides:01 slides:01 caml-list:01 wed:06 wed:06 probably:07 ------=_Part_78026_14586170.1222874882119 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline We do, and we hope to get up those that we get permission for. It will probably take us a while to get to it, though, things being busy as they are... y On Wed, Oct 1, 2008 at 11:25 AM, Dario Teixeira wrote: > > For those of you interested in what happened at the OSP > > end-of-summer > > meeting, I posted my summary on our blog. > > Hi, > > I think we are all very interested. Thanks for the effort > that you and JSC have put into this project! > > Do you happen to have videos/slides of the presentations? > > Cheers, > Dario Teixeira > > > > > ------=_Part_78026_14586170.1222874882119 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline
We do, and we hope to get up those that we get permission for.  It will probably take us a while to get to it, though, things being busy as they are...

y

On Wed, Oct 1, 2008 at 11:25 AM, Dario Teixeira <darioteixeira@yahoo.com> wrote:
> For those of you interested in what happened at the OSP
> end-of-summer
> meeting, I posted my summary on our blog.

Hi,

I think we are all very interested.  Thanks for the effort
that you and JSC have put into this project!

Do you happen to have videos/slides of the presentations?

Cheers,
Dario Teixeira





------=_Part_78026_14586170.1222874882119--