From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 147027FA5E for ; Fri, 21 Apr 2017 17:41:33 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Neutral smtp.pra=hzhang295@bloomberg.net; spf=Pass smtp.mailfrom=hzhang295@bloomberg.net; spf=None smtp.helo=postmaster@mgnj1.bloomberg.net Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of hzhang295@bloomberg.net does not assert whether or not 69.191.244.19 is permitted sender) identity=pra; client-ip=69.191.244.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hzhang295@bloomberg.net"; x-sender="hzhang295@bloomberg.net"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of hzhang295@bloomberg.net designates 69.191.244.19 as permitted sender) identity=mailfrom; client-ip=69.191.244.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hzhang295@bloomberg.net"; x-sender="hzhang295@bloomberg.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mgnj1.bloomberg.net) identity=helo; client-ip=69.191.244.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hzhang295@bloomberg.net"; x-sender="postmaster@mgnj1.bloomberg.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AzcBHBhJTnnRZCHiEstmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeK/XxwZ3uMQTl6Ol3ixeRBMOAuq4C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwpFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhi?= =?us-ascii?q?kHOT4j7m/Yhc9+gr9Hrx+6vRNz35TZbZuJOPZifK7Qe84RS2pbXsZWUixMGo2w?= =?us-ascii?q?YYkID+oHMuZXtI79rEYNohu+HwasAuzvwSJMinLr26M0yv0vHwbb0QIvA9wAsW?= =?us-ascii?q?/Yp8j3OaocTOy+0a/GwzrCYP9T1zv29Y/FchAgoPGMR71wd8XRxVcrGg7FlVif?= =?us-ascii?q?sojlPzSS1uQIqGeU8fBgVe21h24htQ5xviGiy8ExgYfKnoIY0lHJ+CFjzIooId?= =?us-ascii?q?C0VVR3bcCrHZZfrS2WKo97T8U/SG9yoik60KcJuZujcSgK1psnwxnfZuSCc4iH?= =?us-ascii?q?5BLjVvudLS1ji3Jhf7K/gBOy/lO+xe3mWcm4ylBKoTRZktXUt3AN0QLc6tSfR/?= =?us-ascii?q?Z8+kqtwyuD2gTO5u1eP0w5mqXWJ4Q8zrM0jpYTtF7MHi7ymEX4lq+WcUAk9/Co?= =?us-ascii?q?6+XmYrXpvJmcN4Bqhgz6MqkjgdewAeA/MggJWmiU4vqz1Kfs/UHjRrVFkOE2nr?= =?us-ascii?q?HDsJ/GPcQburK5AwhN34k/8Rm/CjOm3M0cnXkGN1JFZAmKj5PpOlHLOPD3F+2z?= =?us-ascii?q?g1WqkDdxxvDJJKftApvXLiuLrLC0dr947wtYyREv5dFZ/ZNdTL8bc8j+QkvgiN?= =?us-ascii?q?uNRD8+NQO+xK7VCNx72clWDWKdAqafP/mD7HeC4uUoJuOBfoBTvjvhfasL/fnr?= =?us-ascii?q?2DUZnlkSd67h75sebn/wXt5CBGK8S1fWrZBJTjxT9i4TfK2gwAmCQz5aYXnoDv?= =?us-ascii?q?8U7DU8D4esAJ3MAIagnOrSj2+AApRKazUeWRi3GnDyetDcVg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CMAADzJvpYhxP0v0VcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBiH2KFXORBpAfUYRkgg+GQINxPxgBAQEBAQEBAQEBARIBAQEIDQk?= =?us-ascii?q?IKC+CMyCCWAETCms+AgQdIQwsDIoIBZk/hxuIBQEBZ4ImhGiGa4VgjUaCXwWBL?= =?us-ascii?q?AEBAYgEiCqLWggBAQEbgTGjEJQZH4E+boE3PYJ/VIFvQIlrAQEB?= X-IPAS-Result: =?us-ascii?q?A0CMAADzJvpYhxP0v0VcHAEBBAEBCgEBFwEBBAEBCgEBiH2?= =?us-ascii?q?KFXORBpAfUYRkgg+GQINxPxgBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyCCWAETC?= =?us-ascii?q?ms+AgQdIQwsDIoIBZk/hxuIBQEBZ4ImhGiGa4VgjUaCXwWBLAEBAYgEiCqLWgg?= =?us-ascii?q?BAQEbgTGjEJQZH4E+boE3PYJ/VIFvQIlrAQEB?= X-IronPort-AV: E=Sophos;i="5.37,230,1488841200"; d="scan'208,217";a="221113904" Received: from mgnj1.bloomberg.net ([69.191.244.19]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 Apr 2017 17:41:31 +0200 X-BB-Reception-Complete: 21 Apr 2017 11:41:30 -0400 X-IP-Listener: Outgoing Mail X-IP-MID: 528818391 Received: from msllnjpmsgsv06.bloomberg.com (HELO msllnjpmsgsv06) ([10.126.134.166]) by mgnj1.bloomberg.net with SMTP; 21 Apr 2017 11:41:30 -0400 X-BLP-INETSVC: version=BLP_APP_S_INETSVC_1.0.1; host=mgnj1:25; conid=203 Date: Fri, 21 Apr 2017 15:41:30 -0000 From: "Hongbo Zhang (BLOOMBERG/ 731 LEX)" Reply-To: "Hongbo Zhang" To: caml-list@inria.fr MIME-Version: 1.0 Message-ID: <58FA282A021A076200390603_0_57023@msllnjpmsgsv06> X-BLP-GUID: 58FA282A021A0762003906030000 Content-Type: multipart/alternative; boundary="BOUNDARY_58FA282A021A076200390603_0_63992_msllnjpmsgsv06" Content-ID: Subject: [Caml-list] PPX is harmful to our community in the long term --BOUNDARY_58FA282A021A076200390603_0_63992_msllnjpmsgsv06 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 RGVhciBPQ2FtbCBkZXZlbG9wZXJzOgogICBHaXZlbiB0aGF0ICBiaXR0ZW4g YnkgUFBYIGZyb20gdGltZSB0byB0aW1lLCBmaW5hbGx5LCBJIHRoaW5rIGl0 IGlzIGEgdGltZSB0byBzcGVuZCB0d28gaG91cnMgc2hhcmluZyBteSBleHBl cmllbmNlIHdpdGggUFBYIGFuZCB3aHkgeW91KHRoZSBPQ2FtbCBsaWJyYXJ5 IGRldmVsb3Blcikgc2hvdWxkIGF2b2lkIFBQWCBhcyBtdWNoIGFzIHlvdSBj YW4uCgogICBIZXJlIGlzIGEgc3RvcnkgSSBqdXN0IGV4cGVyaWVuY2VkIHRo aXMgbW9ybmluZywgSSB0cmllZCB0byBpbnN0YWxsIGEgcGFja2FnZSBmcm9t IG9wYW0sIGFuZCBpdCBjb21wbGFpbmVkIG15IGNvbXBpbGVyIGlzIHRvbyBv bGQgLSA0LjAyLjMsIHRvIGJlIGhvbmVzdCwgNC4wMi4zIGlzIHN0aWxsIGEg cHJldHR5IG1vZGVybiBPQ2FtbCBjb21waWxlciwgZXZlbiBkZWJpYW4gc3Rh YmxlIHN0aWxsIHN0YXlzIG9uIDQuMDEuIEFueXdheSwgSSBzd2l0Y2hlZCB0 byA0LjA0LjEsIGFmdGVyIGhhbGYgYW4gaG91ciwgaXQgZmFpbGVkIHRvIGNv bXBpbGUgYWdhaW4sIGNvbXBsYW5pbmcgYWJvdXQgc29tZSBwcHggZXJyb3Ig bWVzc2FnZS4gVGhpcyBpcyBub3QgbXkgZmlyc3QgdGltZSBleHBlcmllbmNl LCBhbmQgZmluYWxseSBpdCBtYWRlIG1lIHRvIHdyaXRlIGFuIGVzc2F5IGFi b3V0IHdoeSBQUFggaXMgaGFybWZ1bC4KICAKICAgIFBQWCBpcyBhIGNvbXBp bGVyIHBsdWdpbiwgaXQgaW1wb3NlcyBhIHZlcnkgbGFyZ2UgY29tcGlsZXIg c3VyZmFjZSBBUEkgdG8geW91ciBsaWJyYXJ5LCBhbmQgd2UgZG9uJ3QgaGF2 ZSBhbnkgYmFja3dhcmQgY29tcGF0aWJpbGl0eSBndWFyYW50ZWUgZnJvbSB0 aGUgY29tcGlsZXIsIHdoaWNoIG1lYW5zIHlvdXIgbGlicmFyeSB3aWxsIG9u bHkgd29yayBhZ2FpbnN0IGEgc3BlY2lmaWMgY29tcGlsZXIuIEV2ZW4gd29y c2UsIE9DYW1sIGlzIGFuIGVsZWdhbnQgYnV0IHNtYWxsIGNvbW11bml0eSwg d2UgZG9uJ3QgaGF2ZSB0b28gbWFueSBtYWludGFpbmVycyBmb3IgYSBsaWJy YXJ5LCBpZiB5b3UgaGF2ZSBhIGxpYnJhcnkgd2hpY2ggcmVsaWVzIG9uIFBQ WCAodGhlIGRlcGVuZGVuY3kgY2hhaW4gY291bGQgYmUgcmVhbGx5IHJlYWxs eSBodWdlLCBmb3IgZXhhbXBsZSwgcHB4X21ldGFxdW90IGRlcGVuZHMgb24g dHlwaW5nIGVudmlyb25tZW50LCB5b3UgY2FuIGZpbmQgbG90cyBvZiBzdG9y aWVzIGFib3V0IG5vZGVfbW9kdWxlcyBpbiBOb2RlIGNvbW11bml0eSksIGl0 IHdpbGwgcHJvYmFibHkgbm90IHdvcmsgYWdhaW5zdCBuZXh0IHZlcnNpb24g b2YgT0NhbWwgY29tcGlsZXIsIGFuZCBpdCB3aWxsIGJlIGEgaHVnZSBtYWlu dGVuYW5jZSBvdmVyaGVhZCBmb3Igb3RoZXIgcGVvcGxlIHRvIHBpY2sgaXQg dXAuCgogICAgT0NhbWwgaXMgYWxyZWFkeSBhIHZlcnkgZXhwcmVzc2l2ZSBs YW5ndWFnZSwgcHJvYmFibHkgbW9yZSBleHByZXNzaXZlIHRoYW4gYW55IG90 aGVyIG1haW5zdHJlYW0gbGFuZ3VhZ2UsIChHbywgSmF2YSwgQy9DKyssIGV0 YyksIGl0IGlzIGZpbmUgdG8gd3JpdGUgc29tZSBib2lsZXJwbGF0ZSBjb2Rl LCBvciB3ZSBjYW4gY3V0IFBQWCBhcyBhIGRldiBkZXBlbmRlbmN5LCBhZnRl ciB5b3VyIFBQWGVkIHlvdXIgY29kZSwgY2hlY2sgaW4gdGhlIGdlbmVyYXRl ZCBzb3VyY2UgY29kZSh2aWEgLWRzb3VyY2UpLCBzbyBpdCB3aWxsIG5vdCBi cmluZyBkZXBlbmRlbmN5IHRvIGVuZCB1c2Vycy4KICAgCiAgICBUaGVyZSBh cmUgc29tZSB2YWxpZCB1c2UgY2FzZXMgb2YgUFBYLCBmb3IgZXhhbXBsZSwg aW4gQnVja2xlU2NyaXB0IG9yIEpTX29mX09DYW1sLCB3ZSB3YW50IHRvIGN1 c3RvbWl6ZSBPQ2FtbCBsYW5ndWFnZSBhIGJpdCBmb3IgZXh0ZXJuYWwgRkZJ LCBvciBpZiB5b3UgaGF2ZSBhIHZlcnkgbGFyZ2UgdGVhbSwgYW5kIGNvbW1p dHRlZCBlZmZvcnQgdG8gbWFpbnRhaW4geW91ciBQUFguCiAgCiAgICBIYXBw eSBoYWNraW5nIGluIE9DYW1sIHdpdGhvdXQgUFBYLCBUaGFua3MgLS0gSG9u Z2JvCgoK --BOUNDARY_58FA282A021A076200390603_0_63992_msllnjpmsgsv06 Content-Type: text/html; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 PGh0bWw+PGhlYWQ+PHRpdGxlPjwvdGl0bGU+PC9oZWFkPjxib2R5PjwhLS0g cnRlLXZlcnNpb24gMC4yIDk5NDc1NTE2MzcyOTQwMDhiNzdiY2UyNWViNjgz ZGFjIC0tPjxkaXYgY2xhc3M9InJ0ZS1zdHlsZS1tYWludGFpbmVyIiBzdHls ZT0iZm9udC1mYW1pbHk6IEFyaWFsLCAnQkIuUHJvcG9ydGlvbmFsJzsgd2hp dGUtc3BhY2U6IHByZS13cmFwOyBmb250LXNpemU6IHNtYWxsOyJkYXRhLWNv bG9yPSJnbG9iYWwtZGVmYXVsdCIgYmJnLWNvbG9yPSJkZWZhdWx0IiBkYXRh LWJiLWZvbnQtc2l6ZT0ibWVkaXVtIiBiYmctZm9udC1zaXplPSJtZWRpdW0i IGJiZy1mb250LWZhbWlseT0ibm9ybWFsIj5EZWFyIE9DYW1sIGRldmVsb3Bl cnM6PGRpdj4gICBHaXZlbiB0aGF0ICBiaXR0ZW4gYnkgUFBYIGZyb20gdGlt ZSB0byB0aW1lLCBmaW5hbGx5LCBJIHRoaW5rIGl0IGlzIGEgdGltZSB0byBz cGVuZCB0d28gaG91cnMgc2hhcmluZyBteSBleHBlcmllbmNlIHdpdGggUFBY IGFuZCB3aHkgeW91KHRoZSBPQ2FtbCBsaWJyYXJ5IGRldmVsb3Blcikgc2hv dWxkIGF2b2lkIFBQWCBhcyBtdWNoIGFzIHlvdSBjYW4uPGJyPjxkaXY+PGJy PjwvZGl2PjxkaXY+ICAgSGVyZSBpcyBhIHN0b3J5IEkganVzdCBleHBlcmll bmNlZCB0aGlzIG1vcm5pbmcsIEkgdHJpZWQgdG8gaW5zdGFsbCBhIHBhY2th Z2UgZnJvbSBvcGFtLCBhbmQgaXQgY29tcGxhaW5lZCBteSBjb21waWxlciBp cyB0b28gb2xkIC0gNC4wMi4zLCB0byBiZSBob25lc3QsIDQuMDIuMyBpcyBz dGlsbCBhIHByZXR0eSBtb2Rlcm4gT0NhbWwgY29tcGlsZXIsIGV2ZW4gZGVi aWFuIHN0YWJsZSBzdGlsbCBzdGF5cyBvbiA0LjAxLiBBbnl3YXksIEkgc3dp dGNoZWQgdG8gNC4wNC4xLCBhZnRlciBoYWxmIGFuIGhvdXIsIGl0IGZhaWxl ZCB0byBjb21waWxlIGFnYWluLCBjb21wbGFuaW5nIGFib3V0IHNvbWUgcHB4 IGVycm9yIG1lc3NhZ2UuIFRoaXMgaXMgbm90IG15IGZpcnN0IHRpbWUgZXhw ZXJpZW5jZSwgYW5kIGZpbmFsbHkgaXQgbWFkZSBtZSB0byB3cml0ZSBhbiBl c3NheSBhYm91dCB3aHkgUFBYIGlzIGhhcm1mdWwuPC9kaXY+PGRpdj4gIDwv ZGl2PjxkaXY+ICAgIFBQWCBpcyBhIGNvbXBpbGVyIHBsdWdpbiwgaXQgaW1w b3NlczxzcGFuIHN0eWxlPSJmb250LXN0eWxlOiBpdGFsaWM7Ij4gYSB2ZXJ5 IGxhcmdlIGNvbXBpbGVyIHN1cmZhY2UgQVBJPC9zcGFuPiB0byB5b3VyIGxp YnJhcnksIGFuZCB3ZSBkb24ndCBoYXZlIGFueSBiYWNrd2FyZCBjb21wYXRp YmlsaXR5IGd1YXJhbnRlZSBmcm9tIHRoZSBjb21waWxlciwgd2hpY2ggbWVh bnMgeW91ciBsaWJyYXJ5IHdpbGwgb25seSB3b3JrIGFnYWluc3QgYSBzcGVj aWZpYyBjb21waWxlci4gRXZlbiB3b3JzZSwgT0NhbWwgaXMgYW4gZWxlZ2Fu dCBidXQgPHNwYW4gc3R5bGU9ImZvbnQtc3R5bGU6IGl0YWxpYzsgZm9udC13 ZWlnaHQ6IGJvbGQ7Ij5zbWFsbCBjb21tdW5pdHk8L3NwYW4+LCB3ZSBkb24n dCBoYXZlIHRvbyBtYW55IG1haW50YWluZXJzIGZvciBhIGxpYnJhcnksIGlm IHlvdSBoYXZlIGEgbGlicmFyeSB3aGljaCByZWxpZXMgb24gUFBYICh0aGUg ZGVwZW5kZW5jeSBjaGFpbiBjb3VsZCBiZSByZWFsbHkgcmVhbGx5IGh1Z2Us IGZvciBleGFtcGxlLCBwcHhfbWV0YXF1b3QgZGVwZW5kcyBvbiB0eXBpbmcg ZW52aXJvbm1lbnQsIHlvdSBjYW4gZmluZCBsb3RzIG9mIHN0b3JpZXMgYWJv dXQgbm9kZV9tb2R1bGVzIGluIE5vZGUgY29tbXVuaXR5KSwgaXQgd2lsbCBw cm9iYWJseSBub3Qgd29yayBhZ2FpbnN0IG5leHQgdmVyc2lvbiBvZiBPQ2Ft bCBjb21waWxlciwgYW5kIGl0IHdpbGwgYmUgYSBodWdlIG1haW50ZW5hbmNl IG92ZXJoZWFkIGZvciBvdGhlciBwZW9wbGUgdG8gcGljayBpdCB1cC48L2Rp dj48ZGl2Pjxicj48L2Rpdj48L2Rpdj48ZGl2PiAgICBPQ2FtbCBpcyBhbHJl YWR5IGEgdmVyeSBleHByZXNzaXZlIGxhbmd1YWdlLCBwcm9iYWJseSBtb3Jl IGV4cHJlc3NpdmUgdGhhbiBhbnkgb3RoZXIgbWFpbnN0cmVhbSBsYW5ndWFn ZSwgKEdvLCBKYXZhLCBDL0MrKywgZXRjKSwgaXQgaXMgZmluZSB0byB3cml0 ZSBzb21lIGJvaWxlcnBsYXRlIGNvZGUsIG9yIHdlIGNhbiBjdXQgUFBYIGFz IGEgZGV2IGRlcGVuZGVuY3ksIGFmdGVyIHlvdXIgUFBYZWQgeW91ciBjb2Rl LCBjaGVjayBpbiB0aGUgZ2VuZXJhdGVkIHNvdXJjZSBjb2RlKHZpYSAtZHNv dXJjZSksIHNvIGl0IHdpbGwgbm90IGJyaW5nIGRlcGVuZGVuY3kgdG8gZW5k IHVzZXJzLjwvZGl2PjxkaXY+ICAgPC9kaXY+PGRpdj4gICAgVGhlcmUgYXJl IHNvbWUgdmFsaWQgdXNlIGNhc2VzIG9mIFBQWCwgZm9yIGV4YW1wbGUsIGlu IEJ1Y2tsZVNjcmlwdCBvciBKU19vZl9PQ2FtbCwgd2Ugd2FudCB0byBjdXN0 b21pemUgT0NhbWwgbGFuZ3VhZ2UgYSBiaXQgZm9yIGV4dGVybmFsIEZGSSwg b3IgaWYgeW91IGhhdmUgYSB2ZXJ5IGxhcmdlIHRlYW0sIGFuZCBjb21taXR0 ZWQgZWZmb3J0IHRvIG1haW50YWluIHlvdXIgUFBYLjwvZGl2PjxkaXY+ICA8 L2Rpdj48ZGl2PiAgICBIYXBweSBoYWNraW5nIGluIE9DYW1sIHdpdGhvdXQg UFBYLCBUaGFua3MgLS0gSG9uZ2JvPC9kaXY+PGRpdj48YnI+PC9kaXY+PGRp dj48YnI+PC9kaXY+PC9kaXY+PC9ib2R5PjwvaHRtbD4= --BOUNDARY_58FA282A021A076200390603_0_63992_msllnjpmsgsv06--