From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 18086 invoked from network); 31 Jan 2021 09:36:01 -0000 Received: from minnie.tuhs.org (45.79.103.53) by inbox.vuxu.org with ESMTPUTF8; 31 Jan 2021 09:36:01 -0000 Received: by minnie.tuhs.org (Postfix, from userid 112) id D730D9C882; Sun, 31 Jan 2021 19:36:00 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id DEDCD9C653; Sun, 31 Jan 2021 19:35:31 +1000 (AEST) Authentication-Results: minnie.tuhs.org; dkim=pass (2048-bit key; secure) header.d=xs4all.nl header.i=@xs4all.nl header.b="DBi7o8ur"; dkim-atps=neutral Received: by minnie.tuhs.org (Postfix, from userid 112) id C52A59C653; Sun, 31 Jan 2021 19:35:27 +1000 (AEST) X-Greylist: delayed 429 seconds by postgrey-1.36 at minnie.tuhs.org; Sun, 31 Jan 2021 19:35:23 AEST Received: from lb3-smtp-cloud9.xs4all.net (lb3-smtp-cloud9.xs4all.net [194.109.24.30]) by minnie.tuhs.org (Postfix) with ESMTPS id 067709C63D for ; Sun, 31 Jan 2021 19:35:22 +1000 (AEST) Received: from cust-b78b8d39 ([IPv6:fc0c:c13c:98fa:150c:cc7:77d5:90c0:2d4]) by smtp-cloud9.xs4all.net with ESMTPSA id 691elYUKzE1Ic691fl67Oy; Sun, 31 Jan 2021 10:28:12 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=xs4all.nl; s=s2; t=1612085292; bh=1VdbX3G4C9F4OxfgqZhpcRpglnus6U8xwCs4viHJXGw=; h=From:Message-Id:Content-Type:Mime-Version:Subject:Date:To:From: Subject; b=DBi7o8urzRkDcstmPXwfao6RaHDAogxH3FX9yiBxtNAH1hPKT5bSJBa15Q0h5RS4N R/+aEtQJk0itjP0fDwvOVPhvUqzvqzsTM2Tbe2G5B20X0AGbT7iILRhJZ20LVRdGsh HWnG1+KHwvXlip421mrFDEALzrjwwa9nt1/Xk8I3No6/67wVMIlKZZlPm0M+Nnr7QV rOVvZdo9CipLbjokfHzuunardT3yiYmYPyjpwvxRkH0GAJ5GV3EhH7/piJRi9Dvtde 68PFHZYXgb14oTfTFBzb4TwhBJV7ynvCWNqOCWFVRVwPAJK2sd6pAfY52EYN5Aeu1p kQi6TRKvyL8wg== From: Jaap Akkerhuis Message-Id: <00F0758C-2E99-43C9-A989-1BD977248839@xs4all.nl> Content-Type: multipart/signed; boundary="Apple-Mail=_682F00F8-EAF1-45E4-B5C3-B56D134F9439"; protocol="application/pgp-signature"; micalg=pgp-sha1 Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.40.0.2.32\)) Date: Sun, 31 Jan 2021 10:28:09 +0100 In-Reply-To: To: Rob Pike References: <316d3fab-cf62-2d2e-f721-f4398acffc06@bitsavers.org> <7wh7mxpp4q.fsf@junk.nocrew.org> X-Mailer: Apple Mail (2.3654.40.0.2.32) X-CMAE-Envelope: MS4xfKnchRdAMcNsczi/3j5QuVFCgubVtRF/uI3iPX/YAG+x0Ue6DUM2vx2CU0r/X3mau6/n0DeAKYa0BunnbXQQ4Sg8OapXzY2btyAKMiOrwOTE+o2NFZaG r2/CExh42NFQXyMRE0y4AKGmeNyi7LLOM4shWt4nUWf0Um1CnWZbmisiq6K8Fms9OxcY8hTcL4+sQD8RsMiglBIUEKXdXR9JKtZFbRZBtdS6fM2fyilhA89B iNBz9a0Ypfw5IQpN06bt/A== Subject: Re: [TUHS] Qed vs ed X-BeenThere: tuhs@minnie.tuhs.org X-Mailman-Version: 2.1.26 Precedence: list List-Id: The Unix Heritage Society mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: TUHS main list Errors-To: tuhs-bounces@minnie.tuhs.org Sender: "TUHS" --Apple-Mail=_682F00F8-EAF1-45E4-B5C3-B56D134F9439 Content-Type: multipart/alternative; boundary="Apple-Mail=_7CDD302E-FE74-4D48-BFE3-7661BFA17FC1" --Apple-Mail=_7CDD302E-FE74-4D48-BFE3-7661BFA17FC1 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii > On Jan 31, 2021, at 9:29, Rob Pike wrote: >=20 > I had a lot of fun hacking qed, mostly side-by-side with Tilbrook, who = was its biggest fan. He taught me a lot and I loved working with him. Woking with David was great and always inspiring. I used to have an = early version of his QEF system which did QED on it. He never stopped = tinkeing with that. Alas, the tape got lost in one of my relocations. jaap --Apple-Mail=_7CDD302E-FE74-4D48-BFE3-7661BFA17FC1 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii

On Jan 31, 2021, at 9:29, Rob Pike <robpike@gmail.com> = wrote:

I had = a lot of fun hacking qed, mostly side-by-side with Tilbrook, who was its = biggest fan. He taught me a lot and I loved working with = him.
 
Woking with David was = great and always inspiring. I used to have an early version of his QEF = system which did QED on it. He never stopped tinkeing with that. Alas, = the tape got lost in one of my relocations.

jaap
= --Apple-Mail=_7CDD302E-FE74-4D48-BFE3-7661BFA17FC1-- --Apple-Mail=_682F00F8-EAF1-45E4-B5C3-B56D134F9439 Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename=signature.asc Content-Type: application/pgp-signature; name=signature.asc Content-Description: Message signed with OpenPGP -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org Comment: no-use-standard-socket iF0EARECAB0WIQQrCaF5s4l4c+dDH/sjEcdY8Kh9hQUCYBZ4KQAKCRAjEcdY8Kh9 hUnxAJ4nxPlIN0M6bIbJZjLFOhNiec5r/QCfSFJARefp0bq8rpNCpu1WnNB2E2A= =h2sE -----END PGP SIGNATURE----- --Apple-Mail=_682F00F8-EAF1-45E4-B5C3-B56D134F9439--