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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 820517F704 for ; Fri, 6 Dec 2013 13:46:11 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of vslugovsky@gmail.com) identity=pra; client-ip=74.125.82.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vslugovsky@gmail.com"; x-sender="vslugovsky@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of vslugovsky@gmail.com designates 74.125.82.42 as permitted sender) identity=mailfrom; client-ip=74.125.82.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vslugovsky@gmail.com"; x-sender="vslugovsky@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f42.google.com) identity=helo; client-ip=74.125.82.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vslugovsky@gmail.com"; x-sender="postmaster@mail-wg0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhwDANjGoVJKfVIqlGdsb2JhbABZgkO7dBYOAQEBAQcLCwkSKoJsARsEGgMSBQQBBl4RAQUBSYdbAQMPBAGiAoMFjFmDCYQlChknDWSGNhEBBQyPIYMKgRMDmBSGRYlhQYRV X-IPAS-Result: AhwDANjGoVJKfVIqlGdsb2JhbABZgkO7dBYOAQEBAQcLCwkSKoJsARsEGgMSBQQBBl4RAQUBSYdbAQMPBAGiAoMFjFmDCYQlChknDWSGNhEBBQyPIYMKgRMDmBSGRYlhQYRV X-IronPort-AV: E=Sophos;i="4.93,840,1378850400"; d="scan'208,217";a="47362596" Received: from mail-wg0-f42.google.com ([74.125.82.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Dec 2013 13:46:05 +0100 Received: by mail-wg0-f42.google.com with SMTP id a1so796724wgh.3 for ; Fri, 06 Dec 2013 04:46:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:content-type:subject:message-id:date:to:mime-version; bh=dWJpDhwUIWMJhFqxVJqLiO9TIcHGOMZrde8Yp/n9MkM=; b=kYkmZJU8BA0dYD4VNbGKwAuLxvbrvQ1tPHVXNm7Cd0rQpZgG/GKplrzjgEbOzLwByu zT6RPuZmSD5b9rl7tlBV0/11ApL+oz8Dj8JsVc1902HbZi8WJytMbJ81tdPA7qWOc3ZO 1FU227po64p31mL14JH7iqA2vZ9ld9mL2zWIB8NGl7lsNjivjumklrqvHDAcoYQ8ArHR irSYHfPtl3pjm5C2oNRXL5kyJIabYtf63Qda5S+Y3+a7W5uhh4kHP0UGCpOeV7GkqX0Y Osx0SFFWZMY8DVH8qP6sfC2qv6bwG91LVvnjnE8iT9JLHj6YruQOJQrxD/f73cKNlL2N 1oyw== X-Received: by 10.194.63.228 with SMTP id j4mr2960655wjs.34.1386333965169; Fri, 06 Dec 2013 04:46:05 -0800 (PST) Received: from [192.168.1.76] (host86-156-24-56.range86-156.btcentralplus.com. [86.156.24.56]) by mx.google.com with ESMTPSA id f11sm5960638wic.4.2013.12.06.04.46.04 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Fri, 06 Dec 2013 04:46:04 -0800 (PST) From: "Vitaly S. Lugovskiy" Content-Type: multipart/alternative; boundary="Apple-Mail=_38D15766-72FA-4766-8FF4-484AA87A225B" Message-Id: <7C324045-0F91-4AC4-B3C5-14786D8BEE6F@gmail.com> Date: Fri, 6 Dec 2013 12:46:01 +0000 To: caml-list@inria.fr Mime-Version: 1.0 (Mac OS X Mail 7.0 \(1822\)) X-Mailer: Apple Mail (2.1822) Subject: Re: [Caml-list] Wojciech Meyer --Apple-Mail=_38D15766-72FA-4766-8FF4-484AA87A225B Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii It is with great sadness that I am writing to inform that Wojciech Daniel M= eyer, who was known in the OCaml community, passed away 18th November 2013 = at the age of 32. --Apple-Mail=_38D15766-72FA-4766-8FF4-484AA87A225B Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii

It is with great sadness that I am writing to inform that Wojciech Daniel Meyer, who was known in t= he OCaml community, passed away 18th November 2013 at the age of 32.=

= --Apple-Mail=_38D15766-72FA-4766-8FF4-484AA87A225B-- 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 5F08E7F704 for ; Fri, 6 Dec 2013 14:31:07 +0100 (CET) Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of simon.cruanes.2007@m4x.org does not assert whether or not 129.104.30.34 is permitted sender) identity=pra; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=1T8Q=VN=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of SRS0=1T8Q=VN=m4x.org=simon.cruanes.2007@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=1T8Q=VN=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=1T8Q=VN=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=1T8Q=VN=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgMCACnRoVKBaB4inGdsb2JhbABZhw+3KBYOAQEBAQEICwkJFCiCJQEBBAEjVgULCyEhAgIPBUknh2gGsR6PcheSAoFIA5gTlT4 X-IPAS-Result: AgMCACnRoVKBaB4inGdsb2JhbABZhw+3KBYOAQEBAQEICwkJFCiCJQEBBAEjVgULCyEhAgIPBUknh2gGsR6PcheSAoFIA5gTlT4 X-IronPort-AV: E=Sophos;i="4.93,841,1378850400"; d="scan'208";a="39654524" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 06 Dec 2013 14:31:06 +0100 Received: from emmental.inria.fr (emmental.inria.fr [128.93.0.14]) (using TLSv1 with cipher ECDHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id 6DBBA140E2FCD; Fri, 6 Dec 2013 14:30:05 +0100 (CET) Date: Fri, 6 Dec 2013 14:30:04 +0100 From: Simon Cruanes To: "Vitaly S. Lugovskiy" Cc: caml-list@inria.fr Message-ID: <20131206133004.GL11307@emmental.inria.fr> References: <7C324045-0F91-4AC4-B3C5-14786D8BEE6F@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="CD/aTaZybdUisKIc" Content-Disposition: inline In-Reply-To: <7C324045-0F91-4AC4-B3C5-14786D8BEE6F@gmail.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Fri Dec 6 14:30:05 2013 +0100 (CET)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000000, queueID=C28B5140E2FCE X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: Re: [Caml-list] Wojciech Meyer --CD/aTaZybdUisKIc Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Le Fri, 06 Dec 2013, Vitaly S. Lugovskiy a =C3=A9crit : > It is with great sadness that I am writing to inform that Wojciech Daniel= Meyer, who was known in the OCaml community, passed away 18th November 201= 3 at the age of 32. This makes me very sad. I knew him from the IRC channel, where he was a cordial, friendly speaker. May he rest in peace. --=20 Simon --CD/aTaZybdUisKIc Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBAgAGBQJSodFcAAoJEErAHQhJqmK2JV4P/3ksQKc4d7wiBx7ckrZkBm8H A0ciC3TYzyT0aMkqCgy78eQ2td190cgj1mbFzRO0Teog29wRTje8uhAFQGU8jSqg a+4NbEdEJ+EKCylTLRQiNJ8NO16U6UUCEA6PL9VXbLxoEWpmroBTUWrzGBmtQr5J RWGYu7PnXsQOvyjisrbbZ7uwKrDi8JMBNdVfRobYF5o4/Stt/VkVdEPbA2JXfgUY OEZibHj6q0+2M6w/wA+Jw9sVcPD5pT8QJdOp/YRC8xNgGZ9cNB12EvGix/enuXMi tYjTvs0shtTnxlwAz5LOyp2nPp5OYLwFc7JRAt0oY8uBsIFIYKEa4UZEFgODAyFC 8NUcjuvEha+rgx530sIL0Cmeck31UBhuIAjvn4KcKgqUhloh95sSzxnT4Wn5ORAK IUKry5V3p7AUz1tI02oQdTKJJ5lQQXL6yJM1zfq7iUrA5Bmn0IXhfL+LztlJdamT sNH6hsd7zqp8loFSObbNXjeQci3XqJ/H/9bsFOIjVvXFCIH7y2WZW4YdI5Cz1qWr SwHExa7q6Cykm8XkrmNzyv2GfEOtUZZnb5q0nOKxAPNfT7Bz36A/v7EYFi6s1CEW trRItbsUng+DsE8t3aaJMGxXE23czpAn7aOl13SK52mV/SaCbj+Upb+363PahS70 VdxuOKSQHMh4Ylr2ZMVo =p4Fd -----END PGP SIGNATURE----- --CD/aTaZybdUisKIc-- 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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B8AA47F704 for ; Fri, 6 Dec 2013 14:47:25 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=209.85.212.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mmatalka@gmail.com designates 209.85.212.175 as permitted sender) identity=mailfrom; client-ip=209.85.212.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f175.google.com) identity=helo; client-ip=209.85.212.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-wi0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4DANbUoVLRVdSvlGdsb2JhbABZgmaBILkMgSUWDgEBAQEHCwsJEiqCJQEBBAFAARsdAQMBCwYFCxYlDwEEDQIRAQUBIhMUh1sBAwkGAQSlGIxZgwmEIQoZJw1khjYRAQUMjHGCEweEMwOWKYFrjFqDTEGEVQ X-IPAS-Result: Ah4DANbUoVLRVdSvlGdsb2JhbABZgmaBILkMgSUWDgEBAQEHCwsJEiqCJQEBBAFAARsdAQMBCwYFCxYlDwEEDQIRAQUBIhMUh1sBAwkGAQSlGIxZgwmEIQoZJw1khjYRAQUMjHGCEweEMwOWKYFrjFqDTEGEVQ X-IronPort-AV: E=Sophos;i="4.93,841,1378850400"; d="scan'208";a="47374887" Received: from mail-wi0-f175.google.com ([209.85.212.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Dec 2013 14:47:25 +0100 Received: by mail-wi0-f175.google.com with SMTP id hi5so871667wib.14 for ; Fri, 06 Dec 2013 05:47:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=gevX9kHKxo5Z4nDIakAvOZ6VNXlrerTOxJm0SGqqYro=; b=CUPTLxbhkSV4eDxtvdbivxb8qr4KudacFGE001H9PaSoqvMFajyyNJDD5PzBm21FK5 mJ172EeOgb8AXffU4cbSwOgibt3SEm8hkLECimmzJW9KLC1j40vVc3PEHe1MMrDzfqxI GckL2WfAVKFC4whNh2hcfC/4LmTRmnDzRaTNhO+gsD3g2XHcMYjL8O8SOfbKoRMAVYPY Pcyw7pxc7TKgajjcC2VwEkL56xPEnvw9mGGcDnE+s4SHbelMr+8pjE5nSaDfTOaTayHg 4xncZdB/aWxkM65WVGsUgOCedGXGrjIu1vjpWMBzD9NjdrYBpwLx+1P1TNnxxPXKyG9m irIg== X-Received: by 10.194.241.228 with SMTP id wl4mr3285209wjc.2.1386337645393; Fri, 06 Dec 2013 05:47:25 -0800 (PST) Received: from localhost ([2a01:7e00::f03c:91ff:fe70:2696]) by mx.google.com with ESMTPSA id qc10sm6397988wic.9.2013.12.06.05.47.24 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 06 Dec 2013 05:47:24 -0800 (PST) From: Malcolm Matalka To: "Vitaly S. Lugovskiy" Cc: caml-list@inria.fr References: <7C324045-0F91-4AC4-B3C5-14786D8BEE6F@gmail.com> Date: Fri, 06 Dec 2013 13:47:24 +0000 In-Reply-To: <7C324045-0F91-4AC4-B3C5-14786D8BEE6F@gmail.com> (Vitaly S. Lugovskiy's message of "Fri, 6 Dec 2013 12:46:01 +0000") Message-ID: <87r49q6qhf.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] Wojciech Meyer This is really sad to hear. Like a lot of people I only knew him via IRC and he was always a great person to talk to about anything, including Ocaml. He will be missed. /Malcolm "Vitaly S. Lugovskiy" writes: > It is with great sadness that I am writing to inform that Wojciech Daniel Meyer, who was known in the OCaml community, passed away 18th November 2013 at the age of 32. 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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 29B2F7EC6E for ; Sun, 8 Dec 2013 03:36:28 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.216.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.216.41 as permitted sender) identity=mailfrom; client-ip=209.85.216.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qa0-f41.google.com) identity=helo; client-ip=209.85.216.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-qa0-f41.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoADAKfao1LRVdgplGdsb2JhbABZuSeDfoEXFg4BAQEBBwsLCRIqgiUBAQU4CAEbHAIDDAYFCw0JFg8JAwIBAgEREQEFARwGAQwIAQEQAodZAQMPBaUXjFmDCYNpChknDWSGAxEBBQyPC4QzA4lCjlKQJkGEcw X-IPAS-Result: AoADAKfao1LRVdgplGdsb2JhbABZuSeDfoEXFg4BAQEBBwsLCRIqgiUBAQU4CAEbHAIDDAYFCw0JFg8JAwIBAgEREQEFARwGAQwIAQEQAodZAQMPBaUXjFmDCYNpChknDWSGAxEBBQyPC4QzA4lCjlKQJkGEcw X-IronPort-AV: E=Sophos;i="4.93,849,1378850400"; d="scan'208";a="47583539" Received: from mail-qa0-f41.google.com ([209.85.216.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Dec 2013 03:36:27 +0100 Received: by mail-qa0-f41.google.com with SMTP id j5so1687877qaq.14 for ; Sat, 07 Dec 2013 18:36:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=gC4fHaLDv2NojN5BkBvrazwTlJyBwXQBA85I8VI/m40=; b=Bsp4B3LEbltYtWY5MO0ZC3PK23xCFQ7XXjGnnBYbAohJowUQ3d6Hn3pr2ilo59gZNj b4hM4Fi/kJNjeHHq8z0ZnM9eqk1Am5xwlnRIwPPKNcr2hkJAuqLYV0Fs6NBurnKqJ84H zbU0QqYnMdNywDpT6QBHaqsZlcsDvRpvhdtyHa4xN2+zySH9IfgBwKV1hmk1TgE5NDdo LJnxP7RKG7mzAJi6bfRc/JzFJnpTd4HDLCcwsM3Lz0PFQFYbwWsFW7QDBfR09SD3dPJa quR+rH6HGNnEe5gheuFjjbaxSxpuCaoWPeFDdXVqkdYNlGdTtqYCm3GqJ4Wc7Cpp8qss himg== X-Received: by 10.224.24.201 with SMTP id w9mr62234328qab.103.1386470186272; Sat, 07 Dec 2013 18:36:26 -0800 (PST) Received: from Hongbos-MacBook-Pro.local ([66.250.143.158]) by mx.google.com with ESMTPSA id f10sm13874102qej.1.2013.12.07.18.36.25 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sat, 07 Dec 2013 18:36:25 -0800 (PST) Message-ID: <52A3DB29.3060006@gmail.com> Date: Sat, 07 Dec 2013 21:36:25 -0500 From: Hongbo Zhang User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:24.0) Gecko/20100101 Thunderbird/24.1.1 MIME-Version: 1.0 To: "Vitaly S. Lugovskiy" , caml-list@inria.fr References: <7C324045-0F91-4AC4-B3C5-14786D8BEE6F@gmail.com> In-Reply-To: <7C324045-0F91-4AC4-B3C5-14786D8BEE6F@gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Wojciech Meyer On 12/6/13, 7:46 AM, Vitaly S. Lugovskiy wrote: > It is with great sadness that I am writing to inform that Wojciech Daniel Meyer, who was known in the OCaml community, passed away 18th November 2013 at the age of 32. > > > I am so sorry to hear that. I am lucky to meet him in Denmark, and impressed by his passionate about education. R.I.P Wojciech Meyer